Nu aveti permisiuni pentru a descarca fisierul grader_test2.in
Inverseaza reviziile

Diferente pentru 2-sat intre reviziile #31 si #32

Diferente intre #32 si #33
Diferente intre #30 si #31

Nu exista diferente intre titluri.

Diferente intre continut:

(toc){width: 37em}*{text-align:center} *Conţinut:*
* 'Introducere':/2-sat#introducere

* 'Forme normale ale formulelor logice': 2-sat#forme-normale
* 'SAT, 3-SAT, 2-SAT': 2-sat#overview-sat
* 'Soluţii pentru 2-SAT': 2-sat#solutii-2-sat
** 'Soluţie $O(M * 2^N^)$': 2-sat#solutie1
** 'Soluţie $O(N * M)$': 2-sat#solutie2
** 'Soluţie $O(N^2^)$': 2-sat#solutie3
** 'Soluţie $O(M + N)$': 2-sat#solutie4
* 'Aplicaţii': 2-sat#aplicatii
** 'Party (preOni 2003/2004&#41': 2-sat#party

* 'Forme normale ale formulelor logice':/2-sat#forme-normale
* 'SAT, 3-SAT, 2-SAT':/2-sat#overview-sat
* 'Soluţii pentru 2-SAT':/2-sat#solutii-2-sat
** 'Soluţie $O(M * 2^N^)$':/2-sat#solutie1
** 'Soluţie $O(N * M)$':/2-sat#solutie2
** 'Soluţie $O(N^2^)$':/2-sat#solutie3
** 'Soluţie $O(M + N)$':/2-sat#solutie4
* 'Aplicaţii':/2-sat#aplicatii
** 'Party (preOni 2003/2004)':/2-sat#party

h2(#introducere). Introducere

Nu exista diferente intre securitate.

Topicul de forum nu a fost schimbat.