Блок-дизайн

Блок-схема — это множество вместе с семейством подмножеств (повторение подмножеств разрешено в некоторых случаях), члены которого удовлетворяют некоторым свойствам, которые считаются полезными для конкретного приложения. Эти приложения приходят из разных областей, включая планирование эксперимента, конечную геометрию, тестирование программного обеспечения, криптографию и алгебраическую геометрию. Рассматривалось много вариантов, но наиболее интенсивно изучались сбалансированные неполные блок-схемы (Balanced Incomplete Block Designs, BIBD, 2-схемы), которые исторически были связаны со статистическими задачами при планировании эксперимента[1][2].

Блок-схема, в которой все блоки имеют один размер, называется однородной. Схемы, обсуждаемые в этой статье, все однородны. Попарно сбалансированные схемы (Pairwise balanced designs, PBD) являются примерами блок-схем, которые не обязательно однородны.

Определение BIBD (или 2-схемы)

Если задано конечное множество X (элементов, которые называются точками) и целые числа k, r, λ ≥ 1, мы определяем 2-схему B как семейство k-элементных подмножеств множества X, называемых блоками, таких, что любой элемент x из X содержится в r блоках, и любая пара различных точек x и y в X содержится в λ блоках.

Слово «семейство» в определении выше может быть заменено словом «множество», если повторение блоков не разрешено. Схемы, в которых повторение блоков не позволяется, называются простыми.

Здесь v (число элементов X, называемых точками), b (число блоков), k, r и λ являются параметрами схемы. (Чтобы избежать вырожденных примеров, предполагается, что v > k, так что никакой блок не содержит все элементы множества. Поэтому в названии схем присутствует слово «неполные».) В таблице:

v	точки, число элементов X
b	число блоков
r	число блоков, содержащих данную точку
k	число точек в блоке
λ	число блоков, содержащих любые 2 (или, более обще, t) точек

Схема называется (v, k, λ)-схемой или (v, b, r, k, λ)-схемой. Параметры не являются независимыми — v, k и λ определяют b и r, и не все комбинации v, k и λ допустимы. Два основных равенства, содержащих эти параметры

bk=vr,

получается путём подсчёта пар (B, p), где B — блок, а p — точка в этом блоке

\lambda (v-1)=r(k-1),

получается путём подсчёта троек (p, q, B), где p и q — различные точки, и B — блок, содержащий обе точки, и делением числа троек на v.

Эти условия не достаточны, так как, например, (43,7,1)-схемы не существует [3]

Порядок 2-схемы определяется как n = r − λ. Дополнение 2-схемы получается путём замены каждого блока его дополнением в множестве точек X. Дополнение является также 2-схемой и имеет параметры v′ = v, b′ = b, r′ = b − r, k′ = v − k, λ′ = λ + b − 2r. 2-Схема и её дополнение имеют один порядок.

Фундамендальная теорема, неравенство Фишера, названное именем статистика Рональда Фишера, утверждает, что b ≥ v в любой 2-схеме.

В терминах теории графов определение 2-схемы можно переформулировать так: блок-схема — это покрытие с кратностью $\lambda$ полного графа на $v$ вершинах полными графами на $k$ вершинах. Блок-схемы при $k=0,1$ и $v$ тривиальны, поэтому обычно предполагается, что $2\leq k\leq n-1$ .

Примеры

Единственная (6,3,2)-схема имеет 10 блоков (b = 10) и каждый элемент повторяется 5 раз (r = 5)[4]. Если использовать символы 0 − 5, блоки содержат следующие тройки:

012 013 024 035 045 125 134 145 234 235.

Одна из четырёх неизоморфных (8,4,3)-схем имеет 14 блоков, в которых элементы повторяются 7 раз. Если использовать символы 0 – 7, блоками являются следующие четвёрки: [4]

0123 0124 0156 0257 0345 0367 0467 1267 1346 1357 1457 2347 2356 2456.

Единственная (7,3,1)-схема имеет 7 блоков, в которых каждый элемент повторён 3 раза. Если использовать символы 0 − 6, блоками служат следующие тройки: [4]

013 026 045 124 156 235 346. Если элементы понимаются как точки на плоскости Фано, то эти блоки являются прямыми.

Симметричные BIBD

Случай равенства в неравенстве Фишера, то есть 2-схема с одинаковым числом точек в блоках, называется симметричной схемой[5]. Симметричные схемы имеют наименьшее число блоков среди всех 2-схем с тем же числом точек.

В симметричной схеме выполняется r = k, как и b = v, и, хотя это неверно для произвольных 2-схем, в симметричных схемах любые два различных блока имеют общими λ точек[6]. Теорема Райзера даёт обратный вывод — если X является множеством из v элементов, а B является набором из v k-элементных подмножеств («блоков»), таких, что любые два различных блока имеют в точности λ общих точек, то (X, B) является симметричной блок-схемой[7].

Параметры симметричной схемы удовлетворяют равенству

\lambda (v-1)=k(k-1).

Равенство накладывает сильное ограничение на v, так что число точек далеко от произвольного. Теорема Брука — Райзера — Човла даёт необходимое, но не достаточное условие существования симметричных схем в терминах их параметров.

Ниже приведены важные примеры симметричных 2-схем:

Проективные плоскости

Конечные проективные плоскости являются симметричными 2-схемами с λ = 1 и порядком n > 1. Для этих схем равенство симметричной схемы превращается в:

v-1=k(k-1).\,

Поскольку k = r, мы можем записать порядок проективной плоскости как n = k − 1 и, из приведённого выше равенства, мы получаем v = (n + 1)n + 1 = n² + n + 1 точек в проективной плоскости порядка n.

Так как проективная плоскость является симметричной схемой, мы имеем b = v, что означает, что b = n² + n + 1 также. Число b является числом прямых проективной плоскости. Не может быть повторяющихся прямых, поскольку λ = 1, так что проективная плоскость является простой 2-схемой, в которой число прямых и число точек всегда равны. Для проективной плоскости k является числом точек на прямой и оно равно n + 1. Аналогично, r = n + 1 является числом прямых, с которыми данная точка инцидента.

Для n = 2 мы имеем проективную плоскость порядка, которая называется также плоскостью Фано, с v = 4 + 2 + 1 = 7 точками и 7 прямыми. На плоскости Фано любая прямая имеет в точности n + 1 = 3 точек и каждая точка принадлежит n + 1 = 3 прямым.

Известно, что проективные плоскости существуют для всех порядков, равных простым числам и их степеням. Они образуют единственное известное бесконечное семейство симметричных блочных схем[8].

Бипланарная геометрия

Бипланарная геометрия — это симметричная 2-схема с λ = 2. То есть любое множество из двух точек содержится в двух блоках («прямых»), а любые две прямые пересекаются в двух точках[8]. Бипланарные геометрии аналогичны проективным плоскостям, за исключением того, что две точки не определяют прямую (а две прямые не определяют точку). В бипланарной геометрии две точки определяют две прямых (соответственно, две прямые определяют две точки). Бипланарная геометрия порядка n — это схема, блоки которой имеют k = n + 2 точек, Всего же точек v = 1 + (n + 2)(n + 1)/2 (поскольку r = k).

18 известных примеров[9] перечислены ниже.

(Тривиальная схема) Бипланарная геометрия порядка 0 имеет 2 точки (и прямые размера 2; 2-(2,2,2) схема); это две точки и два блока, которые содержат обе точки. Геометрически это двуугольник.
Бипланарная геометрия порядка 1 имеет 4 точки (и прямые размера 3; 2-(4,3,2) схема); это полная схема с v = 4 и k = 3. Геометрически точки являются вершинами, а блоки являются гранями тетраэдра.
Бипланарная геометрия порядка 2 является дополнением плоскости Фано — она содержит 7 точек (и прямые размера 4; 2-(7,4,2)) схема, где прямые задаются как дополнения (3-точечных) прямых плоскости Фано[10].
Бипланарная геометрия порядка 3 имеет 11 точек (и прямые размера 5; 2-(11,5,2)) схема, которая известна как бипланарная геометрия Пэли по имени Раймонда Пэли; Схема связана с графом Пэли порядка 11, который строится с помощью поля с 11 элементами, и является 2-схемой Адамара, связанной с матрицей Адамара размера 12, см. статью «Построение Пэли I».

Алгебраически это соответствует особому вложению проективной специальной линейной группы PSL(2,5) в PSL(2,11) – для детального описания см. проективная линейная группа: действие на p точек[11].

Имеется три бипланарных геометрии порядка 4 (16 точек, прямые размера 6; 2-(16,6,2)) схемы. Эти три схемы являются также схемами Менона.
Имеется четыре бипланарных геометрии порядка 7 (37 точек, прямые размера 9; 2-(37,9,2) схемы)[12]
Имеется пять бипланарных геометрий порядка 9 (56 точек, прямые размера 11; 2-(56,11,2) схемы)[13]
Известны две бипланарные геометрии порядка 11 (79 точек, прямые размера 13; 2-(79,13,2) схемы)[14].

2-схемы Адамара

Матрица Адамара размера m — это m × m матрица H, элементы которой равны ±1, такая, что HH^⊤ = mE_m, где H^⊤ равна транспонированной матрице H, а E_m — m × m единичная матрица. Матрицу Адамара можно представить в стандартной форме (то есть привести к эквивалентной матрице Адамара), в которой первая строка и первый столбец состоят из +1. Если размер m > 2, m должен делиться на 4.

Если дана матрица Адамара размера 4a в стандратной форме, удалим первую строку и первый столбец и заменим все элементы −1 на 0. В результате получим матрицу M, состоящую из 0 и 1, которая является матрицей инцидентности симметричной 2-(4a − 1, 2a − 1, a − 1) схемы. Эта схема называется 2-схемой Адамара[15]. Схема содержит $4a-1$ блоков, каждый из которых содержит $2a-1$ точек, и $4a-1$ точек, которые содержатся в $2a-1$ блоках. Каждая пара точек содержится точно в $a-1$ блоках.

Построение обратимо, и матрица инцидентности симметричной 2-схемы с этими параметрами может быть использовано для формирования матрицы Адамара размера 4a.

Разрешимые 2-схемы

Разрешимая 2-схема — это BIBD, блоки которого могут быть разбиты на множества (называемые параллельными классами), каждое из которых образует раздел разбиения точек из BIBD. Множество параллельных классов называется разрешением схемы.

Если 2-(v,k,λ) разрешимая схема имеет c параллельных классов, то b ≥ v + c − 1[16].

Следовательно, симметричная схема не может иметь нетривиальное (более одного параллельного класса) разрешение[17].

Архетипичные разрешимые 2-схемы — это конечные проективные плоскости. Решение знаменитой задачи Киркмана о школьницах является разрешением 2-(15,3,1) схемы[18].

Обобщения: t-схемы

Если дано любое положительное число t, t-схема B — это класс k-элементных подмножеств множества X, называемых блоками, таких, что любая точка x из X появляется точно в r блоках, а любое t-элементное подмножество T содержится ровно в λ блоках. Числа v (число элементов в X), b (число блоков), k, r, λ и t служат параметрами схемы. Схему можно назвать t-(v,k,λ)-схемой. Снова эти четыре числа определяют b и r, а сами четыре числа нельзя выбрать произвольно. Связывающие их равенства

\lambda _{i}=\lambda \left.{\binom {v-i}{t-i}}\right/{\binom {k-i}{t-i}}{\text{ for }}i=0,1,\ldots ,t,

,

где λ_i — число блоков, которые содержат любое i-элементное множество точек.

Заметим, что $b=\lambda _{0}=\lambda {v \choose t}/{k \choose t}$ .

Теорема:[19] Любая t-(v,k,λ)-схема является также s-(v,k,λ_s)-схемой для любого числа s при условии 1 ≤ s ≤ t. (Заметим, что «значение лямбда» меняется, как выше указано, и зависит от s.)

Следствие этой теоремы — любая t-схема с t ≥ 2 является также 2-схемой.

Схема t-(v,k,1) называется системой Штейнера.

Сам по себе термин блок-схема обычно подразумевает 2-схему.

Производные и расширяемые t-схемы

Пусть D = (X, B) является t-(v,k,λ) схемой и пусть p — точка множества X. Производная схема D_p имеет множество точек X − {p}, а в качестве множества блоков все блоки D, которые содержат p и в которых точка p удалена. Эта схема является (t − 1)-(v − 1, k − 1, λ) схемой. Заметим, что порождённые схемы для различных точек могут не быть изоморфными. Схема E называется расширением схемы D, если E имеет точку p, такую, что E_p изоморфна D. Мы называем D расширяемым, если схема имеет расширение.

Теорема:[20] Если t-(v,k,λ) схема имеет расширение, то k + 1 делит b(v + 1).

Расширяемые проективные плоскости (симметричные 2-(n² + n + 1, n + 1, 1) схемы) — это только те, порядки которых равны 2 и 4[21].

Любая 2-схема Адамара расширяема (до 3-схемы Адамара)[22].

Теорема:[23] Если D, симметричная 2-(v,k,λ) схема, расширяема, выполняется одно из:

D является 2-схемой Адамара,
v = (λ + 2)(λ² + 4λ + 2), k = λ² + 3λ + 1,
v = 495, k = 39, λ = 3.

Заметим, что проективная плоскость порядка два является 2-схемой Адамара. Проективная плоскость порядка четыре имеет параметры, которые подпадают под случай 2. Другие известные симметричные 2-схемы с параметрами из случая 2 — бипланарные геометрии порядка 9, но ни одна из них не расширяема. Симметричные 2-схемы с параметрами случая 3 неизвестны[24].

Круговая плоскость

Схема с параметрами расширения аффинной плоскости, то есть 3-(n² + 1, n + 1, 1) схема, называется конечной круговой плоскостью или плоскостью Мёбиуса порядка n.

Можно дать геометрическое описание некоторых круговых плоскостей, более того, всех известных круговых плоскостей. Овоид в PG(3,q) является множеством из q² + 1 точек, никакие три из которых не коллинеарны. Можно показать, что любая плоскость (которая является гиперплоскостью в размерности 3) в PG(3,q) пересекает овоид O либо в одной, либо в q + 1 точках. Пересечения овоида O размера q + 1 плоскостью — это блоки круговой плоскости порядка q. Любая круговая плоскость, получающаяся таким образом, называется яйцевидной. Все известные круговые плоскости яйцевидны.

Примером овоида служит эллиптитическая квадрика, множество нулей квадратичной формы

x₁x₂ + f(x₃, x₄),

где f — неприводимая квадратичная форма от двух переменных над GF(q). [f(x,y)=x² + xy + y², например].

Если q равно нечётной степени 2, известен другой тип овоида — овоид Сузуки – Титса.

Теорема. Пусть q — положительное целое число, не меньшее 2. (a) Если q нечётно, любой овоид проективно эквивалентен эллиптической квадрике в проективной геометрии PG(3,q), так что q является степенью простого числа и существует единственная яйцеподобная круговая плоскость порядка q (неизвестно при этом, существуют ли не яйцеподобные плоскости.) (b) если q чётно, то q является степенью 2 и любая круговая плоскость порядка q яйцеподобна (возможно, существуют некоторые неизвестные овоиды).

Частично сбалансированные схемы (PBIBD)

n-Класс схемы отношения состоит из множества X размера v вместе с разбиением S множества X × X на n + 1 бинарных отношений R₀, R₁, ..., R_n. Говорят, что пара элементов находятся в отношении R_i (элементы i-сочетаются). Каждый элемент из X имеет n_i i-ых сочетаний. Кроме того:

$R_{0}=\{(x,x):x\in X\}$ и называется отношением тождества.
Если определить $R^{*}:=\{(x,y)|(y,x)\in R\}$ , то из принадлежности R разбиению S, следует принадлежность R* разбиению S
Если $(x,y)\in R_{k}$ , число элементов $z\in X$ , таких что $(x,z)\in R_{i}$ и $(z,y)\in R_{j}$ , постоянно (равно $p_{ij}^{k}$ ) и это число зависит от i, j, k, но не от выбора x и y.

Схема сочетаний коммутативна, если $p_{ij}^{k}=p_{ji}^{k}$ для всех i, j и k. Большинство авторов предполагают это свойство.

Частично сбалансированная неполная блочная схема с n классами сочетаний (PBIBD(n)) — это блок-схема, основанная на множестве X с v элементами, имеющая b блоков по k элементов в каждом, в которой каждый элемент появляется в r блоках и для которой существует схема сочетаний с n классами, определёнными на X, при этом, если элементы x и y i-сочетаются для 1 ≤ i ≤ n, то они содержатся вместе точно в λ_i блоках.

PBIBD(n) определяет схему сочетаний, но обратное неверно[25].

Пример

Пусть A(3) — схем сочетаний с тремя классами на множестве X = {1,2,3,4,5,6}. Значение элемента таблицы (i,j) равно s, если элементы i и j находятся в отношении R_s.

	1	2	3	4	5	6
1	0	1	1	2	3	3
2	1	0	1	3	2	3
3	1	1	0	3	3	2
4	2	3	3	0	1	1
5	3	2	3	1	0	1
6	3	3	2	1	1	0

Блоки PBIBD(3), основанные на A(3):

124	134	235	456
125	136	236	456

Параметры этой PBIBD(3): v = 6, b = 8, k = 3, r = 4 и λ₁ = λ₂ = 2 и λ₃ = 1. Также, для схемы соотношений имеем n₀ = n₂ = 1 и n₁ = n₃ = 2.[26]

Свойства

Параметры PBIBD(m) удовлетворяют равенствам:[27]

$vr=bk$
$\sum _{i=1}^{m}n_{i}=v-1$
$\sum _{i=1}^{m}n_{i}\lambda _{i}=r(k-1)$
$\sum _{u=0}^{m}p_{ju}^{h}=n_{j}$
$n_{i}p_{jh}^{i}=n_{j}p_{ih}^{j}$

PBIBD(1) — это BIBD, PBIBD(2), в которой λ₁ = λ₂, также является BIBD[28].

PBIBD с двумя классами сочетаний

Схемы PBIBD(2) изучались больше всего ввиду их простоты и полезности [29]. Они распадаются на шесть типов [30], если базироваться на проведённой Бозе и Шимамото классификации известных тогда схем PBIBD(2): [31][32]

разбиваемые на группы
треугольные
типа «Латинский квадрат»
циклические
частичная геометрия
остальные

Приложения

Математический субъект блок-схем возник как статистическая основа планирования эксперимента. Схемы были особенно полезны в приложениях техники дисперсионного анализа (ANOVA). Эта область остаётся существенной частью использования блочных схем.

Хотя источником были биологические приложения, схемы используются во многих других областях, где осуществляются систематические сравнения, таких как тестирование программного обеспечения.

Матрица инцидентности блок-схемы даёт естественный источник интересных блочных кодов, которые используются как коды, исправляющие ошибки. Строки матрицы инцидентности используются также как символы в фазово-импульсной модуляции[33].

Статистические приложения

Предположим, что исследователи рака кожи хотят проверить три различных солнцезащитных крема. Они наносят два различных крема на верхние стороны рук испытуемых. После облучения ультрафиолетом они записывают степень раздражения кожи в терминах солнечного ожога. Число способов лечения — 3 (число кремов), размер блока равен 2 (число рук у человека).

Соответствующая схема BIBD может быть получена как R-функция design.bib пакета R-package agricolae и определяется следующей таблицей:

Опыт	Блок	Лечение
101	1	3
102	1	2
201	2	1
202	2	3
301	3	2
302	3	1

Исследователь выбирает параметры v = 3, k = 2 и λ = 1 для блок-схемы, которые подставляются в R-функцию. Оставшиеся параметры b и r определяются автоматически.

Используя базовые отношения, мы вычисляем, что нам нужно b = 3 блоков, то есть 3 испытуемых, чтобы получить сбалансированную неполную блок-схему. Обозначив блоки A, B и C, чтобы не путаться, мы получаем блок-схему,

A = {2, 3}, B = {1, 3} и C = {1, 2}.

Соответствующая матрица инцидентности приведена в таблице:

Лечение	Блок A	Блок B	Блок C
1	0	1	1
2	1	0	1
3	1	1	0

Каждое лечение содержится в 2 блоках, так что r=2.

Только один блок (C) содержит лечения 1 и 2 одновременно, и то же самое верно для пар лечений (1,3) и (2,3). Поэтому λ=1.

Невозможно использовать полную схему (все лечения в каждом блоке) в этом примере, поскольку имеется 3 крема и только по 2 руки у каждого испытуемого.

См. также

Примечания

Colbourn, Dinitz, 2007, с. 17−19.
Stinson, 2003, с. 1.
Доказательство дал Тарри в 1900, который показал, что не существует пары ортогональных латинских квадратов порядка 6. 2-Схема с указанными параметрами эквивалентна существованию пяти взаимно ортогональных латинских квадратов порядка шесть.
Colbourn, Dinitz, 2007, с. 27.
Эти схемы называются также проективными схемами или квадратными схемами. Эти альтернативные названия использовались в попытке заменить термин «симметричная», поскольку ничего нет симметричного (в обычном смысле термина) в этих схемах. Термин проективные использовал П. Дембовски (Dembowski 1968), по аналогии с наиболее общим примером, проективными плоскостями. Термин квадратные использовал П. Камерон (Cameron, van Lint 1991), что отражает равенство v = b для матрицы инцидентности. Ни один из терминов не был подхвачен в качестве замены и схемы по-прежнему называются симметричными.
Stinson, 2003, с. 23, Theorem 2.2.
Ryser, 1963, с. 102–104.
Hughes, Piper, 1985, с. 109.
Hall, 1986, с. 320-335.
Assmus, Key, 1992, с. 55.
Martin, Singerman, 2008, с. 4.
Salwach, Mezzaroba, 1978.
Kaski, Östergård, 2008.
Aschbacher, 1971, с. 279–281.
Stinson, 2003, с. 74, Theorem 4.5.
Hughes, Piper, 1985, с. 156, Theorem 5.4.
Hughes, Piper, 1985, с. 158, Corollary 5.5.
Beth, Jungnickel, Lenz, 1986, с. 40 Example 5.8.
Stinson, 2003, с. 203, Corollary 9.6.
Hughes, Piper, 1985, с. 29.
Cameron, van Lint, 1991, с. 11, Proposition 1.34.
Hughes, Piper, 1985, с. 132, Theorem 4.5.
Cameron, van Lint, 1991, с. 11, Theorem 1.35.
Colbourn, Dinitz, 2007, с. 114, Remarks 6.35.
Street, Street, 1987, с. 237.
Street, Street, 1987, с. 238.
Street, Street, 1987, с. 240, Lemma 4.
Colbourn, Dinitz, 2007, с. 562, Remark 42.3 (4).
Street, Street, 1987, с. 242.
Это не математическая классификация, поскольку один из типов — «всё остальное».
Bose, Shimamoto, 1952.
Raghavarao, 1988, с. 127.
Noshad, Brandt-Pearce, 2012, с. 968–971.

Литература

Michael Aschbacher. On collineation groups of symmetric block designs // Journal of Combinatorial Theory, Series A. — 1971. — Т. 11, вып. 3. — С. 272–281. — doi:10.1016/0097-3165(71)90054-9.
E.F. Assmus, J.D. Key. Designs and Their Codes. — Cambridge: Cambridge University Press, 1992. — ISBN 0-521-41361-3.
Thomas Beth, Dieter Jungnickel, Hanfried Lenz. Design Theory. — Cambridge: Cambridge University Press, 1986. — ISBN 978-0-521-44432-3.
R. C. Bose. A Note on Fisher's Inequality for Balanced Incomplete Block Designs // Annals of Mathematical Statistics. — 1949. — С. 619-620.
R. C. Bose, T. Shimamoto. Classification and analysis of partially balanced incomplete block designs with two associate classes // Journal of the American Statistical Association. — 1952. — Т. 47. — С. 151–184. — doi:10.1080/01621459.1952.10501161.
P. Cameron, J.H. van Lint. Designs, Graphs, Codes and their Links. — Cambridge University Press, 1991. — Т. 22. — (London Mathematical Society Student Texts). — ISBN 978-0-521-41325-1.
Charles J.Colbourn, Jeffrey H. Dinitz. Handbook of Combinatorial Designs. — Boca Raton: Chapman & Hall/ CRC, 2007. — ISBN 1-58488-506-8.
R. A. Fisher. An examination of the different possible solutions of a problem in incomplete blocks // Annals of Eugenics. — 1940. — Т. 10. — С. 52-75.
Marshall Hall, Jr. Combinatorial Theory. — New York: Wiley-Interscience, 1986. — ISBN 0-471-09138-3.
D.R. Hughes, E.C. Piper. Design theory. — Cambridge: Cambridge University Press, 1985. — ISBN 0-521-25754-9.
Petteri Kaski, Patric Östergård. There Are Exactly Five Biplanes with k=11 // Journal of Combinatorial Designs. — 2008. — Т. 16, вып. 2. — С. 117–127. — doi:10.1002/jcd.20145.
E. S. Lander. Symmetric Designs: An Algebraic Approach. — Cambridge: Cambridge University Press, 1983.
C.C. Lindner, C.A. Rodger. Design Theory. — Boca Raton: CRC Press, 1997. — ISBN 0-8493-3986-3.
Damaraju Raghavarao. Constructions and Combinatorial Problems in Design of Experiments. — New York: Dover, 1988.
Damaraju Raghavarao, L.V. Padgett. Block Designs: Analysis, Combinatorics and Applications. — World Scientific, 2005.
Herbert John Ryser. Combinatorial Mathematics (Carus Monograph #14). — Mathematical Association of America, 1963.
Chester J. Salwach, Joseph A. Mezzaroba. The four biplanes with k=9 // Journal of Combinatorial Theory, Series A. — 1978. — Т. 24, вып. 2. — С. 141–145. — doi:10.1016/0097-3165(78)90002-X.
S. S. Shrikhande, Bhat-Nayak Vasanti N. Non-isomorphic solutions of some balanced incomplete block designs I // Journal of Combinatorial Theory. — 1970.
Douglas R. Stinson. Combinatorial Designs: Constructions and Analysis. — New York: Springer, 2003. — ISBN 0-387-95487-2.
Anne Penfold Street, Deborah J. Street. Combinatorics of Experimental Design. — Oxford U. P. [Clarendon], 1987. — С. 400+xiv. — ISBN 0-19-853256-3.
J.H. van Lint, R.M.Wilson. A Course in Combinatorics. — Cambridge: Cambridge University Press, 1992.
Pablo Martin, David Singerman. From Biplanes to the Klein quartic and the Buckyball. — 2008. — April 17.
Mohammad Noshad, Maite Brandt-Pearce. Expurgated PPM Using Symmetric Balanced Incomplete Block Designs // IEEE Communications Letters. — 2012. — Июль (т. 16, вып. 7). — doi:10.1109/LCOMM.2012.042512.120457.
P. Dembowski. Finite Geometries. — Springer, 1968.

Ссылки

DesignTheory.Org: Databases of combinatorial, statistical, and experimental block designs. Software and other resources hosted by the School of Mathematical Sciences at Queen Mary College, University of London.
Design Theory Resources: Peter Cameron's page of web based design theory resources.
Weisstein, Eric W. Block Designs (англ.) на сайте Wolfram MathWorld.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[_d2011dc21074a54e-1] Colbourn, Dinitz, 2007, с. 17−19.

[_3e8b48e7d67760ab-2] Stinson, 2003, с. 1.

[3] Доказательство дал Тарри в 1900, который показал, что не существует пары ортогональных латинских квадратов порядка 6. 2-Схема с указанными параметрами эквивалентна существованию пяти взаимно ортогональных латинских квадратов порядка шесть.

[_796d339211590ef1-4] Colbourn, Dinitz, 2007, с. 27.

[5] Эти схемы называются также проективными схемами или квадратными схемами. Эти альтернативные названия использовались в попытке заменить термин «симметричная», поскольку ничего нет симметричного (в обычном смысле термина) в этих схемах. Термин проективные использовал П. Дембовски (Dembowski 1968), по аналогии с наиболее общим примером, проективными плоскостями. Термин квадратные использовал П. Камерон (Cameron, van Lint 1991), что отражает равенство v = b для матрицы инцидентности. Ни один из терминов не был подхвачен в качестве замены и схемы по-прежнему называются симметричными.

[_3e58f265c17f166f-6] Stinson, 2003, с. 23, Theorem 2.2.

[_fec6a2bf097bc786-7] Ryser, 1963, с. 102–104.

[_1740f2c7f16f8d7a-8] Hughes, Piper, 1985, с. 109.

[_516468942f5304ff-9] Hall, 1986, с. 320-335.

[_92a937a119b91f99-10] Assmus, Key, 1992, с. 55.

[_5bf3cd75b7563b4c-11] Martin, Singerman, 2008, с. 4.

[_8e11eb491a47c4ac-12] Salwach, Mezzaroba, 1978.

[_c24c94a79624186c-13] Kaski, Östergård, 2008.

[_a855f8346e831ab9-14] Aschbacher, 1971, с. 279–281.

[_9a3e238168ab4336-15] Stinson, 2003, с. 74, Theorem 4.5.

[_9b91b0bc775f880d-16] Hughes, Piper, 1985, с. 156, Theorem 5.4.

[_7703141a66a89721-17] Hughes, Piper, 1985, с. 158, Corollary 5.5.

[_3e33c59206c659a2-18] Beth, Jungnickel, Lenz, 1986, с. 40 Example 5.8.

[_79d57d6a46d259cb-19] Stinson, 2003, с. 203, Corollary 9.6.

[_8c00371e7932d8d1-20] Hughes, Piper, 1985, с. 29.

[_9796a2cf40cb52ea-21] Cameron, van Lint, 1991, с. 11, Proposition 1.34.

[_e77a436aabd4a153-22] Hughes, Piper, 1985, с. 132, Theorem 4.5.

[_c5c68a42747fad9b-23] Cameron, van Lint, 1991, с. 11, Theorem 1.35.

[_aa98dedcfbf57fdb-24] Colbourn, Dinitz, 2007, с. 114, Remarks 6.35.

[_802eeba085e60390-25] Street, Street, 1987, с. 237.

[_802eeba085e6039f-26] Street, Street, 1987, с. 238.

[_2bbfac5edcc024ae-27] Street, Street, 1987, с. 240, Lemma 4.

[_7d8fa9229504f329-28] Colbourn, Dinitz, 2007, с. 562, Remark 42.3 (4).

[_802ee8a085e5febc-29] Street, Street, 1987, с. 242.

[30] Это не математическая классификация, поскольку один из типов — «всё остальное».

[_d8c0ea5742309220-31] Bose, Shimamoto, 1952.

[_59570a77ae8c2ce7-32] Raghavarao, 1988, с. 127.

[_412c6787efd7a046-33] Noshad, Brandt-Pearce, 2012, с. 968–971.