Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Limiti inferiori sulla complessità gaussiana
Definire la complessità gaussiana di una matrice come numero minimo di operazioni elementari di riga e colonna necessarie per portare la matrice in forma triangolare superiore. Questa è una quantità compresa tra e (tramite l'eleminazione gaussiana). L'idea ha senso su qualsiasi campo.n × nn×nn \times n000n2n2n^2 Questo problema sembra certamente …
2
Una funzione booleana che non è costante su sottospazi affini di dimensioni sufficientemente grandi
Sono interessato a una funzione booleana esplicita con la seguente proprietà: se è costante su un sottospazio affine di , quindi la dimensione di questo sottospazio è .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Non è difficile dimostrare che una funzione simmetrica non soddisfa questa proprietà considerando un sottospazio . Qualsiasi ha …
3
Modelli di calcolo strettamente tra classico e quantistico in termini di complessità della query
È noto che i computer quantistici sono strettamente più potenti delle loro controparti classiche in termini di complessità delle query . Ci sono altri modelli (naturali o artificiali) che sono strettamente tra il quantico e il classico in termini di complessità della query? La separazione può essere attivata problemi specifici: …
1
Elenco di problemi di complessità (irrisolti) derivanti da PL
Quali sono alcuni dei principali problemi di complessità computazionale aperti che sorgono dai linguaggi di programmazione, in particolare l'analisi dei programmi e la compilazione? Sto cercando problemi sulla falsariga di "la complessità temporale dell'inferenza di tipo Hindley-Milner" o "la complessità temporale di 0CFA" (sebbene entrambi siano problemi risolti).
1
Qual è l'oracolo minimo di complessità che separa PSPACE dalla gerarchia polinomiale?
sfondo È noto che esiste un oracolo AAA tale che, .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A È anche noto che la separazione è relativa a un oracolo casuale. Informalmente, si può interpretare questo per significare che ci sono molti oracoli per i quali e sono separati.PSPACEPSPACEPSPACEPHPHPH Domanda Quanto sono complicati questi oracoli che …
2
Somma minima cumulativa impostata
Considera questo problema: dato un elenco di set finiti, trova un ordine che minimizza .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+...|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Ci sono algoritmi noti per questo? Qual è la sua complessità? Non sono ancora riuscito a pensare a un algoritmo …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.