Страница полузащищенная
Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Полный граф К 4 имеет десять паросочетаний, соответствующий значению Т (4) = 10 четвертых телефонный номер.

В математике , как телефонные номера или же число инволюции представляют собой последовательность целых чисел , которые рассчитывают пути п телефонных линии могут быть соединены друг с другом, где каждая строка может быть подключена к не более чем одной другой линии. Эти числа также описывают количество паросочетаний ( индекс Хосоя ) полного графа на n вершинах, количество перестановок на n элементах, которые являются инволюциями , сумму абсолютных значений коэффициентов многочленов Эрмита , количество стандартныхЮнга с п клетками, а сумма степеней неприводимых представлений о симметрической группе . Числа инволюции были впервые изучены в 1800 году Генрихом Августом Роте , который дал рекуррентное уравнение, по которому они могут быть вычислены, [1] давая значения (начиная с n  = 0 )

1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, ... (последовательность A000085 в OEIS ).

Приложения

Джон Риордан дает следующее объяснение этих чисел: предположим, что у телефонной службы есть n абонентов, любые двое из которых могут быть связаны друг с другом с помощью телефонного звонка. Сколько возможных вариантов подключения? Например, с тремя абонентами есть три способа формирования одного телефонного звонка и один дополнительный шаблон, в котором звонки не производятся, всего четыре шаблона. [2] По этой причине номера, подсчитывающие количество возможных шаблонов, иногда называют телефонными номерами. [3] [4]

Каждый шаблон парных соединений между n подписчиками определяет инволюцию , перестановку подписчиков, которая является своей собственной инверсией, при которой два абонента, которые звонят друг другу, меняются местами, а все оставшиеся подписчики остаются на своих местах. И наоборот, всякая возможная инволюция имеет форму множества попарных свопов этого типа. Следовательно, в телефонных номерах также учитываются инволюции. Проблема подсчета инволюций была исходной комбинаторной проблемой перечисления, изученной Роте в 1800 году [1], и эти числа также назывались числами инволюции. [5] [6]

В теории графов подмножество ребер графа, которое касается каждой вершины не более одного раза, называется сопоставлением . Количество различных сопоставлений данного графа важно в химической теории графов , где графы моделируют молекулы, а количество сопоставлений известно как индекс Хосоя . Наибольший возможный индекс Хосойи графа с n вершинами задается полными графами , для которых возможен любой образец попарных связей; таким образом, индекс Хосоя полного графа с n вершинами совпадает с индексом n- го телефонного номера. [7]

Стандартная таблица Юнга

Феррерс диаграмма , геометрическая форма , сформированная совокупность п квадратов в плоскости, сгруппированной в Полимин с горизонтальной верхней кромкой, вертикальной левой кромкой и одной монотонной цепью горизонтальных и вертикальных нижними и правых кромок. Стандартная таблица Юнга формируется путем размещения чисел от 1 до n в этих квадратах таким образом, чтобы числа увеличивались слева направо и сверху вниз по всей таблице. Согласно соответствию Робинсона – Шенстеда , перестановки взаимно однозначно соответствуют упорядоченным парам стандартных таблиц Юнга.. Инвертирование перестановки соответствует перестановке двух таблиц, поэтому самообратные перестановки соответствуют отдельным таблицам, спаренным сами с собой. [8] Таким образом, телефонные номера также подсчитывают количество картин Юнга с n квадратами. [1] В теории представлений , то Феррерс диаграмм соответствуют неприводимым представлениям о симметрических группы перестановок и таблица Юнга с заданной формой образуют базис неприводимого представления с этой формой. Следовательно, телефонные номера дают сумму степеней неприводимых представлений.

Диагонально-симметричное не атакующее расположение восьми ладей на шахматной доске.

В шахматной математике телефонные номера подсчитывают количество способов разместить n ладей на шахматной доске n  ×  n таким образом, чтобы никакие две ладьи не нападали друг на друга (так называемая головоломка с восемью ладьями ), и таким образом что расположение ладей симметрично относительно диагонального отражения доски. Через Полно перечисление теоремы , эти числа образуют один из ключевых компонентов формулы для общего числа «существенно различных» конфигурации п взаимно не атакующие грачей, где две конфигурации , подсчитанные как по существу различны , если не существует симметрии доска, которая переводит одно в другое. [9]

Математические свойства

Повторение

Телефонные номера удовлетворяют рекуррентному соотношению

впервые опубликовано в 1800 году Генрихом Августом Роте , с помощью которого их можно легко вычислить. [1] Один из способов объяснить это повторение состоит в том, чтобы разделить шаблоны подключения T ( n ) n абонентов к телефонной системе на шаблоны, в которых первый абонент никому не звонит, и шаблоны, в которых первый абонент является сделать звонок. Есть T ( n  - 1) шаблонов подключения, в которых первый абонент отключен, что объясняет первый член повторения. Если первый подписчик связан с кем-то еще, их n  - 1выбор того, к какому другому абоненту они подключены, и T ( n  - 2) шаблонов подключения для оставшихся n  - 2 абонентов, объясняющих второй член повторяемости. [10]

Формула суммирования и приближение

Телефонные номера могут быть выражены в точности как сумма

В каждом члене этой суммы k дает количество согласованных пар, биномиальный коэффициент подсчитывает количество способов выбора 2 k элементов для согласования, а двойной факториал (2 k - 1) !! = (2 k )! / (2 k k !) Является произведением нечетных целых чисел до его аргумента и подсчитывает количество способов полного совпадения 2 k выбранных элементов. [1] [10] Как следует из формулы суммирования и приближения Стирлинга , что, асимптотически ,

[1] [10] [11]

Производящая функция

Экспоненциальная производящая функция телефонных номеров является

[10] [12]

Другими словами, телефонные номера могут быть считаны как коэффициенты ряда Тейлора для exp ( x 2/2 + x ) , а n- й номер телефона является значением n- й производной этой функции. Эта функция тесно связана с экспоненциальной производящей функцией полиномов Эрмита , которые являются полиномами согласования полных графов. [12] Сумма абсолютных значений коэффициентов n- го (вероятностного) полинома Эрмита равна nth телефонный номер, и телефонные номера также могут быть реализованы как определенные специальные значения полиномов Эрмита: [5] [12]

главные факторы

При больших значениях п , то п - й номер телефона делится на большой степени двух , 2 н / 4 + O (1) .

Точнее, 2-адический порядок (количество делителей два в разложении на простые множители ) T (4 k ) и T (4 k + 1) равен k ; для T (4 k + 2) это k + 1 , а для T (4 k + 3) это k + 2 . [13]

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

2, 5, 13, 19, 23, 29, 31, 43, 53, 59, ... (последовательность A264737 в OEIS )

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

  1. ^ a b c d e f Кнут, Дональд Э. (1973), Искусство компьютерного программирования , Том 3: Сортировка и поиск , чтение, Массачусетс: Addison-Wesley, стр. 65–67, MR  0445948.
  2. Перейти ↑ Riordan, John (2002), Introduction to Combinatorial Analysis , Dover, pp. 85–86.
  3. ^ Пирт, Пол; Воан, Вен-Джин (2000), «Производящие функции с помощью матриц Ханкеля и Стилтьеса» (PDF) , Журнал целочисленных последовательностей , 3 (2), статья 00.2.1, MR 1778992  .
  4. ^ Гету, Сейюм (1991), "Оценка детерминанты через производящих функций", Математика Журнал , 64 (1): 45-53, DOI : 10,2307 / 2690455 , МР 1092195 .
  5. ^ a b Соломон, AI; Blasiak, P .; Duchamp, G .; Horzela, A .; Пенсон, KA (2005), "Комбинаторная физика, нормальный порядок и модельные графы Фейнмана", в Gruber, Bruno J .; Мармо, Джузеппе; Йошинага, Наотака (ред.), Симметрии в науке XI , Kluwer Academic Publishers, стр. 527–536, arXiv : Quant-ph / 0310174 , doi : 10.1007 / 1-4020-2634-X_25.
  6. ^ Blasiak, P .; Dattoli, G .; Horzela, A .; Пенсон, К.А.; Жуковский, К. (2008), «Числа Моцкина, центральные трехчлены коэффициенты и гибридные многочлены» , Журнал целочисленных последовательностей , 11 (1), статья 08.1.1, arXiv : 0802.0075 , MR 2377567 .
  7. ^ Тихи, Роберт Ф .; Вагнер, Стефан (2005), "Экстремальные задачи для топологических индексов в комбинаторной химии" (PDF) , Журнал вычислительной биологии , 12 (7): 1004-1013, DOI : 10,1089 / cmb.2005.12.1004 , PMID 16201918  .
  8. ^ Прямое взаимно однозначное соответствие между инволюциями и таблицами, вдохновленное рекуррентным соотношением для телефонных номеров, дано Бейсинджером, Джанет Симпсон (1987), «Подобные конструкции для таблиц и инволюций Юнга и их применение к смещаемым таблицам», Дискретная математика , 67 (2): 149-163, DOI : 10.1016 / 0012-365X (87) 90024-0 , МР 0913181 .
  9. Holt, DF (1974), «Rooks inviolate», The Mathematical Gazette , 58 (404): 131–134, JSTOR 3617799. .
  10. ^ а б в г Чоула, С .; Herstein, IN ; Мур, WK (1951), "О рекурсии , связанной с симметрическими группами я.", Канадский журнал математика , 3 : 328-334, DOI : 10,4153 / CJM-1951-038-3 , МР 0041849 .
  11. ^ Мозер, Лео ; Вайман, Макс (1955), "О решениях х г  = 1 в симметрических групп", Canadian Journal математики , 7 : 159-168, DOI : 10,4153 / CJM-1955-021-8 , МР 0068564 .
  12. ^ a b c Бандерье, Кирилл; Буске-Мелу, Мирей ; Дениз, Ален; Флажолет, Филипп ; Гарди, Даниэль; Gouyou-Beauchamps, Dominique (2002), «Производящие функции для генерации деревьев», Дискретная математика , 246 (1–3): 29–55, arXiv : math / 0411250 , doi : 10.1016 / S0012-365X (01) 00250-3 , MR 1884885 .
  13. ^ Ким, Донсу; Ким, Чан Су (2010), «Комбинаторный подход к степени двойки в количестве инволюций», Журнал комбинаторной теории , серия A, 117 (8): 1082–1094, arXiv : 0902.4311 , doi : 10.1016 / j .jcta.2009.08.002 , MR 2677675 .