Fişierul intrare/ieşire:amlei.in, amlei.outSursăpreONI 2007, Runda 2
AutorTiberiu-Lucian FloreaAdăugată degrecoTiberiu-Lucian Florea greco
Timp execuţie pe test0.175 secLimită de memorie20096 kbytes
Scorul tăuN/ADificultatenormalnormalnormalnormalnormal

Vezi solutiile trimise | Statistici

Amlei

Se dau doua formule logice interesante in (aceleasi) n variabile a1, a2, ... an. O formula logica este interesanta daca si numai daca este o disjunctie de conjunctii elementare. O conjunctie elementara este o formula de tipul ( b1 AND b2 AND ... AND bn ), unde bi este ci sau NOT ci , multimea { c1 , c2 , .. cn } este o permutare a multimii { a1 , a2 , .. an } iar NOT ci este negatia variabilei ci. Un exemplu de formula interesanta in 3 variabile independente este ( a1 AND NOT a3 AND a2 ) OR ( a3 AND NOT a1 AND NOT a2 ).

Dandu-se doua formule elementare in variabilele a1, a2, ... an, aflati daca ele sunt sau nu echivalente (adica pentru orice distributie a variabilelor a1, a2, ... an , formulele produc acelasi rezultat).

Date de intrare

Fisierul amlei.in contine W teste. Pe prima linie a fiecarui test se gasesc numerele naturale n, t si u, unde t si u reprezinta numarul de conjunctii elementare din care sunt formate fiecare din cele doua formule. Pe a doua linie se afla n*t numere intregi nenule cuprinse intre -n si n, reprezentand variabilele din prima formula atunci cand ignoram parantezele si convenim ca i si -i semnifica ai, respectiv NOT ai. Pe a treia linie este descrisa in mod similar cea de-a doua formula prin n*u numere intregi.

De exemplu, formula ( a1 AND NOT a3 AND a2 ) OR ( a3 AND NOT a1 AND NOT a2 ) ar fi descrisa prin secventa de numere: 1 -3 2 3 -1 -2.

Date de iesire

Pentru fiecare din cele W teste se va afisa pe cate o linie a fisierului amlei.out "DA" sau "NU" (fara ghilimele), atunci cand cele doua formule sunt sau nu sunt echivalente.

Restrictii

  • 1 ≤ W ≤ 10
  • 1 ≤ n ≤ 50
  • 1 ≤ t , u ≤ 500

Exemplu

amlei.inamlei.out
3 3 4
1 -2 -3 3 1 2 2 -1 3
2 -1 3 -3 -1 2 3 -1 2 2 1 -3
3 3 4
-3 -2 -1 3 1 2 -2 3 -1
1 2 3 -3 -2 -1 -1 -3 -2 -1 -2 3
NU
DA
Trebuie sa te autentifici pentru a trimite solutii. Click aici

Cum se trimit solutii?

remote content