Conjectura Erdős-Bur este o problemă matematică referitoare la numărul Ramsey pe grafice rare . Ipoteza este numită după Pal Erdős și Stefan Boer . Conjectura afirmă că numărul Ramsey din orice familie de grafice rare ar trebui să crească aproape liniar cu numărul de vârfuri din grafic.
Această presupunere a fost pe deplin dovedită de Choongbum Lee în 2017 (și, prin urmare, este acum o teoremă) [1]
Dacă G nu este un graf direcționat , atunci degenerarea lui G este numărul minim p astfel încât orice subgraf al lui G conține un vârf de gradul p sau mai mic. Un grafic A cu degenerare p se numește p -degenerat. p -degenerarea unui graf poate fi definită și ca abilitatea de a reduce un graf la unul gol prin eliminarea secvenţială a vârfurilor de gradul p sau mai mic.
Din teorema Ramsey rezultă că pentru orice graf G există un număr întreg , numit număr Ramsey pentru G , astfel încât orice graf complet cu cel puțin vârfuri , ale căror margini sunt colorate în roșu și albastru, conține o copie monocromă a graficului G . De exemplu, numărul Ramsey pentru un triunghi este 6: indiferent de modul în care marginile unui grafic complet de șase vârfuri sunt colorate în roșu și albastru, va exista întotdeauna un triunghi roșu sau albastru.
În 1973, Paul Erdős și Stefan Boer au formulat următoarea ipoteză:
Pentru orice număr întreg p există o constantă c p astfel încât orice graf p -degenerat G pe n vârfuri are un număr Ramsey cel mult c p n .Astfel, dacă un graf G cu n vârfuri este p -degenerat, atunci o copie monocromatică a lui G trebuie să existe în orice graf bicolor cu p n vârfuri .
Înainte ca conjectura să fie pe deplin dovedită, a fost demonstrată în unele cazuri speciale, de exemplu, demonstrarea conjecturei pentru grafuri cu un grad mărginit de vârfuri este dată în articolul lui Chvatal, Rödl, Szemeredy și Trotter [2] . Dovada lor conduce la o valoare foarte mare a lui c p . Constanta a fost îmbunătățită de Nancy Eaton [3] și de Ronald Graham [4] .
Se știe că conjectura este adevărată pentru grafurile p -mărginite, care includ grafuri cu un grad maxim limitat de vârfuri, grafuri plane și grafuri care pKdivizareanu conțin [5] .
Se știe că conjectura este adevărată pentru graficele împărțite, adică pentru graficele în care două vârfuri învecinate nu au un grad mai mare decât doi [6] .
Pentru un grafic arbitrar, se știe că numărul Ramsey este mărginit de o funcție care crește ușor superliniar. Și anume, Fox și Sudakov [7] au arătat că există o constantă c p astfel încât pentru orice graf p -degenerat G cu n vârfuri