Лемма большой-маленький-большой - Big-little-big lemma

в математика складывания бумаги, то лемма большой-маленький-большой это необходимое условие для узор складки с указанным горные складки и складки долины чтобы его можно было сложить.[1] Он отличается от Теорема Кавасаки, который характеризует плоско-складчатые складки, в которых еще не выполнено горно-долинное отнесение. Вместе с Теорема Маэкавы относительно общего числа складок каждого типа лемма о большом-маленьком-большом является одним из двух основных условий, используемых для характеристики плоско-складываемости назначений горной долины для шаблонов складок, которые удовлетворяют условиям теоремы Кавасаки.[2] Мастер математического оригами Том Халл называет лемму большой-маленький-большой "одним из самых основных правил" плоской складываемости моделей складок.[1]

Заявление

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

Обобщение и приложения

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

История

В их книге Геометрические алгоритмы складывания, Эрик Демейн и Джо О'Рурк приписывают лемму публикациям Тошиказу Кавасаки в 1989 г. и Жак Жюстен в 1994 г.[2][6][7]

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

  1. ^ а б c Халл, Томас С. (2015), «Раскрашивание связей с подсчетом горно-долинных заданий», Оригами6, Том I: Математика, Провиденс, Род-Айленд: Американское математическое общество, стр. 3–10, arXiv:1601.02727, МИСТЕР  3494912
  2. ^ а б c Демейн, Эрик; О'Рурк, Джозеф (2007), «12.2.2 Плоско-складывающиеся одинарные вершины горы – долины», Геометрические алгоритмы складывания, Cambridge University Press, стр. 203–210, ISBN  978-0-521-71522-5; см., в частности, лемму 12.2.5, с. 204
  3. ^ Демейн и О'Рурк (2007), Лемма 12.2.8, с. 205.
  4. ^ Берн, Маршалл; Хейс, Барри (1996), «Сложность плоского оригами», Материалы седьмого ежегодного симпозиума ACM – SIAM по дискретным алгоритмам (Атланта, Джорджия, 1996), Нью-Йорк: ACM, стр. 175–183, МИСТЕР  1381938
  5. ^ Демейн и О'Рурк (2007), Теорема 12.2.9 и следствие 12.2.10, с. 207.
  6. ^ Кавасаки, Т. (1989), «О связи между складками гор и складками долин плоского оригами», в Huzita, H. (ed.), Оригами наука и техника, стр. 229–237Как цитируется Демейн и О'Рурк (2007).
  7. ^ Джастин Дж. (1994), "К математической теории оригами", 2-й Int. Встреча по науке оригами, Оцу, ЯпонияКак цитируется Демейн и О'Рурк (2007).