Jedno z klasycznych twierdzeń związanych z problematyką pakowania grafów mówi, że dowolny graf prosty rzędu n i rozmiaru nie większego niż n-2 jest pakowalny w swoje dopełnienie. Przykład gwiazdy pokazuje, że tego szacowania nie można poprawić.
Podejmowane były próby znalezienia maksymalnej wartości takiej, że dowolny graf skierowany rzędu n i rozmiaru nie większego niż jest pakowalny w swoje dopełnienie w grafie skierowanym pełnym. W 1985 roku Benhocine i Wojda postawili hipotezę, że graf skierowany rzędu n i rozmiaru nie większego niż 2n-4 jest podgrafem samodopełniającego grafu skierowanego rzędu n, a więc, w szczególności, jest grafem pakowalnym. Jak dotąd udało się pokazać, że
, przy czym górnego ograniczenia rozmiaru pakowalnego grafu skierowanego nie można poprawić.
W trakcie referatu przedstawię wynik osiągnięty we współpracy z A. Żakiem, mówiący o tym, że
.
|
|