Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Gerarchie in NP (presupponendo che P! = NP)
Supponendo che P! = NP, credo che sia stato dimostrato che ci sono problemi che non sono in P e non NP-Complete. Si ipotizza che l'isomorfismo grafico sia un tale problema. Esistono prove di più di questi "strati" in NP? cioè una gerarchia di più di tre classi che iniziano …
7
Dovremmo considerare
Molti esperti ritengono che la congettura sia vera e la usano nei loro risultati. La mia preoccupazione è che la complessità dipenda fortemente dalla congettura P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Quindi la mia domanda è: Finché la congettura non è provata, si può / si dovrebbe considerare …
2
Esiste un algoritmo temporale polinomiale per determinare se l'intervallo di un insieme di matrici contiene una matrice di permutazione?
Vorrei trovare un algoritmo temporale polinomiale che determina se l'intervallo di un determinato set di matrici contiene una matrice di permutazione. Se qualcuno sa se questo problema è di una diversa classe di complessità, sarebbe altrettanto utile. EDIT: Ho taggato questa domanda con Linear Programming, perché ho il forte sospetto …
2
Riesci a identificare la somma di due permutazioni nel tempo polinomiale?
Di recente sono state poste due domande su cs.se che erano correlate o avevano un caso speciale equivalente alla seguente domanda: Supponiamo di avere una sequenza di numeri tale che Scomporre nella somma di due permutazioni, e , di , in modo che .a1,a2,…ana1,a2,…ana_1, a_2, \ldots a_nnnn∑ni=1ai=n(n+1).∑i=1nai=n(n+1).\sum_{i=1}^n a_i = n(n+1).ππ\piσσ\sigma1…n1…n1 …
2
Gerarchia per BPP vs derandomizzazione
In una frase: l'esistenza di una gerarchia per implicherebbe risultati di derandomizzazione?BPTIMEBPTIME\mathsf{BPTIME} Una domanda correlata ma più vaga è: l'esistenza di una gerarchia per implica qualche limite inferiore difficile? La risoluzione di questo problema colpisce una barriera nota nella teoria della complessità?BPTIMEBPTIME\mathsf{BPTIME} La mia motivazione per questa domanda è quello …
1
Coefficienti di Fourier Funzioni booleane descritte dai circuiti di profondità limitata con porte AND OR e XOR
Sia fff una funzione booleana e pensiamo a f come una funzione da {−1,1}n{−1,1}n\{-1,1\}^n a {−1,1}{−1,1}\{ -1,1 \} . In questo linguaggio l'espansione di Fourier di f è semplicemente l'espansione di f in termini di monomi quadrati liberi. (Questi 2n2n2^n monomi formano una base allo spazio delle funzioni reali su …
3
certificato coNP per isomorfismo grafico
È facile vedere che l' isomorfismo grafico (GI) è in NP. È un grave problema aperto se GI è in coNP. Esistono potenziali candidati delle proprietà dei grafici che possono essere utilizzati come certificati coNP di IG. Qualche congettura che implica ? Quali sono alcune implicazioni di G I ∈ …
7
Dimostrando limiti inferiori dimostrando limiti superiori
Il recente risultato del limite inferiore della complessità del circuito rivoluzionario di Ryan Williams fornisce una tecnica di prova che utilizza il risultato del limite superiore per dimostrare i limiti inferiori della complessità. Suresh Venkat nella sua risposta a questa domanda, ci sono risultati controintuitivi nell'informatica teorica? , ha fornito …
2
Non possiamo produrre la complessità di Kolmogorov?
Risolviamo una codifica senza prefisso delle macchine di Turing e una macchina di Turing universale che sull'ingresso (codificato come codice privo di prefisso di seguito da ) genera qualunque uscita sull'ingresso (possibilmente entrambi corrono per sempre). Definire la complessità di Kolmogorov di , , come la lunghezza del programma più …
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.