Sono interessato alla generalizzazione naturale del famoso 15 puzzle , in cui devi far scorrere i blocchi fino a quando non hai ordinato tutti i numeri dati (di solito c'è uno spazio di 1 blocco). Ora la generalizzazione sarebbe quella di estendere le dimensioni del puzzle da 15 a p …
La domanda su cstheory " Cosa è NP limitato ai testimoni di dimensioni lineari? " Pone domande sulla classe NP limitata ai testimoni di dimensione lineare , maO ( n )O(n)O(n) Ci sono problemi naturali completi di NP in cui (sì) le istanze di dimensione richiedono testimoni di dimensione maggiore …
Modifica : Come Ravi Boppana ha correttamente sottolineato nella sua risposta e Scott Aaronson ha anche aggiunto un altro esempio nella sua risposta , la risposta a questa domanda si è rivelata "sì" in un modo che non mi aspettavo affatto. In primo luogo ho pensato che non rispondessero alla …
C'è un esempio di una lingua che si trova in NPNPNP , ma in cui non possiamo dimostrare questo fatto direttamente dimostrando che esiste una testimonianza polinomiale per l'appartenenza a questa lingua? Invece, il fatto che la lingua sia in NPNPNP sarebbe dimostrato riducendolo in un'altra lingua in NPNPNP , …
Questa domanda è stata migrata dallo Scambio di stack di Informatica perché è possibile rispondere a Scambio di stack di Informatica teorica. Migrato 6 anni fa . Sembra che molte persone credano che , in parte perché credono che il factoring non sia risolvibile con il tempo di polimerizzazione. (Shiva …
Peter Shor ha mostrato che due dei più importanti problemi NP-intermedi, il factoring e il problema dei log discreti, sono in BQP. Al contrario, l'algoritmo quantistico più noto per SAT (ricerca di Grover) produce solo un miglioramento quadratico rispetto all'algoritmo classico, suggerendo che i problemi NP-completi sono ancora intrattabili su …
Ci sono problemi naturali in che non sono (noti per essere / pensati di essere) in U P ∩ c o U P ?NP∩ c o NPNP∩coNPNP \cap coNPUP∩ c o UPUP∩coUPUP \cap coUP Ovviamente il grosso tutti conoscono in è la versione decisione di factoring (non n hanno un …
Esiste un linguaggio (preferibilmente naturale) NP completo , tale che per ogni detiene? In altre parole, contiene esattamente la metà di tutte le istanze -bit.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn
Questa risposta ai maggiori problemi irrisolti nell'informatica teorica? domanda afferma che è aperto se un particolare problema in NP richiede tempo .Ω ( n2)Ω(n2)\Omega(n^2) Guardando i commenti in risposta mi sono fatto meravigliare: A parte il padding e trucchi simili, qual è la complessità temporale più nota inferiore legata a …
Ciò è correlato alla domanda È già nota la dimensione del testimone dell'iscrizione per ogni lingua NP? Alcuni naturali (-completi) hanno testimoni di lunghezza lineare: un compito soddisfacente per , una sequenza di vertici per , ecc. S A T H A M P A T HN PNP\mathsf{NP}SA TSATSATHA MPA …
L'accesso a un oracolo fornirebbe una maggiore accelerazione super polinomiale per qualsiasi cosa in (supponendo che il set non sia vuoto). E 'meno chiaro, tuttavia, quanto sarebbe beneficio da questo accesso oracolo. Naturalmente, l'accelerazione in non può essere super polinomiale, ma può comunque essere polinomiale. Ad esempio, potremmo trovare un …
Il Theoem Karp – Lipton afferma che se , allora crolla in . Pertanto, supponendo che le separazioni tra e , nessun apparterrà a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yNP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Sono interessato alla seguente domanda: …
Nel loro articolo (p. 503) Garey e Johnson osservano: ... potrebbe esistere un problema NP completo che non è né NP completo in senso stretto né risolvibile da un algoritmo temporale pseudo-polinomiale ... Qualcuno conosce alcuni problemi candidati con le proprietà di cui sopra? Penso che la possibile risposta a …
Il problema decisionale CNF-SAT può essere descritto come segue: Input: una formula booleana in forma normale congiuntiva.ϕϕ\phi Domanda: esiste un'assegnazione variabile che soddisfa ?ϕϕ\phi Sto prendendo in considerazione diversi approcci per risolvere CNF-SAT con una macchina di Turing a due nastri non deterministica . Credo che esista un NTM che …
Esiste un esempio esplicito e noto di un algoritmo con la proprietà tale che se questo algoritmo non viene eseguito in tempo polinomiale e se viene eseguito in tempo polinomiale?P≠ NPP≠NPP\neq NPP= NPP=NPP=NP
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.