Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
È
Definisci come la classe di lingue che può essere accettata da una macchina di Turing (multitape) nel tempo . (" " è solo per semplificare la notazione ed evitare confusione.) Notare che non c'è attorno a .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + 1 È vero che ?DTIME(n)=DTIME(2n)DTIME(n)=DTIME(2n)\mathsf{DTIME}(n) = \mathsf{DTIME}(2n) Usando il …
2
Riduzione di P vs. NP a SAT
La seguente domanda utilizza idee tratte dalla crittografia applicata alla teoria della complessità. Detto questo, è una domanda puramente teorica di complessità e non è richiesta alcuna conoscenza crittografica per rispondere. Scrivo deliberatamente questa domanda in modo molto informale. In mancanza di dettagli, è possibile che sia indicato in modo …
1
Conseguenze di
Ho parte di un tentativo di prova di ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Il tentativo di prova consiste in una riduzione del Karp dal ⊕P⊕P\oplus \mathbf{P} problema completo ⊕⊕\oplus 3-REGOLARE VERTEX COVER a SAT. Dato un grafico cubico GGG , la riduzione produce una formula CNF FFFavente entrambe le seguenti …
1
DSPACE (n) = DSPACE (1.5n) è?
Dal teorema della gerarchia spaziale è noto che se è costruibile nello spazio, DSPACE ( ) non è uguale a DSPACE ( .fff2 f ( n )2f(n)2f(n)f ( n ) )f(n))f(n)) Qui, per DSPACE ( intendo la classe di tutti i problemi che possono essere risolti nello spazio da una …
1
Il teorema della gerarchia spaziale generalizza al calcolo non uniforme?
Domanda generale Il teorema della gerarchia spaziale generalizza al calcolo non uniforme? Ecco alcune domande più specifiche: È ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Per tutte le funzioni costruibili nello spazio f(n)f(n)f(n) , è DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Per quali funzioni h(n)h(n)h(n) è noto che: per tutto lo spazio costruibile f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) …
1
Complessità parametrizzata dell'inclusione delle lingue regolari
Sono interessato al classico problema INCLUSIONE LINGUA REGOLARE. Data un'espressione regolare , indichiamo con L ( E ) il linguaggio regolare ad esso associato. (Le espressioni regolari sono su un alfabeto fisso Σ , con l'unione delle operazioni, stella di Kleene e concatenazione.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: due espressioni regolari ed …
4
Esiste un'analisi matematica algoritmica?
Esistono teoria dei grafi algoritmica / teoria dei numeri / combinatoria / teoria dell'informazione / teoria dei giochi. Esiste un'analisi matematica algoritmica? Secondo il wiki, l'analisi matematica include le teorie della differenziazione, integrazione, misura, limiti, serie infinite e funzioni analitiche. È OK concentrarsi sull'analisi reale (wiki) che si occupa dei …
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.