Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Funzioni non calcolabili in modo efficiente ma apprendibili
Sappiamo che (vedi, ad esempio, Teoremi 1 e 3 di [1]), approssimativamente parlando, in condizioni adeguate, le funzioni che possono essere calcolate in modo efficiente dalla macchina di Turing in tempo polinomiale ("calcolabile in modo efficiente") possono essere espresse da reti neurali polinomiali con dimensioni ragionevoli, e quindi può essere …
2
Quanti DFA accettano due stringhe specifiche?
Correggi un numero intero nnn e un alfabeto Σ={0,1}Σ={0,1}\Sigma=\{0,1\} . Definire DFA(n)DFA(n)DFA(n) come raccolta di tutti gli automi a stati finiti su nnn stati con stato iniziale 1. Stiamo prendendo in considerazione tutti i DFA (non solo quelli connessi, minimi o non degenerati); quindi, |DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n . Ora considera …
3
Quanti casi di 3-SAT sono soddisfacenti?
Considera il problema 3-SAT su n variabili. Il numero di possibili clausole distinte è: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Il numero di istanze del problema è il numero di tutti i sottogruppi della serie di possibili clausole: . In sostanza, per …
2
Limiti inferiori stretti sul teorema di Savitch
Prima di tutto, mi scuso in anticipo per qualsiasi stupidità. Non sono affatto un esperto di teoria della complessità (tutt'altro! Sono un laureato che frequenta la mia prima lezione di teoria della complessità) Ecco la mia domanda. Ora il teorema di Savitch afferma che NSPACE(f(n))⊆DSPACE((f(n))2)NSPACE(f(n))⊆DSPACE((f(n))2)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^2\right) Ora sono curioso …
2
Complessità del completamento di n-regine?
Il classico problema -queens chiede, dato un numero intero positivo , se esiste un array di numeri interi che soddisfa le seguenti condizioni:n Q [ 1 .. n ]nnnnnnQ[1..n]Q[1..n]Q[1..n] i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le n per tuttiiii Q[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j] per tuttii≠ji≠ji\ne j Q[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne Q[j]-j per tuttii≠ji≠ji\ne j Q[i]+i≠Q[j]+jQ[i]+i≠Q[j]+jQ[i]+i \ne Q[j]+j …
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.