Domande taggate «formulas»

3
Formula CNF equivalente più corta
Sia una formula CNF soddisfacente con n variabili e clausole . Lasciate essere lo spazio delle soluzioni di .F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considera il problema di determinare, dato , un'altra formula CNF con lo stesso insieme di variabili di , conF 2 F 1 S F 2 = S F 1F1F1F_1F2F2F_2F1F1F_1SF2=SF1SF2=SF1S_{F_2} = S_{F_1} …
1
Per due grafici non isomorfi
Voglio essere molto specifico. Qualcuno sa di una disproof o una prova della seguente proposizione: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge G \vDash …
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.