무 방향 그래프 동형 문제에 대한 가장 빠른 알려진 결정 론적 알고리즘


9

가장 빠른 알려진 무 방향 그래프 동형 알고리즘은 무엇입니까?


2
논문에 주어진 알고리즘의 정확성이 아니라 가장 빠른 알려진 알고리즘을 요청하는 것이 더 낫습니다 (특히 관련 메타 질문 참조 ). 나에게 초록은 이미 붉은 깃발입니다 (결론에는 잘못된 정보도 포함되어 있습니다).
Juho

1
일반적으로 유명한 문제에 대한 주요 결과가 올 바르면 유명한 이론 블로그 1 2문제대한 Wikipedia 기사 에 나타납니다 .
Kaveh

1
용지가 냄새 테스트를 통과하지 못했습니다. 그것은 중요한 문제를 해결하기 위해 준비되었지만 모호한 회의에 나타났습니다. 증거는 없습니다. 정확성은 실험적으로 "검증"됩니다. 저자들은 그래프 동형이 NP-hard라고 생각합니다.
Sasho Nikolov

5
@JoshuaGrochow는 이 답변 cstheory.stackexchange.com/a/22059/4896 에서 가장 빠른 알려진 알고리즘에 이 걸린다고 말합니다 . 알고리즘이 결정적이라고 생각합니다. 2로그
Sasho Nikolov

5
이 주제에 대한 최근의 두 가지 연구에 따르면 , 고유 값 다중도-2014대략적인 그래프 동형-2012로 매개 변수가 지정된 그래프 동형에 대한 빠른 FPT 알고리즘 은 현재 가장 빠른 알고리즘의 실행 시간이 입니다. N 버텍스 그래프 (Babai 및 LUKS 1983 의한 결과)2영형(로그)
MARZIO 드 BIASI

답변:


3

그래프 동형에 관한 연구는 일반적으로 진보가 많은 P-Time 알고리즘을 사용하여 많은 특수 그래프 클래스에 대해 효율적이거나 개선 된 알고리즘을 찾는 방향으로 나아가고 있습니다. Nauty 는 평균적인 행동과 최악의 행동을 따로 따로 살펴 본다. Bennett / Flammia / Harrow 의이 블로그 설문 조사 에 따르면 일반적인 문제 는 Babai / Luks의 오래된 결과가 가장 잘 알려진 것일 수 있습니다.

László Babai 및 Eugene M. Luks STOC 1983의“그래프의 표준 레이블링”( 여기서 논문 ) 이것은 지수 (또는 스캇이 무엇이라고 부르기로 결정 했는가?), exp (-n ^ {frac {1} { 2} + c}), n 개의 꼭짓점이있는 그래프의 시간 알고리즘. 이제는 읽기 목록으로이 논문에 아직 뛰어 들지 않는 것이 좋지만, 나는 (a) 일반적으로 우리가 가진 최선은 (하) 지수 시간 알고리즘, (b) 그 기록은 거의 30 년 동안 지속되어 왔으며 (c) 논문을 보면 쉽게 볼 수 없다는 것을 알 수 있습니다. 들어가는 모든 사람을 희망하지 않습니까?

다음은 최첨단 기술을 측정하기위한 상당히 포괄적 인 두 가지 다른 설문 조사이지만 경험적으로 기울어 진 경사에 대한 것입니다.


또 다른 요점은 JG의 답변에서와 같이 Graph-Isomorphism은 Group-Isomorphism 문제와 깊은 이론적 링크가 있다는 것입니다. 이것은 RJLipton에 의해 흔들림 감지에이 다른 블로그에서 볼 수있는 그래프 동형 된 An 접근
vzn

Fortin 설문 조사는 거의 20 살이며 NP 완료의 개념이 40 살 정도 인 분야에서 영원합니다.
David Richerby

그렇습니다. 그러나 또한 TCS 키 / 하드 오픈 문제는 수십 년 동안 거의 큰 진전을 보이지 않는 현상이 있으며, 명백히 P 대 NP를 표준 예로 포함하고 있으며 GI도 명시된대로 적합합니다.
vzn

"아직 문제를 해결하지 못했습니다"및 "진전이 없습니다"라는 문구를 혼동하는 것 같습니다.
David Richerby

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.