Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Durezza dei separatori di vertici
Per un dato grafico , il problema del separatore chiede se esiste un vertice o un insieme di bordi di piccola cardinalità (o peso) la cui rimozione separa in due grafici disgiunti di dimensioni approssimativamente uguali. Questo si chiama Problema del separatore di vertici quando il set rimosso è un …
1
Le persone osservano la nidificazione dei circuiti nei circuiti booleani?
Mentre ero un laureando in EE ho partecipato ad alcune lezioni che presentavano una bella caratterizzazione dei circuiti booleani in termini di quanti cicli nidificati hanno. Nella complessità, i circuiti booleani sono spesso pensati come punti deboli, ma nei cicli hardware reali sono comuni. Ora, modulo alcuni aspetti tecnici riguardo …
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 …
2
Esempio di qualcosa che è diverso per oracoli generici e casuali?
Sia un oracolo generico nel senso della categoria Cohen / Baire. Lascia che sia un oracolo casuale.RGGGRRR Esistono classi di complessità A e B con o il viceversa, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} La domanda è stata ispirata da un commento di Scott Aaronson .
2
Il problema delle N Queens è NP-difficile?
Il problema della regina N è questo: Ingresso: N Output: un posizionamento di N "regine" su una scacchiera NXN in modo tale che non vi siano due regine sulla stessa riga, colonna o diagonale. Facendo una ricerca su Google su questo, ho scoperto che molte diapositive di molti professori affermano …
2
Minimo True Monotone 3SAT
Sono interessato a una variazione SAT in cui la formula CNF è monotona (nessuna variabile viene negata). Tale formula è ovviamente soddisfacente. Ma dire che il numero di variabili vere è una misura di quanto sia buona la nostra soluzione. Quindi abbiamo il seguente problema: MONOTONE VERO MINIMO 3SAT ISTANZA: …
1
Un ostacolo come ETH
Sappiamo che in non possiamo risolvere -SUM in in nessuna funzione (di solito ).ETHETHETHKKKf( K) p o l y( n K)f(K)poly(nK)f(K)poly(nK)f( K)f(K)f(K)2O ( K)2O(K)2^{O(K)} C'è qualche congettura che impedisce una complessità (questo è del tutto coerente con la possibilità come abbiamo bisogno di tempo esponenziale per la somma del sottoinsieme) …
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.