Treelike snarks

V článku studujeme grafy typu snark, jejichž hrany se nedají pokrýt méně než 5 perfektními párováními. Esperet a Mazzuoccolo našli nekonečnou třídu takových grafů a zobecnili tak příklad zkonstruovaný Hägglundem. Ukážeme konstrukci jiné nekonečné třídy, získané zobecněním v odlišném směru. Důkaz, že tato třída má požadovanou vlastnost, používá prohledávání pomocí počítače. Dále ukazujeme, že grafy z této třídy (říkáme jim stromovité grafy typu snark) mají cirkulární tokové číslo $\phi_C (G)\ge5$ a mají dvojité pokrytí 5 cykly.We study snarks whose edges cannot be covered by fewer than five perfect matchings. Esperet and Mazzuoccolo found an infinite family of such snarks, generalising an example provided by Hägglund. We construct another infinite family, arising from a generalisation in a different direction. The proof that this family has the requested property is computer-assisted. In addition, we prove that the snarks from this family (we call them \emph{treelike snarks}) have circular flow number $\phi_C (G)\ge5$ and admit a 5-cycle double cover