Pagini recente » laundering | Atasamentele paginii Profil caliux | Diferente pentru utilizator/corneliu intre reviziile 1 si 3 | Algoritmiada 2009, Clasament Runda Finala, Clasele 5-8 | Diferente pentru problema/2sat intre reviziile 31 si 32
Nu exista diferente intre titluri.
Diferente intre continut:
h2. Date de ieşire
În fişierul de ieşire $2sat.out$ se vor afisa $N$ numere naturale, $0$ sau $1$, reprezentand o atribuire satisfiabila pentru expresia data in fisierul de intrare, sau valoarea -1 in caz ca expresia data nu admite solutie.
În fişierul de ieşire $2sat.out$ se vor afisa $N$ numere naturale, $0$ sau $1$, reprezentand o atribuire satisfiabila pentru expresia data in fisierul de intrare, sau valoarea -1 in caz ca expresia nu admite solutie.
h2. Restricţii
Nu exista diferente intre securitate.
Topicul de forum nu a fost schimbat.
