Jump to content

Теорема о раскраске дорог

(Перенаправлено из проблемы с раскраской дорог )

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

Теорема была впервые выдвинута Роем Адлером и Бенджамином Вайсом . [2] Это доказал Авраам Трахтман . [3]

Пример и интуиция

[ редактировать ]
Ориентированный граф с синхронизирующей раскраской

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

Например, рассмотрим вершину, отмеченную желтым цветом. Независимо от того, где вы начинаете граф, если вы пройдете все девять ребер в обходе «синий-красный-красный — синий-красный-красный — синий-красный-красный», вы окажетесь в желтой вершине. Аналогично, если вы пройдете все девять ребер в обходе «синий-синий-красный — синий-синий-красный — синий-синий-красный», вы всегда окажетесь в вершине, отмеченной зеленым, независимо от того, где вы начали.

Теорема о раскраске дорог утверждает, что для определенной категории ориентированных графов всегда можно создать такую ​​раскраску.

Математическое описание

[ редактировать ]

Пусть G — конечный сильно связный ориентированный граф , все вершины которого имеют одинаковую исходящую степень k . Пусть A — алфавит, содержащий буквы 1, ..., k . Синхронизирующая раскраска (также известная как свертываемая раскраска ) в G — это маркировка ребер в G буквами из A такая, что (1) каждая вершина имеет ровно одно выходящее ребро с заданной меткой и (2) для каждой вершины v в графе существует слово w над A такое, что все пути в G, соответствующие w, заканчиваются в v .

Терминология синхронизирующей раскраски обусловлена ​​связью этого понятия с понятием синхронизирующего слова в теории конечных автоматов .

Чтобы такая раскраска вообще существовала, необходимо , чтобы G была апериодической . [4] Теорема о раскраске дорог утверждает, что также достаточно для существования такой раскраски апериодичности. Таким образом, задачу окраски дорог можно кратко сформулировать так:

Каждый конечный сильно связный апериодический граф равномерной исходящей степени имеет синхронизирующую раскраску.

Предыдущие частичные результаты

[ редактировать ]

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

  • Если G — конечный сильно связный апериодический ориентированный граф без кратных ребер и G содержит простой цикл простой длины , который является собственным подмножеством G , то G имеет синхронизирующую раскраску. [5]
  • Если G — конечный сильно связный апериодический ориентированный граф (допускается несколько ребер) и каждая вершина имеет одинаковую входную и выходную степень k , то G имеет синхронизирующую раскраску. [6]

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Зайгел-Ицкович, Джуди (8 февраля 2008 г.). «Русский иммигрант решает математическую головоломку» . «Джерузалем Пост» . Проверено 13 сентября 2010 г.
  2. ^ Адлер и Вайс 1970 .
  3. ^ Трахтман 2009 .
  4. ^ Хегде и Джайн 2005 .
  5. ^ О'Брайен 1981 .
  6. ^ Приложение 2003 г.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 9516e21d9512dfc1a7a71528c4ab1604__1716552420
URL1:https://arc.ask3.ru/arc/aa/95/04/9516e21d9512dfc1a7a71528c4ab1604.html
Заголовок, (Title) документа по адресу, URL1:
Road coloring theorem - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)