Задача о кратчайшей суперстроке: как OpenAI наконец доказали гарантию коэффициента 2

Читайте полную статью: https://binaryverseai.com/shortest-co... Задача о кратчайшей общей суперстроке сводится к тому, как объединить перекрывающиеся фрагменты в кратчайшую строку, содержащую все входные данные. Новое доказательство OpenAI устанавливает детерминированный полиномиальный алгоритм, выходной результат которого не превышает удвоенную оптимальную длину. Мы объясняем, как принудительное подсчет вхождений, периодические слои и тщательно контролируемые бюджеты соединений обеспечивают эту гарантию, и почему это не применимо к классическому жадному алгоритму. Все исследования, анализ и объяснения были выполнены командой Binary Verse AI (binaryverseai.com). Что вы узнаете: • Как CAT, ATG и TGC вписываются в пятибуквенную суперстроку CATGC. • Почему жадный алгоритм с максимальным перекрытием не может гарантировать коэффициент 2. • Как периодичность и блокировка устанавливают неизбежные подсчеты вхождений. • Как иерархический граф подстрок становится сбалансированным. • Почему второй бюджет W позволяет оплачивать соединения без двойных затрат. • Как открытие направленных циклов и совершение эйлерова обхода завершают доказательство. • Что охватывает опубликованная формализация Lean, и что остается непроверенным на практике. Больше от Binary Verse AI: Приближение расстояния редактирования https://binaryverseai.com/edit-distan... Сопоставление с максимальной мощностью множества https://binaryverseai.com/maximum-car... Подсчет идеальных сопоставлений https://binaryverseai.com/counting-pe... Задача суммы подмножеств https://binaryverseai.com/subset-sum-... 3SUM: Субквадратичный алгоритм Клода https://binaryverseai.com/3sum-claude... Сложность дискретного преобразования Фурье https://binaryverseai.com/discrete-fo... Компромисс между временем и пространством в машинах Тьюринга https://binaryverseai.com/time-space-... Главы: 00:00 Кратчайшая общая суперстрока и теорема о факторе 2 00:28 Пример CATGC 02:03 Почему жадный алгоритм не достигает двойки 03:12 Иерархический граф подстрок 04:23 Вынужденные подсчеты вхождений 06:02 Периодичность и блокировка 07:38 Сбалансированный граф нижней границы 08:43 Замкнутые обходы и примитивные слои 09:42 Второй бюджет W 10:23 Пороги принудительно устанавливают совпадающий контакт 11:12 Коллективные связи и запросы 12:17 Непересекающиеся бюджеты слоев 12:33 Разрыв направленных циклов 13:10 Открытие цикла 13:51 Эйлеров маршрут и вывод Гарантия 14:43 Доказательства, ограничения и вердикт Подпишитесь на Binary Verse AI, чтобы получать независимые исследования, первоисточники и понятные технические объяснения. #ShortestCommonSuperstring #OpenAI #BinaryVerseAI