Informatica teorica

3

Si può determinare se la lingua L si trova in NP?

Dato un linguaggio L definito da una macchina di Turing che lo decide, è possibile determinare algoritmicamente se L si trova in NP?

15 cc.complexity-theory computability turing-machines

6

Complessità dell'algoritmo shuffle Fisher-Yates

Questa domanda riguarda l'algoritmo Fisher-Yates per restituire uno shuffle casuale di un dato array. La pagina di Wikipedia dice che la sua complessità è O (n), ma penso che sia O (n log n). In ogni iterazione i, viene scelto un numero intero casuale tra 1 e i. Scrivere semplicemente …

15 ds.algorithms permutations

1

vs

Nel nostro recente lavoro, risolviamo un problema computazionale sorto in un contesto combinatorio, supponendo che , dove ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} è la versione E X P di ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . L'unico articolo su ⊕⊕P⊕P\mathsf{\oplus{}P} che abbiamo trovato è stato il documento Beigel-Buhrman-Fortnow1998che è citato nellozoo di complessità. Comprendiamo che possiamo prendere …

15 cc.complexity-theory complexity-classes conditional-results structural-complexity

2

Che cos'è una cerniera e come si collega a una struttura ad albero?

Stavo leggendo un capitolo di LYAH che non aveva davvero senso per me. Capisco che le cerniere lampo possono attraversare arbitrariamente una struttura ad albero, ma ho bisogno di alcuni chiarimenti su di essa. Inoltre, le cerniere possono essere generalizzate a qualsiasi struttura di dati?

15 ds.data-structures functional-programming tree

3

Sottoscrivi l'isomorfismo con un albero

Se abbiamo un grande grafico (diretto) e un albero con radice più piccolo H , qual è la complessità più nota per trovare sottografi di G isomorfo su H ? Sono a conoscenza dei risultati per l'isomorfismo di sottostruttura in cui sia G che H sono alberi e anche dove …

15 ds.algorithms reference-request graph-theory

2

Büchi automi con strategia di accettazione

Il problema Let essere un automa Büchi, riconoscendo un linguaggio L ⊆ Σ w . Assumiamo che A ha una strategia di accettazione nel senso seguente: v'è una funzione σ : Σ * → Q , che può essere utilizzato per corse pilota di A . Lo formalizziamo alle seguenti …

15 fl.formal-languages automata-theory regular-language nondeterminism

5

Qual è la classe di complessità per le subroutine quantistiche che assumono in stati quantistici arbitrari come input?

La classe di complessità BQP corrisponde alle subroutine quantistiche temporali polinomiali che assorbono input classici e generano un output classico probabilistico. La consulenza quantistica modifica quella di includere copie di alcuni stati di consulenza quantistica predeterminati ma con input classici come al solito. Qual è la classe di complessità per …

15 cc.complexity-theory complexity-classes quantum-computing

2

Qual è l'algoritmo più veloce per calcolare il rango di una matrice rettangolare?

Data una matrice (supponendo ), qual è l'algoritmo più veloce per calcolare il suo rango e la base delle colonne?m × nm×nm \times nm ≥ nm≥nm \ge n Sono consapevole che può essere risolto attraverso l'intersezione matroid lineare, che implica un algoritmo deterministico di tempo e un algoritmo randomizzato di …

15 ds.algorithms reference-request time-complexity linear-algebra matrices

2

Analoghi quantistici delle classi di complessità SPACE

Spesso consideriamo le classi di complessità in cui siamo limitati nella quantità di spazio che la nostra macchina Turing può utilizzare, ad esempio: o NSPACE ( f ( n ) ) . Sembra che all'inizio della teoria della complessità ci siano stati molti successi con queste classi come il teorema …

15 cc.complexity-theory complexity-classes quantum-computing space-bounded

2

Qual è la seguente variazione di Set Cover nota come?

Qual è la seguente variazione sulla copertina del set nota come? Dato un insieme S, un insieme C di sottoinsiemi di S e un intero positivo K, esistono degli insiemi K in C tali che ogni coppia di elementi di S si trova in uno dei sottoinsiemi selezionati. Nota: non …

15 np-hardness set-cover cc.complexity-theory

1

È possibile campionare in modo efficiente un vicino di un vertice nel grafico di un politopo?

Ho un polytope definito da .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Domanda: Dato un vertice di , esiste un algoritmo temporale polinomiale per campionare uniformemente dai vicini di nel grafico di ? (Polinomio nella dimensione, numero di equazioni e rappresentazione di . Posso presumere che il numero …

15 reference-request np-hardness counting-complexity linear-programming polytope

3

Come si può motivare la parametricità relazionale?

Esiste un modo naturale per comprendere l'essenza della semantica relazionale per il polimorfismo parametrico? Ho appena iniziato a leggere la nozione di parametria relazionale, "Tipi, astrazione e polimorfismo parametrico" di John Reynolds, e ho difficoltà a capire come è motivata la semantica relazionale. La semantica del set ha perfettamente senso …

15 type-theory parametricity

3

Verifica delle formule con due quantificatori (

I solutori SAT offrono un modo efficace per verificare la validità di una formula booleana con un quantificatore. Ad esempio, per verificare la validità di , possiamo usare un solutore SAT per determinare se φ ( x ) è soddisfacente. Per verificare la validità di ∀ x . φ ( …

15 ds.algorithms lo.logic sat boolean-functions

1

Partizionare un grafico in cicli nodo-disgiunti

Problema correlato: il teorema di Veblen afferma che "Un grafico ammette una decomposizione del ciclo se e solo se è pari". I cicli sono edge disjoint, ma non necessariamente nodo disjoint. Detto in altro modo, "Il set di spigoli di un grafico può essere suddiviso in cicli se e solo …

15 cc.complexity-theory graph-theory co.combinatorics

3

Progressi sul problema generalizzato dell'altezza delle stelle?

L'altezza (generalizzata) delle stelle di una lingua è la nidificazione minima delle stelle di Kleene richiesta per rappresentare la lingua con un'espressione regolare estesa. Ricorda che un'espressione regolare estesa su un alfabeto finito soddisfa quanto segue:UNUNA (1) e sono espressioni regolari estese per tuttia a ∈ A∅ , 1∅,1\emptyset, 1un'un'aa …

15 fl.formal-languages lower-bounds regular-expressions