Вопросы с тегом «graph-isomorphism»

Два графа G, H изоморфны, если существует перемаркировка вершин G, порождающих H, и наоборот. Задача об изоморфизме графа (GI) состоит в том, чтобы решить, являются ли два заданных изоморфными. Помимо практического интереса, он был идентифицирован Карпом в 1972 году как имеющий неизвестную сложность, являющийся одним из немногих оставшихся естественных кандидатов для NP-промежуточной задачи, и привел к созданию класса сложности AM.

1
Как процитировать новый результат изоморфизма графа Бабая?
Недавно Бабай опубликовал статью о STOC 2016, в которой утверждается, что изоморфизм графов можно решить за квазиполиномиальное время. В начале 2017 года Бабай отозвал квазиполиномиальное требование из-за некоторых серьезных ошибок, обнаруженных Харальдом Хельфготтом. Как объяснил сам Бабай, этот недостаток делает улучшение более скромным с точки зрения времени выполнения. Примерно через …
1
Контрпример для эффективного алгоритма Корнеила для графа Изоморфизм
В работе «Эффективный алгоритм изоморфизма графов » Корнейла и Готлиба, 1970 г. была высказана гипотеза, на которой основывался алгоритм для решения GI за полиномиальное время. А именно: что репрезентативные графы демонстрируют автоморфизм разбиения данного графа Очевидно, что эта гипотеза не доказана до сих пор (иначе мы бы знали, что GI …
1
Сильно регулярный граф и GI-полнота
Не известно , если изоморфизм графов (GI) для сильно регулярных графов (SRGS) в P . Есть ли намеки на то, что это может или не может быть GI- Complete? Есть ли сильные последствия в таких случаях? (Аналогично убеждению, что GI не может быть NP-Complete).
2
похожие матрицы
Для двух матриц A и B задача принятия решения о том, существует ли матрица перестановок P такая, что B = P - 1 A P , эквивалентна (граф изоморфизма). Но если мы расслабим P как просто обратимую матрицу, то в чем сложность? Существуют ли какие-либо другие ограничения на обратимую матрицу …
1
NP-сложность проблемы разбиения графа?
Меня интересует эта проблема: учитывая неориентированный граф , существует ли разбиение G на графы G 1 ( E 1 , V 1 ) и G 2 ( E 2 , V 2 ), такие что G 1 а G 2 изоморфны?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Здесь разбивается на два непересекающихся множества …
2
Взаимосвязь между симметрией и вычислительной непроницаемостью?
-fixed точки без проблем автоморфизма запрашивает автоморфизм графа , который перемещается по крайней мере , к ( п ) узлы. Проблема в том, что N P- полна, если k ( n ) = n c для любого c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Однако, если то задача полиномиального времени Тьюринга сводится к проблеме …
2
Жесткие экземпляры для проверки изоморфизма графов
Является ли случай строго регулярных графов самым сложным для тестирования ЖКТ? где «самый трудный» используется в некотором смысле «здравый смысл», или, так сказать, «в среднем». Wolfram MathWorld упоминает некоторые «патологически сложные графы». Кто они такие? Мой примерный набор из 25 пар графиков: http://funkybee.narod.ru/graphs.htm Я тестировал множество других, но все того …
2
Проблема GI-сложного графа, о которой неизвестно, что
Граф Изоморфизм ( ) является хорошим кандидатом для N P -проблемой задачи. N P -intermediate проблемы существуют , если Р не = Н Р . Я ищу естественную проблему, которая трудна для G I при редукции Карпа (графовая задача X такая, что G I &lt; m p X ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m …
1
Несовершенный изоморфизм подграфа
Рассмотрим следующую проблему: учитывая граф запросов G=(V,E)G=(V,E)G = (V, E) и опорный граф , мы хотим найти инъективное отображение которое минимизирует количество ребра такие, что . Это обобщение проблемы изоморфизма подграфа, где мы позволяем подграфам быть изоморфными вплоть до нескольких отсутствующих ребер и хотим найти способ минимизировать количество отсутствующих ребер.f …
1
Твердость вычисления меток Вейсфайлера-Лемана
1-тусклый алгоритм Вейсфейлер-Леман (WL) широко известен как каноническая маркировка или алгоритм , цвета уточнения. Это работает следующим образом: Начальная раскраска равномерна, C 0 ( v ) = 1 для всех вершин v ∈ V ( G ) ∪ V ( H ) .С0С0C_0С0( v ) = 1С0(v)знак равно1C_0(v) = 1v …
2
Подходы к GI, вдохновленные проблемой узлов
GI и проблема узлов являются проблемой определения структурной эквивалентности математических объектов. Есть ли какие-либо результаты установления связей между ними? Хорошие связи проблемы узлов со статистической физикой были изучены с помощью полиномов узлов , есть ли похожие результаты для ?G IграммяGI Было бы особенно полезно узнать, есть ли какие-либо стандартные результаты …
1
Генерация графов с тривиальными автоморфизмами
Я пересматриваю некоторую криптографическую модель. Чтобы показать его неадекватность, я разработал искусственный протокол, основанный на изоморфизме графа. Это «обычное дело» (еще спорный!) Предположить существование BPP алгоритмов способны генерировать «жесткие экземпляры проблемы Изоморфизма графов.» (Вместе со свидетелем изоморфизма.) В моем надуманном протоколе я предполагаю существование таких алгоритмов BPP, которые удовлетворяют одному …
2
Действительно ли алгоритм
У меня есть (надеюсь, простой, возможно, глупый) вопрос об исторической работе Бабая, показывающей, что является квазиполиномиальным.G Iграммя\mathsf{GI} Бабай показал, как получить сертификат, что два графа для i ∈ { 1 , 2 } изоморфны по времени, квазиполиномиальны по v = | V я | ,граммя= ( Vя, Eя)граммязнак равно(Вя,Ея)G_i=(V_i,E_i)i ∈ …
3
Сложность задач, связанных с перестановкой
Для группы перестановок на и двух векторов где - конечный алфавит, который здесь не совсем уместен, вопрос есть ли какой-нибудь такой, что где означает применение перестановки к ожидаемым образом.GGG[n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\}u,v∈Γnu,v∈Γnu,v\in \Gamma^nΓΓ\Gammaπ∈Gπ∈G\pi\in Gπ(u)=vπ(u)=v\pi(u)=vπ(u)π(u)\pi(u)ππ\piuuu Предположим далее, что задается в качестве входных данных конечным множеством образующихВ чем сложность проблемы? В частности это …
1
Тестирование изоморфизма асимметричных графов
При чтении вопрос примеров , где единственность решения делает его легче найти , новый (? Проще) возник вопрос , на мой взгляд: на самом деле мы не знаем , если Изоморфизм графов ( проблема) в .GIGIGIPPP Но что произойдет, если мы предположим, что обаG1G1G_1 и асимметричны (т.е. оба имеют только …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.