Запитання з тегом «graph-isomorphism»

Два графіки G, H є ізоморфними, якщо відбувається відновлення вершин G, що виробляє H, і навпаки. Завдання графічного ізоморфізму (ГІ) полягає у вирішенні питання про те, чи є дві задані ізоморфними. Окрім свого практичного інтересу, Карп у 1972 р. Визначив його як невідому складність, є одним з небагатьох природних кандидатів на проміжну проблему НП і призвів до створення класу складності AM.

1
Чи є результат результату посилення розриву для задачі Графічного ізоморфізму?
Припустимо, і G 2 - це два ненаправлені графіки на множині вершин { 1 , … , n } . Графіки є ізоморфними тоді і лише тоді, коли є перестановка Π така, що G 1 = Π ( G 2 ) , або більш формально, якщо є перестановка Π така, …
3
Наслідки алгоритму квазіполіноміального часу для задачі графіка ізоморфізму
Проблема Графічного ізоморфізму (ГІ), мабуть, є найбільш відомим кандидатом на NP-проміжну проблему. Найвідоміший алгоритм - це субекспоненціальний алгоритм із часом виконання . Відомо, що GI не єNP-комплектним, якщополіноміальна ієрархія неруйнується.2O ( n журналн√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Якими були б теоретичні наслідки складності алгоритму квазіполіноміального часу для задачі Графічного ізоморфізму? Чи може …
3
Методи показу, що проблема полягає в твердості "кінцівки"
Враховуючи нову проблему в , справжня складність якої знаходиться десь між P і не є повною NP, я знаю два методи, які можуть бути використані, щоб довести, що вирішити це важко:NPNP\mathsf{NP}PP\mathsf{P} Покажіть, що проблема є GI-повною (GI = Ізоморфізм графіка) Покажіть , що проблема полягає в . За відомими результатами …
1
Чи можна вирішити ізоморфізм графа з недетермінізмом, обмеженим квадратним коренем?
Обмеженість недетермінізм пов'язує функцію з класом мов , прийнятих ресурси обмежені детерміновані тьюрінгових машинами, щоб сформувати новий клас - . Цей клас складається з тих мов, які прийняті деякою недетермінованою машиною Тьюрінга дотримуючись тих же ресурсних меж, що і для визначення , але де дозволяється робити не більше недетермінованих рухів. …
3
сертифікат coNP для графічного ізоморфізму
Неважко помітити, що графічний ізоморфізм (GI) знаходиться в NP. Основною відкритою проблемою є те, чи є GI в коНП. Чи є потенційні кандидати властивостей графіків, які можуть використовуватися як сертифікати coNP GI. Будь-які припущення, що означають ? Які існують наслідки ?GI∈coNPGI∈coNPGI \in coNPGI∈coNPGI∈coNPGI \in coNP
1
Спростування доказів: аматорські огляди амбітних робіт Комітету про реконструкцію
Я здогадуюсь, що я прочитав занадто багато амбітних доповідей Комісії . Проблема полягає в тому, що ці документи не рецензуються, але часто звучать цікаво і проходять основні перевірки правдоподібності. А може, ні, і мені просто потрібно покращити перевірку правдоподібності. Ось останній зразок таких робіт: Унікальність дерев: можливий поліномний підхід до …
1
Який статус результату ізоморфізму графіка Бабая?
Минуло більше року з часу його вилучення та виправлення у січні 2017 року. Чи є новини? Якщо ні, це нормально, щоб перевірка тривала так довго? Я би сподівався, що це приверне багато уваги. Хтось із зауважень говорив, щоб підтримати / сумніватися в квазіполіномічному результаті?
4
Які існують докази того, що графний ізоморфізм не знаходиться в
Мотивований коментарем Fortnow до мого поста, Докази того, що проблема Ізоморфізму Графа не є незавершеноюNПNPNP G I N P N P P G I P , і тим, що є головним кандидатом на проміжну проблему (не незавершена і не ), мене цікавлять відомі докази що не в .Г яGIGINПNPNPNПNPNPПPPГ яGIGIПPP …
1
Яка відома в даний час твердість графіка Ізоморфізм?
Натхненний питанням факторингу, відомого як P-hard , мені цікаво, який сучасний подібний стан знань щодо твердості ізоморфізму графа. Я впевнений, що наразі невідомо, чи GI знаходиться в P, але: який відомий на даний момент найбільший клас, якому ГІ важче? (на подібне звучання не було відповіді ) Щоб вирішити деякі коментарі, …
2
"Крихітний" графік Ізоморфізм
Розмірковуючи про складність тестування ізоморфізму асиметричних графіків (див. Моє відповідне питання про теоретичну теорію), мені спало на думку додаткове запитання. Припустимо, у нас є многочлена машина Тьюрінга яка на вході формує графік з вузлами.1 нMMM1n1n1^nGM,nGM,nG_{M,n}nnn Ми можемо визначити проблему :ΠMΠM\Pi_M ("Крихітний" GI): Дано графік G=(V,E)G=(V,E)G=(V,E) , чи GGG ізоморфний GM,|V|GM,|V|G_{M,|V|} …
4
Відкриті проблеми, пов'язані з ізоморфізмом Графа
В даний час я роблю опитування літератури з проблеми графомічного ізоморфізму (ГІ). Мені хотілося б знати кілька відкритих питань, пов’язаних із наступним Назвіть параметри графіка, для яких фіксований параметр простежуваності ГІ є відкритою проблемою. Що таке параметри графа, фіксуючи їх поліноміальну розв’язність ГІ, невідомо. Складність GI при обмеженні багатьох класів …
2
Складність проблеми перетину козета
З огляду на групу симетрії SnSnS_n та дві підгрупи G,H≤SnG,H≤SnG, H\leq S_n та π∈Snπ∈Sn\pi\in S_n , чи має місце Gπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset ? Наскільки мені відомо, проблема відома як проблема перетину козета. Мені цікаво, у чому складність? Зокрема, чи відомо, що ця проблема є коам? Крім того, якщо HHH обмежується абелевою, …
2
Задача графіка Ізоморфізм
Я роблю огляд літератури щодо проблеми ізоморфізму Графа. Більшість робіт, які я читаю, написані Е. М. Луксом та Ласло Бабаєм. У цих роботах використовуються знання високого рівня з теорії груп та теорії складності. Оскільки я новачок у цій галузі, багато речей мені не зрозумілі. Чи може хтось запропонувати мені спосіб …
2
Повноцінне введення до ізоморфізму графів для обмежених валентних графіків
Я читав про класи графів , для яких Ізоморфізм графів ( GIGIGI ) знаходиться в PPP . Одним із таких випадків є графіки обмеженої валентності (максимум понад ступінь кожної вершини), як пояснено тут . Але я вважав це занадто абстрактним. Буду вдячний, якщо хтось може запропонувати мені кілька посилань описувального …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.