Scienza del computer satisfiability

2

Spiegare SAT agli insegnanti di scienze delle scuole superiori

Sono un secondo anno di scuola superiore che è interessato all'informatica. Ho sviluppato un algoritmo interessante per #SAT e sto implementando e realizzando un progetto scientifico equo su di esso. La mia consulente, che è la migliore insegnante di scienze della mia scuola ed è anche insegnante di AP Comp …

9 algorithms satisfiability

1

Se uno mostra che UNI-k-SAT è in P, implica P = NP?

Valiant & Vazirani hanno dimostrato che il SAT è riducibile a SAT UNICO con riduzioni probabilistiche randomizzate nel tempo polinomiale. Calabro et al . ha dimostrato che il K-SAT UNICO è duro quanto il k-SAT. Ora la domanda è: se qualcuno mostra che UNICO k-SAT è in P, implica P …

9 complexity-theory satisfiability p-vs-np

1

Qual è il nome del problema? (grafico di partizionamento in tre copertine)

Mi chiedevo se questo problema ha un nome: Dato un semplice grafico i cui bordi sono di colore rosso, blu e verde, , esiste una colorazione dei vertici tale che ogni bordo ha un endpoint con lo stesso colore?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Inoltre, questo è noto per essere NP-completo? Questo …

9 algorithms complexity-theory graphs satisfiability colorings

2

Trova

Sia la lingua di tutte le formule 2 -CNF φ , in modo tale che almeno ( 1LϵLϵL_\epsilon222φφ\varphidelleclausolediφpossono essere soddisfatte.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Devo dimostrare che esiste st L ϵ è N P -hard per qualsiasi ϵ < ϵ ′ .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ<ϵ′ϵ<ϵ′\epsilon<\epsilon' Sappiamo che può essere approssimativo a 55Max2SatMax2Sat\text{Max}2\text{Sat} precent delle clausole da unariduzione …

9 complexity-theory satisfiability approximation

2

"Oggetto raggiungibile" è davvero un problema NP-completo?

Stavo leggendo questo articolo in cui gli autori spiegano il Teorema 1, in cui si afferma che "Oggetto raggiungibile" (come definito nel documento) è NP-completo. Tuttavia, dimostrano la riduzione solo in una direzione, ovvero da 2P1N SAT a Oggetto raggiungibile. Questo dimostra solo che il problema è NP-difficile; non è …

8 complexity-theory np-complete np-hard satisfiability

4

Risolutore SAT deterministico

Ho la seguente domanda I solutori SAT sono deterministici? Intendo ad esempio l' algoritmo miniSAT e DPLL . Sono completamente deterministici? Se questi algoritmi restituiranno unSAT significa che sicuramente la soluzione non esiste?

8 algorithms logic satisfiability sat-solvers

2

Incarico di rendere insoddisfacente la formula

Immaginiamo di avere una formula soddisfacente F(UN0,UN1, . . .UNK,S0, . . . ,Sn)F(UN0,UN1,...UNK,S0,...,Sn)F(A_0, A_1,...A_k,S_0,...,S_n) Il problema da risolvere è "Esiste un'assegnazione per le variabili (S0, . . . ,Sn)(S0,...,Sn)(S_0,...,S_n) quale renderà F insoddisfacente? ". Un modo di risolvere è trovare tutte le soluzioni per F in termini di variabili …

8 logic satisfiability sat-solvers

2

Che cos'è una dicotomia? Se 2-SAT stesso è una dicotomia di SAT?

Di recente, sto leggendo articoli sulla dicotomia . Non capisco quale condizione possa essere definita una dicotomia ? Qual è il significato di "una domanda è in P o in NP - completa "? (supponiamo che P ≠≠\neq NP ) Ad esempio, ho conosciuto il teorema della dicotomia di Schaefer, …

8 complexity-theory np-complete satisfiability

1

Verificare la correttezza dell'eliminazione del quantificatore, utilizzando SAT

Permettere x=(x1,…,xn)X=(X1,...,Xn)x=(x_1,\dots,x_n) e y=(y1,…,yn)y=(y1,...,yn)y=(y_1,\dots,y_n) essere nnn-vettori di variabili booleane. Ho un predicato booleanoQ(x,y)Q(X,y)Q(x,y) su x,yX,yx,y. Do al mio amico PriscillaQ(x,y)Q(X,y)Q(x,y). In risposta, mi dàP(x)P(X)P(x), un predicato booleano su xXxe lei lo afferma P(x)≡∃y.Q(x,y),P(X)≡∃y.Q(X,y),P(x) \equiv \exists y . Q(x,y), o in altre parole, quello ∀x.[P(x)⇔∃y.Q(x,y)].∀X.[P(X)⇔∃y.Q(X,y)].\forall x . [P(x) \Leftrightarrow \exists y …

8 logic satisfiability first-order-logic software-verification model-checking

1

Quanto possiamo ridurre il numero di clausole convertendoci da

Se supponiamo di iniziare con un'istanza di -SAT e di provare a convertire il problema in un'istanza di -SAT, dove ci sono valori letterali per clausola, possiamo garantire una riduzione del importo totale delle clausole?KKk( k + m )(K+m)(k+m)( k + m )(K+m)(k+m) Mi sono reso conto dopo la pubblicazione …

8 complexity-theory logic satisfiability

2

Un algoritmo provvisorio di soddisfacibilità

Non si ritiene che la soddisfazione generale (con poche eccezioni come le clausole di Horn) abbia una soluzione algoritmica. Tuttavia, il seguente algoritmo sembra essere una soluzione per la soddisfazione generale. Qual è esattamente il difetto con il seguente algoritmo? Sia un insieme vuoto che conterrà tutte le variabili che …

8 algorithms logic satisfiability constraint-programming

Domande taggate «satisfiability»