Блокировочный набор - Blocking set

В геометрия, конкретно проективная геометрия, а блокирующий набор набор точек в проективная плоскость что каждая линия пересекается и не содержит целую строку. Эту концепцию можно обобщить по-разному. Вместо того чтобы говорить о точках и линиях, можно было бы иметь дело с п-мерные подпространства и м-мерные подпространства или, в более общем смысле, объекты типа 1 и объекты типа 2, когда некоторая концепция пересечения имеет смысл для этих объектов. Второй способ обобщения - перейти к более абстрактным параметрам, чем проективная геометрия. Можно определить блокирующий набор гиперграф как множество, которое пересекает все ребра гиперграфа.

Определение

В конечном проективная плоскость π порядка п, блокирующий набор - это набор точек из π, которые пересекаются каждой прямой и которые полностью не содержат прямой. Согласно этому определению, если B - блокирующее множество, то дополнительный набор точек π B также является блокирующим набором. Блокирующий набор B является минимальный если удаление любой точки B оставляет набор, который не является блокирующим набором. Блокирующий набор наименьшего размера называется комитет. Каждый комитет представляет собой минимальный блокирующий набор, но не все минимальные блокирующие наборы являются комитетами. Блокирующие множества существуют во всех проективных плоскостях, за исключением самой маленькой проективной плоскости порядка 2, Самолет Фано.^[1]

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

Примеры

В любом проективная плоскость порядка п (каждая строка содержит п +1 балл), точки на прямых, образующих треугольник без вершин треугольника (3 (п - 1) баллы) образуют минимальное блокирующее множество (если п = 2 этот блокирующий набор тривиален), который в общем случае не является комитетом.

Другая общая конструкция в произвольной проективной плоскости порядка п взять все, кроме одной точки, скажем п, на заданной линии, а затем по одной точке на каждой из других линий через п, убедившись, что это не все коллинеарен (последнее условие не может быть выполнено, если п = 2.) Это дает минимальный блокирующий набор размера 2.п.

А проективный треугольник β из сторона м в PG (2,q) состоит из 3 (м - 1) баллы, м на каждой стороне треугольника, так что вершины А, B и C треугольника лежат в β, и выполняется условие: если точка п онлайн AB и указать Q онлайн до н.э оба лежат в β, то точка пересечения PQ и AC находится в β.

А проективная триада δ стороны m представляет собой набор из 3м - 2 балла, м из которых лежат на каждой из трех параллельных линий, так что точка параллелизма C находится в δ и выполняется условие: если точка п на одной из линий и точке Q на другой прямой лежат в δ, то точка пересечения PQ с третьей строкой в δ.

Теорема: В PG (2,q) с q нечетно, существует проективный треугольник со стороной (q + 3) / 2, который представляет собой блокирующий набор размера 3 (q + 1)/2.^[2]

С помощью однородные координаты, вершины треугольника равны А = (1,0,0), B = (0,1,0) и C = (0,0,1). Точки, кроме вершин, на стороне AB имеют координаты вида (-c, 1, 0), находящиеся на до н.э имеют координаты (0,1,а) и на AC иметь координаты (1,0,б) куда а, б и c - элементы конечного поля GF (q). Три точки, по одной на каждой из этих сторон, коллинеарны тогда и только тогда, когда а = до н.э. Выбрав все точки, где а, б и c ненулевые квадраты GF (q) условие из определения проективного треугольника выполнено.

Теорема: В PG (2,q) с q даже существует проективная триада стороны (q + 2) / 2, который представляет собой блокирующий набор размера (3q + 2)/2.^[3]

Конструкция аналогична приведенной выше, но поскольку поле имеет характеристика 2, квадраты и неквадраты необходимо заменить элементами абсолютный след 0 и абсолютный след 1. В частности, пусть C = (0,0,1). Очки на линии Икс = 0 имеют координаты вида (0,1,а), и те, кто на линии Y = 0 имеют координаты вида (1,0,б). Точки линии X = Y имеют координаты, которые можно записать как (1,1,c). Три точки, по одной от каждой из этих линий, коллинеарны тогда и только тогда, когда а = б + c. Выбрав все точки на этих линиях, где а, б и c - элементы поля с абсолютным следом 0, условие определения проективной триады выполнено.

Теорема: В PG (2,п), с п простое число, существует проективная триада стороны (п + 1) / 2, который представляет собой блокирующий набор размера (3п+ 1)/2. ^[4]

Размер

Обычно ищут небольшие блоки блокировки. Минимальный размер блокирующего набора ${ displaystyle H}$ называется ${ Displaystyle тау (Н)}$ .

в Дезаргова проективная плоскость порядка q, PG (2,q) размер блокирующего множества B ограничено:^[5]

{ displaystyle q + { sqrt {q}} + 1 leq | B | leq q ^ {2} - { sqrt {q}}.}

Когда q это квадрат нижняя оценка достигается любым методом Бэра подплан а верхняя граница исходит из дополнения подплоскости Бэра.

Можно доказать более общий результат:^[6]

Любое блокирующее множество на проективной плоскости π порядка п имеет по крайней мере ${ displaystyle n + { sqrt {n}} + 1}$ точки. Более того, если эта нижняя оценка соблюдена, то п обязательно является квадратом, а блокирующее множество состоит из точек некоторой подплоскости Бэра в π.

Верхняя граница размера минимального блокирующего набора имеет тот же вкус,^[7]

Любое минимальное блокирующее множество в проективной плоскости π порядка п имеет самое большее ${ displaystyle n { sqrt {n}} + 1}$ точки. Более того, если эта верхняя граница достигается, то п обязательно является квадратом, а блокирующее множество состоит из точек некоторого единый вложено в π.

Когда п не меньше квадрата можно сказать о нетривиальных блокирующих множествах наименьшего размера. Один хорошо известный результат Аарта Блохейса:^[8]

Теорема: Нетривиальный блокирующий набор в PG (2,п), п простое число имеет размер не менее 3 (п + 1)/2.

В этих плоскостях существует проективный треугольник, удовлетворяющий этой границе.

История

Блокирующие наборы возникли^[9] в контексте экономических теория игры в статье Мозеса Ричардсона 1956 года.^[10] Игроки были отождествлены с очками в конечном проективная плоскость и минимальные выигрышные коалиции были линиями. А блокирующая коалиция был определен как набор точек, не содержащих линии, но пересекающих каждую линию. В 1958 г. Дж. Р. Исбелл^[11] изучал эти игры с негеометрической точки зрения. Джейн В. ДиПаола изучила минимальные блокирующие коалиции во всех проективных плоскостях порядка ${ displaystyle leq 9}$ в 1969 г.^[12]

В гиперграфах

Позволять ${ Displaystyle H = (X, E)}$ быть гиперграфом, так что ${ displaystyle X}$ это набор элементов, а ${ displaystyle E}$ представляет собой набор подмножеств ${ displaystyle X}$ , называемые (гипер) ребрами. Блокирующий набор ${ displaystyle H}$ это подмножество ${ displaystyle S}$ из ${ displaystyle X}$ имеющая непустое пересечение с каждым гиперребром.

Блокирующие наборы иногда также называют "удары по сетам " или же "вершинные крышки ".Также термин"поперечный "используется, но в некоторых контекстах пересечение ${ displaystyle H}$ это подмножество ${ displaystyle T}$ из ${ displaystyle X}$ который встречается с каждым гиперребром ровно в одной точке.

А "двухцветный " из ${ displaystyle H}$ это раздел ${ displaystyle {C, D }}$ из ${ displaystyle X}$ на два подмножества (цветовые классы), так что ни одно ребро не является монохроматическим, т. е. никакое ребро не содержится полностью внутри ${ displaystyle C}$ или в пределах ${ displaystyle D}$ . Теперь оба ${ displaystyle C}$ и ${ displaystyle D}$ блокирующие наборы.

Полные k-дуги

В проективная плоскость а полный k-дуга это набор k очки, нет три коллинеарен, который не может быть продолжен до большей дуги (таким образом, каждая точка не на дуге находится на секущей линии дуги - прямой, пересекающей дугу в двух точках).

Теорема: Позволять K быть полным k-дуга в Π = PG (2,q) с k < q + 2. двойной в Π множества секущих K блокирующий набор, B, размером k(k - 1)/2.^[13]

Блокирующие наборы Rédei

В любой проективной плоскости порядка q, для любого нетривиального блокирующего множества B (с б = |B|, размер блокирующего набора) рассмотрим встречу линии B в п точки. Поскольку в B, должна быть точка, п, в этой строке, которой нет в B. В q другие строки, хотя п каждый должен содержать хотя бы одну точку B чтобы быть заблокированным. Таким образом, ${ displaystyle b geq n + q.}$ Если для некоторой строки в этом отношении выполняется равенство, то блокирующий набор называется блокирующий комплект типа Редеи и линия а Линия Редей комплекта блокировки (обратите внимание, что п будет наибольшее количество коллинеарных точек в B).^[14] Не все блокирующие наборы относятся к типу Редеи, но многие из более мелких. Эти наборы названы в честь Ласло Редей чья монография о лакунарных многочленах над конечными полями оказала влияние на изучение этих множеств.^[15]

Наборы аффинных блокировок

Множество точек конечного дезаргова аффинного пространства ${ Displaystyle AG (п, д)}$ которая пересекает каждую гиперплоскость нетривиально, т.е. каждая гиперплоскость инцидентна некоторой точке множества, называется аффинным блокирующим множеством. Определите пространство с ${ displaystyle mathbb {F} _ {q} ^ {n}}$ путем фиксации системы координат. Тогда легко показать, что множество точек, лежащих на осях координат, образуют блокирующий набор размером ${ Displaystyle 1 + N (д-1)}$ . Жан Дуайен предположил в 1976 г. Обервольфах конференции, что это минимально возможный размер набора блокировки. Это было доказано Р. Э. Джемисоном в 1977 г.^[16] и независимо А. Э. Брауэр, А. Шрайвер в 1978 г. ^[17] используя так называемый полиномиальный метод. Джемисон доказал следующий общий результат о покрытии, из которого следует оценка аффинных блокирующих множеств с использованием двойственности:

Позволять ${ displaystyle V}$ быть ${ displaystyle n}$ мерное векторное пространство над ${ displaystyle mathbb {F} _ {q}}$ . Тогда количество ${ displaystyle k}$ -мерные смежные классы, необходимые для покрытия всех векторов, кроме нулевого вектора, не менее ${ Displaystyle д ^ {п-к} -1 + к (д-1)}$ . Более того, эта оценка точная.

Примечания

^ Хиршфельд 1979, п. 366
^ Хиршфельд 1979, п. 376, теорема 13.4.1
^ Хиршфельд 1979, п. 377, теорема 13.4.2
^ Blokhuis, Aart. «По размеру блока блокировки в PG (2, п)» (PDF). Springer. Получено 2 июля 2020.
^ Хиршфельд 1979, п. 376, теорема 13.3.3
^ Барвик и Эберт 2008, п. 30, теорема 2.15
^ Барвик и Эберт 2008, п. 30, теорема 2.16
^ Blokhuis, Aart (1994), "О размере блока блокировки в PG (2, p)", Комбинаторика, 14: 111–114, Дои:10.1007 / bf01305953
^ Держатель 2001, п. 45
^ Ричардсон, Моисей (1956), "О конечных проективных играх", Труды Американского математического общества, 7 (3): 458–465, Дои:10.2307/2032754, JSTOR 2032754
^ Исбелл, Дж. Р. (1958), «Класс простых игр», Математический журнал герцога, 25 (3): 425–436, Дои:10.1215 / s0012-7094-58-02537-7
^ ДиПаола, Джейн В. (1969), "О минимальных блокирующих коалициях в малых играх на проективной плоскости", Журнал SIAM по прикладной математике, 17 (2): 378–392, Дои:10.1137/0117036
^ Хиршфельд 1979, п. 366, теорема 13.1.2
^ Sznyi, Tomás (1997), "Блокирующие множества в дезарговских аффинных и проективных плоскостях", Конечные поля и их приложения, 3 (3): 187–202, Дои:10.1006 / ffta.1996.0176
^ Sznyi, Tomás (1999), "Вокруг теоремы Редея", Дискретная математика, 208/209: 557–575, Дои:10.1016 / s0012-365x (99) 00097-7
^ Джеймисон, Роберт Э. (1977), "Покрытие конечных полей смежными классами подпространств", Журнал комбинаторной теории, серия А, 22 (3): 253–266, Дои:10.1016/0097-3165(77)90001-2
^ Брауэр, Андрис; Шрайвер, Александр (1978), «Блокирующее число аффинного пространства» (PDF), Журнал комбинаторной теории, серия А, 24 (2): 251–253, Дои:10.1016/0097-3165(78)90013-4