En fait, comme je viens d'écrire a mouton, je viens de me rendre compte que je peux au moins démontrer que pour n=3 et m supérieur ou égal a 9, aucune grille ne marche.
Karmina dit dans son message que c'est évident, mais ça n'a rien d'évident pour tout a chacun, et ça demande je crois une petite explication. Je vais donc écrire la démonstration qui me semble la bonne. Celle ci étant faite non pas sur une valeur précise, mais comme une recherche de taille maximale de grille sans ligne répétitive, sous peine d'avoir par principe un rectangle et donc une grille invalide selon nos critères de recherche.
On pose comme base qu'une grille qui dispose de deux lignes identiques contient par définition un ou plusieurs rectangles.
Or, toute grille ne peut avoir qu'un nombre limité de lignes différentes puisque limité dans la taille par la valeur m, un nombre fini.
Donc, on cherche pour un n donné, le nombre de lignes différentes maximales, qui sera donc la limite de m au delà duquel un rectangle est forcément présent.
Sachant que n correspond au nombre de carré de la ligne.
Sachant qu'un carré ne peut avoir que deux valeurs: noir ou blanc.
On peut dire que chaque carré peut avoir deux valeurs, et donc, que pour N carré, on a 2 x 2 x ... 2 valeurs possibles et cela N fois, soit 2^n lignes possibles différentes.
Donc, une grille pour laquelle m>=2^n contient forcément un rectangle.
Et comme pour ma part, je ne vois pas ce qui nous permet de postuler que n>m (après tout il s'agit d'une grille de carrés, mais rien ne nous dit qu'elle doit disposer de plus de lignes que de colonnes), je dirais qu'une grille de n>=2^m donne également forcément un rectangle.
Pour une grille n=3, on obtient 2^3 soit 8, et on vois donc que pour m=9 ou m>9, un rectangle existe par définition, bien sur.
Et au passage, ces petites grilles de carrés noirs et blancs me font bien penser a des matrices de graphes pleines de 0 et de 1, sans que je sache trop pourquoi d'ailleurs...
