Informatica teorica

2

"Seconda X è NP-completa" implica "X è NP-completa"?

Il problema "Seconda " è il problema di decidere l'esistenza di un'altra soluzione diversa da quella fornita per l'istanza del problema.XXX Per alcuni problemi Completa, la seconda versione soluzione è N P Completa (decidere l'esistenza di un'altra soluzione per il parziale latino problema completamento quadrato) mentre per altri è o …

11 cc.complexity-theory unique-solution

2

Intuizione per la classe UP

La classe UP è definita come tale: La classe di problemi decisionali risolvibili da una macchina NP tale che Se la risposta è "sì", accetta esattamente un percorso di calcolo. Se la risposta è "no", tutti i percorsi di calcolo vengono rifiutati. Sto cercando di sviluppare l'intuizione per questa definizione. …

11 cc.complexity-theory complexity-classes

1

La famosa carta P = BPP di Impagliazzo e Wigderson

Sto leggendo il famoso articolo Impagliazzo e Wigderson nel 1997. Da quando sono nuovo in questo campo e il documento è una versione concisa della conferenza, ho difficoltà a seguire le loro prove. In particolare, alcuni dei loro nuovi teoremi mancano di prove. Per quanto ne so, non è stata …

11 cc.complexity-theory reference-request circuit-complexity derandomization pseudorandom-generators

7

Manuale di algoritmi avanzati

Sto cercando risorse (preferibilmente un manuale) su argomenti avanzati negli algoritmi (argomenti oltre a quelli trattati nei manuali di algoritmi come CLRS e DPV). Il tipo di materiale che può essere utilizzato per insegnare argomenti in un corso di algoritmi come Erik Demaine e il corso Advanced Algorithms di David …

11 ds.algorithms reference-request survey books

1

Sull'isomorfismo grafico Problemi completi

Sono interessato a studiare i problemi completi di Graph Isomorphism (GI). Nel documento "Problemi polinomialmente equivalenti all'isomorfismo grafico" di Kellogg S. Booth, (1979), è stato dimostrato che molti problemi di base sono stati completati utilizzando tecniche di sostituzione dei bordi, tecniche di composizione, ecc. Vorrei imparare alcune tecniche che sono …

11 cc.complexity-theory reference-request graph-isomorphism

1

Gli automi alternati unidirezionali con un contatore possono riconoscere alcune lingue unarie non regolari?

Gli automi pushdown alternati unidirezionali (1APDA) sono in grado di riconoscere qualsiasi lingua in (Alternation di Chandra, Kozen e Stockmeyer, 1981) . Sostituendo una memoria pushdown di 1APDA con un contatore, possiamo ottenere un automa alternato unidirezionale con un contatore (1ACA). La mia domanda riguarda 1ACA sulle lingue unarie.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) …

11 automata-theory counter-automata unary-languages

1

Rilevamento di circuiti simili per funzionalità e implementazione

Sia un vettore di variabili booleane. Sia due circuiti booleani su . Dì che è simile a se:C , D x C Dx = ( x1, ... , xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C, DC,DC,DXxxCCCDDD Pr [ C( x ) ≠ D ( x ) ]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] è esponenzialmente piccolo, quando Xxx viene disegnato …

11 sat application-of-theory

3

Utilizzando la sequenza de Bruijn per trovare il di un intero

Sean Anderson ha pubblicato degli hack bit twiddling contenenti l'algoritmo di Eric Cole per trovare di un intero -bit nelle operazioni con moltiplicazione e ricerca.N v O ( lg ( N ) )⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg⁡(N))O(\lg(N)) L'algoritmo si basa su un numero "magico" della sequenza di De Bruijn. Qualcuno può spiegare …

11 nt.number-theory comp-number-theory

2

Quanto è difficile contare il numero di optima locali per un problema in PLS?

Per un problema di ricerca locale polinomiale , sappiamo che deve esistere almeno una soluzione (ottimale locale). Tuttavia, potrebbero esistere molte altre soluzioni, quanto è difficile contare il numero di soluzioni per un problema PLS completo? Sono particolarmente interessato al problema decisionale: l'istanza di questo problema completo di PLS ha …

11 cc.complexity-theory counting-complexity gt.game-theory

2

Algoritmo del tempo lineare per la ricerca di max

Supponiamo che ci venga dato un array contenente numeri interi non negativi (non necessariamente distinti).A[1..n]A[1..n]A[1..n] Sia in ordine in ordine crescente. Vogliamo calcolare A m = max i ∈ [ n ] B [ i ] + i .BBBAAAm = maxi ∈ [ n ]B [ i ] + i …

11 cc.complexity-theory ds.algorithms optimization sorting

2

Sulla provabilità di P contro NP

Prima di tutto, la mia comprensione del teorema di incompletezza di Gödel (e della logica formale in generale) è molto ingenua, inoltre è la mia conoscenza dell'informatica teorica (il che significa solo un corso di laurea preso mentre sono ancora un laureando), quindi questa domanda potrebbe essere molto ingenuo. Per …

11 np-hardness proofs p-vs-np

3

Ambiguità in linguaggi regolari e senza contesto

Comprendo che le seguenti affermazioni sono vere: Due derivazioni distinte di una stringa in un determinato CFG possono talvolta attribuire lo stesso albero di analisi alla stringa. Quando ci sono derivazioni di una stringa in un dato CFG che attribuiscono diversi alberi di analisi, il CFG è ambiguo. Alcuni linguaggi …

11 fl.formal-languages regular-language context-free

3

Possiamo calcolare dai bit di in tempo?

Sto cercando un algoritmo efficiente per il problema: Input : numero intero positivo (memorizzato come bit) per un numero intero .3n3n3^nn≥0n≥0n \geq 0 Uscita : il numero .nnn Domanda : possiamo calcolare dai bit di in tempo?nnn3n3n3^nO(n)O(n)O(n) Questa è una domanda teorica motivata dalla mia risposta a una domanda di …

11 ds.algorithms time-complexity

2

Qual è la correlazione tra larghezza dell'albero e durezza dell'istanza per 3-SAT casuali?

Questo recente articolo di FOCS2013, Strong Backdoor to Bounded Treewidth SAT di Gaspers e Szeider parla del legame tra la larghezza dell'albero del grafico della clausola SAT e la durezza dell'istanza. Per le 3-SAT casuali, ovvero le istanze di 3-SAT scelte a caso, qual è la correlazione tra la larghezza …

11 graph-algorithms sat treewidth random-k-sat hard-instances

2

Il compilatore per il tipo dipendente è molto più difficile di un intero?

Ho imparato qualcosa sull'implementazione di tipi dipendenti, come questo tutorial , ma la maggior parte di essi sta implementando interpreti. La mia domanda è, sembra che l'implementazione di un compilatore per il tipo dipendente sia molto più difficile di un compilatore, perché puoi davvero valutare gli argomenti del tipo dipendente …

11 type-systems compilers dependent-type