par Doraki » 09 Juin 2010, 19:56
Je montre par récurrence qu'on peut remplir des cubes de taille 2^n, en entrant par une direction quelconque dans un coin du cube et en sortant par une direction quelconque par un coin adjacent du cube (à l'autre cout d'une arête).
Pour n=1, on a les quatre trajets
000 -> 001 -> 011 -> 111 -> 101 -> 100 -> 110 -> 010.
000 -> 001 -> 101 -> 100 -> 110 -> 111 -> 011 -> 010.
000 -> 100 -> 110 -> 111 -> 101 -> 001 -> 011 -> 010.
000 -> 100 -> 101 -> 001 -> 011 -> 111 -> 110 -> 010.
Selon les directions des trajets qu'on veut faire en entrant et en sortant du cube, il y a toujours moyen de faire 000 => 010.
On peut permuter les axes pour voir qu'on peut sortir de n'importe quel coin adjacent au coin d'entrée.
Ensuite, si on sait remplir des cubes de coté a, pour remplir un cube de coté (2*a), on fait :
(0,0,0) => (0,0,a-1) -> (0,0,a) => (0,a-1,a) -> (0,a,a) => (0,2a-1,a)
-> (0,2a-1,a-1) => (a-1,2a-1,a-1) -> (a,2a-1,a-1) => (2a-1,2a-1,a-1)
-> (2a-1,2a-1,a) => (2a-1,a,a) -> (2a-1,a-1,a) => (2a-1,0,a)
-> (2a-1,0,a-1) => (2a-1,0,0).
Les flèches => disent que on remplit un cube entier, les flèches -> disent qu'on fait un déplacement simple.
Donc voilà on sait remplir des cubes de taille 2^n pour n quelconque.
En permutant les 3 axes convenablement pour chaque n, on peut faire en sorte d'avoir une courbe infinie dont les 2^(3n) premiers déplacements correspondent au remplissage d'un cube de coté 2^n.