Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Complessità del test se due serie di
Immagina di avere due mmm set di punti X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Qual è la complessità (temporale) dei test se differiscono solo per rotazione? : esiste una matrice di rotazione OOT=OTO=IOOT=OTO=IOO^T=O^TO=I tale che X=OYX=OYX=OY ? C'è un problema di rappresentare valori reali qui - per semplicità supponiamo che ci sia (una …
1
Sta ordinando
Nella recente prestampa https://arxiv.org/abs/1801.00776 , si afferma che numeri reali possono essere ordinati in tempo O ( n √nnn e lo spazio lineare. L'articolo sembra ragionevole, anche se non sono un esperto di algoritmi di ordinamento.O ( n logn----√) ,O(nlog⁡n),O(n \sqrt{\log n}), Se corretto, questo sarebbe significativo, credo, almeno teoricamente. …
2
SAT è una lingua senza contesto?
Sto prendendo in considerazione il linguaggio di tutte le formule logiche proposizionali soddisfacenti, SAT (per garantire che questo abbia un alfabeto finito, codificheremmo le lettere proposizionali in un modo adeguato [modifica: le risposte hanno sottolineato che la risposta alla domanda potrebbe non essere solida sotto codifiche variabili, quindi bisogna essere …
3
Completezza sotto riduzioni iniettive di Karp
La riduzione del karp è una riduzione multipla calcolabile nel tempo polinomiale tra due problemi computazionali. Molte riduzioni del Karp sono in realtà funzioni one-one. Ciò solleva la questione se ogni riduzione di Karp sia iniettiva (funzione one-one). C'è una naturale problema -Complete che è noto per essere completa solo …
1
P / poly
implica N P ⊆ P / p o l y , che a sua volta ha conseguenze interessanti come il crollo della gerarchia polinomiale.P/ poly= NP/ polyP/poly=NP/polyP/poly = NP/polyNP⊆ P/ polyNP⊆P/polyNP \subseteq P/poly Ci sono implicazioni interessanti per ?P/ poly≠ NP/ polyP/poly≠NP/polyP/poly \neq NP/poly
2
Portata della barriera delle prove naturali
La barriera di prove naturali di Razborov e Rudich afferma che sotto ipotesi crittografiche credibili non si può sperare di separare NP da P / poli trovando proprietà combinatorie di funzioni che sono costruttive, ampie e utili. Ci sono molti risultati noti che riescono a sfuggire alla barriera. Ci sono …
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.