The Postal Owl

Logged in: Santa Claus (home)   

Diskrétní matematika

Back to the course

hamcube [GRAF]

Deadline: 2021-12-07 23:59 (393 days ago)

Martin Koutecký — 2021-11-30 12:02 (401 days ago) — reply

## Hamiltonovská krychle

Buď $d \in \N$ a $V = \{0,1\}^d$, tedy $V$ je množina $0/1$
vektorů délky $d$. Grafu na $V$, ve kterém spolu dva vektory sousedí
právě tehdy, když se liší v právě jedné souřadnici, se říká
*$d$-dimenzionální krychle*. Dokažte, že pro $d \geq 2$ je $d$-dimenzionální krychle hamiltonovská, tedy že existuje kružnice, která prochází všemi vrcholy.

Santa Claus — 2021-11-30 15:58 (401 days ago) — editreply

Indukcí podle $d$:

Pro $d = 2$:  $(0,0) - (0,1) - (1,1) - (1, 0) - (0,0)$ tvoří kružnici

Pokud platí pro $d$, podívejme se na $d + 1$: můžeme si to reprezentovat jako dvě kružnice pro $d$, přičemž každý vrchol rozšíříme u jedné kružnice o jedničku a u druhé o nulu. Hrany nového grafu jsou na původních kružnicích a taky mezi vrcholy, které byly před rozšířením shodné. Takovéto dvě kružnice můžeme spojit takto: vyberme dva na kružnici sousedící vrcholy $u,v$, ve dvou rozšířených kružnicích to budou vrcholy $\overline{0v}, \overline{0u}$ v jedné kružnici a $\overline{1v}, \overline{1u}$, přičemž v grafu budou také hrany $\overline{0u}\overline{1u}$ a $\overline{0v}\overline{1v}$, protože příslušené vektory se liší pouze v první souřadnici. Nový graf bude tvořit také kružnici, a to tak, že hrany v $uv$ v původních kružnicích "rozpojíme" a kružnice spojíme výše zmíněnými hranami.

Martin Koutecký — 2021-12-13 12:52 (388 days ago) — reply

Super.

Points: 3.00

New post (You can use Markdown with KaTeX math here)

Preview: