В математике последовательность Туэ –Морса или Пруэ–Туэ–Морса — это двоичная последовательность (бесконечная последовательность нулей и единиц), которая может быть получена, начиная с 0 и последовательно добавляя булево дополнение к последовательности, полученной к настоящему моменту. [1] Иногда ее называют последовательностью справедливой доли из-за ее применения к справедливому делению или последовательности четности . Первые несколько шагов этой процедуры дают строки 0, 01, 0110, 01101001, 0110100110010110 и т. д., которые являются префиксами последовательности Туэ–Морса. Полная последовательность начинается так:
Последовательность названа в честь Акселя Туэ и Марстона Морзе .
Существует несколько эквивалентных способов определения последовательности Туэ–Морса.
Чтобы вычислить 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]
Последовательность Туэ-Морса представляет собой морфическое слово : [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 j — j -й элемент, если начать с 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, то есть:
Это имеет решение, если N кратно 2k + 1 , и определяется по формуле:
Например, для N = 8 и k = 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] ). Например:
где - член последовательности Туэ-Морса. Фактически, для всех с действительной частью, большей , мы имеем
Последовательность Туэ-Морса была впервые изучена Эженом Пруэ теории чисел . Однако Пруэ не упоминал последовательность явно; это было оставлено Акселю Туэ в 1906 году, который использовал ее для обоснования изучения комбинаторики слов . Последовательность привлекла всеобщее внимание только благодаря работе Марстона Морса в 1921 году, когда он применил ее к дифференциальной геометрии . Последовательность была открыта независимо много раз, не всегда профессиональными математиками-исследователями; например, Макс Эйве , шахматный гроссмейстер и преподаватель математики , открыл ее в 1929 году в приложении к шахматам : используя ее свойство отсутствия кубов (см. выше), он показал, как обойти правило троекратного повторения , направленное на предотвращение бесконечно затянутых игр, объявив повторение ходов ничьей. В то время для срабатывания правила требовались последовательные идентичные состояния доски; Позднее правило было изменено таким образом, что одна и та же позиция на доске повторялась три раза в любой точке, поскольку последовательность показывает, что последовательный критерий можно обойти бесконечно.
в 1851 году, [30], который применил ее к