Аксиальность (геометрия) - Axiality (geometry)

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

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

Верхняя и нижняя границы

Лассак (2002) показал, что каждый выпуклый набор имеет ось не менее 2/3.^[1] Этот результат улучшил предыдущую нижнюю границу 5/8 на Краковский (1963).^[2] Наилучшая известная верхняя оценка дается конкретным выпуклым четырехугольник, найденные с помощью компьютерного поиска, ось которого меньше 0,816.^[3]

За треугольники и для центрально-симметричный Для выпуклых тел ось всегда несколько выше: каждый треугольник и каждое центрально-симметричное выпуклое тело имеет ось не менее ${ displaystyle 2 ({ sqrt {2}} - 1) приблизительно 0,828}$. В множестве тупых треугольников, вершины которых имеют ${ displaystyle x}$-координаты ${ displaystyle 0}$, ${ displaystyle { sqrt {2}}}$, и ${ displaystyle 1}$, ось приближается ${ displaystyle 2 ({ sqrt {2}} - 1)}$ в пределе как ${ displaystyle y}$-координаты приближаются к нулю, показывая, что нижняя граница максимально велика. Также возможно построить последовательность центрально-симметричных параллелограммы ось которого имеет тот же предел, что снова показывает, что нижняя граница жесткая.^[4][5]

Алгоритмы

Оси данной выпуклой формы можно сколь угодно точно аппроксимировать в сублинейном времени, учитывая доступ к форме оракулам для нахождения крайней точки в данном направлении и для нахождения пересечения формы с линией.^[6]

Барекет и Роголь (2007) рассмотрим задачу точного вычисления аксиальности как для выпуклых, так и для невыпуклых многоугольников. Множество всех возможных линий симметрии отражения на плоскости есть (по проективная двойственность ) двумерное пространство, которое они разделяют на ячейки, внутри которых фиксируется схема пересечения многоугольника с его отражением, в результате чего ось плавно изменяется внутри каждой ячейки. Таким образом, они сводят проблему к числовому вычислению в каждой ячейке, которое они не решают явно. Разбиение плоскости на ячейки имеет ${ Displaystyle О (п ^ {4})}$ ячеек в общем случае и ${ Displaystyle О (п ^ {3})}$ ячейки для выпуклых многоугольников; его можно построить за время, превышающее эти границы на логарифмический коэффициент. Барекет и Роголь утверждают, что на практике задача максимизации площади в пределах одной ячейки может быть решена за ${ Displaystyle О (п)}$ время, давая (нестрогие) общие временные рамки ${ Displaystyle О (п ^ {4})}$ для выпуклого случая и ${ Displaystyle О (п ^ {5})}$ для общего случая.^[7]

Связанные понятия

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

Лассак (2002) Помимо изучения осевой направленности, изучает ограниченную версию осевой ориентации, в которой цель состоит в том, чтобы найти полупространство, пересечение которого с выпуклой формой имеет большую площадь, полностью лежащую в пределах отражения формы через границу полупространства. Он показывает, что такое пересечение всегда может иметь площадь не менее 1/8 площади всей формы.^[1]

При изучении компьютерное зрение, Марола (1989) предложил измерить симметрию цифровое изображение (рассматривается как функция ${ displaystyle w}$ от точек на плоскости к оттенки серого значения интенсивности в интервале ${ Displaystyle 0 Leq W (р) Leq 1}$) найдя отражение ${ displaystyle sigma}$ который максимизирует интеграл площадей^[9]

${ displaystyle { frac { int int w (p) w ( sigma (p)) dx , dy} { int int w (p) ^ {2} dx , dy}}.}$

Когда ${ displaystyle w}$ это индикаторная функция заданной формы, это то же самое, что и ось.

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