Metoda probabilistă este o metodă neconstructivă pentru a demonstra existența unui obiect matematic cu proprietăți date. Utilizat mai ales în combinatorică , dar și în teoria numerelor , algebră liniară și calcul , precum și în informatică (cum ar fi metoda de rotunjire probabilistică ) și teoria informației .
Metoda constă în estimarea probabilității ca un obiect aleatoriu dintr-o clasă dată să satisfacă condiția dorită. Dacă se demonstrează că această probabilitate este pozitivă, atunci există un obiect cu proprietățile dorite. Deși demonstrația folosește probabilități, concluzia finală este definitivă, fără nicio ambiguitate.
Instrumentele comune utilizate în metoda probabilistică includ inegalitatea lui Markov , inegalitatea lui Chernov și lema locală a lui Lovas .
Cea mai cunoscută aplicare a acestei metode este asociată cu Erdős . Cu toate acestea, metoda probabilistică a fost aplicată chiar înainte de munca lui Erdős în această direcție. De exemplu, Seles în 1943 a folosit metoda pentru a demonstra că există turnee care conțin un număr mare de cicluri hamiltoniene .
Următoarele două exemple de aplicare a metodei probabilistice sunt discutate în detaliu în cartea Evidence from the Book de Martin Aigner și Günther Ziegler .
Trebuie să demonstrăm existența unei colorări în două culori (să zicem, roșu și albastru) a muchiilor unui graf complet cu vârfuri (pentru valori nu foarte mari ale ) astfel încât să nu existe un subgraf monocromatic complet cu vârfuri (care este, cu fiecare margine de aceeași culoare).
Vom alege culorile la întâmplare. Culoarea fiecărei margini este aleasă independent cu probabilitate egală roșu sau albastru. Calculați numărul așteptat de subgrafe monocromatice complete cu vârfuri după cum urmează:
Pentru orice set de vârfuri din graficul nostru, definiți o valoare de 1 dacă fiecare muchie se termină în aceeași culoare și 0 în caz contrar. Rețineți că numărul de subgrafe monocromatice este suma totală .
Pentru orice , așteptarea este probabilitatea ca toate muchiile din să aibă aceeași culoare. Si asta inseamnă
Factorul 2 apare deoarece există două culori posibile.
Același lucru este valabil pentru oricare dintre posibilele submulțimi cu vârfuri. Astfel încât așteptarea matematică a sumei peste toate este egală
Suma așteptărilor matematice este egală cu așteptarea sumei (indiferent dacă variabilele sunt independente ). Cu alte cuvinte , există numărul mediu de subgrafe monocromatice ale unui grafic colorat aleatoriu.
Numărul de subgrafe monocromatice într-o colorare aleatorie va fi întotdeauna un număr întreg . Prin urmare, dacă , atunci în cel puțin o colorare, nu trebuie să existe subgrafe monocromatice complete.
Adică dacă
apoi
unde denotă numărul Ramsey pentru . În special, crește cel puțin exponențial în .
NoteFie numere întregi pozitive și să fie date . Trebuie să construim un grafic cu toate ciclurile de lungime cel puțin și, în același timp, numărul cromatic G este cel puțin .
Fixăm un întreg mare . Considerăm un grafic aleatoriu cu vârfuri, unde fiecare muchie în există cu probabilitatea p = n 1/ g −1 . Să arătăm că următoarele două proprietăți sunt valabile cu probabilitate pozitivă
Proprietatea 1. conţine cel mult cicluri de lungime mai mică de . Mai precis, probabilitatea ca graficul să aibă nu mai mult de cicluri de lungime mai mică decât tinde spre 1 ca .
Dovada. Fie numărul de cicluri de lungime mai mică decât . Numărul de cicluri de lungime dintr-un grafic complet cu vârfuri este
iar fiecare dintre ele este cuprins în cu probabilitate p i . Prin urmare, prin inegalitatea lui Markov, avem
■Proprietatea 2. nu conține un set independent de mărime . Mai precis, probabilitatea ca un grafic să aibă un set de dimensiuni independente tinde spre 1 ca .
Dovada. Să notăm dimensiunea celei mai mari mulțimi independente în . Evident că avem
când
■Deoarece are aceste două proprietăți, putem extrage maximul de vârfuri din pentru a obține un nou grafic cu vârfuri care conțin doar cicluri de lungime cel mult . Vedem că are un set de dimensiuni independent . poate fi împărțit numai în mulțimi cel puțin independente și, prin urmare, are un număr cromatic de cel puțin .
Note