Informatica teorica np

1

Condizioni per la rintracciabilità di 3SAT-Satisfiability

Quello che mi chiedo in particolare è se esiste una condizione interessante sulla percentuale di incarichi che soddisfano una formula 3SAT per garantire che tali problemi siano trattabili. Supponiamo ad esempio la classe di problemi 3SAT che delle 2 n possibili assegnazioni soddisfano la formula booleana; possiamo trovare in modo …

12 cc.complexity-theory ds.algorithms sat np

4

Ci sono problemi noti di NP che in media sono ritenuti esponenzialmente difficili?

L'ETH afferma che il SAT non può essere risolto nel peggiore dei casi in tempi sub-esponenziali. E il caso medio? Ci sono problemi naturali in NP che si presume siano esponenzialmente difficili nel caso medio? Prendi il caso medio per indicare il tempo medio di esecuzione con una distribuzione uniforme …

12 cc.complexity-theory np average-case-complexity

3

Esiste un gioco semplice con complessità asimmetrica?

Considera le partite combinatorie a due giocatori con informazioni complete che terminano dopo un numero polinomiale di mosse e, in modo alternato, i giocatori scelgono da un numero finito di mosse consentite. La solita domanda è: quanto sia difficile distinguere il vincitore da una determinata posizione. Un altro sarebbe, quanto …

11 cc.complexity-theory np board-games pspace

1

NP vs co-NP e logica del secondo ordine

Supponiamo che NP = co-NP e polinomio limiti la lunghezza della prova di insoddisfazione per un'istanza 3-CNF . Quindi ci sono risultati su quale forma può assumere qualsiasi prova di insoddisfazione per of length ? Vale a dire, in generale, una tale prova dovrebbe, ad esempio, utilizzare il pieno potere …

11 cc.complexity-theory lo.logic np proof-complexity

3

Due varianti di NP

Ecco due variazioni sulla definizione di NP. Definiscono (quasi certamente) distinte classi di complessità, ma la mia domanda è: ci sono esempi naturali di problemi che rientrano in queste classi? (La mia soglia per ciò che conta come naturale qui è un po 'più bassa del solito.) Classe 1 (una …

11 cc.complexity-theory complexity-classes np

1

Di cosa si nutrono i teoremi della dicotomia?

È ben noto che certe classi di NP -problemi Avere dicotomia teoremi, che garantisce che ogni compito in classe è o NP -complete o è in P . Il risultato più noto è il teorema della dicotomia di Schaefer , insieme a una serie di generalizzazioni. La mia comprensione è …

10 cc.complexity-theory np descriptive-complexity

3

Limitazione teorica dei grafici alle prove nella teoria della complessità delle prove

La complessità della prova è un'area basilare della teoria della complessità computazionale. Uno scopo ultimo di quest'area è dimostrare , ovvero ogni prover non può fornire una prova di insoddisfazione di una determinata formula di input. NP≠coNPNP≠coNPNP\neq coNP Un grafico è uno dei modelli formali di prove. La mia domanda …

10 cc.complexity-theory reference-request graph-theory np proof-complexity

1

Ogni lingua indecidibile riconoscibile da Turing ha un sottoinsieme NP completo?

Ogni lingua indecidibile riconoscibile da Turing ha un sottoinsieme NP completo? La domanda potrebbe essere vista come una versione più forte del fatto che ogni linguaggio infinito riconoscibile da Turing ha un sottoinsieme infinito decidibile.

9 cc.complexity-theory np-hardness complexity-classes np decidability

1

Avversari non uniformi vs. uniformi

Questa domanda è emersa nel contesto della crittografia, ma di seguito la presenterò in termini di teoria della complessità, dal momento che le persone qui conoscono meglio quest'ultima. Questa domanda è correlata a Problemi in NP ma non in Average-P / poly e Bunon Uniformity di Oracle Access . Dichiarazione …

9 cc.complexity-theory cr.crypto-security np advice-and-nonuniformity average-case-complexity

Domande taggate «np»