Jak różne mogą być dowody jednego twierdzenia z kombinatoryki

Będę mówić o dowodach kombinatorycznego twierdzenia o istnieniu turniejów spełniających pewien warunek. Dwa z tych dowodów są proste a jeden jest trudny, bo oparty na bardzo zaawansowanych metodach. Dwa z tych dowodów pokazują istnienie stosunkowo małych turniejów spełniających żądany warunek, a jeden z nich wymaga turniejów dużo większych. Dwa z tych dowodów pokazują konkretne konstrukcje a jeden jest niekonstruktywny i dowodzi istnienia bez wskazania konkretnego przykładu. Tematem wykładu będzie to, jak te cechy współgrają ze sobą.