Pagini recente » Diferente pentru problema/armonica intre reviziile 2 si 3 | Diferente pentru problema/sirinf intre reviziile 5 si 4 | Atasamentele paginii Profil span7a | Diferente pentru utilizator/doublex intre reviziile 1 si 3 | Diferente pentru problema/2sat intre reviziile 3 si 2
Diferente pentru
problema/2sat intre reviziile
#3 si
#2
Nu exista diferente intre titluri.
Diferente intre continut:
== include(page="template/taskheader" task_id="2sat") ==
Problema satisfiabilitatii, notata prescurtat cu SAT cere determinarea existentei unei atribuiri satisfiabile pentru o formula booleana. O atribuire de valori booleene pentru variabilele acestei expresii se numeste atribuire satisfiabila daca evaluarea expresiei dupa atribuirea valorilor da rezultat ca valoare de adevar $"adevarat"$. Un exemplu de formula ar fi:
$((x{~1~} SAU x{~2~}) SI (NOT x{~3~} SI x{~1~}) SAU x{~4~})$
aceasta avand o atribuire satisfiabila $x{~1~}=1 x{~2~}=0 x{~3~}=0 x{~4~}=1$.
Poveste şi cerinţă...
h2. Date de intrare
Nu exista diferente intre securitate.
Topicul de forum nu a fost schimbat.
