
Dnes sa u mňa stavil Braňo Novotný (doktorand na MÚ SAV) a z voľnej debaty vyplynul nasledovný rekreačný matematický problém. Poznámka: rekreačný sa vo všeobecnosti nerovná jednoduchý.
Pre 2n bodov v rovine nazveme
disjunktným párovaním také rozdelenie týchto bodov do n dvojíc, že úsečky spájajúce jednotlivé páry sa nepretínajú (krajné body považujeme za súčasť úsečky). Z ilustračného obrázku vľavo hore vidíme, že vieme nájsť konfigurácie štyroch bodov v rovine, pre ktoré existuje práve jedno, práve dve a aj práve tri disjunktné párovania. Viac disjunktných párovaní štvorice bodov očividne nemôže existovať. Pre šesť bodov je však situácia komplikovanejšia:
Koľko disjunktných párovaní môže mať šestica bodov v rovine? Formálnejšie: Nájdite množinu M tých čísel m, že existuje šestica bodov v rovine, ktoré je možné disjunktne popárovať práve m spôsobmi.
Keď usporiadame 6 bodov tak, aby ležali na spoločnej priamke, existuje len jedno párovanie, t.j. množina M obsahuje číslo 1. Ak usporiadame 6 bodov do vrcholov pravidelného šesťuholníka, nájdeme 5 rôznych popárovaní, čiže aj číslo 5 patrí do množiny M. (Pozri obrázok vpravo; každá z piatich farieb určuje iné disjunktné párovanie.)
Ktoré ďalšie čísla patria do tejto množiny? (Väčšinu z nich nájdete jednoduchým experimentovaním s obrázkmi.) Viete nájsť horné ohraničenie množiny M, t.j. také číslo, že žiadne m z M nemôže byť väčšie?
27.10.: Nasledujúce obrázky ukazujú, že do množiny M patria čísla 3,4,5,6,7,10.


10.11.: Ako upozornil Braňo v komentároch, existujú aj konfigurácie (zobrazené nižšie) vedúce na 11 a 12 disjunktných párovaní.

Zostáva nám teda ešte nasledovná úloha:
Patria do množiny M niektoré z čísiel 2,8,9,13,14,15?