Voir la source de Plan en blocs

En [[mathématiques]] [[Combinatoire|combinatoires]], un '''plan en blocs''' est un ensemble (dont les éléments sont appelés des ''points'') muni d'une famille de parties appelées des ''blocs'', satisfaisant des propriétés issues nombreux domaines, notamment celui des [[Plan d'expériences|plans d'expériences]], de la [[géométrie finie]], de [[Chimie physique|la chimie physique]], des [[Test (informatique)|tests de logiciels]], de la [[cryptographie]] et de la [[géométrie algébrique]]. De nombreuses variantes de ces plans ont été examinées, mais les plus étudiés sont les '''plans en blocs incomplets équilibrés''', abrégé en ''BIBD'' pour ''balanced incomplete block designs'', ou parfois 2-plans, qui sont historiquement liés à des problèmes statistiques dans des [[plan d'expériences|plans d'expériences]]<ref>{{harvsp|Colbourn|Dinitz|2007|p = 17−19}}.</ref>{{,}}<ref>{{harvsp|Stinson|2003| p = 1}}.</ref>{{,}}<ref name=":1">{{Article|auteur1=B. Monjardet|titre=Combinatoire et Algèbre, plans en blocs, configurations géométriques planes|périodique=Mathématiques et sciences humaines|volume=23|pages=37-50|date=1968|lire en ligne=http://www.numdam.org/article/MSH_1968__23__37_0.pdf}}.</ref>. 

Un plan en blocs dans lequel tous les blocs ont la même taille est dit ''uniforme''. Les plans décrits dans cette page sont tous uniformes. Les [[Design combinatoire#Designs combinatoires fondamentaux|plans équilibrés par paires]] sont des exemples de plans en blocs qui ne sont pas nécessairement uniformes. 

La notion de plan en blocs est équivalente à celle d'[[hypergraphe]], où les blocs sont alors appelés les ''arêtes'', et les points les ''sommets'' de l'hypergraphe. 

== Définition d'un plan en blocs incomplet équilibré (ou 2-plan) ==
[[Fichier:Hexagrammum Mysticum.svg|vignette|La configuration de l'[[hexagramme de Pascal]] présente <math>v=9</math> points et <math>b=8</math> blocs, <math>r=3</math> blocs contenant un point, <math>\lambda=1</math> bloc contenant 2 points distincts, mais ce n'est pas un plan en blocs équilibré car il n'est pas uniforme (un bloc contient 6 points, les autres 3)<ref name=":1" />.]]
Étant donné un ensemble fini <math>X</math> (dont les éléments sont appelés ''points'') et des entiers <math>k,r,\lambda\geqslant1</math>, on définit un ''plan en blocs incomplet équilibré'' ou ''2''-''plan'' (ou ''BIBD'') comme une famille de parties à <math>k</math> éléments de <math>X</math>, appelées les ''blocs'', telles que tout point <math>x</math> de <math>X</math> appartient à <math>r</math> blocs, et que toute paire de points distincts <math>x</math> et <math>y</math> de <math>X</math> est incluse dans <math>\lambda</math> blocs. 

Le terme ''famille'' dans la définition ci-dessus peut être remplacé par ''ensemble'' s'il n'y a pas de répétition de blocs. Les plans sans blocs répétés sont dits ''simples''. 

L'entier <math>v</math> (le nombre de points, c'est-à-dire le nombre d'éléments de <math>X</math>) , l'entier <math>b</math> (le nombre de blocs), et les entiers <math>k,r,\lambda</math> sont les ''paramètres'' du plan. Pour éviter les cas dégénérés, on suppose également que <math>v>k</math>, de sorte qu'aucun bloc ne contient tous les éléments de l'ensemble (c'est le sens du terme ''incomplet'' dans le nom de ces plans). La table suivante résume les paramètres : 
:{| class="wikitable"
|<math>v</math>
|nombre de points (éléments de <math>X</math>)
|-
|<math>b</math>
|nombre de blocs
|-
|<math>r</math>
|nombre de blocs contenant un point donné
|-
|<math>k</math>
|nombre de points dans un bloc
|-
|<math>\lambda</math>
|nombre de blocs contenant 2 (ou plus généralement ''t'' pour un ''t''-plan) points distincts donnés
|}
Le plan est appelé un 2-plan de paramètres <math>(v,k,\lambda) </math>, ou un <math>(v,k,\lambda) </math> 2-plan, ou encore un 2-plan de paramètres <math>(v,b,r,k,\lambda) </math>. Les paramètres ne sont pas tous indépendants : <math>v</math>, <math>k</math> et <math>\lambda</math> déterminent <math>b</math> et <math>r</math>, et les combinaisons de <math>v</math>, <math>k</math> et <math>\lambda</math> ne sont pas toutes possibles. Les deux relations de base reliant ces paramètres sont 

: <math> bk = vr, </math>

que l'on obtient en comptant de deux façons le nombre de couples <math>(B,x)</math> où <math>B</math> est un bloc et <math>x</math> un point de ce bloc, et 

: <math> r(k-1)=(v-1)\lambda </math>,

que l'on obtient en fixant un point <math>x</math> et en comptant de deux façons le nombre de couples <math>(B,y)</math> où <math>y</math> est un point distinct de <math>x</math> et <math>B</math> un bloc qui les contient<ref name=":0" />. Les paramètres <math>r</math> et <math>b</math> sont donc déterminés en fonction de <math>(v,k,\lambda) </math> par <math> r= \frac{\lambda(v-1)}{k-1} </math> puis <math> b=\frac {vr}k </math>. 

Ces conditions ne sont pas suffisantes ; par exemple, un plan de paramètres <math>(v,k,\lambda)=(43,7,1) </math> n'existe pas, bien que <math> r= \frac{\lambda(v-1)}{k-1}=7 </math> et  <math> b=\frac {vr}k=43 </math> soient entiers<ref>Ce résultat a été démontré par Tarry en 1900 : il n'existe pas de paire de [[Carré latin|carrés latins]] orthogonaux d'ordre six. Le 2-design avec ces paramètres est équivalent à l'existence de cinq carrés latins d'ordre six deux à deux orthogonaux.</ref>.

L''''ordre''' d'un 2-plan est par définition le nombre <math> n=r-\lambda </math>. Le 2-plan '''complémentaire''' est obtenu en remplaçant chaque bloc par son [[Complémentaire (théorie des ensembles)|complémentaire]] dans l'ensemble des points <math>X</math>. C'est également un 2-plan avec les paramètres <math> v'=v</math>, <math>b'= b</math>, <math>r'= b - r</math>, <math>k'=v-k</math>, <math>\lambda'=\lambda+b-2r</math>. Un 2-plan et son complémentaire ont le même ordre. 

Un théorème fondamental, l'inégalité de Fisher, du nom du statisticien [[Ronald Aylmer Fisher|Ronald Fisher]], est que dans tout 2-plan, on a l'inégalité <math> b\geqslant v </math>, donc <math>r\geqslant k</math><ref name=":0" />.

== Exemples ==

* L'unique 2-plan de paramètres <math>(v,k,\lambda)=(6,3,2)</math> possède 10 blocs (<math>b=10</math>) et chaque point appartient à 5 blocs (<math>r = 5</math>)<ref name="ex">{{harvsp|Colbourn|Dinitz|2007|p= 27}}.</ref>. 
: On peut le représenter par la [[matrice d'incidence]] suivante où le terme de la ligne <math>i</math> et de la colonne <math>j</math> vaut 1 ssi le point <math>x_j</math> appartient au bloc <math>b_i</math> : 
:{| class="wikitable"
|+
!<math>\ni</math>
!<math>x_1</math>
!<math>x_2</math>
!<math>x_3</math>
!<math>x_4</math>
!<math>x_5</math>
!<math>x_6</math>
|-
|<math>b_1</math>
|1
|1
|1
|0
|0
|0
|-
|<math>b_2</math>
|1
|1
|0
|1
|0
|0
|-
|<math>b_3</math>
|1
|0
|1
|0
|1
|0
|-
|<math>b_4</math>
|1
|0
|0
|1
|0
|1
|-
|<math>b_5</math>
|1
|0
|0
|0
|1
|1
|-
|<math>b_6</math>
|0
|1
|1
|0
|0
|1
|-
|<math>b_7</math>
|0
|1
|0
|1
|1
|0
|-
|<math>b_8</math>
|0
|1
|0
|0
|1
|1
|-
|<math>b_9</math>
|0
|0
|1
|1
|1
|0
|-
|<math>b_{10}</math>
|0
|0
|1
|1
|0
|1
|}
:La somme des termes de chaque colonne est égale à <math>r=5</math>, la somme des termes de chaque ligne est égale à <math>k=3</math>, et le fait que <math>\lambda=2</math> se traduit par le fait que la somme de deux colonnes contient exactement deux termes égaux à 2.

* L'unique 2-plan de paramètres <math>(v,k,\lambda)=(7,3,1)</math> possède 7 blocs, chaque point appartenant à 3 blocs. Sa matrice d'incidence est :
:{| class="wikitable"
|+
!<math>\ni</math>
!<math>x_1</math>
!<math>x_2</math>
!<math>x_3</math>
!<math>x_4</math>
!<math>x_5</math>
!<math>x_6</math>
!<math>x_7</math>
|-
|<math>b_1</math>
|1
|1
|0
|1
|0
|0
|0
|-
|<math>b_2</math>
|1
|0
|1
|0
|0
|0
|1
|-
|<math>b_3</math>
|1
|0
|0
|0
|1
|1
|0
|-
|<math>b_4</math>
|0
|1
|1
|0
|1
|0
|0
|-
|<math>b_5</math>
|0
|1
|0
|0
|0
|1
|1
|-
|<math>b_6</math>
|0
|0
|1
|1
|0
|1
|0
|-
|<math>b_7</math>
|0
|0
|0
|1
|1
|0
|1
|}
: La somme des termes de chaque colonne est égale à <math>r=3</math>, la somme des termes de chaque ligne est égale à <math>k=3</math>, et le fait que <math>\lambda=1</math> se traduit par le fait que la somme de deux colonnes contient exactement un terme égal à 2.
: Si les points sont vus comme les points d'un [[plan de Fano]], alors les blocs en sont les droites.
[[Fichier:Hesse_configuration.svg|droite|vignette|200x200px|Plan affine fini d'ordre <math>n=3</math>, possédant <math>v=9  </math> points et <math>b=12</math> droites de <math>k=3</math> points chacune. Par chaque point passent <math>r=4</math> droites.]]
* Il existe quatre 2-plans non isomorphes de paramètres <math>(v,k,\lambda)=(8,4,3)</math>, chacun possédant 14 blocs, et chaque point appartenant à 7 blocs. En utilisant les symboles de 0 à 7 pour représenter les points, un exemple est donné par les blocs suivants<ref name="ex" /> :
: 0123 &nbsp;&nbsp; 0124 &nbsp;&nbsp; 0156 &nbsp;&nbsp; 0257 &nbsp;&nbsp; 0345 &nbsp;&nbsp; 0367 &nbsp;&nbsp; 0467 &nbsp;&nbsp; 1267 &nbsp;&nbsp; 1346 &nbsp;&nbsp; 1357 &nbsp;&nbsp; 1457 &nbsp;&nbsp; 2347 &nbsp;&nbsp; 2356 &nbsp;&nbsp; 2456.

* Le [[Géométrie finie#Plans affines finis|plan affine fini]] d'ordre <math>n</math> est un 2-plan de paramètres <math>(v,b,r,k,\lambda)= (n^2,n^2+n,n+1,n,1)  </math><ref name=":0" />.

[[Fichier:Cherche et trouve.gif|vignette|326x326px|Deux des 13 cartes du jeu « cherche et trouve » dont il faut retrouver les 2 symboles communs.]]

== Plan en bloc dual ==
Comme pour la notion d'[[hypergraphe]], on peut considérer le plan en blocs dual obtenu en échangeant les points et les blocs (donc en transposant la matrice d'incidence). Les nombres de points et de blocs <math>v,b</math> s'échangent, et les nombre de points par bloc et nombre de blocs par point <math>k,r</math> s'échangent aussi. Le nombre <math>\lambda</math> de blocs contenant deux points donnés devient alors le nombre constant de points communs à deux blocs.

Cette dernière propriété est à l'origine de la conception de jeux d'observation où l'on doit retrouver rapidement <math>\lambda</math> symboles communs dessinés sur deux cartes.

Le jeu [[dobble]] en est un exemple avec <math>\lambda=1</math>. S'il était complet le jeu comporterait <math>b=57</math> cartes utilisant <math>v=57</math> symboles, chaque carte comportant <math>k=8</math> symboles par cartes et chaque symbole se retrouvant sur <math>r=8</math> cartes.

Le jeu « [https://fr.clementoni.com/products/cherche-et-trouve cherche et trouve] » est un exemple avec <math>\lambda=2</math>. Il comporte <math>b=13</math> cartes utilisant <math>v=26</math> symboles, chaque carte comportant <math>k=8</math> symboles, et chaque symbole se retrouvant sur <math>r=4</math> cartes. Il est construit sur le dual d'un 2-plan de paramètres <math>(v',b',r',k',\lambda)=(13,26,8,4,2) </math>, vérifiant bien <math> \lambda(v'-1) = r'(k'-1)=24  </math>.

== Plans en blocs symétriques ==
Un 2-plan qui a le même nombre de points et de blocs est dit '''symétrique'''. C'est le cas de l'égalité dans l'inégalité de Fisher<ref>Ils ont également été appelés « design projectifs » (''projective designs'') ou « designs carrés » (''square designs'') dans le but de remplacer l'adjectif  « symétrique »  "symmetric", puisque dans ces designs, rien n’est symétrique au sensusuel du terme). L'usage de ''projective'' est dû à P.Dembowski (''Finite Geometries'', Springer, 1968), en analogie avec l'exemple le plus courant, les plans projectifs, alors que  ''square'' est dû à P. Cameron (''Designs, Graphs, Codes and their Links'', Cambridge, 1991) est illustre l'implication v = b dans la matrice d'incidence. Ni l'un ni l'auyre de ces termes a été adopté, et ces designs continuent à être appelés ''symétrique''.</ref>. Les plans symétriques ont le plus petit nombre de blocs parmi les 2-plans d'un nombre de points donné. 

Dans un 2-plan symétrique, on a les égalités <math>r=k</math> et <math>b=v</math>, et deux blocs distincts ont <math>\lambda</math> points en commun, il est donc son propre dual<ref>{{harvsp|Stinson|2003|p=23, Theorem 2.2}}.</ref>. Un théorème de [[Herbert John Ryser|Ryser]] dit que l'inverse est également vrai : Si <math>X</math> est un ensemble à <math>v</math> éléments et <math>B</math> est un ensemble de <math>v</math> parties à <math>k</math> éléments de <math>X</math> (les "blocs") tels que deux blocs distincts ont exactement <math>\lambda</math> points en commun, alors <math>(X,B)</math> est un plan en blocs symétrique<ref>{{harvsp|Ryser|1963|p= 102-104}}.</ref>. 

Les paramètres d'un plan symétrique satisfont à la relation : 

:: <math> \lambda (v-1) = k(k-1) </math>, soit <math> v=1+ \frac {k(k-1)}\lambda </math>.

D'après le [[théorème de Bruck-Ryser-Chowla]], une condition d'existence supplémentaire, nécessaire mais non suffisante sauf pour <math>k=3\text{ ou }4</math>,  est que<ref name=":0">{{Article|auteur1=G. Heuzé|titre=Vue d'ensemble sur la théorie des plans équilibrés|périodique=L'Enseignement mathématique|volume=17|date=1971|lire en ligne=https://www.e-periodica.ch/cntmng?pid=ens-001%3A1971%3A17%3A%3A83}}.</ref> : 

* si <math>v</math> est pair, <math>(k-\lambda)</math> soit un carré parfait
* si <math>v</math> est impair, l'équation <math>z^2=(k-\lambda)x^2+(-1)^{\frac{v-1}2}\lambda y^2</math> ait une solution non nulle en nombres entiers.

Voici des exemples importants de 2-plans symétriques. 

=== Plans projectifs ===
Les [[Plan projectif|plans projectifs finis]] sont des 2-plans symétriques de paramètre <math>\lambda=1</math> et d'ordre <math>n>1</math>. Pour ces plans, la relation des plans symétriques devient : 

:: <math>v=1+ k(k-1).</math>

Comme <math>k=r</math> , l'''ordre'' d'un plan projectif est <math>n = k- 1</math> et, à partir de la relation ci-dessus, on obtient qu'il y a <math>v=1+n(n+1)=n^2+n+1</math> points dans un plan projectif d'ordre <math>n</math>. 

Comme un plan projectif est un 2-plan symétrique, on a <math>b=v=n^2+n+1</math>. Le nombre <math>b</math> est le nombre de ''droites'' du plan projectif. Il ne peut pas y avoir de droites répétées puisque <math>\lambda=1</math>, donc un plan projectif est un simple 2-plan dans lequel le nombre de droites et le nombre de points sont égaux. Pour un plan projectif, <math>k=n+1</math> est le nombre de points de chaque droite. De même, <math>r=n+1</math> est le nombre de droites contenant un point donné. 

Pour <math>n = 2</math> on obtient un plan projectif d'ordre 2, appelé aussi [[plan de Fano]], avec <math>v = 4 + 2 + 1 = 7</math> points et 7 droites. Dans le plan de Fano, chaque droite contient <math>n+1 = 3</math> points et chaque point appartient à <math>n+1 = 3</math> droites. 

On sait que des plans projectifs existent pour tous les ordres qui sont des [[Nombre premier|nombres premiers]] ou des puissances de nombres premiers. Ils forment la seule famille infinie connue de plans en blocs symétriques ayant une valeur <math>\lambda</math> donnée<ref name="Hughes 1985 p=109">{{harvsp|Hughes|Piper|1985|p=109}}.</ref>. 

Par exemple, le jeu [[dobble]] vu ci-dessus est construit sur le plan projectif d'ordre 7. 

=== Biplans ===
{{Voir homonymes|Biplan}}
Un '''biplan''' ou une '''géométrie biplane''' est un 2-plan symétrique avec <math>\lambda=2</math> ; ainsi chaque paire de points est incluse dans deux blocs ("droites"), et deux droites se coupent en deux points<ref name="Hughes 1985 p=1092">{{harvsp|Hughes|Piper|p=109|1985}}.</ref>. Ces biplans sont similaires aux plans projectifs finis, sauf que deux points déterminent deux droites et deux droites déterminent deux points. Dans un biplan d'ordre <math>n</math> les blocs possèdent <math>k = n + 2</math> points ; il y a donc  <math>v = 1+\frac{k(k-1)}2=1 + \frac{(n + 1) (n + 2)} 2</math> points.
[[Fichier:Tetraedre biplan.gif|vignette|Biplan d'ordre 1 ; 4 points <math>a,b,c,d</math>, 4 "droites" <math>\{a,b,c\},\{a,b,d\},\{a,c,d\},\{b,c,d\}</math>, par deux points passent deux "droites", deux "droites" se coupent en deux points.]]
Les 18 exemples connus<ref>{{harvsp|Marshall_Hall,_Jr.|1986|p=320-335}}.</ref> de biplans sont énumérés ci-dessous :

* Le biplan d'ordre 0 (biplan trivial) : c'est le 2-plan de paramètres <math>(v,k,\lambda)=(2,2,2)</math> ; il est composé de deux points, de deux droites, chacune contenant deux points. Géométriquement, c'est le [[digone]].
* Le biplan d'ordre 1 : c'est le 2-plan de paramètres <math>(v,k,\lambda)=(4,3,2)</math> ; il est composé de quatre points et quatre droites chacune contenant trois points. Géométriquement, les points sont les sommets et les blocs sont les faces d'un [[tétraèdre]].
* Le biplan d'ordre 2 est le complémentaire du [[plan de Fano]] : il a 7 points et 7 droites de taille 4 ; c'est un 2-plan de paramètres (7, 4, 2), où les droites sont les ''complémentaires'' des droites à 3 points du plan de Fano<ref>{{harvsp|Assmus|Key|p=55|1992}}.</ref>. Sa matrice d'incidence est :

{| class="wikitable"
!<math>\ni</math>
!<math>x_1</math>
!<math>x_2</math>
!<math>x_3</math>
!<math>x_4</math>
!<math>x_5</math>
!<math>x_6</math>
!<math>x_7</math>
|-
|<math>b_1</math>
|0
|0
|0
|1
|1
|1
|1
|-
|<math>b_2</math>
|1
|1
|0
|0
|0
|1
|1
|-
|<math>b_3</math>
|0
|1
|1
|1
|0
|0
|1
|-
|<math>b_4</math>
|0
|1
|1
|0
|1
|1
|0
|-
|<math>b_5</math>
|1
|1
|0
|1
|1
|0
|0
|-
|<math>b_6</math>
|1
|0
|1
|1
|0
|1
|0
|-
|<math>b_7</math>
|1
|0
|1
|0
|1
|0
|1
|}
La somme de chaque colonne ou ligne est égale à <math>r=k=3</math>, et le fait que <math>\lambda=2</math> se traduit par le fait que la somme de deux colonnes ou de deux lignes contient exactement deux termes égaux à 2.
* Le biplan d'ordre 3 a 11 points et 11 droites de taille 5 ; c'est le 2-plan de paramètres (11, 5, 2) ; il est également connu comme  '''biplan de Paley''' du nom de [[Raymond Paley]] ; il est associé au [[graphe de Paley]] d'ordre 11, qui est construit en utilisant le corps à 11 éléments, et c'est le 2-[[Design combinatoire|plan de Hadamard]] associé à une [[matrice de Hadamard]] de taille 12 (voir paragraphe suivant).

: Algébriquement cela correspond au [[plongement]] exceptionnel du [[Groupe général linéaire#Groupe projectif linéaire|groupe spécial linéaire projectif]] PSL(2, 5) dans le groupe PSL(2,11).

* Il existe trois biplans d'ordre 4, ayant 16 points et 16 droites de taille 6, soit des 2-plans de type (16, 6, 2). L'un est connu comme la configuration de Kummer. Ces trois plans sont également des designs de Menon.
* Il y a quatre biplans d'ordre 7, ayant 37 points et 37 droites de taille 9, soit des 2-plans de type (37, 9, 2)<ref>{{harvsp|Salwach|Mezzaroba|1978}}.</ref>.
* Il y a cinq biplans d'ordre 9, ayant 56 points et 56 droites de taille 11, soit des 2-plans de type (56,11, 2)<ref>{{harvsp|Kaski|Östergård|2008}}.</ref>.
* On connait deux biplans d'ordre 11, ayant 79 points et 79 droites de taille 13, de type (79,13, 2))<ref>{{harvsp|Aschbacher|1971|p=279-281}}.</ref>.

Il n'existe pas de biplan d'ordre 5, 6, 8 et 10, comme le montre le [[théorème de Bruck-Ryser-Chowla]].

=== Plan de Hadamard ===
Une [[matrice de Hadamard]] <math>H</math> d'ordre <math>m</math> est une [[Matrice (mathématiques)|matrice carrée]] d'ordre <math>m</math> de coefficients égaux à 1 ou -1 et telle que<math> H~^{\operatorname t}\!H= m I_m  </math>, où <math>^{\operatorname t}\!H</math> est la transposée de <math>H</math> et {{formule||§=''I<sub>m</sub>''}} la matrice d'identité d'ordre <math>m</math>. Une matrice Hadamard peut être mise sous ''forme standard,'' c'est-à-dire convertie en une matrice Hadamard équivalente, où les coefficients de la première ligne et de la première colonne sont égaux à +1. Si l'ordre <math>m</math> est strictement supérieur à 2,  alors <math>m</math> doit être un multiple de 4, donc de la forme <math>4a</math> pour un entier positif <math>a</math>''.'' 

Une matrice de Hadamard de dimension <math>4a</math> normalisée peut être transformée en une matrice <math>M</math> à coefficients 0 et 1 en supprimant la première ligne et la première colonne et remplaçant les -1 par des 0. Cette matrice est la [[matrice d'incidence]] d'un 2-plan symétrique de paramètres <math>(4a - 1, 2a - 1, a - 1)</math>  appelé  '''2-plan de'''  '''Hadamard'''<ref>{{harvsp|Stinson|2003|p= 74, Theorem 4.5}}.</ref>. Il possède <math>4a-1</math> points et autant de blocs, les blocs contiennent <math>2a-1</math> points et les points appartiennent à <math>2a-1</math> blocs, et chaque paire de points est incluse dans exactement <math>a-1</math> blocs. 

Cette construction est réversible, et la matrice d'incidence d'un 2-plan symétrique, avec ces paramètres peut être utilisée pour former une matrice de Hadamard de taille <math>4a</math>''.'' 

== 2-plans résolubles ==
Un '''2-plan résoluble''' est un 2-plan dont les blocs peuvent être partitionnés en sous-ensembles (appelés ''classes parallèles''), chacun constituant une partition de l'ensemble de points du 2-plan. L'ensemble des classes parallèles est appelé une ''résolution'' du plan. 

Si un plan résoluble de type 2- ( ''v'', ''k'', λ) a ''c'' classes parallèles, alors ''b'' ≥ ''v'' + ''c'' &#x2212; 1<ref>{{harvsp|Hughes|Piper|1985|p= 156, Theorem 5.4}}.</ref>. 

Par conséquent, un plan symétrique ne peut pas avoir une résolution qui a plus d'une classe parallèle<ref>{{harvsp|Hughes|Piper|1985|p= 158, Corollary 5.5}}.</ref>. 

Les archétypes de 2-plans résolubles sont les [[Plan projectif|plans affines]] finis. Une solution au fameux [[Problème des 15 écolières|problème des15 écolières]] est une résolution de type 2- (15,3,1)<ref>{{harvsp|Beth|Jungnickel|Lenz|1999|p= 40, Example 5.8}}.</ref>. 

== Plans partiellement équilibrés ==
Un schéma d'association à ''n'' classes se compose d'un [[ensemble]] ''X'' de taille ''v'' et d'une [[Partition d'un ensemble|partition]] ''S'' de ''X'' &#xD7; ''X'' en ''n'' + 1 [[Relation binaire|relations binaires]], R <sub>0</sub>, R <sub>1</sub>,..., R <sub>n</sub>. Une paire d'éléments de la relation R<sub>i</sub> est  dite i-''associée.'' De plus on a les conditions suivantes : 

* <math>R_{0}=\{(x,x):x\in X\}</math> ; c'est la [[Relation binaire|relation d'identité]].
* On définit  demande que si ''R'' est dans ''S'', alors ''R*'' doit être est dans ''S,'' où  ''<math> R^* :=\{(x,y) | (y,x)\in R\}</math>;'' 
* Si <math>(x,y)\in R_{k}</math>, le nombre de <math>z\in X</math> tel que <math>(x,z)\in R_{i}</math> et <math>(z,y)\in R_{j}</math> est une constante <math>p^k_{ij}</math> qui est fonction de ''i'', ''j'', ''k'' mais pas du choix particulier de ''x'' et ''y''. 

Un schéma d'association est ''commutatif'' si <math>p_{ij}^k=p_{ji}^k</math> pour tout ''i'', ''j'' et ''k''. La plupart des auteurs supposent cette propriété. 

Un '''plan en blocs incomplet partiellement équilibré''' avec ''n'' classes associées est un plan en blocs basé sur un ensemble X à v éléments avec ''b'' blocs de même taille ''k'', chaque élément apparaissant dans ''r'' blocs, et tel qu'il existe un schéma d'association avec ''n'' classes définies sur ''X'' où, si les éléments ''x'' et ''y'' sont  i-associés, 1 ≤ ''i'' ≤ ''n'', alors ils sont simultanément dans exactement λ <sub>i</sub> blocs. 

Un tel plan détermine un schéma d'association, mais l'inverse est faux<ref>{{harvsp|Street|Street|1987|p= 237}}.</ref>. 

=== Exemple ===
Soit ''A''(3) le schéma d'association suivant avec trois classes associées sur l'ensemble ''X'' = {1,2,3,4,5,6}. Dans la table ci-dessous, l'entrée ( ''i'', ''j'' ) est égale à ''s'' si les éléments ''i'' et ''j'' sont en relation dans R<sub>s</sub>.
:{| class="wikitable"
!
!1
!2
!3
!4
!5
!6
|-
|'''1'''
|<span style="color:white; background:blue"> &nbsp;0&nbsp;</span>
|<span style="color:white; background:red"> &nbsp;1&nbsp; </span>
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|<span style="color:white; background:lime"> &nbsp;2&nbsp; </span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|-
|'''2'''
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|<span style="color:white; background:blue"> &nbsp;0&nbsp;</span> 
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:lime"> &nbsp;2&nbsp;</span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|-
|'''3'''
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|<span style="color:white; background:blue"> &nbsp;0&nbsp;</span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:lime"> &nbsp;2&nbsp;</span>
|-
|'''4'''
|<span style="color:white; background:lime"> &nbsp;2&nbsp;</span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:blue"> &nbsp;0&nbsp;</span>
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|-
|'''5'''
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:lime"> &nbsp;2&nbsp;</span>
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|<span style="color:white; background:blue">&nbsp;0&nbsp;</span>
|<span style="color:white; background:red">  &nbsp;1&nbsp; </span>
|-
|'''6'''
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> 
|<span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|<span style="color:white; background:lime"> &nbsp;2&nbsp;</span>
|<span style="color:white; background:red"> &nbsp;1&nbsp; </span>
|<span style="color:white; background:red"> &nbsp;1&nbsp; </span>
|<span style="color:white; background:blue">&nbsp;0&nbsp;</span>
|}
Les blocs d'un plan en blocs incomplet partiellement équilibré basé sur ''A''(3) sont: 
{|
|&nbsp;124&nbsp;
|&nbsp; 134 &nbsp;
|&nbsp; 235&nbsp;
|&nbsp;456&nbsp;
|-
|&nbsp; 125&nbsp;
|&nbsp;136&nbsp;
|&nbsp; 236&nbsp;
|&nbsp; 456&nbsp;
|}
Les paramètres de ce plan en blocs incomplet partiellement équilibré de 3 classes sont : ''v'' = 6, ''b'' = 8, ''k''= 3, ''r''= 4 et λ<sub>1</sub> = λ<sub>2</sub> = 2 et λ<sub>3</sub>= 1. De plus, pour le schéma d'association, on a ''n''<sub>0</sub> = ''n''<sub>2</sub> = 1 et ''n''<sub>1</sub> = ''n''<sub>3</sub> = 2<ref>{{harvsp|Street|Street|1987|p= 238}}.</ref>. 

=== Propriétés ===
Les paramètres d'un plan en blocs incomplet partiellement équilibré de m  classes (PBIBD ( ''m'' )) satisfont les relations suivantes<ref>{{harvsp|Street|Street|1987|p= 240, Lemma 4}}.</ref> : 

# <math> vr = bk </math>
# <math> \sum_{i=1}^m n_i = v-1 </math>
# <math> \sum_{i=1}^m n_i \lambda_i = r(k-1) </math>
# <math> \sum_{u=0}^m p_{ju}^h = n_j </math>
# <math> n_i p_{jh}^i = n_j p_{ih}^j </math>

Un plan en blocs incomplet partiellement équilibré d'une seule  classe (un PBIBD(1)) est un BIBD et un plan en blocs incomplet partiellement équilibré de 2 classes (un PBIBD(2)) dans lesquelles λ <sub>1</sub> = λ <sub>2</sub> est un BIBD<ref>{{harvsp|Colbourn|Dinitz|2007|p= 562, Remark 42.3 (4)}}.</ref>.

=== Deux PBIBD de classe associée ===
Les plans en blocs incomplet partiellement équilibrés à 2 classes  (PBIBD(2))  ont été les plus étudiés car ils sont les plus simples et les plus utiles des PBIBD<ref>{{harvsp|Street|Street|1987|p= 242}}.</ref>. La classification de Bose et Shimamoto<ref>{{harvsp|Raghavarao|1988|p= 127}}.</ref> de 1952 les répartit en six types : 

# [[groupe divisible]]; 
# triangulaire; 
# type carré latin; 
# cyclique; 
# type de géométrie partielle; 
# divers. 

== Applications ==
Le sujet mathématique des plans en blocs est né dans le cadre [[statistique]] des [[Plan d'expériences|plans d'expériences]]. Ces plans ont été particulièrement utiles dans les applications de la technique d'[[Analyse de la variance|analyse de variance]]. Cela reste un domaine important pour l'utilisation des plans en blocs. 

Alors que les origines du sujet reposent sur des applications biologiques (tout comme certaines terminologies existantes), les plans sont utilisés dans de nombreuses applications où des comparaisons systématiques sont effectuées, comme dans les  [[Test (informatique)|tests de logiciels]]. 

La [[matrice d'incidence]] des plans en blocs fournit une source naturelle de codes en blocs intéressants qui sont utilisés comme [[Code correcteur|codes correcteurs]]. Les lignes de leurs matrices d'incidence sont également utilisées comme symboles sous une forme de [[Modulation en position d'impulsions|modulation en position d'impulsion]]<ref>{{Article |auteur1=Noshad |prénom1=Mohammad |auteur2=Brandt-Pearce |prénom2=Maite |titre=Expurgated PPM using symmetric balanced incomplete block designs |périodique=IEEE Communications Letters |volume=16 |numéro=7 |date=juillet 2012 |doi=10.1109/LCOMM.2012.042512.120457 |bibcode=2012arXiv1203.5378N |arxiv=1203.5378 |pages=968-971}}.</ref>.

=== Application statistique ===
Supposons que des chercheurs sur le [[cancer]] de la peau souhaitent tester trois écrans solaires différents. Ils appliquent deux écrans solaires différents sur les mains d'une personne test. Après un rayonnement ultra-violet, ils enregistrent l'irritation de la peau en termes de coups de soleil. Le nombre de traitements est de 3 (les écrans solaires) et la taille des blocs est de 2 (mains par personne). 

A plan en bloc correspondant peut être généré par des outils logiciels, et est indiquée dans le tableau suivant: 
:{| class="wikitable"
! Plots 
! Bloc 
! Traitement 
|-
| 101 
| 1 
| 3 
|-
| 102 
| 1 
| 2 
|-
| 201 
| 2 
| 1 
|-
| 202 
| 2 
| 3 
|-
| 301 
| 3 
| 2 
|-
| 302 
| 3 
| 1 
|}
Le chercheur choisit les paramètres {{Formule|1=''v'' = 3}}, {{Formule|1=''k'' = 2}} et {{Formule|1=λ = 1}} pour le plan en blocs qui sont ensuite insérés le logiciel. Les paramètres restants {{Mvar|b}} et {{Mvar|r}} sont déterminés automatiquement. 

En utilisant les relations de base, on voit qu'il faut {{Formule|1=''b'' = 3}} blocs, c'est-à-dire 3 personnes testées afin d'obtenir un plan en bloc incomplet équilibré. On note les blocs par {{Formule|''A'', ''B''}} et {{Mvar|C}}, et on obtient le plan en blocs 

: {{Formule|1=''A'' = {2, 3}<nowiki/>}}, {{Formule|1=''B'' = {1, 3}<nowiki/>}} et {{Formule|1=''C'' = {1, 2}<nowiki/>}}.

Une [[matrice d'incidence]] correspondante est spécifiée dans le tableau suivant: 
:{| class="wikitable"
! Traitement 
! Bloc A 
! Bloc B 
! Bloc C 
|-
| 1 
| 0 
| 1 
| 1 
|-
| 2 
| 1 
| 0 
| 1 
|-
| 3 
| 1 
| 1 
| 0 
|}
Chaque traitement apparaît dans 2 blocs, donc {{Formule|1= ''r'' = 2}}. 

Un seul bloc (le bloc {{Mvar|C}} ) contient les traitements 1 et 2 simultanément et il en va de même pour les paires de traitements (1,3) et (2,3). Par conséquent, {{Formule|1=λ = 1}}. 

Il est impossible d'utiliser un plan en blocs complet (où tous les traitements figurent dans chaque bloc) dans cet exemple car il y a 3 écrans solaires à tester, mais seulement 2 mains sur chaque personne. 

== Articles liés ==

* [[:en:Incidence_geometry|Géométrie d'incidence]] (en anglais)
* [[Structure d'incidence]]
* [[Géométrie finie]] 
* [[Système de Steiner]]
* [[Design combinatoire]]
* [[Journal of Combinatorial Designs]]

== Notes ==
{{Références}}

== Bibliographie ==

<!-- A -->
* {{article 
|prénom1=Michael
|nom1=Aschbacher
|lien auteur1=Michael Aschbacher
|titre=On collineation groups of symmetric block designs 
|journal=Journal of Combinatorial Theory, Series A 
|volume=11 |numéro=3 |année=1971 |pages=272-281
|doi=10.1016/0097-3165(71)90054-9}}
* {{Ouvrage
 |langue        = en
 |auteur1       = E. F. Assmus
 |auteur2       = J. D. Key
 |titre         = Designs and Their Codes
 |lieu          = Cambridge
 |éditeur       = [[Cambridge University Press]]
 |année         = 1992
 |pages totales = 352
 |isbn          = 0-521-41361-3
}}.
<!-- B -->
*{{Ouvrage
 |auteur1                = Thomas Beth
 |auteur2                = Dieter Jungnickel
 |auteur3                = Hanfried Lenz
 |titre                  = Design Theory
 |lieu                   = Cambridge
 |éditeur                = [[Cambridge University Press]]
 |année                  = 1999
 |numéro d'édition       = 2
 |année première édition = 1986
 |pages totales          = 1100
 |isbn                   = 978-0-521-44432-3
 |lire en ligne          = https://books.google.com/books?id=jIiSV-SGp7AC&printsec=frontcover
}}.
* {{Ouvrage
 |langue        = de
 |auteur1       = Albrecht Beutelspacher
 |titre         = Einführung in die endliche Geometrie
 |sous-titre    = I. Blockpläne
 |lieu          = Mannheim/Wien/Zürich
 |éditeur       = B.I. Wissenschaftsverlag
 |année         = 1982
 |pages totales = 247
 |isbn          = 3-411-01632-9
}}
* {{article
 |auteur1=[[Raj Chandra Bose]] 
 |titre= A note on Fisher's inequality for balanced incomplete block designs
 |journal = [[Annals of Mathematical Statistics]]
 |date =1949
 |passage = 619-620}}.
* {{article
 |auteur1 = [[Raj Chandra Bose]]
 |auteur2 = T. Shimamoto
 |titre   = Classification and analysis of partially balanced incomplete block designs with two associate classes
 |journal = Journal of the American Statistical Association
 |année    = 1952|volume=47|numéro=258|pages=151-184
 |doi     = 10.1080/01621459.1952.10501161}}.

<!-- C -->
* {{Ouvrage
 |auteur1=P. J. Cameron
 |auteur2=J. H van Lint
 |titre=Designs, graphs, codes and their links
 |éditeur=[[Cambridge University Press]]
 |année=1991
 |pages totales=252
 |isbn=0-521-42385-6
 |présentation en ligne=https://archive.org/details/designsgraphscod0000came
}}. 
* {{Ouvrage
 |auteur1               = Charles J. Colbourn
 |auteur2               = Jeffrey H. Dinitz
 |titre                 = Handbook of combinatorial designs
 |éditeur               = Chapman & Hall / CRC
 |année                 = 2007
 |numéro d'édition      = 2
 |pages totales         = 1016
 |isbn                  = 978-1-58488-506-1
 |isbn2                 = 1-58488-506-8
 |présentation en ligne = https://archive.org/details/handbookofcombin0000unse
}}. 
<!-- F -->
* {{article 
 |auteur1  = R. A. Fisher 
 |titre    = An examination of the different possible solutions of a problem in incomplete blocks 
 |journal  = [[Annals of Human Genetics|Annals of Eugenics]] 
 |volume   = 10 
 |année     = 1940 
 |passage  = 52-75
 |doi      = 10.1111/j.1469-1809.1940.tb02237.x}}
<!-- G -->
* {{article
 |nom1  = Guérin|prénom1=Roger
 |titre  = Vue d'ensemble sur les plans en blocs incomplets équilibrés et partiellement équilibrés
 |journal= Revue de l'Institut international de statistique
 |volume = 33|numéro=1|année=1965|pages=24-58
 |issn   = 0373-1138
 |doi    = 10.2307/1401306
 |zbl    = 0137.37404
 |jstor  = 1401306}}
<!-- H -->
* {{Ouvrage
 |langue=en
 |prénom1=Marshall
 |nom1=Hall, Jr.
 |titre=Combinatorial theory
 |lieu=New York/Chichester/Brisbane (Australia) etc.
 |éditeur=[[Wiley-VCH|Wiley-Interscience]]
 |année=1986
 |numéro d'édition=2
 |pages totales=440
 |isbn=0-471-09138-3
 |plume=New York
}}
* {{Ouvrage
 |prénom1=Daniel R.
 |nom1=Hughes
 |prénom2=Fred C.
 |nom2=Piper
 |titre=Design theory
 |éditeur=[[Cambridge University Press]]
 |année=1985
 |isbn=0-521-25754-9
 |présentation en ligne=https://archive.org/details/designtheory0000hugh
 |plume=Cambridge
}}
<!-- K -->
* {{Article 
 |auteur1  = Petteri Kaski
 |auteur2  = Patric Östergård
 |titre    = There are exactly five biplanes with ''k'' = 11 
 |périodique=[[Journal of Combinatorial Designs]] 
 |volume   = 16 |numéro=2 |année=2008 
 |doi      = 10.1002/jcd.20145 
 |math reviews = 2384014 
 |pages=117-127 }}
<!-- L -->
* {{Ouvrage
 |prénom1=E. S.
 |nom1=Lander
 |titre=Symmetric designs
 |sous-titre=An algebraic approach
 |éditeur=[[Cambridge University Press]]
 |année=1983
 }}
* {{Ouvrage
 |langue=en
 |prénom1=C.C.
 |nom1=Lindner
 |prénom2=C.A.
 |nom2=Rodger
 |titre=Design theory
 |lieu=Boca Raton
 |éditeur=[[CRC Press]]
 |année=1997
 |pages totales=198
 |isbn=0-8493-3986-3
}}
<!-- Ra --> 
* {{Ouvrage
 |auteur1=Damaraju Raghavarao
 |titre=Constructions and combinatorial problems in design of experiments
 |lieu=New York
 |éditeur=Dover (réimpression avec corrections de l'édition de 1971 chez Wiley
 |année=1988
 }}
* {{Ouvrage
 |auteur1=Damaraju Raghavarao
 |auteur2=L.V. Padgett
 |titre=Block designs
 |sous-titre = Analysis, combinatorics and applications
 |éditeur=[[World Scientific]]
 |année=2005
 }}
* {{Ouvrage
 |langue          = fr
 |auteur1         = Kenneth H. Rosen
 |responsabilité1 = éditeur
 |titre           = Handbook of discrete and combinatorial mathematics
 |lieu            = Boca Raton/London/New York
 |éditeur         = [[CRC Press]]
 |année           = 2000
 |pages totales   = 1232
 |isbn            = 0-8493-0149-1
}}.
<!-- Ry --> 
* {{Ouvrage
 |prénom1=Herbert John
 |nom1=Ryser
 |titre=Combinatorial Mathematics
 |collection=Carus Monograph
 |numéro dans collection=14
 |éditeur=Mathematical Association of America
 |année=1963
 |passage=chapitre 8: « Combinatorial Designs »
}}
<!-- S --> 
* {{article
  | auteur1 = Chester J. Salwach
  | auteur2 = Joseph A. Mezzaroba
  | titre = The four biplanes with ''k'' = 9
  | journal = Journal of Combinatorial Theory, Series A
  | volume = 24
  | numéro = 2
  | année = 1978
  | pages = 141-145
  | doi = 10.1016/0097-3165(78)90002-X
  }}
* {{article
  | auteur2 = [[Sharadchandra Shankar Shrikhande]]
  | auteur1 = [[Vasanti N. Bhat]] 
  | titre   = Non-isomorphic solutions of some balanced incomplete block designs I
  | journal = [[Journal of Combinatorial Theory]]
  | date = 1970 
  | volume = 9
  | passage = 174-191
  | url = https://www.sciencedirect.com/science/article/pii/S0021980070800242/pdf?md5=a902daed2fae4c103123917811aa79d1&pid=1-s2.0-S0021980070800242-main.pdf
  }}
<!-- St --> 
* {{Ouvrage
 |prénom1=Douglas R.
 |nom1=Stinson
 |titre=Combinatorial designs
 |sous-titre=Constructions and analysis
 |lieu=New York
 |éditeur=Springer
 |année=2003
 |pages totales=300
 |isbn=0-387-95487-2
 |lire en ligne=https://books.google.com/books?id=jfF-rncVXNwC&printsec=frontcover
}}
*{{Ouvrage
 |prénom1       = Anne Penfold
 |nom1          = Street
 |prénom2       = Deborah J.
 |nom2          = Street
 |titre         = Combinatorics of experimental design
 |lieu          = Clarendon
 |éditeur       = [[Oxford University Press]]
 |année         = 1987
 |pages totales = xiv + 400
 |isbn          = 0-19-853256-3
}}
<!-- T -->
* {{Ouvrage
 |langue                 = en
 |langue originale       = ja
 |auteur1                = Tosiro Tsuzuku
 |titre                  = Finite groups and finite geometries
 |lieu                   = Cambridge
 |éditeur                = [[Cambridge University Press]]
 |collection             = Cambridge Tracts in Mathematics
 |numéro dans collection = 78
 |année                  = 1982
 |pages totales          = 328
 |isbn                   = 0-521-22242-7
}}
<!-- v -->
* {{Ouvrage
 |auteur1       = [[Jacobus van Lint]]
 |auteur2       = [[Richard Michael Wilson]]
 |titre         = A course in combinatorics
 |éditeur       = [[Cambridge University Press]]
 |année         = 1992
 |pages totales = 188
 |isbn          = 0-521-42260-4
}}.

{{portail|mathématiques|probabilités et statistiques}}

[[Catégorie:Plan d'expériences]]
[[Catégorie:Système d'ensembles]]
[[Catégorie:Combinatoire]]
[[Catégorie:Pages avec des traductions non relues]]
[[Catégorie:Jeu de cartes spécifique]]