stringtranslate.com

Последовательность Туэ-Морса

На этом рисунке показана повторяющаяся и взаимодополняющая структура последовательности Туэ-Морзе.

В математике последовательность Туэ –Морса или Пруэ–Туэ–Морса — это двоичная последовательность (бесконечная последовательность нулей и единиц), которая может быть получена, начиная с 0 и последовательно добавляя булево дополнение к последовательности, полученной к настоящему моменту. [1] Иногда ее называют последовательностью справедливой доли из-за ее применения к справедливому делению или последовательности четности . Первые несколько шагов этой процедуры дают строки 0, 01, 0110, 01101001, 0110100110010110 и т. д., которые являются префиксами последовательности Туэ–Морса. Полная последовательность начинается так:

01101001100101101001011001101001.... [1]

Последовательность названа в честь Акселя Туэ и Марстона Морзе .

Определение

Существует несколько эквивалентных способов определения последовательности Туэ–Морса.

Прямое определение

При счете в двоичной системе сумма цифр по модулю 2 представляет собой последовательность Туэ-Морса

Чтобы вычислить n-й элемент t n , запишите число n в двоичной системе счисления . Если количество единиц в этом двоичном разложении нечетно, то t n  = 1, если четно, то t n  = 0. [2] То есть t n является битом четности для n . Джон Х. Конвей и др . считали числа n , удовлетворяющие t n  = 1, одиозными ( предназначенными для того, чтобы быть похожими на нечетные ) числами, а числа, для которых t n  = 0, злыми (подобными четным ) числами.

Быстрая генерация последовательности

Этот метод приводит к быстрому методу вычисления последовательности Туэ–Морса: начать с t 0  = 0 , а затем для каждого n найти бит наивысшего порядка в двоичном представлении n , который отличается от того же бита в представлении n  − 1. Если этот бит находится в четном индексе, t n отличается от t n  − 1 , а в противном случае он совпадает с t n  − 1 .

На языке Python :

def  generate_sequence ( seq_length :  int ): """Последовательность Туэ–Морса.""" value = 1 for n in range ( seq_length ): # Примечание: предполагается, что (-1).bit_length() дает 1 x = ( n ^ ( n - 1 )) . bit_length () + 1 if x & 1 == 0 : # Индекс бита четный, поэтому переключить значение value = 1 - value yield value                                

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

Рекуррентное соотношение

Последовательность Туэ–Морса — это последовательность t n , удовлетворяющая рекуррентному соотношению

для всех неотрицательных целых чисел n . [2]

L-система

Последовательность Туэ-Морса, сгенерированная L-системой

Последовательность Туэ-Морса представляет собой морфическое слово : [4] это результат следующей системы Линденмайера :

Характеристика с использованием побитового отрицания

Последовательность Туэ–Морса в приведенной выше форме, как последовательность битов , может быть определена рекурсивно с использованием операции побитового отрицания . Итак, первый элемент равен 0. Затем, как только первые 2 n элементов были указаны, образуя строку s , следующие 2 n элементов должны образовать побитовое отрицание s . Теперь мы определили первые 2 n +1 элементов, и мы рекурсируем.

Подробно описываем первые несколько шагов:

Так

На языке Python :

def  thue_morse_bits ( n ): """Возвращает целое число, содержащее первые 2**n бит последовательности Туэ-Морса, младший бит - 1-й.""" биты = 0 для i в диапазоне ( n ): биты |= (( 1 << ( 1 << i )) - 1 - биты ) << ( 1 << i ) вернуть биты                       

Которую затем можно преобразовать в (обратную) строку следующим образом:

n  =  7 print ( f " { thue_morse_bits ( n ) : 0 { 1 << n } b } " )

Бесконечное произведение

Последовательность также может быть определена следующим образом:

где t jj -й элемент, если начать с j = 0.

Характеристики

Последовательность Туэ–Морса содержит много квадратов : экземпляров строки , где обозначает строку , , , или , где для некоторых и является побитовым отрицанием . [5] Например, если , то . Квадрат появляется в , начиная с 16-го бита. Поскольку все квадраты в получены повторением одной из этих 4 строк, все они имеют длину или для некоторых . не содержит кубов : экземпляров . Также нет перекрывающихся квадратов : экземпляров или . [6] [7] Критический показатель степени равен 2. [8]

Последовательность Туэ-Морса является равномерно рекуррентным словом : для любой конечной строки X в последовательности существует некоторая длина n X (часто намного больше длины X ), такая что X появляется в каждом блоке длины n X . [9] [10] Примечательно, что последовательность Туэ-Морса является равномерно рекуррентной, не будучи ни периодической , ни периодической в ​​конечном итоге (т. е. периодической после некоторого начального непериодического сегмента). [11]

Последовательность T 2 n является палиндромом для любого n . Кроме того, пусть q n будет словом, полученным путем подсчета единиц между последовательными нулями в T 2 n . Например, q 1 = 2 и q 2 = 2102012. Поскольку T n не содержит перекрывающихся квадратов , слова q n являются палиндромными бесквадратными словами .

Морфизм Туэ–Морса μ определяется на алфавите {0,1} с помощью отображения подстановки μ (0) = 01, μ (1) = 10: каждый 0 в последовательности заменяется на 01, а каждая 1 на 10. [12] Если T — последовательность Туэ–Морса, то μ ( T ) также является T . Таким образом, Tнеподвижная точка μ . Морфизм μ это продолжаемый морфизм на свободном моноиде {0,1} с T в качестве неподвижной точки: T по существу является единственной неподвижной точкой μ ; единственной другой неподвижной точкой является побитовое отрицание T , которое является просто последовательностью Туэ–Морса на (1,0) вместо (0,1). Это свойство может быть обобщено до концепции автоматической последовательности .

Производящий ряд T над бинарным полем — это формальный степенной ряд

Этот степенной ряд является алгебраическим над полем рациональных функций, удовлетворяющим уравнению [13]

В комбинаторной теории игр

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

Задача Пруэ–Тэрри–Эскотта

Задачу Пруэ–Тэрри–Эскотта можно определить следующим образом: дано положительное целое число N и неотрицательное целое число k . Разбить множество S = {0, 1, ..., N -1} на два непересекающихся подмножества S0 и S1 , которые имеют равные суммы степеней вплоть до k, то есть:

для всех целых чисел i от 1 до k .

Это имеет решение, если N кратно 2k + 1 , и определяется по формуле:

Например, для N = 8 и k = 2,

0 + 3 + 5 + 6 = 1 + 2 + 4 + 7,
0 2 + 3 2 + 5 2 + 6 2 знак равно 1 2 + 2 2 + 4 2 + 7 2 .

Условие, требующее, чтобы N было кратно 2k +1, не является строго необходимым: есть некоторые дополнительные случаи, для которых существует решение. Однако оно гарантирует более сильное свойство: если условие выполняется, то множество k -х степеней любого множества из N чисел в арифметической прогрессии можно разбить на два множества с равными суммами. Это следует непосредственно из разложения, заданного биномиальной теоремой, примененной к двучлену, представляющему n- й элемент арифметической прогрессии.

Для обобщений последовательности Туэ–Морса и проблемы Пруэ–Тэрри–Эскотта для разбиений на более чем две части см. Bolker, Offner, Richman и Zara, «Проблема Пруэ–Тэрри–Эскотта и обобщенные последовательности Туэ–Морса». [14]

Фракталы и графика черепах

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

Полученная кривая сходится к кривой Коха , фрактальной кривой бесконечной длины, содержащей конечную площадь. Это иллюстрирует фрактальную природу последовательности Туэ-Морса. [15]

Также можно точно нарисовать кривую, используя следующие инструкции: [16]

Справедливая последовательность

В своей книге о проблеме справедливого дележа Стивен Брамс и Алан Тейлор ссылались на последовательность Туэ-Морса, но не определяли ее как таковую. При распределении спорной кучи предметов между двумя сторонами, которые согласны относительно их относительной ценности, Брамс и Тейлор предложили метод, который они назвали сбалансированным чередованием , или поочередным выбором поочередно выбором поочередно... , как способ обойти фаворитизм, присущий тому, что одна сторона выбирает раньше другой. Пример показал, как разводящаяся пара может достичь справедливого соглашения при распределении совместно принадлежащих предметов. Стороны по очереди будут выбирать первыми на разных этапах процесса выбора: Энн выбирает один предмет, затем Бен, затем Бен выбирает один предмет, затем Энн. [17]

Лайонел Левин и Кэтрин Э. Стэнж , обсуждая, как справедливо распределить общую еду, например, эфиопский ужин , предложили последовательность Туэ-Морса как способ уменьшить преимущество первого хода. Они предположили, что «было бы интересно количественно оценить интуицию, что порядок Туэ-Морса имеет тенденцию давать справедливый результат». [18]

Роберт Ричман обратился к этой проблеме, но он также не идентифицировал последовательность Туэ–Морса как таковую на момент публикации. [19] Он представил последовательности Tn как ступенчатые функции на интервале [0,1] и описал их связь с функциями Уолша и Радемахера . Он показал, что nпроизводная может быть выражена через Tn . Как следствие, ступенчатая функция, возникающая из Tn , ортогональна полиномам порядка n  − 1. Следствием этого результата является то, что ресурс, значение которого выражается как монотонно убывающая непрерывная функция , наиболее справедливо распределяется с использованием последовательности, которая сходится к Туэ–Морса, когда функция становится более плоской . Пример показал, как налить чашки кофе одинаковой крепости из графина с нелинейным градиентом концентрации , что побудило публиковать причудливую статью в популярной прессе. [20]

Джошуа Купер и Аарон Датл показали, почему порядок Туэ–Морса обеспечивает справедливый результат для дискретных событий. [21] Они рассмотрели самый справедливый способ инсценировать дуэль Галуа , в которой каждый из стрелков имеет одинаково плохие навыки стрельбы. Купер и Датл постулировали, что каждый дуэлянт потребует шанс выстрелить, как только априорная вероятность победы другого превысит его собственную. Они доказали, что по мере того, как вероятность попадания дуэлянтов приближается к нулю, последовательность стрельбы сходится к последовательности Туэ–Морса. Тем самым они продемонстрировали, что порядок Туэ–Морса обеспечивает справедливый результат не только для последовательностей Tn длины 2 n , но и для последовательностей любой длины.

Таким образом, математика поддерживает использование последовательности Туэ-Морса вместо чередования ходов, когда целью является справедливость, но более ранние ходы монотонно отличаются от более поздних по некоторому значимому качеству, независимо от того, изменяется ли это качество непрерывно [19] или дискретно. [21]

Спортивные соревнования образуют важный класс проблем справедливой последовательности, поскольку строгое чередование часто дает несправедливое преимущество одной команде. Игнасио Паласиос-Уэрта предложил изменить последовательный порядок на Туэ-Морса, чтобы улучшить ex post справедливость различных турнирных соревнований, таких как последовательность ударов в серии пенальти в футболе. [22] Он провел ряд полевых экспериментов с профессиональными игроками и обнаружил, что команда, бьющая первой, выиграла 60% игр, используя ABAB (или T 1 ), 54% — используя ABBA (или T 2 ), и 51% — используя полную систему Туэ-Морса (или T n ). В результате ABBA проходит обширные испытания в ФИФА (чемпионаты Европы и мира) и английской федерации профессионального футбола ( кубок EFL ). [23] Также было обнаружено, что схема подачи ABBA улучшает справедливость тай-брейков в теннисе . [24] В соревновательной гребле T 2 является единственной схемой расположения гребцов по левому и правому борту , которая устраняет поперечные силы (и, следовательно, боковое покачивание) на четырехместной гоночной лодке без рулевого, в то время как T 3 является одной из четырех схем , позволяющих избежать покачивания на восьмиместной лодке. [25]

Справедливость особенно важна в драфтах игроков . Многие профессиональные спортивные лиги пытаются достичь конкурентного паритета , предоставляя более ранние выборы в каждом раунде более слабым командам. Напротив, в лигах фэнтези-футбола нет изначально существующего дисбаланса, который нужно исправить, поэтому они часто используют драфт «змеи» (вперед, назад и т. д.; или T 1 ). [26] Ян Аллан утверждал, что «разворот в третьем раунде» (вперед, назад, назад, вперед и т. д.; или T 2 ) был бы еще более справедливым. [27] Ричман предположил, что самый справедливый способ для «капитана А» и «капитана Б» выбрать стороны для игры в баскетбол отражает T 3 : у капитана А есть первый, четвертый, шестой и седьмой выборы, в то время как у капитана Б есть второй, третий, пятый и восьмой выборы. [19]

Коллизии хэшей

Начальные 2k бит последовательности Туэ-Морса отображаются в 0 широким классом полиномиальных хэш-функций по модулю степени двойки , что может привести к коллизиям хэшей . [28]

Дзета-функция Римана

Определенные линейные комбинации рядов Дирихле, коэффициенты которых являются членами последовательности Туэ–Морса, приводят к тождествам, включающим дзета-функцию Римана (Tóth, 2022 [29] ). Например:

где - член последовательности Туэ-Морса. Фактически, для всех с действительной частью, большей , мы имеем

История

Последовательность Туэ-Морса была впервые изучена Эженом Пруэ  [fr] в 1851 году, [30], который применил ее к теории чисел . Однако Пруэ не упоминал последовательность явно; это было оставлено Акселю Туэ в 1906 году, который использовал ее для обоснования изучения комбинаторики слов . Последовательность привлекла всеобщее внимание только благодаря работе Марстона Морса в 1921 году, когда он применил ее к дифференциальной геометрии . Последовательность была открыта независимо много раз, не всегда профессиональными математиками-исследователями; например, Макс Эйве , шахматный гроссмейстер и преподаватель математики , открыл ее в 1929 году в приложении к шахматам : используя ее свойство отсутствия кубов (см. выше), он показал, как обойти правило троекратного повторения , направленное на предотвращение бесконечно затянутых игр, объявив повторение ходов ничьей. В то время для срабатывания правила требовались последовательные идентичные состояния доски; Позднее правило было изменено таким образом, что одна и та же позиция на доске повторялась три раза в любой точке, поскольку последовательность показывает, что последовательный критерий можно обойти бесконечно.

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

Примечания

  1. ^ ab Sloane, N. J. A. (ред.). "Последовательность A010060 (последовательность Туэ-Морса)". Онлайновая энциклопедия целочисленных последовательностей . Фонд OEIS.
  2. ^ ab Allouche & Shallit (2003, стр. 15)
  3. ^ Арндт (2011).
  4. ^ Лотер (2011, стр. 11)
  5. ^ Брлек (1989).
  6. ^ Лотер (2011, стр. 113)
  7. ^ Пифей Фогг (2002, стр. 103)
  8. ^ Кригер (2006).
  9. ^ Лотер (2011, стр. 30)
  10. ^ Берте и Риго (2010).
  11. ^ Лотер (2011, стр. 31)
  12. ^ Берстель и др. (2009, стр. 70)
  13. ^ Берстель и др. (2009, стр. 80)
  14. ^ Болкер и др. (2016).
  15. ^ Ма и Холденер (2005).
  16. ^ Абель, Закари (23 января 2012 г.). «Навигация черепах с помощью азбуки Туэ-Морзе». Треугольные вещи .
  17. ^ Брамс и Тейлор (1999).
  18. ^ Левин и Стэнге (2012).
  19. ^ abc Ричман (2001)
  20. ^ Абрахамс (2010).
  21. ^ ab Купер и Датл (2013)
  22. ^ Паласиос-Уэрта (2012).
  23. ^ Паласиос-Уэрта (2014).
  24. ^ Коэн-Зада, Крумер и Шапир (2018).
  25. ^ Барроу (2010).
  26. ^ "Fantasy Draft Types". NFL.com . Архивировано из оригинала 12 октября 2018 года.
  27. ^ Аллан, Ян (16 июля 2014 г.). «Third-Round Reversal Drafts». Fantasy Index . Получено 1 сентября 2020 г. .
  28. ^ Пахоцкий, Якуб; Радошевский, Якуб (2013). «Где использовать и как не использовать полиномиальное хеширование строк» ​​(PDF) . Олимпиады по информатике . 7 : 90–100.
  29. ^ Tóth, László (2022). "Линейные комбинации рядов Дирихле, связанных с последовательностью Туэ-Морса". Целые числа . 22 (статья 98). arXiv : 2211.13570 .
  30. ^ Вездесущая последовательность Пруэ-Туэ-Морзе Жана-Поля Аллуша и Джеффри Шаллита
  31. ^ Фредриксен, Гарольд (1992). «Коды Грея и последовательность Туэ-Морса-Хедлунда». Журнал комбинаторной математики и комбинаторных вычислений (JCMCC) . 11. Военно-морская аспирантура, кафедра математики, Монтерей, Калифорния, США: 3–11.
  32. ^ Эриксон, Джон (2018-10-30). "Об асимптотическом относительном изменении для последовательностей перестановок" . Получено 2021-01-31 .[1]

Ссылки

Дальнейшее чтение

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