Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

3
Combien d'instances de 3-SAT sont satisfaisables?
Considérons le problème 3-SAT sur n variables. Le nombre de clauses distinctes possibles est le suivant: 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. Le nombre de cas de problème est le nombre de tous les sous - ensembles de l'ensemble des clauses possibles: …
2
Conditions d'universalité NFA
Considérons un automate fini non déterministe et une fonction . De plus, nous définissons .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Analysons maintenant la déclaration suivante: Si , alors .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Il est facile de montrer que pour c'est vrai, …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.