WikiDer > Расположение линий

Arrangement of lines
Расположение симплициальных линий (слева) и простое расположение линий (справа).

В геометрия ан расположение линий это раздел из самолет сформированный коллекцией линии. Границы сложности расположений исследованы в дискретная геометрия, и вычислительные геометры нашли алгоритмы эффективного построения аранжировок.

Определение

Для любого набора А строк в Евклидова плоскость, можно определить отношение эквивалентности в точках плоскости, согласно которым две точки п и q эквивалентны, если для каждой строки л из А, либо п и q оба на л или оба принадлежат к одному и тому же открытому полуплоскость ограничен л. Когда А конечна или локально конечна[1] в классы эквивалентности этого отношения бывают трех типов:

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

Эти три типа объектов соединяются вместе, образуя клеточный комплекс покрытие самолета. Говорят, что две договоренности изоморфный или же комбинаторно эквивалентный если существует взаимно однозначное соответствие между объектами в связанных с ними комплексах клеток.[2]

Сложность аранжировок

Изучение аранжировок было начато Якоб Штайнер, который доказал первые оценки максимального числа функций разного типа, которые может иметь устройство.[3]Договоренность с п линий не более п(п − 1)/2 вершины, по одной на пару пересекающихся линий. Этот максимум достигается за простые договоренности, те, в которых каждые две линии имеют отличную пару точек пересечения. В любом расположении будет п бесконечные лучи, направленные вниз, по одному на линию; эти лучи разделяют п + 1 ячейка аранжировки, неограниченная в направлении вниз. Все остальные ячейки имеют единственную самую нижнюю вершину,[4] и каждая вершина является самой нижней для уникальной ячейки, поэтому количество ячеек в расположении равно количеству вершин плюс п +1 или самое большее п(п + 1) / 2 + 1; видеть последовательность ленивого кейтеринга. Количество граней композиции не более п2, что можно увидеть либо с помощью Эйлерова характеристика чтобы вычислить его по количеству вершин и ячеек, или наблюдая, что каждая линия разбита не более чем на п края другим п - 1 линия; опять же, эта оценка наихудшего случая достигается для простых устройств.

В зона линии л в линейном расположении - это набор ячеек, края которых принадлежат л. В теорема о зоне утверждает, что общее количество ребер в ячейках одной зоны линейно. Точнее, общее количество ребер ячеек, принадлежащих одной стороне линии л не больше 5п − 1,[5] и общее количество ребер ячеек, принадлежащих обеим сторонам л самое большее .[6] В более общем смысле, общая сложность ячеек линейного расположения, которые пересекаются любой выпуклой кривой, равна O (п α (п)), где α обозначает обратная функция Аккермана, как можно показать с помощью Последовательности Давенпорта-Шинцеля.[6] Суммируя сложность всех зон, можно найти, что сумма квадратов сложностей ячеек в расположении равна O (п2).[7]

В k-уровень компоновки - это многоугольная цепочка, образованная ребрами, которые имеют ровно k другие строки прямо под ними, а ≤k-уровень это часть расположения под k-уровень. Нахождение совпадающих верхних и нижних оценок сложности k-уровень остается основной открытой проблемой в дискретной геометрии; лучшая верхняя граница - O (нк1/3), а наилучшая оценка снизу - это Ω (п ехр (c (бревноk)1/2)).[8] Напротив, максимальная сложность ≤k-уровень известен как Θ (нк).[9] А k-уровень - частный случай монотонной дорожки в расположении; то есть последовательность ребер, которая пересекает любую вертикальную линию в одной точке. Однако монотонные пути могут быть намного сложнее, чем k-уровни: существуют схемы и монотонные пути в этих схемах, где количество точек, в которых путь меняет направление, равно Ω (п2 - о (1)).[10]

Хотя одна ячейка в устройстве может быть ограничена всеми п линий, в целом это невозможно для м разные клетки, чтобы все были ограничены п линий. Скорее общая сложность м ячеек не более (м2/3п2/3 + п),[11] почти такая же оценка, что и в Теорема Семереди – Троттера. о точечных падениях на плоскость. Простое доказательство этого следует из пересечение числового неравенства:[12] если м ячейки имеют в общей сложности Икс + п рёбер, можно сформировать граф с м узлы (по одному на ячейку) и Икс ребра (по одному на пару последовательных ячеек на одной строке). Ребра этого графа могут быть нарисованы как кривые, которые не пересекаются внутри ячеек, соответствующих их конечным точкам, а затем следуют по линиям расположения; следовательно, имеется O (п2) переходы на этом чертеже. Однако по неравенству числа пересечений существуют Ω (Икс3/м2) переходы; чтобы удовлетворить обе границы, Икс должно быть O (м2/3п2/3).[13]

Проективные устройства и проективная двойственность

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

Из-за проективная двойственностьмногие утверждения о комбинаторных свойствах точек на плоскости могут быть легче поняты в эквивалентной двойственной форме о расположении прямых. Например, Теорема Сильвестра – Галлаи, утверждая, что любой неколлинеарный набор точек на плоскости имеет обычная линия содержащий ровно две точки, при проективной двойственности превращается в утверждение, что любое расположение прямых с более чем одной вершиной имеет обычная точка, вершина, в которой пересекаются только две прямые. Самое раннее известное доказательство теоремы Сильвестра – Галлаи, сделанное Мельхиор (1940), использует Эйлерова характеристика чтобы показать, что такая вершина всегда должна существовать.

Треугольники в аранжировках

Кобонские треугольники в аранжировке 17 строк

Расположение прямых на проективной плоскости называется симплициальный если каждая ячейка аранжировки ограничена ровно тремя ребрами; симплициальные устройства были впервые изучены Мельхиором.[14] Известны три бесконечных семейства конфигураций симплициальных линий:

  1. А почти карандаш состоящий из п - 1 линия, проходящая через одну точку, вместе с одной дополнительной линией, которая не проходит через ту же точку,
  2. Семейство линий, образованных сторонами правильный многоугольник вместе со своим оси симметрии, и
  3. Стороны и оси симметрии правильного многоугольника вместе с бесконечно удаленной линией.

Кроме того, есть много других примеров спорадические симплициальные договоренности которые не вписываются ни в одну известную бесконечную семью.[15]Как Грюнбаум[16] пишет, что симплициальные схемы «появляются как примеры или контрпримеры во многих контекстах комбинаторной геометрии и ее приложений». Например, Арте, Грюнбаум и Льибре (1998) использовать симплициальные схемы, чтобы построить контрпримеры к гипотезе о связи между степенью множества дифференциальные уравнения и количество инвариантных линий, которые могут иметь уравнения. Два известных контрпримера к Гипотеза Дирака – Моцкина (в котором говорится, что любой п-линейное расположение имеет не менее п/ 2 обыкновенные точки) обе симплициальны.[17]

В двойственный граф линейной компоновки, в которой есть один узел на ячейку и одно ребро, связывающее любую пару ячеек, которые имеют общий край компоновки, является частичный куб, граф, в котором узлы могут быть помечены битвекторы таким образом, чтобы расстояние графа было равно Расстояние Хэмминга между этикетками; В случае линейного расположения каждая координата маркировки присваивает 0 узлам на одной стороне одной из линий и 1 узлам на другой стороне.[18] Двойственные графы симплициальных расположений были использованы для построения бесконечных семейств 3-регулярный частичные кубы, изоморфные графам простые зоноэдры.[19]

Также представляет интерес изучение экстремальных чисел треугольных ячеек в расположениях, которые не обязательно могут быть симплициальными. В любом расположении должно быть не менее п треугольники; каждая договоренность, в которой есть только п треугольники должны быть простыми.[20] Максимально возможное количество треугольников в простом расположении, как известно, ограничено сверху величиной п(п - 1) / 3 и снизу ограничено п(п - 3) / 3; нижняя оценка достигается некоторыми подмножествами диагоналей правильного 2п-гон.[21] Для непростых расположений максимальное количество треугольников аналогично, но более строго ограничено.[22] Тесно связанные Задача треугольника Кобона запрашивает максимальное количество неперекрывающихся конечных треугольников (не обязательно граней) в расположении на евклидовой плоскости; для некоторых, но не для всех значений п, п(п - 2) / 3 треугольника.

Мультисетки и мозаики Пенроуза

Двойственный граф простого расположения линий может быть представлен геометрически как набор ромбовидные, по одному на вершину компоновки, со сторонами, перпендикулярными линиям, которые пересекаются в этой вершине. Эти ромбы можно соединить вместе, чтобы образовать плитку выпуклый многоугольник в случае расположения конечного числа прямых или всей плоскости в случае локально конечного расположения с бесконечным числом прямых. де Брюйн (1981) исследовали частные случаи этой конструкции, в которых линейная схема состоит из k наборы равномерно расположенных параллельных линий. Для двух перпендикулярных семейств параллельных прямых эта конструкция просто дает знакомое квадратная черепица плоскости, и для трех семейств линий, расположенных под углом 120 градусов друг к другу (сами образующие трехгексагональная черепица) это дает ромбовидная плитка. Однако для большего количества семейств линий эта конструкция дает апериодические мозаики. В частности, для пяти семейств линий, расположенных под равными углами друг к другу (или, как де Брейн называет это расположение, пентагрид) он производит семейство мозаик, включающее ромбическую версию Мозаики Пенроуза.

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

Алгоритмы

Строительство средство компоновки, заданное как входной список линий компоновки, вычисляет представление вершин, ребер и ячеек компоновки вместе с примыканиями между этими объектами, например, как двусвязный список ребер. В соответствии с теоремой о зоне конструкции могут быть эффективно построены с помощью инкрементного алгоритма, который добавляет по одной строке за раз к расположению ранее добавленных линий: каждая новая линия может быть добавлена ​​во времени, пропорциональном ее зоне, в результате чего общее время строительства из O (п2).[5] Однако требования к памяти этого алгоритма высоки, поэтому может быть удобнее сообщать обо всех особенностях компоновки с помощью алгоритма, который не сохраняет всю компоновку в памяти сразу. Это снова можно сделать эффективно, за время O (п2) и пространство O (п), автор алгоритмическая техника известный как топологический прогон.[23] Для точного вычисления расположения линий требуется числовая точность, в несколько раз превышающая точность входных координат: если линия задана двумя точками на ней, координаты вершин расположения могут потребовать в четыре раза большей точности, чем эти входные точки. Таким образом, вычислительные геометры также изучали алгоритмы построения эффективных схем с ограниченной числовой точностью.[24]

Кроме того, исследователи изучили эффективные алгоритмы построения меньших частей конструкции, таких как зоны,[25] k-уровни,[26] или набор ячеек, содержащий данный набор точек.[27] Задача поиска вершины расположения с медианой Икс-координата возникает (в дуальной форме) в надежная статистика как проблема вычисления Оценка Тейла – Сена набора точек.[28]

Марк ван Кревельд предложил алгоритмическую проблему вычислений. кратчайшие пути между вершинами в линейном расположении, где пути ограничены, чтобы следовать за ребрами расположения, быстрее, чем квадратичное время, которое потребовалось бы для применения алгоритма кратчайшего пути ко всему графу расположения.[29] An алгоритм аппроксимации известен,[30] и проблема может быть эффективно решена для линий, которые попадают в небольшое количество параллельных семейств (что типично для городских уличных сетей),[31] но общая проблема остается открытой.

Неевклидовы линии

Нерастяжимая псевдолинии из девяти псевдолинейных линий. (Все расположения менее девяти псевдолинейных линий можно растянуть.) Теорема Паппа о шестиугольнике, такое расположение не может быть реализовано в проективная плоскость над любым полем.
Гиперболическая прямая, комбинаторно эквивалентная хордовой диаграмме, используемой Агеев (1996) показать это без треугольников круговые графики иногда может понадобиться 5 цветов.

А псевдолинейное расположение это семья кривые которые разделяют похожие топологический свойства с линейным расположением.[32] Их проще всего определить в проективная плоскость в качестве простые замкнутые кривые любые два из которых встречаются в одной точке пересечения.[33] Псевдолинейное расположение называется растяжимый если это комбинаторно эквивалентно расположению строк; это полный для экзистенциальная теория реальности чтобы отличать растягиваемые конструкции от нерастяжимых.[34] Любое расположение конечного числа псевдолинейных линий можно расширить так, чтобы они стали линиями «разворота», типа неевклидова геометрия падения в котором каждые две точки топологической плоскости соединены единственной линией (как в евклидовой плоскости), но в которой другие аксиомы евклидовой геометрии могут не применяться.

Другой тип неевклидовой геометрии - это гиперболическая плоскость, ирасположение гиперболических линий в этой геометрии также были изучены. Любой конечный набор прямых на евклидовой плоскости имеет комбинаторно эквивалентное расположение на гиперболической плоскости (например, заключая вершины расположения в большой круг и интерпретируя внутреннюю часть круга как Модель Кляйна гиперболической плоскости). Однако при гиперболическом расположении линий линии могут избегать пересечения друг друга, не будучи параллельными; в граф пересечений линий в гиперболическом расположении является круговой график. Соответствующее понятие гиперболического расположения линий для псевдолинии - это слабое псевдолинейное расположение,[35] семейство кривых, имеющих те же топологические свойства, что и прямые[36] такие, что любые две кривые в семействе либо пересекаются в одной точке пересечения, либо не имеют пересечения.

Смотрите также

  • Конфигурация (геометрия), расположение линий и набор точек, где все линии содержат одинаковое количество точек, и все точки принадлежат одинаковому количеству линий.
  • Обустройство (космическая перегородка), разделение плоскости, заданной наложенными кривыми, или пространства более высокой размерности наложенными поверхностями, не требуя, чтобы кривые или поверхности были плоскими.
  • K-набор (геометрия), k-множества связаны проективной двойственностью с k-уровнями в расположении линий.
  • Математический мост, мост в Кембридже, Англия, балки которого образуют расположение касательных линий к его арке.

Примечания

  1. ^ Чтобы расположение было локально конечным, каждое ограниченное подмножество плоскости можно пересечь только конечным числом прямых.
  2. ^ Грюнбаум (1972), стр. 4.
  3. ^ Штайнер (1826); Агарвал и Шарир (2000).
  4. ^ Для ячеек, в которых есть горизонтальный нижний край, выберите самую нижнюю вершину в качестве правой конечной точки нижнего края.
  5. ^ а б Шазель, Гибас и Ли (1985), Эдельсбруннер (1987), Эдельсбруннер, О'Рурк и Зайдель (1986).
  6. ^ а б Bern et al. (1991).
  7. ^ Аронов, Матушек и Шарир (1994).
  8. ^ Дей (1998); Тот (2001). Проблема ограничения сложности k-уровни были впервые изучены Ловас (1971) и Erds et al. (1973).
  9. ^ Алон и Дьёри (1986).
  10. ^ Balogh et al. (2004); смотрите также Матушек (1991).
  11. ^ Кэнхэм (1969); Кларксон и др. (1990).
  12. ^ Ajtai et al. (1982); Лейтон (1983).
  13. ^ Секели (1997).
  14. ^ Мельхиор (1940); Грюнбаум (2009).
  15. ^ Грюнбаум (1972); Грюнбаум (2009).
  16. ^ Грюнбаум (2009)
  17. ^ Кроу и Макки (1968); Дирак (1951); Келли и Мозер (1958); Грюнбаум (1972), стр.18.
  18. ^ Эппштейн, Фалмань и Овчинников (2007).
  19. ^ Эппштейн (2006).
  20. ^ Грюнбаум (1972); Леви (1926); Роуднефф (1988).
  21. ^ Füredi & Palásti (1984); Грюнбаум (1972).
  22. ^ Парди (1979); Парди (1980); Строммер (1977).
  23. ^ Эдельсбруннер и Гибас (1989).
  24. ^ Фортуна и Миленкович (1991); Грин и Яо (1986); Миленкович (1989).
  25. ^ Aharoni et al. (1999).
  26. ^ Agarwal et al. (1998); Чан (1999); Коул, Шарир и Яп (1987); Эдельсбруннер и Вельцль (1986).
  27. ^ Агарвал (1990); Агарвал, Матушек и Шарир (1998); Эдельсбруннер, Гибас и Шарир (1990).
  28. ^ Cole et al. (1989).
  29. ^ Эриксон (1997).
  30. ^ Bose et al. (1996).
  31. ^ Эппштейн и Харт (1999).
  32. ^ Грюнбаум (1972); Агарвал и Шарир (2002).
  33. ^ Это определение взято из Грюнбаум (1972). Для сравнения альтернативных определений псевдолинии см. Эппштейн, Фалмань и Овчинников (2007).
  34. ^ Шор (1991); Шефер (2010).
  35. ^ де Фрейссе и Оссона де Мендес (2003).
  36. ^ Вот альтернативное определение из Шор (1991), что псевдолинией является изображение линии под гомеоморфизм самолета, уместно.

Рекомендации

внешняя ссылка