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

Уявіть, у нас є дві величини mmm множини точок X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Яка (часова) складність тестування, якщо вони відрізняються лише ротацією? : існує матриця обертання OOT=OTO=IOOT=OTO=IOO^T=O^TO=I така, що X=OYX=OYX=OY ? Тут існує проблема представлення реальних значень - для простоти припустимо, що існує (коротка) алгебраїчна формула для кожної координати, така що …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

Я хочу бути дуже конкретним. Хтось знає про спростування чи доказ наступного твердження: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge G \vDash \varphi \wedge …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

Були докладені зусилля для вирішення проблеми ізоморфізму графів, використовуючи квантові випадкові прогулянки твердотілих бозонів (симетричні, але не подвійні зайнятості). Симетрична сила матриці суміжності, яка здавалася багатообіцяючою, виявилася неповною для загальних графіків у цій роботі Аміром Рахнамаєм Баргі та Іллею Пономаренком. Інший подібний підхід також спростував у цій роботі Джеймі Сміт. …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

У відомому прикладі лічильника для ізоморфізму графів методом Weisfeiler-Lehman (WL) в цьому документі Каєм, Фурером та Імерманом були побудовані наступні гаджети . Вони будують графік заданийXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k = A_k \cup B_k \cup M_k …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

Які інші проблеми мови, відмінні від ізоморфізму графа, є в ? Чи можете ви дати кілька посилань?NП∩ c o A MNP∩coAMNP\cap coAM Оновлення: Я забув згадати , що я зацікавлений в мовах , невідомо, в .c o NПcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Чи повна задача кінцевої зворотної напівгрупи ізоморфізму ? Тут передбачається, що кінцеві зворотні напівгрупи даються їх таблицями множення.

11 cc.complexity-theory  graph-isomorphism 

Мені цікаво вивчити повні проблеми графіка Ізоморфізм (GI). У статті "Проблеми, які поліноміально еквівалентні ізоморфізму графіка" Келлога С. Бута (1979), було доведено, що багато основних проблем є GI завершеними методами заміни Edge, методами композиції тощо. Я хотів би вивчити ще кілька прийомів, які використовуються в останніх роботах. Чи може хтось …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Частина труднощів дізнатися більше про цю проблему полягає в тому, що проблема зіставлення графіків відрізняється від її набагато більш відомого двоюрідного брата, проблеми відповідності, але важко її відрізнити при використанні пошукових систем. Дано два графіки G=(V,E)G=(V,E)G=(V,E) та G′=(V′,E′)G′=(V′,E′)G'=(V',E') такі, що |V|=|V′||V|=|V′||V| = |V'|, завдання полягає в тому, щоб знайти біекцію …

11 reference-request  graph-theory  graph-isomorphism 

Поширена думка, що деякі обчислювальні задачі, такі як графний ізоморфізм, не можуть бути повноцінними NP, оскільки він не має достатньої структури або надмірності, щоб бути обчислювально важким (NP-Hard). Мене цікавлять різні формальні поняття щодо структури обчислювальних задач та заходів надмірності. Які основні результати відомі щодо таких формальних понять для обчислювальних …

11 cc.complexity-theory  graph-isomorphism 

Я хотів би запитати, чи є вже опублікований результат щодо цього: Ми беремо всі можливі різні шляхи між кожною парою вузлів двох сполучених регулярних (зі ступенем , скажімо, та кількістю вузлів n ) графіків і записуємо їх довжини. Звичайно, ця кількість різних шляхів є експоненціальною. Моє запитання полягає в тому, …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

З огляду на будь-який простий непрямий графік G, нетривіально визначати, чи має G нетривіальні (неідентифікаційні) автоморфізми. Але які результати у верхній / нижній межі цієї проблеми рішення?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Враховуючи графіки G1, G2 і G3, ми хочемо провести тест ізоморфізму F між G1 і G2, а також G1 і G3. Якщо G2 і G3 дуже схожі на такий, що G3 утворюється, видаляючи один вузол і вставляючи один вузол з G2, і у нас є результат F (G1, G2), чи …

10 graph-theory  graph-algorithms  graph-isomorphism 

На веб-сайті http://www.dharwadker.org/tevet/isomorphism/ представлено алгоритм визначення того, чи є два графіки ізоморфними. Враховуючи низку, скажемо, "цікавих" тверджень А Дхарвадкера, я не схильний вірити в це. В ході мого дослідження я вважаю, що алгоритм, безумовно, дасть правильну відповідь і скаже вам, що два графіки не є ізоморфними, якщо насправді це правильно. …

10 graph-isomorphism 

Проблема графічного ізоморфізму є однією з найдовших проблем, яка чинила опір класифікації на або неповні проблеми. Ми маємо докази того, що він не може бути незавершеним. По-перше, графічний ізоморфізм не може бути незавершеним, якщо поліноміальна ієрархія [1] не руйнується до другого рівня. Крім того, лічильна [2] версія GI є багаточленним …

10 cc.complexity-theory  graph-isomorphism 

Перехресне від МО . Ізоморфізм кольорового графіка (край) кольоровий графік - це GI, який зберігає кольори (ребер, якщо він є кольоровим краєм). Існує кілька скорочень за допомогою перетворень / гаджетів (крайових) кольорових GI в GI. Для кращого кольорового GI найпростішим є заміна кольорового краю на GI, що зберігає гаджет, що …

10 graph-theory  graph-isomorphism  automorphism