Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
aa:lab:7 [2024/11/18 14:10] dmihai |
aa:lab:7 [2024/11/18 14:12] (current) dmihai |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| * 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 o asignare de valori booleene unei formule pentru a verifica dacă e satisfiabilă. | + | 4. Implementați un algoritm de căutare exhaustivă pentru a rezolva SAT. |