Atenţie! Aceasta este o versiune veche a paginii, scrisă la 2010-01-02 17:32:28.
Revizia anterioară Revizia următoare

Fişierul intrare/ieşire:	pinex.in, pinex.out	Sursă	Arhiva Educationala
Autor	Arhiva Educationala	Adăugată de	Serban Andrei Stan •savim
Timp execuţie pe test	1 sec	Limită de memorie	20480 kbytes
Scorul tău	N/A	Dificultate	N/A

Principiul includerii si excluderii

A gamă foarte largă de probleme în cadrul concursurilor de informatică şi nu numai se rezolvă folosind principiul includerii şi excluderii. Deşi teoria poate părea greu de înţeles, mă voi strădui să ofer o explicaţie cât mai clară pentru cei interesaţi.

Principiul enunţă faptul că fiind date N multimi finite A₁,A₂,A₃...A_n, relaţia de mai jos este adevărată.

$\displaystyle | \bigcup_{i=1}^{n} A_{i} | = \sum_{i=1}^{n} | A_{i} | - \sum_{i,j:1 \le i < j \le n} |A_{i} \cap A_{j} | + \sum_{i,j,k:1 \le i < j < k \le n} |A_{i} \cap A_{j} \cap A_{k}| - \ldots + (-1)^{n-1} |A_{1} \cap \ldots \cap A_{n}|$

Pentru demonstraţie, vom pleca de la cazul banal când avem doar două mulţimi, fie acestea A şi B. Dacă sunt disjuncte, este clar că reuniunea lor se calculează după relaţia $|A \cup B|=|A|+|B|$ . Ne rămâne de rezolvat cazul când A şi B au cel puţin un element în comun. Relaţia anterioară numără elementele comune din cadrul reuniunii de două ori(o dată pentru A şi o dată pentru B), de aici apare nevoia să scădem numărul acestora din rezultat. Acest lucru este uşor de făcut, dat fiind faptul că pentru A şi B, numărul de elemente comune celor doua mulţimi este $|A \cap B|$ . Rezultă $|A \cup B|=|A|+|B|-|A \cap B|$ .

În diagrama din dreapta este reprezentat cazul cu trei muţimi A, B şi C. Relaţia de mai sus se extinde la $|A \cup B \cup C|=|A|+|B|+|C|-|A \cap B|-|B \cap C|-|C \cap A|+|A \cap B \cap C|$ .

Pentru cazul general, având N mulţimi A₁,A₂,A₃...A_n, vom presupune că există un element x din
$\displaystyle \bigcup_{i=1}^{n} A_{i}$ comun pentru exact k multimi, fie acestea A_i1,A_i2,A_i3...A_ik. Vom considera cardinalele mulţimilor doar faţă de acest număr x (cu alte cuvinte, ignormăm celelalte elemente). Dacă vom face intersecţia a mai mult de k mulţimi, sau a unor mulţimi cu indicele de ordine diferit de i1,i2...ik, această intersecţie va fi evident vidă. Numărul de intersecţii a două mulţimi din cele k este C(k,2), numărul de intersecţii a trei mulţimi este C(k,3), etc. Cum am spus ca vom urmări doar elementul x, avem relaţia $\displaystyle \bigcup_{i=1}^{k} A_{i}=C(n,1)-C(n,2)+C(n,3)+...+(-1)^{k-1} C(n,n)=1$ Rezultă relaţia de demonstrat este adevărată.

Pentru o demonstratie mai riguroasă puteţi citi de pe wikipedia sau de pe cut-the-knot.

Aplicaţie la teoria prezentă mai sus

Răspundeţi la M întrebări de tipul: „dându-se două numere naturale A şi B, să se determine numărul de numere mai mici ca A şi prime cu B ”. Două numere naturale (x,y) sunt prime între daca cmmdc(x,y)=1.

Care-i legătura?

În loc să calculăm în mod direct numărul de numere mai mici ca A şi prime cu B, ne va fi mai uşor să calculam numărul de numere mai mici ca A neprime cu B, şi apoi să scadem acest rezultat din A. Pentru aceasta, vom lua în considerare divizorii primi ai lui A, fie aceştia D₁,D₂...D_k. Este evident ca orice număr natural x care are cmmdc(x,A)≠1 va fi divizibil cu unul din numerele D₁,D₂...D_k. De aici rezultă că o sa avem k mulţimi formate din numerele naturale mai mici ca A şi prime cu câte unul din divizorii primi ai lui B - valoarea căutată este reprezentată de cardinalul reuniunii lor. Calcularea acestui cardinal implică principiul includerii şi exlcuderii. Pentru mai multe detalii citiţi indicaţiile de rezolvare.

Date de intrare

Fişierul de intrare pinex.in va conţine pe prima linie numărul M, reprezentând numărul de query-uri. Următoarele M linii vor conţine câte două numere A si B, cu semnificaţia din enunţ.

Date de ieşire

Fişierul de ieşire pinex.out va conţine M linii, pe linia i fiind răspunsul la a i-a întrebare.

Restricţii

1 ≤ M ≤ 500
1 ≤ A ≤ 10¹⁸
1 ≤ B ≤ 10¹²
Pentru 30% din teste M ≤ 100, A,B ≤ 1 000
Pentru 70% din teste A,B ≤ 10⁹

Exemplu

pinex.in	pinex.out
3 10 5 20 6 50 30	8 7 14

Indicaţii de rezolvare

Marius Aici zici pe larg despre soluţie şi dai un exemplu aî să ai 3 mulţimi, faci trimitere la diagramă şi analizezi cum ajungi la rezultat. După care intră textul cu modalităţi de implementare. ;) Bagă Winie!