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

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

1
Существует ли тип щелевого усиления для задачи об изоморфизме графа?
Предположим, что и G 2 являются двумя неориентированными графами на множестве вершин { 1 , … , n } . Графы изоморфны тогда и только тогда, когда существует перестановка Π такая, что G 1 = Π ( G 2 ) , или более формально, если существует перестановка Π такая, что …
3
Последствия квазиполиномиального алгоритма времени для задачи об изоморфизме графа
Проблема изоморфизма графов (GI), возможно, является наиболее известным кандидатом в NP-промежуточную задачу. Самый известный алгоритм - это субэкспоненциальный алгоритм с временем выполнения . Известно, что GI не является -полным, если не разрушится полиномиальная иерархия .NP2O ( n logN√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}Н ПNп\mathsf{NP} Каковы будут теоретические последствия сложности алгоритма квазиполиномиального времени для …
3
Методы показа этой проблемы в твердости «подвешенный»
Учитывая новую проблему в , истинная сложность которой находится где-то между и являющейся NP-полной, я знаю два метода, которые можно использовать, чтобы доказать, что решить эту проблему сложно:NPNP\mathsf{NP}PP\mathsf{P} Покажите, что задача является GI-полной (GI = Изоморфизм графов) Покажите, что проблема в . По известным результатам такой результат подразумевает, что если …
1
Можно ли решить изоморфизм графа с ограниченным квадратным недетерминизмом?
Ограниченность недетерминизм связывает функцию g(n)g(n)g(n) с классом языков , принятых ресурсы ограничены детерминированные тьюринговых машинами, чтобы сформировать новый класс - . Этот класс состоит из тех языков, которые принимаются некоторой недетерминированной машиной Тьюринга подчиняющейся тем же границам ресурса, которые используются для определения , но где разрешено делать не более недетерминированных …
3
сертификат coNP для изоморфизма графов
Легко видеть, что изоморфизм графов (GI) находится в NP. Это большая открытая проблема, находится ли GI в coNP. Существуют ли потенциальные кандидаты в свойства графов, которые можно использовать как сертификаты coNP GI. Какие-нибудь домыслы, которые подразумевают ? Каковы некоторые последствия ?G I∈ c o Nпгя∈соNпGI \in coNPG I∈ c o …
1
Доказательство опровержения: любительские обзоры амбициозных документов CoRR
Я предполагаю, что я прочитал слишком много амбициозных статей CoRR . Проблема в том, что эти документы не рецензируются, но часто звучат интересно и проходят базовые проверки правдоподобия. Или, может быть, нет, и мне просто нужно улучшить проверку правдоподобия. Вот недавний образец таких работ: Деревья единственности: возможный полиномиальный подход к …
1
Каков статус результата изоморфизма графа Бабая?
Прошло более года с момента его отвода и исправления в январе 2017 года. Есть ли новости? Если нет, то нормально ли это для проверки? Я ожидаю, что это привлечет много внимания. Кто-нибудь отметил, чтобы поддержать / сомневаться в квазиполиномиальном результате?
4
Каковы доказательства того, что изоморфизм графов отсутствует в
По мотивам комментария Фортнау к моему сообщению, доказательством того, что проблема изоморфизма графов не является NпNпNP -полным , и тем фактом, что G IгяGI является главным кандидатом в NпNпNP -проблеменную проблему (не NпNпNP -полное ни в ппP ), я заинтересованы в известных доказательств , что G IгяGI не в ппP …
1
Какова текущая известная твердость изоморфизма графов?
Вдохновленный вопросом, что факторинг известен как P-hard , мне интересно, каково текущее подобное состояние знаний о твердости изоморфизма графов. Я уверен, что в настоящее время неизвестно, находится ли G в P, но: какой самый известный в настоящее время класс, чем GI сложнее? (не было ответа на похожий вопрос ) Чтобы …
2
«Крошечный» граф Изоморфизм
Размышляя о сложности проверки изоморфизма асимметричных графов (см. Мой связанный с этим вопрос о теории), у меня возник дополнительный вопрос. Предположим, что у нас есть машина Тьюринга за полиномиальное время которая на входе генерирует граф с узлами.1 n G M , n nMMM1n1n1^nGM,nGM,nG_{M,n}nnn Мы можем определить проблему :ΠMΠM\Pi_M ("Крошечный" GI): …
4
Открытые проблемы, связанные с изоморфизмом графа
В настоящее время я делаю обзор литературы по проблеме изоморфизма графов (GI). Я хотел бы знать некоторые открытые вопросы, связанные со следующим Каковы параметры графика, для которых фиксированная возможность отслеживания GI является открытой проблемой. Каковы параметры графа, фиксируя их полиномиальной разрешимостью GI, неизвестно. Сложность GI, когда она ограничена многими классами …
2
Сложность задачи о пересечении смежных классов
При условии, что группа симметрии и две подгруппы и , имеет ли место ?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Насколько я знаю, эта проблема известна как проблема пересечения смежных классов. Мне интересно, в чем сложность? В частности, известна ли эта проблема в coAM? Более того, если ограничено абелевым, то чем становится …
2
Проблема изоморфизма графов
Я делаю обзор литературы по проблеме изоморфизма графов. Большинство статей, которые я читаю, написаны Э. М. Луксом и Ласло Бабаи. В этих работах используются знания высокого уровня теории групп и теории сложности. Поскольку я новичок в этой области, многие вещи мне не понятны. Может кто-нибудь предложить мне способ изучения идей …
2
Нежное введение в изоморфизм графов для ограниченных валансных графов
Я читал о классах графов , для которых Изоморфизм графов ( ) находится в P . Одним из таких случаев являются графы ограниченной валентности (максимально над степенью каждой вершины), как описано здесь . Но я нашел это слишком абстрактным. Я был бы благодарен, если бы кто-нибудь мог предложить мне несколько …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.