stringtranslate.com

Выпуклая оболочка

Выпуклая оболочка красного множества — это синее и красное выпуклые множества .

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

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

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

Определения

Выпуклая оболочка ограниченного плоского множества: аналогия с резинкой

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

  1. (Единственное) минимальное выпуклое множество, содержащее
  2. Пересечение всех выпуклых множеств, содержащих
  3. Множество всех выпуклых комбинаций точек в
  4. Объединение всех симплексов с вершинами в

Для ограниченных множеств в евклидовой плоскости, не всех на одной линии, граница выпуклой оболочки представляет собой простую замкнутую кривую с минимальным периметром, содержащую . Можно представить себе растягивание резиновой ленты так, чтобы она охватывала все множество , а затем ее отпускание, позволяя ей сжиматься; когда она становится натянутой, она охватывает выпуклую оболочку . [3] Эта формулировка не сразу обобщается на более высокие измерения: для конечного множества точек в трехмерном пространстве окрестность остовного дерева точек охватывает их с произвольно малой площадью поверхности, меньшей, чем площадь поверхности выпуклой оболочки. [4] Однако в более высоких измерениях варианты задачи о препятствии нахождения поверхности с минимальной энергией над заданной формой могут иметь выпуклую оболочку в качестве своего решения. [5]

Для объектов в трех измерениях первое определение гласит, что выпуклая оболочка — это наименьший возможный выпуклый ограничивающий объем объектов. Определение с использованием пересечений выпуклых множеств может быть расширено до неевклидовой геометрии , а определение с использованием выпуклых комбинаций может быть расширено с евклидовых пространств до произвольных вещественных векторных пространств или аффинных пространств ; выпуклые оболочки также могут быть обобщены более абстрактным образом до ориентированных матроидов . [6]

Эквивалентность определений

3D выпуклая оболочка облака из 120 точек

Неочевидно, что первое определение имеет смысл: почему должно существовать единственное минимальное выпуклое множество, содержащее , для каждого ? Однако второе определение, пересечение всех выпуклых множеств, содержащих , определено корректно. Это подмножество любого другого выпуклого множества , которое содержит , поскольку входит в число пересекаемых множеств. Таким образом, это в точности единственное минимальное выпуклое множество, содержащее . Следовательно, первые два определения эквивалентны. [2]

Каждое выпуклое множество, содержащее , должно (по предположению, что оно выпукло) содержать все выпуклые комбинации точек в , поэтому множество всех выпуклых комбинаций содержится в пересечении всех выпуклых множеств, содержащих . Наоборот, множество всех выпуклых комбинаций само является выпуклым множеством, содержащим , поэтому оно также содержит пересечение всех выпуклых множеств, содержащих , и поэтому второе и третье определения эквивалентны. [7]

Фактически, согласно теореме Каратеодори , если является подмножеством -мерного евклидова пространства, то каждая выпуклая комбинация конечного числа точек из также является выпуклой комбинацией не более чем точек из . Множество выпуклых комбинаций -кортежа точек является симплексом ; на плоскости это треугольник , а в трехмерном пространстве это тетраэдр. Следовательно, каждая выпуклая комбинация точек принадлежит симплексу, вершины которого принадлежат , и третье и четвертое определения эквивалентны. [7]

Верхний и нижний корпуса

В двух измерениях выпуклая оболочка иногда разбивается на две части, верхнюю оболочку и нижнюю оболочку, простирающиеся между самой левой и самой правой точками оболочки. В более общем смысле, для выпуклых оболочек в любом измерении можно разбить границу оболочки на обращенные вверх точки (точки, для которых восходящий луч не пересекается с оболочкой), обращенные вниз точки и крайние точки. Для трехмерных оболочек обращенные вверх и вниз части границы образуют топологические диски. [8]

Топологические свойства

Закрытые и открытые корпуса

Закрытая выпуклая оболочка множества является замыканием выпуклой оболочки, а открытая выпуклая оболочка является внутренней частью (или в некоторых источниках относительной внутренней частью ) выпуклой оболочки. [9]

Замкнутая выпуклая оболочка является пересечением всех замкнутых полупространств, содержащих . Если выпуклая оболочка уже сама является замкнутым множеством (как это происходит, например, если является конечным множеством или, в более общем случае, компактным множеством ), то она равна замкнутой выпуклой оболочке. Однако пересечение замкнутых полупространств само по себе замкнуто, поэтому, когда выпуклая оболочка не замкнута, она не может быть представлена ​​таким образом. [10]

Если открытая выпуклая оболочка множества -мерна , то каждая точка оболочки принадлежит открытой выпуклой оболочке не более чем точек . Множества вершин квадрата, правильного октаэдра или кросс-политопа более высокой размерности дают примеры, где нужны именно точки. [11]

Сохранение топологических свойств

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

Топологически выпуклая оболочка открытого множества всегда сама открыта, а выпуклая оболочка компактного множества всегда сама компактна. Однако существуют замкнутые множества, для которых выпуклая оболочка не замкнута. [12] Например, замкнутое множество

(множество точек, лежащих на или над ведьмой Аньези ) имеет открытую верхнюю полуплоскость в качестве своей выпуклой оболочки. [13]

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

Крайние точки

Крайняя точка выпуклого множества — это точка в множестве, которая не лежит ни на каком открытом отрезке прямой между любыми двумя другими точками того же множества. Для выпуклой оболочки каждая крайняя точка должна быть частью данного множества, потому что в противном случае она не может быть образована как выпуклая комбинация данных точек. Согласно теореме Крейна–Мильмана , каждое компактное выпуклое множество в евклидовом пространстве (или, в более общем смысле, в локально выпуклом топологическом векторном пространстве ) является выпуклой оболочкой своих крайних точек. [15] Однако это может быть неверно для выпуклых множеств, которые не являются компактными; например, вся евклидова плоскость и открытый единичный шар оба выпуклы, но ни один из них не имеет крайних точек. Теория Шоке расширяет эту теорию с конечных выпуклых комбинаций крайних точек до бесконечных комбинаций (интегралов) в более общих пространствах. [16]

Геометрические и алгебраические свойства

Оператор закрытия

Оператор выпуклой оболочки имеет характерные свойства оператора замыкания : [17]

Применительно к конечному множеству точек это оператор замыкания антиматроида , антиматроида шелушения множества точек. Каждый антиматроид может быть представлен таким образом выпуклыми оболочками точек в евклидовом пространстве достаточно высокой размерности. [18]

сумма Минковского

Операции построения выпуклой оболочки и взятия суммы Минковского коммутируют друг с другом, в том смысле, что сумма Минковского выпуклых оболочек множеств дает тот же результат, что и выпуклая оболочка суммы Минковского тех же множеств. Это обеспечивает шаг к теореме Шепли–Фолкмана, ограничивающей расстояние суммы Минковского от ее выпуклой оболочки. [19]

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

Проективная двойственная операция построения выпуклой оболочки множества точек заключается в построении пересечения семейства замкнутых полупространств, каждое из которых содержит начало координат (или любую другую обозначенную точку). [20]

Особые случаи

Конечные точечные множества

Выпуклая оболочка точек на плоскости

Выпуклая оболочка конечного множества точек образует выпуклый многоугольник , когда , или, в более общем смысле, выпуклый многогранник в . Каждая крайняя точка оболочки называется вершиной , и (по теореме Крейна–Мильмана) каждый выпуклый многогранник является выпуклой оболочкой своих вершин. Это единственный выпуклый многогранник, вершины которого принадлежат и который охватывает все из . [3] Для множеств точек в общем положении выпуклая оболочка является симплициальным многогранником . [21]

Согласно теореме о верхней границе , число граней выпуклой оболочки точек в -мерном евклидовом пространстве равно . [22] В частности, в двух и трех измерениях число граней не более чем линейно по . [23]

Простые многоугольники

Выпуклая оболочка (синего и желтого цветов) простого многоугольника (синего цвета)

Выпуклая оболочка простого многоугольника охватывает заданный многоугольник и разбивается им на области, одна из которых является самим многоугольником. Другие области, ограниченные полигональной цепью многоугольника и одним ребром выпуклой оболочки, называются карманами . Вычисление того же разложения рекурсивно для каждого кармана формирует иерархическое описание заданного многоугольника, называемое его выпуклым деревом разностей . [24] Отражение кармана по его выпуклому ребру оболочки расширяет заданный простой многоугольник в многоугольник с тем же периметром и большей площадью, и теорема Эрдёша–Надя утверждает, что этот процесс расширения в конечном итоге заканчивается. [25]

Броуновское движение

Кривая, генерируемая броуновским движением на плоскости, в любой фиксированный момент времени имеет вероятность 1 иметь выпуклую оболочку, граница которой образует непрерывно дифференцируемую кривую . Однако для любого угла в диапазоне будут моменты времени во время броуновского движения, когда движущаяся частица касается границы выпуклой оболочки в точке угла . Хаусдорфова размерность этого набора исключительных моментов времени равна (с высокой вероятностью) . [26]

Пространственные кривые

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

Для выпуклой оболочки пространственной кривой или конечного множества пространственных кривых в общем положении в трехмерном пространстве части границы вдали от кривых являются развертывающимися и линейчатыми поверхностями . [27] Примерами являются олоид , выпуклая оболочка двух окружностей в перпендикулярных плоскостях, каждая из которых проходит через центр другой, [28] сферикон , выпуклая оболочка двух полуокружностей в перпендикулярных плоскостях с общим центром, и D-формы, выпуклые формы, полученные из теоремы единственности Александрова для поверхности , образованной склеиванием двух плоских выпуклых множеств равного периметра. [29]

Функции

Выпуклая оболочка или нижняя выпуклая оболочка функции на действительном векторном пространстве — это функция, надграфик которой является нижней выпуклой оболочкой надграфика . Это единственная максимальная выпуклая функция , мажорируемая . [30] Определение может быть расширено до выпуклой оболочки набора функций (полученной из выпуклой оболочки объединения их надграфиков или, что эквивалентно, из их поточечного минимума ) и в этой форме является двойственной к выпуклой сопряженной операции. [31]

Вычисление

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

Для выпуклых оболочек в двух или трех измерениях сложность соответствующих алгоритмов обычно оценивается в терминах , количества входных точек, и , количества точек на выпуклой оболочке, что может быть значительно меньше . Для оболочек более высокой размерности в анализ может также входить количество граней других размерностей. Сканирование Грэма может вычислять выпуклую оболочку точек на плоскости за время . Для точек в двух и трех измерениях известны более сложные алгоритмы, чувствительные к выходным данным , которые вычисляют выпуклую оболочку за время . К ним относятся алгоритм Чана и алгоритм Киркпатрика–Зейделя . [33] Для размерностей время вычисления выпуклой оболочки составляет , что соответствует наихудшей выходной сложности задачи. [34] Выпуклая оболочка простого многоугольника на плоскости может быть построена за линейное время . [35]

Структуры данных динамической выпуклой оболочки могут использоваться для отслеживания выпуклой оболочки набора точек, подвергающихся вставкам и удалениям точек, [36] а структуры кинетической выпуклой оболочки могут отслеживать выпуклую оболочку для точек, движущихся непрерывно. [37] Построение выпуклых оболочек также служит инструментом, строительным блоком для ряда других вычислительно-геометрических алгоритмов, таких как метод вращающегося штангенциркуля для вычисления ширины и диаметра набора точек. [38]

Связанные структуры

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

Триангуляция Делоне множества точек и ее двойственная диаграмма Вороного математически связаны с выпуклыми оболочками: триангуляция Делоне множества точек в может рассматриваться как проекция выпуклой оболочки в [46] Альфа -формы конечного множества точек дают вложенное семейство (невыпуклых) геометрических объектов, описывающих форму множества точек на разных уровнях детализации. Каждая из альфа-форм является объединением некоторых особенностей триангуляции Делоне, выбранных путем сравнения их радиуса описанной окружности с параметром альфа. Само множество точек образует одну конечную точку этого семейства фигур, а его выпуклая оболочка образует другую конечную точку. [41] Выпуклые слои множества точек представляют собой вложенное семейство выпуклых многоугольников, самым внешним из которых является выпуклая оболочка, а внутренние слои построены рекурсивно из точек, которые не являются вершинами выпуклой оболочки. [47]

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

Приложения

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

Математика

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

Многоугольники Ньютона одномерных многочленов и многогранники Ньютона многомерных многочленов являются выпуклыми оболочками точек, полученных из показателей степеней членов многочлена, и могут быть использованы для анализа асимптотического поведения многочлена и оценок его корней. [49] Выпуклые оболочки и многочлены также объединяются в теореме Гаусса–Лукаса , согласно которой все корни производной многочлена лежат внутри выпуклой оболочки корней многочлена. [50]

В спектральном анализе числовой диапазон нормальной матрицы — это выпуклая оболочка ее собственных значений . [51] Теорема Руссо–Дай описывает выпуклые оболочки унитарных элементов в C*-алгебре . [52] В дискретной геометрии и теорема Радона , и теорема Тверберга касаются существования разбиений множеств точек на подмножества с пересекающимися выпуклыми оболочками. [53]

Определения выпуклого множества как содержащего отрезки прямых между его точками, и выпуклой оболочки как пересечения всех выпуклых супермножеств применяются как к гиперболическим пространствам , так и к евклидовым пространствам. Однако в гиперболическом пространстве также можно рассматривать выпуклые оболочки множеств идеальных точек , точек, которые не принадлежат самому гиперболическому пространству, но лежат на границе модели этого пространства. Границы выпуклых оболочек идеальных точек трехмерного гиперболического пространства аналогичны линейчатым поверхностям в евклидовом пространстве, и их метрические свойства играют важную роль в гипотезе геометризации в низкоразмерной топологии . [54] Гиперболические выпуклые оболочки также использовались как часть вычисления канонических триангуляций гиперболических многообразий и применялись для определения эквивалентности узлов . [55]

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

Статистика

Bagplot . Внешняя заштрихованная область — это выпуклая оболочка, а внутренняя заштрихованная область — это 50%-ный контур глубины Тьюки .

В надежной статистике выпуклая оболочка обеспечивает один из ключевых компонентов bagplot , метода визуализации распространения двумерных точек выборки. Контуры глубины Тьюки образуют вложенное семейство выпуклых множеств, с выпуклой оболочкой, самой внешней, а bagplot также отображает другой многоугольник из этого вложенного семейства, контур 50% глубины. [56]

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

Комбинаторная оптимизация

В комбинаторной оптимизации и полиэдральной комбинаторике центральными объектами изучения являются выпуклые оболочки индикаторных векторов решений комбинаторной задачи. Если грани этих многогранников могут быть найдены, описывая многогранники как пересечения полупространств, то для поиска оптимальных решений могут быть использованы алгоритмы, основанные на линейном программировании . [58] В многокритериальной оптимизации также используется другой тип выпуклой оболочки — выпуклая оболочка весовых векторов решений. Можно максимизировать любую квазивыпуклую комбинацию весов, находя и проверяя каждую вершину выпуклой оболочки, что часто более эффективно, чем проверка всех возможных решений. [59]

Экономика

В модели общего экономического равновесия Эрроу–Дебре предполагается, что агенты имеют выпуклые бюджетные множества и выпуклые предпочтения . Эти предположения о выпуклости в экономике могут быть использованы для доказательства существования равновесия. Когда фактические экономические данные невыпуклые , их можно сделать выпуклыми, взяв выпуклые оболочки. Теорема Шепли–Фолкмана может быть использована для того, чтобы показать, что для больших рынков это приближение является точным и приводит к «квазиравновесию» для исходного невыпуклого рынка. [60]

Геометрическое моделирование

В геометрическом моделировании одним из ключевых свойств кривой Безье является то, что она лежит внутри выпуклой оболочки своих контрольных точек. Это так называемое «свойство выпуклой оболочки» может быть использовано, например, для быстрого обнаружения пересечений этих кривых. [61]

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

Этология

Выпуклая оболочка обычно известна как минимальный выпуклый многоугольник в этологии , изучении поведения животных, где она является классическим, хотя, возможно, и упрощенным, подходом к оценке ареала обитания животного на основе точек, где животное наблюдалось. [63] Выбросы могут сделать минимальный выпуклый многоугольник чрезмерно большим, что мотивировало смягченные подходы, которые содержат только подмножество наблюдений, например, путем выбора одного из выпуклых слоев, который близок к целевому проценту образцов, [64] или в методе локальной выпуклой оболочки путем объединения выпуклых оболочек окрестностей точек. [65]

Квантовая физика

В квантовой физике пространство состояний любой квантовой системы — множество всех способов, которыми система может быть подготовлена ​​— представляет собой выпуклую оболочку, крайние точки которой являются положительно-полуопределенными операторами, известными как чистые состояния, а внутренние точки называются смешанными состояниями. [66] Теорема Шредингера –ХДжВ доказывает, что любое смешанное состояние на самом деле может быть записано как выпуклая комбинация чистых состояний несколькими способами. [67]

Термодинамика

Выпуклая оболочка из соединений магния и углерода . [68] Ожидается, что Mg 2 C 3 будет нестабильным, поскольку он находится над нижней оболочкой.

Выпуклая оболочка в термодинамике была идентифицирована Джозайей Уиллардом Гиббсом (1873), [69] хотя статья была опубликована до того, как выпуклая оболочка была так названа. В наборе энергий нескольких стехиометрий материала только те измерения на нижней выпуклой оболочке будут стабильными. При удалении точки из оболочки и последующем вычислении ее расстояния до оболочки, ее расстояние до новой оболочки представляет собой степень стабильности фазы. [70]

История

Нижняя выпуклая оболочка точек на плоскости появляется в форме многоугольника Ньютона в письме Исаака Ньютона Генри Ольденбургу в 1676 году. [71] Сам термин «выпуклая оболочка» появляется уже в работе Гаррета Биркгофа  (1935), а соответствующий термин в немецком языке появляется раньше, например, в обзоре Ганса Радемахера о Кёниге  (1922). Другие термины, такие как «выпуклая оболочка», также использовались в этот период времени. [72] К 1938 году, по словам Ллойда Дайнса , термин «выпуклая оболочка» стал стандартным; Дайнс добавляет, что он находит этот термин неудачным, потому что разговорное значение слова «оболочка» предполагает, что оно относится к поверхности формы, тогда как выпуклая оболочка включает внутреннюю часть, а не только поверхность. [73]

Примечания

  1. ^ Термин «выпуклое замыкание» относится к тому факту, что выпуклая оболочка определяет оператор замыкания . Однако этот термин также часто используется для обозначения замкнутой выпуклой оболочки , с которой его не следует путать — см., например, Fan (1959), стр.48.
  2. ^ ab Rockafellar (1970), стр. 12.
  3. ^ abc де Берг и др. (2008), с. 3.
  4. ^ Williams & Rossignac (2005). См. также Дуглас Заре, ответ на «периметр невыпуклого множества», MathOverflow , 16 мая 2014 г.
  5. ^ Оберман (2007).
  6. ^ Кнут (1992).
  7. ^ ab Rockafellar (1970), стр. 12; Lay (1982), стр. 17.
  8. ^ де Берг и др. (2008), стр. 6. Идея разбиения оболочки на две цепи исходит из эффективного варианта сканирования Грэхема Эндрю (1979).
  9. ^ Зонтаг (1982).
  10. ^ Рокафеллар (1970), стр. 99.
  11. ^ Стейниц (1914); Гастин (1947); Барань, Качальский и Пах (1982)
  12. ^ Грюнбаум (2003), стр. 16; Лэй (1982), стр. 21; Сакума (1977).
  13. ^ Этот пример приведен в работе Талмана (1977), замечание 2.6.
  14. ^ Уитли (1986).
  15. ^ Керин и Милман (1940); Лэй (1982), с. 43.
  16. ^ Окон (2000).
  17. ^ Кисельман (2002).
  18. ^ Касивабара, Накамура и Окамото (2005).
  19. ^ Крейн и Шмульян (1940), Теорема 3, страницы 562–563; Шнайдер (1993), Теорема 1.1.2 (страницы 2–3) и Глава 3.
  20. ^ де Берг и др. (2008), с. 254.
  21. ^ Грюнбаум (2003), стр. 57.
  22. ^ де Берг и др. (2008), с. 256.
  23. ^ де Берг и др. (2008), с. 245.
  24. ^ Раппопорт (1992).
  25. ^ Демейн и др. (2008).
  26. ^ Крэнстон, Сю и Марч (1989).
  27. ^ Седых (1981).
  28. ^ Дирнбёк и Штахель (1997).
  29. ^ Ситон (2017).
  30. ^ Рокафеллар (1970), стр. 36.
  31. ^ Рокафеллар (1970), стр. 149.
  32. ^ Авис, Бремнер и Зайдель (1997).
  33. ^ де Берг и др. (2008), с. 13.
  34. ^ Шазель (1993); де Берг и др. (2008), с. 256.
  35. ^ МакКаллум и Эвис (1979); Грэм и Яо (1983); Ли (1983).
  36. ^ Чан (2012).
  37. ^ Баш, Гибас и Хершбергер (1999).
  38. ^ Туссен (1983).
  39. ^ abc Вестерман (1976).
  40. ^ Лаурентини (1994).
  41. ^ ab Эдельсбруннер, Киркпатрик и Зайдель (1983).
  42. ^ Туссен (1986).
  43. ^ Оттманн, Сойсалон-Сойнинен и Вуд (1984).
  44. ^ Херрлих (1992).
  45. ^ Росси (1961).
  46. ^ Браун (1979).
  47. ^ Шазелл (1985).
  48. ^ Чанг и Яп (1986).
  49. ^ Артин (1967); Гельфанд, Капранов и Зелевинский (1994)
  50. ^ Прасолов (2004).
  51. ^ Джонсон (1976).
  52. ^ Гарднер (1984).
  53. ^ Рей (1979).
  54. ^ Эпштейн и Марден (1987).
  55. Уикс (1993).
  56. ^ Русс, Рутс и Тьюки (1999).
  57. ^ Харрис (1971).
  58. ^ Pulleyblank (1983); см. особенно замечания после теоремы 2.9.
  59. ^ Като (1992).
  60. ^ Никола (2000). См. в частности раздел 16.9, Невыпуклость и приближенное равновесие, стр. 209–210.
  61. ^ Чэнь и Ван (2003).
  62. Мейсон (1908).
  63. ^ Кернохан, Гитцен и Миллспо (2001), стр. 137–140; Нильсен, Педерсен и Линнелл (2008)
  64. ^ Уортон (1995).
  65. ^ Гетц и Вилмерс (2004).
  66. ^ Риффел и Полак (2011).
  67. ^ Киркпатрик (2006).
  68. ^ Ким и др. (2019).
  69. ^ Гиббс (1873).
  70. ^ Отье (2014); Фульц (2020)
  71. ^ Ньютон (1676); см. Ауэль (2019), стр. 336, и Эскобар и Каве (2020).
  72. См., например, Уайт (1923), стр. 520.
  73. Дайнс (1938).

Ссылки

Внешние ссылки