Isomorfismus s doplňkem

Úloha číslo: 4540

Nalezněte graf, který je izomorfní svému doplňku. Dokážete najít další? Je možné jich sestrojit nekonečně mnoho?
  • Idea řešení

    Rozborem případů lze nalézt \(P_4\) nebo \(C_5\).

    Nekonečně takových je možné získat rekurzivní konstrukcí. V grafu \(G\), který je izomorfní svému doplňku nahradíme každý vrchol \(v\) kopií nějakého grafu \(H_v\), který je také izomorfní svému doplňku. (Dokonce pro nahrazení různých vrcholů lze použít různé grafy, nebo některé vrcholy nijak nenahrazovat - stačí nahradit jen jeden.)

    Hrany původního grafu pak nahradíme úplnými bipartitními grafy.

    Isomorfismus \(G\) a \(\overline G\) zkombinovaný s isomorfismy mezi \(H_v\) a \(\overline{H_v}\) je hledaný isomorfismus výsledného grafu a jeho doplňku.

Obtížnost: Obtížná úloha
Úloha řešená úvahou
En translation
	Zaslat komentář k úloze