Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
aa:lab:7 [2021/11/22 00:46] mihai.calitescu |
aa:lab:7 [2024/11/18 14:12] (current) dmihai |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Algoritmi nondeterminiști ====== | ====== Algoritmi nondeterminiști ====== | ||
| - | 1. Determinați dacă următoarele formule sunt satisfiabile: | + | 1. Determinați dacă următoarele formule sunt satisfiabile: |
| * $ ( \overline x_0 \lor \overline x_3 \lor x_5) \land (x_3) \land (x_3 \lor x_6 \lor \overline x_4 \lor x_0 \lor x_2 \lor x_1 \lor x_5) \land (x_5 \lor \overline x_1 \lor \overline x_3 \lor x_0) \land ( \overline x_1 \lor \overline x_5 \lor x_6)$ | * $ ( \overline x_0 \lor \overline x_3 \lor x_5) \land (x_3) \land (x_3 \lor x_6 \lor \overline x_4 \lor x_0 \lor x_2 \lor x_1 \lor x_5) \land (x_5 \lor \overline x_1 \lor \overline x_3 \lor x_0) \land ( \overline x_1 \lor \overline x_5 \lor x_6)$ | ||
| Line 21: | Line 21: | ||
| * Hamiltonian path (dându-se un graf neorientat, există o cale care trece o singură dată prin fiecare nod din graf?) | * Hamiltonian path (dându-se un graf neorientat, există o cale care trece o singură dată prin fiecare nod din graf?) | ||
| * k-Cut (dându-se un graf $ G$ și un întreg $ k$ există o împărțire a nodurilor în două mulțimi astfel încât să existe k muchii cu câte un capăt în fiecare mulțime?) | * k-Cut (dându-se un graf $ G$ și un întreg $ k$ există o împărțire a nodurilor în două mulțimi astfel încât să existe k muchii cu câte un capăt în fiecare mulțime?) | ||
| + | |||
| + | 4. Implementați un algoritm de căutare exhaustivă pentru a rezolva SAT. | ||