Блочные планы

Блочный план организует элементы в блоки таким образом, что каждая пара или, в более общем смысле, каждое t-подмножество элементов появляется вместе в фиксированном числе блоков.

Definition

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

Scope

Эта тема охватывает сбалансированные неполные блочные планы и их параметры, необходимые условия подсчета, системы Штейнера и t-планы, а также методы существования и построения, включая разностные множества и неравенство Фишера. Она связывает комбинаторные вопросы существования с алгеброй и со статистической теорией планирования экспериментов.

Core questions

• Для каких наборов параметров существует сбалансированный план?
• Какие условия делимости и подсчета должны удовлетворять параметры плана?
• Как можно построить планы из разностных множеств и конечных полей?
• Как t-планы и системы Штейнера обобщают попарную сбалансированность?

Key concepts

• Сбалансированный неполный блочный план
• Параметры плана (v, b, r, k, lambda)
• Системы Штейнера
• t-планы
• Разностные множества
• Матрица инцидентности

Key theories

Неравенство Фишера

В любом нетривиальном сбалансированном неполном блочном плане число блоков по крайней мере равно числу точек — это фундаментальное ограничение, доказанное с помощью аргумента ранга линейной алгебры для матрицы инцидентности.

Теорема Брука-Райзера-Чоулы

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

Clinical relevance

Блочные планы возникли в статистическом планировании экспериментов и остаются центральными для него, позволяя справедливо сравнивать методы лечения, когда не все из них могут применяться одновременно. Они также используются для генерации кодов с исправлением ошибок и комбинаторных тестовых наборов.

History

Штейнер поставил вопросы существования тройных систем в 1853 году; Фишер и Йейтс разработали планы для сельскохозяйственных экспериментов в 1930-х годах, а Бозе и другие создали глубокую алгебраическую теорию построения в середине 20-го века.

Key figures

• Ronald Fisher
• Jakob Steiner
• R. C. Bose

Seminal works

• colbourn2007

Frequently asked questions

Что такое тройная система Штейнера?

Это план, блоки которого представляют собой тройки, такие что каждая пара точек содержится ровно в одном блоке; такие системы существуют точно тогда, когда число точек сравнимо с 1 или 3 по модулю 6.

Почему блочные планы полезны в экспериментах?

Когда эксперимент не может проверить все методы лечения одновременно, сбалансированный план гарантирует, что каждая пара методов лечения сравнивается одинаково часто, устраняя систематическую ошибку.