Научная статья на тему 'О проблеме Грюнбаума для (0,1)- и (-1,0,1)-многогранников в пространствах малой размерности'

О проблеме Грюнбаума для (0,1)- и (-1,0,1)-многогранников в пространствах малой размерности Текст научной статьи по специальности «Математика»

CC BY
52
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПРОБЛЕМА ГРЮНБАУМА / ПОКРЫТИЕ ШАРАМИ / (0 / 1)-МНОГОГРАННИК / АЛГОРИТМ / МАЛАЯ РАЗМЕРНОСТЬ / GRUNBAUM'S PROBLEM / 1)-POLYHEDRON / BALL COVERING / ALGORITHM / LOW DIMENSION

Аннотация научной статьи по математике, автор научной работы — Гольдштейн Виталий Борисович

Рассматривается проблема Грюнбаума в малых размерностях. С помощью нетривиального алгоритма получены верхние оценки для (0, 1)и (-1, 0, 1)-многогранников.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Grunbaums problem for (0, 1)- and (-1, 0, 1)-polyhedrons in low dimensions

Examines Grunbaums problem in low dimensions. Upper bounds was obtained for (0, 1)and (-1, 0, 1)-polyhedrons using nontrivial algorithm.

Текст научной работы на тему «О проблеме Грюнбаума для (0,1)- и (-1,0,1)-многогранников в пространствах малой размерности»

УДК 519.174.7

В. Б. Гольдштейн

Московский физико-технический институт (государственный университет)

ООО Яндекс

О проблеме Грюнбаума для (0,1)-и (-1,0,1 )-многогранников в пространствах малой

размерности

Рассматривается проблема Грюнбаума в малых размерностях. С помощью нетривиального алгоритма получены верхние оценки для (0, 1)- и (-1, 0, 1)-многогранников.

Ключевые слова: проблема Грюнбаума, покрытие шарами, (0, 1)-многогранник,

алгоритм, малая размерность.

1. Введение

В настоящей работе речь пойдет о тесно связанных между собой задачах комбинаторной геометрии — проблеме Грюнбаума и проблеме Борсука. Сначала мы расскажем об истории возникновения некоторых гипотез, связанных с этими задачами (параграф 1.1). Затем мы сформулируем основную задачу нашей работы и полученные нами результаты (параграф 1.2). В последнем параграфе текущего раздела опишем дальнейшую структуру статьи.

1.1. История возникновения проблем Грюнбаума и Борсука

Рассмотрим произвольное ограниченное неодноточечное множество V С К”. Диаметром множества V называется величина

diam V = sup p(a, b),

a,b€V

где p(a, b) — евклидово расстояние между векторами.

Представим V в виде

V = Vi и V2 и ... и V/,

где каждое множество Vi имеет диаметр, строго меньший диаметра V. Это всегда возможно, поскольку любое множество может быть заключено в п-мерный куб со стороной diam V, который в свою очередь можно разделить на конечное число кубиков произвольно малого наперед заданного диаметра. Таким образом, корректно определена величина f (V), равная минимальному числу f частей меньшего диаметра, на которые можно разбить множество V.

Положим

f (п) = max f (V).

У СК™

Описанная выше конструкция с покрытием множества кубом и разбиением этого куба на более мелкие кубики позволяет получить оценку f (п) ^ (Гл/Й1 + 1)”- В то же время, взяв в качестве V множество вершин правильного п-мерного симплекса, мы видим, что f (V) = п + 1, и, значит, f (п) ^ п + 1. Более того, К. Борсук доказал в 1933 году (см. [1]), что f (Вп) = п + 1, где Вп — n-мерный шар. Наконец, очевидно равенство f (1) = 2, и не очень трудно показать, что f (2) = 3. Последний факт также установил Борсук с помощью одного более раннего результата И. Пала (см. [1] и [2]). В итоге Борсук задал вопрос: верно ли, что всегда f (п) = п + 1 ?

Впоследствии большинство специалистов в области верило в то, что ответ на вопрос Борсука должен быть положительным. И потому довольно быстро появился термин «гипотеза Борсука». Естественно, гипотеза гласила, что f(n) = п + 1, хотя сам Борсук столь определенных предположений не делал.

Проблема Борсука — это одна из основополагающих задач комбинаторной геометрии. В разное время этой проблемой занимались многие известные специалисты. О ней есть книги (см. [3] — [8]) и обзоры (см. [9] — [13]), в которых можно найти подробную историю возникновения и развития проблематики. Здесь мы заметим лишь, что гипотеза Борсука была опровергнута, и сейчас известно, что она верна при п £ {1, 2, 3} и неверна при п ^ 298 (см. [14] - [21]):

В проблеме Грюнбаума, в отличие от проблемы Борсука, речь идет о покрытии множеств шарами.

Представим V в виде

V = Vi и V2 и ... UVg,

где каждое множество Vi можно заключить в шар с диаметром, равным диаметру V. Будем называть такие множества вложенными в шар диаметра d = diam V. Обозначим С замкнутый шар диаметра d. Аналогичный открытый шар обозначим Cd- Введем функцию д(V), равную минимальному числу д частей, вложенных в Cd, на которые можно разбить множество V. Функцией g(V) будем обозначать минимальное число д частей, вложенных в С^, на которые можно разбить множество V.

По аналогии с f(n) введем

q(n) = max q(V), а(п) = max a(V).

v ' У СК" у СК"

Как мы увидим в дальнейшем, есть существенная разница между этими двумя величинами.

Проблема Грюнбаума, возникшая в 50-е годы прошлого века, сводится как раз к отысканию величин д(п) и д(п).

Видно, что задачи Борсука и Грюнбаума тесно связаны. Например, для любого V выполнено f (V) ^ (п + 1)cj(V) (ср. упомянутый выше результат Борсука о разбиении шара), а для любого конечного V выполнено f (V) ^ g(V). Грюнбаум предположил, что справедлива гипотеза, более сильная, нежели гипотеза Борсука: д(п) = п + 1 (см. [22]). Разумеется, это предположение было опровергнуто еще быстрее (см. [23], [24]).

Ясно, что многие результаты в задачах Борсука и Грюнбаума можно получать аналогичными методами. В данной работе изучается проблема Грюнбаума с использованием методов, которые были уже успешно применены для изучения проблемы Борсука в статье [25].

1.2. Постановка задачи и формулировки результатов

В 1999 году Г.М. Циглер начал изучение задачи Борсука для (ОД)-многогранников в малых размерностях. Совместно с учениками он показал, что такие многогранники допускают разбиение нап + 1 часть меньшего диаметра при всех п ^ 9 (см. [26] — [30]). Иными словами, если и существуют контрпримеры к гипотезе Борсука в размерностях п ^ 9, то они не могут быть получены с помощью упомянутых конструкций.

В случае растущей размерности аналогичными задачами занимался А.М. Райгородский (см. [22], [31] - [34]).

Поскольку разбиение многогранника на части равносильно разбиению множества его вершин (диаметры достигаются только на парах вершин), то мы будем работать только с конечными множествами V С {0,1}га и V С {—1, 0,1}га. Дадим несколько определений.

Графом расстояний множества V С М™ с расстоянием ^ называется граф Gd{V), вершинами которого являются элементы множества V, а ребрами соединены точки на

расстоянии d. Более формально, граф Gd(V) есть пара, состоящая из множества вершин

V и множества ребер

Е = {{a, b}| a £ V, b £ V, p(a, b) = d}.

Далее назовем графом расстояний множества V с расстоянием в отрезке [1,г] граф G[i,r](y) вершинами которого являются элементы множества V, а ребрами соединены точки на расстоянии из отрезка [I, г]. Более формально, граф ) есть пара, состоящая

из множества вершин V и множества ребер

Е = {{a, b}| a £ V, b £ V, p(a, b) £ [I, r]}.

Вместе с тем под графом, диаметров множества V мы понимаем граф расстояний с расстоянием, равным величине diam V. Будем обозначать граф диаметров через Gdiam у(У)•

В работе [25] были получены следующие результаты.

Теорема. Для любого п ^ 9 и для вс ex V С {0,1}га выполнено

f (У) = X (^diamv(У)) ^ п + 1. Здесь х — эт,о обычное хроматическое число графа.

Теорема. Для любого п ^ 6 и для всех V С {—1,0,1}™ выполнено

f (V) = X (GdiamУ (V)) < П + 1.

С помощью аналогичных методов были получены новые результаты для проблемы Грюнбаума.

Теорема 1. Для любого п ^ 9 и для вс ex V С {0,1}™ выполне но g(V) ^ п + 1.

Теорема 2. Для любого п ^ 7 и для вс ex V С {0,1}™ выполне но g(V) ^ п + 1.

Теорема 3. Для любого п ^ 5 и для вс ex V С {-1, 0,1}™ выполне но g(V) ^ п + 1.

Теорема 4. Для любого п ^ 4 и для вс ex V С {-1, 0,1}™ выполне но g(V) ^ п + 1.

Упомянутый выше подход основан на построении алгоритма, который позволяет осуществить значительное сокращение перебора на множестве всех графов диаметров, которые нас интересуют. Сложность в том, что полный перебор требует порядка 10150 — 10250 операций, что необозримо. Нам удается этого избежать. В последующих разделах докажем теоремы 1—4, описав соответствующий алгоритм.

1.3. Дальнейшая структура статьи

Оставшаяся часть работы состоит из разделов «Описание алгоритма» и «Работа программы».

В разделе «Описание алгоритма» излагается в подробностях алгоритм, с помощью которого мы доказываем гипотезу Грюнбаума в малых размерностях. Также приводится псевдокод основной функции, использованной в алгоритме. В этом же разделе по ходу описания сформулированы все леммы, на которых основаны производимые в алгоритме действия.

В разделе «Работа программы» будут приведены результаты запуска программы.

2. Описание алгоритма

Этот раздел разобьем на несколько параграфов. В параграфе 2.1 мы скажем общие слова об устройстве нашего алгоритма. В параграфе 2.2 поговорим об отсечениях перебора и их роли в работе алгоритма. В последующих параграфах опишем все использованные нами отсечения.

2.1. Устройство алгоритма

Если говорить совсем грубо, нам нужно перебрать все подмножества V1 множества {0,1}” или все подмножества V' множества {-1, 0,1}” и для каждого из таких подмножеств проверить, что g(V') ^ п + ^ что g(V') ^ п + 1. Разумеется, полный перебор здесь

невозможен. Впоследствии, рассматривая так называемые отсечения (которые и помогут нам значительно сократить перебор), мы, в частности, убедимся в том, что не всегда следует пробегать V = {0,1}” или V = {—1, 0,1}” целиком: зачастую достаточно взять некоторое собственное подмножество V С V и только из него извлекать в свою очередь подмножества V'. Поэтому ниже будем использовать обозначение V вместо V.

Доказательства теорем и перебор мы будем вести для всех допустимых с! € [1, ё1аш V] отдельно. Для каждого (I необходимо будет доказать, что для любого V' С V с ё1аш V' = (I выполнено д(У) ^ п + 1 или д(У) ^ п + 1. Нетрудно заметить, что с12 является целым числом.

Далее, извлечение V'из V организуем как наращивание множества V' путем последовательного добавления в строящееся множество одной вершины за другой. И иногда мы будем прерывать процесс за счет различных соображений, которые назовём отсечениями перебора,. Так или иначе, это будут соображения, которые показывают, что при дальнейшем увеличении множества V' проверяемое нами свойство д(У) ^ п + 1 или д(У) ^ п + 1 заведомо выполняется.

Напомним, что подграфом графа С = (V, Е) называют такой граф С = (V',Е'), что

V' С V и

Е' С {{и, V} € Е 1и € V', V € V'}.

А индуцированным, подграфом графа С = (V, Е) (индуцированным на множество V' С V) называют подграф, содержащий все ребра из Е, оба конца которых принадлежат V', т.е. С[У] = (У,Е'), где

Е' = {{и, V} € Е 1и € V',у € V'}.

Также граф С = (V, Е) называют пустым, если Е = 0.

Введем некоторые обозначения.

• С = п + 1 — максимальное количество шаров, в которые мы хотим поместить рассматриваемое множество;

• з(У) Для сокращения записи будет обозначать одно из двух значений д(У) или д(У) в зависимости от доказываемой теоремы;

• (I — диаметр рассматриваемых подмножеств V' С V;

• Еа = С[^+1,а1ату\(У) _ граф запретов. В этом графе ребрами соединены вершины, которые не могут одновременно входить во множество V' С V. При упомянутом выше процессе наращивания множества V' мы будем следить за тем, чтобы очередная вершина не образовала ребро в графе запретов с какой-либо из уже выбранных вершин.

В новых обозначениях утверждение ё1аш V' = й эквивалентно одновременному выполнению следующих двух условий:

1) — пустой граф;

2) Оа\У'] — не пустой граф.

Когда значение (I будет предполагаться фиксированным, мы будем обозначать графы С а и Еа просто к ак С и Е соответственно.

2.2. Отсечения перебора

Мы уже знаем, что основная функция алгоритма занимается перебором всех подмножеств V' С в начале параграфа 2.1, перебор производится путем

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

1) добавить вершину в множество V';

2) не добавлять вершину в множество V'.

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

Каждое отсечение будет выглядеть как некоторый отдельный модуль. Обязанностями этого модуля будут:

1) обработка сигналов о совершаемых действиях, предпринимаемых перебором;

2) сообщение перебору о необходимости продолжения;

3) сообщение перебору о выполнении некоторых действий.

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

Кроме этого, модуль может запросить у перебора выполнение следующих действий:

1) включить вершину v во множество V';

2) не включать вершину v во множество V'.

Каждый модуль может за один раз запросить множество таких действий.

Функция 1, которая практически полностью повторяет логику аналогичной функции в [25], будет выполнять перебор и исполнять роль менеджера между модулями отсечений.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Определим множества вершин, которые будут поддерживаться и модифицироваться в процессе принятия решений о взятии или не взятии вершин.

• In — множество вершин, которые должны входить в V'.

• Out — множество вершин, которые не должны входить в V'.

• Unknown — множество вершин, для которых еще не определено, в какое из множеств In шш Out они попадут.

Функция 1. Основной перебор 1: procedure MainBruteForce(F, С, Cuts, In, Out).

2: С — максимальное количество шаров, Cuts — множество отсечений перебора.

3: if Unknown = 0 then return g(In) ^ С & F[In] = (In, 0).

4: end if

5: v £ Unknown — произвольный элемент множества.

6: Для вершины v необходимо рассмотреть два варианта: поместить ее во множество

In или во множество Out.

Добавление во множество In.

7: In ^ In и {v}

8: Сообщить всем отсечениям из Cuts, что вершина v добавлена то множество In.

9: if хотя бы одно отсечение сообщило о прекращении перебора then

10: Перейти к рассмотрению следующего варианта.

11: end if

12: Поместить все действия, которые сообщили модули отсечений, в очередь Events.

13: while Events = 0 do

14: Выполнить действие, указанное в начале очереди.

15: Удалить выполненное действие из очереди.

16: Сообщить всем отсечениям из Cuts о совершенном действии.

17: if хотя бы одно отсечение сообщило о прекращении перебора then

18: Перейти к рассмотрению следующего варианта.

19: end if

20: Добавить все вновь сообщенные действия от модулей в очередь Events.

21: end while

22: if не MainBruteForce(F, C, Cuts, In, Out) then return 0

23: end if

Добавление во множество Out выполняется аналогично.

Оба варианта либо были отсечены, либо при дальнейшем рассмотрении вернули 1,

поэтому return 1 24: end procedure

Приведем некоторые отсечения, которые с минимальными изменениями взяты из статьи [25].

2.3. Отсечение пустоты подграфа Fd

Отсечение следит за тем, чтобы в генерируемое множество не попало две смежные в графе Fd вершины.

При получении информации о добавлении во множество новой вершины v отсечение проверяет, что в In нет вершин, смежных с v в F^ Также отсечение сообщает, что все смежные с v вершины должны немедленно отправиться в Out.

Это очень простое отсечение существенно сокращает количество вариантов в одной из двух ветвей перебора. Когда перебор рассматривает случай добавления вершины во множество In, от трех до двадцати вершин в зависимости от размерности автоматически попадают во множество Out.

2.4. Отсечение максимальности по включению

Это отсечение следит за тем, чтобы генерируемое множество было максимальным по включению, т.е. чтобы в него нельзя было добавить ни одной вершины V, не нарушив свойства пустоты подграфа Fd- Дело в том, что для подтверждения справедливости теорем достаточно рассматривать только максимальные по включению множества, так как выполнена следующая очевидная лемма 1.

Лемма 1. Пусть А С В С V и diam А = diamВ, тогда д(А) ^ д(В).

Вершину будем называть потенциально из In, если она не принадлежит Out. Положим Potential = {v : v £ V \ Out}.

При поступлении информации о том, что вершина v добавляется в Out, отсечение проверяет, что v смежна в Fd с вершиной потенциально из In. Если это условие не выполнено, то по окончании перебора во множество In будет возможно добавить вершину v, а следовательно, In не будет максимальным по включению. Поэтому продолжение перебора не требуется. Информация о том, что вершина добавляется в In, никак не используется.

Это отсечение (равно как и предыдущее) очень просто в реализации и почти не требует вычислительных ресурсов. Однако количество отсеченных ветвей вполне существенно.

2.5. Отсечения, связанные с симметрией

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

количеством отсеченных веток перебора и алгоритмической сложностью проверки симметрии.

Изометрическое преобразование

Определение 1. Пусть, как и прежде, р(а, Ь) — расстояние между точками а и Ь. Рассмотрим два множества точек V/ = (§1,..., §т} и V. = (Ь/,..., Ьт}. Если существует такая биекция / : V/ <—> что всегда р(а, Ь) = р(/(а), /(Ь)), то будем говорить, что V/ изометрично У2'. Отображение / назовём изометрией множеств V/ и V..

Определение 2. Будем называть / глобальной изометрией множества V, если она является изометрией для множества V на это же множество V.

Справедлива следующая очевидная лемма.

Лемма 2. Если / является глобальной изометрией множества V, переводящей V/ С V в V.2 С V, то д(У() = <7(^2)•

Благодаря этому утверждению достаточно рассматривать только одно множество V' из каждого класса изометричных множеств. Ниже мы скажем, какое именно. Далее будем говорить только о глобальных изометриях множества М”.

Определение 3. Введем лексикографический порядок на множестве всех подмножеств V' данного множества V. При этом элементы множества V мы считаем занумерованными, т.е. само множество V заранее упорядочено — например, лексикографически. Пусть, стало быть, V/ = (а1, а2,..., а^} и V. = (Ь/, Ь2,..., Ьт } — подмножества множества V, причем а/ < а. < ... < а^ и Ь/ < Ь < ... < Ьт. Будем говорить, что V/ < V., если существует такой номер г, что а/ = Ь/,..., а^ = Ь^, а^+/ < Ь^/ или 1 < т и а/ = Ь/,..., а^ < Ь^.

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

Лемма 3. Пусть множества V/, V. изометричны и V/ < V..

Пусть V. = (Ь/, Ь.,..., Ьт}. Рассмотрим произвольное множество

V. = (Ь/, Ь.,..., Ьт, Ьт+/,..., Ьт+4}; полученное в результате пополнения множества У.. Тогда существует множество V/, которое изометрично множеству V. и лексикографически меньше него.

Лемма 3 позволяет прекратить перебор, как только обнаружится, что текущее множество 1п лексикографически больше некоторого изометричного ему множества 1п'.

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

Отсечение изометрии отражения

Один из примеров биекции /, которая сохраняет расстояние, — это отражение. В следующих леммах, поясняющих, что мы имеем в виду под отражением, отдельно рассмотрим случаи V = (0,1}™ и V = { —1, 0,1}™.

Лемма 4. Пусть а = (а/,..., ап), (ц € (0,1} Пусть х € М. Положим,

{(1(0, х) = х,

(1(1, х) = 1 — х.

Тогда, отображение /а; переводящее каж дый х = (х]_,...,хп), Хг € М; в

(ё(а/,х/),..., (1(ап, хп)), является глобальной изометрией М™ и [0,1]™.

Лемма 5. Пусть a = (ai,..., ап), (ц £ {0,1} Пусть х £ R. Положим

{d(0, х) = х, d(1,x) = —х.

Тогда отображение fa, переводящее ка,ждый x = (x1 ,...,хп), Xi £ R в (d(a1,x1), ..., d(an,xn)), является глобальной изометрией М™ и [—1,1]™.

В статье [25] приведены функции, которые позволяют определить наличие изометрии такого вида.

Отсечение изометрии перестановки координат

Имеет место следующая очевидная лемма.

Лемма 6. Пусть р = {р1,..., рп} — перестановка чис ел, от, 1 до пи x = (х1,...,хп), Xi £ {0,1}. Тогда, отображение fp(x) = (хР1 ,...,хРп) является глобальной изометрией для любого множества S, где S С М™.

В статье [25] описан очень эффективный алгоритм, которому в большинстве случаев удается найти наличие изометрии такого вида. В этой же работе использовался тривиальный алгоритм перебора всех перестановок.

2.6. Отсечение помещения в шары

Целью перебора является проверка всех подмножеств диаметра d множества V на вло-жимость в C шаров диаметра d. При некоторых принятых решениях в переборе точки из множества Potential уже можно поместить в необходимое количество шаров. Если такое произошло, то продолжение перебора не требуется.

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

Отсечение жадным алгоритмом помещения в шары

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

Алгоритм на каждом шаге выбирает шар, который содержит наибольшее количество еще непокрытых точек множества. Невозможно рассматривать все возможные шары, поэтому в качестве компромисса были выбраны шары только в полуцелых точках.

(0, 1)

случая до размерностей 9 и 7 для замкнутых и открытых шаров соответственно.

Отсечение переборным алгоритмом помещения в шары

Для больших размерностей жадный алгоритм получал зачастую слишком плохую оценку.

На каждой стадии алгоритма необходимо поместить р точек в к шаров. Перебираем все шары, которые покрывают как минимум \р/к\, и переходим к размещению оставшихся точек в к — 1 шар.

Для ускорения этого алгоритма рассматривались не все шары с полуцелыми координатами, а только шары, которые содержат ровно d2 координат 2 для замкнутых шаров и d2 — 1 координат 2 для открытых шаров.

3. Работа программы

Понятно, что с ростом размерности количество вариантов, которые необходимо рассматривать, резко растет. Поэтому для доказательства теорем перебор, который в предыдущем разделе мы осуществляли вручную, был реализован на языке программирования C++. Для уменьшения вероятности ошибки ключевые части программы проверены на специально подготовленных тестах.

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

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

Для больших размерностей программа была запущена на кластере из 30 компьютеров, в каждом из которых 12 ядер. Несмотря на такое количество компьютеров, подтвердить гипотезу для больших размерностей с помощью данного подхода не удалось. Проверка для размерности п = 9 утверждения g(V) ^ 10 для подмножеств V С {0,1}9 потребовала чуть больше 8 дней, тогда как на одном персональном компьютере это работало бы около 7 лет.

Литература

1. Borsuk К. Drei Satze iiber die n-dimensionale euklidische Sphare // Fundamenta Math. — 1933. - V. 20. - P. 177-190.

2. Pal J. Uber ein elementares Variationsproblem, Danske Videnskab. Selskab // Math.-Fvs. Meddel. - 1920. - V. 3. - N 2.

3. Болтянский В.Г., Гохберг И.Ц. Теоремы и задачи комбинаторной геометрии. — М.: Наука, 1965.

4. Boltyanski V.G., Martini Н., Soltan P.S. Excursions into combinatorial geometry. — Universitext, Springer. Berlin, 1997.

5. Brass P., Moser W., Pach J. Research problems in discrete geometry. — Springer, 2005.

6. Райгородский A.M. Проблема Борсука. — М.: МЦНМО, 2006.

7. Райгородский A.M. Линейно-алгебраический метод в комбинаторике. — М.: МЦНМО, 2007.

8. Райгородский А.М. Системы общих представителей в комбинаторике и их приложения в геометрии. — М.: МЦНМО, 2010.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

9. Raigorodskii A.M. Coloring distance graphs and graphs of diameters (в печати).

10. Raigorodskii A.M. Three lectures on the Borsuk partition problem // London Mathematical Society Lecture Note Series. - 2007. - V. 347. - P. 202-248.

11. Raigorodskii A.M. The Borsuk partition problem: the seventieth anniversary // Mathematical Intelligencer. — 2004. — 26. X 3. P. 4-12.

12. Райгородский A.M. Проблема Борсука и хроматические числа метрических пространств // Успехи матем. наук. — 2001. — Т. 56, N8 1. — С. 107-146.

13. Райгородский А.М. Вокруг гипотезы Борсука // Итоги науки и техники. Сер. «Современная математика». — 2007. — Вып. 23. — С. 147-164.

14. Kahn J., Kalai G. A counterexample to Borsuk’s conjecture // Bulletin (new series) of the AMS. - 1993. — V. 29, N 1. — P. 60-62.

15. Nilli A. On Borsuk’s problem j j Contemporary Mathematics. — 1994. — V. 178 j j AMS.

- P. 209-210.

16. Grey J., Weissbach B. Ein weiteres Gegenbeispiel zur Borsukschen Vermutung. — Univ. Magdeburg, Fakultat fur Mathematik. — Preprint. — 1997. — V. 25.

17. Райгородский A.M. О размерности в проблеме Борсука // Успехи матем. наук. — 1997.

- Т. 52, № 6. - 181-182.

18. Weissbach В. Sets with large Borsuk number // Beitrage zur Algebra und Geometrie. — 2000. - V. 41. - P. 417-423.

19. Hinrichs A. Spherical codes and Borsuk’s conjecture // Discr. Math. — 2002. 243. — P. 253256.

20. Pikhurko O. Borsuk’s conjecture fails in dimensions 321 and 322, e-print: arXiv:math. CO/0202112.

21. Hinrichs A., Richter C. New sets with large Borsuk numbers, http://www.minet.unijena.de/ hinrichs / paper /18/borsuk.pdf

22. Райгородский A.M. Проблемы Борсука и Грюнбаума для решетчатых многогранников // Известия РАН. - 2005. - Т. 69, № 3. - С. 81-108.

23. Danzer L. On the fc-th diameter in Ed and a problem of Griinbaum // Proc. Colloquium on Convexity, Copenhagen. — 1965. — V. 41.

24. Bourgain J., Lindenstrauss J. On covering a set in Md bv balls of the same diameter, Geometric Aspects of Functional Analysis (J. Lindenstrauss and V. Milman, eds.) // Lecture Notes in Math., 1469. — Berlin: Springer-Verlag, — 1991. P. 138-144.

(0, 1) (—1, 0, 1)

странствах малой размерности // Труды МФТИ. — 2012. — Т. 4, N8 1. — С. 91-110.

26. Ziegler G.M. Lectures on 0/1-polytopes, in «Polvtopes — Combinatorics and Computation» (G. Kalai and G.M. Ziegler, eds.), DMV-seminar 29. — Basel Birkhauser-Verlag, 2000. — P. 1-44.

27. Ziegler G.M. Coloring Hamming graphs, optimal binary codes, and the 0/1-Borsuk problem in low dimensions // Lect. Notes Comput. Sci. — 2001. — 2122. P. 159-171.

28. Pay an C. On the chromatic number of cube-like graphs / / Discrete Math. — 1992. — V. 103. - P. 271-277.

29. Schiller F. Zur Berechnung und Abschatzung von Farbungszahlen und der $-Funktion von Graphen. — Diplomarbeit, TU Berlin, 1999. — P. 50.

30. Petersen J. Farbung von Borsuk-Graphen in niedriger Dimension. — Diplomarbeit, TU Berlin, 1998. - P. 39.

(0, 1)

Доклады PAH. - 2000. - T. 371. - C. 600-603.

(0, 1)

Доклады PAH. - 2002. - T. 384. - C. 593-597.

33. Райгородский A.M. Проблема Борсука для целочисленных многогранников j j Матем. сборник. - 2002. - Т. 193, № 10. - С. 139-160.

34. Райгородский А.М. Проблемы Борсука, Грюнбаума и Хадвигера для некоторых классов многогранников и графов j j Доклады РАН. — 2003. — Т. 388, N8 6. — С. 738-742.

Поступила в редакцию 19.07.2012.

i Надоели баннеры? Вы всегда можете отключить рекламу.