매우 규칙적인 그래프 및 GI 완전성

강하게 정규 그래프 (SRG)에 대한 그래프 동 형사상 (GI )이 P에 있는지 여부는 알려져 있지 않습니다 . GI -Complete 일 수도 있고 아닐 수도있는 힌트가 있습니까? 그러한 경우에 강한 결과가 있습니까? ( GI가 NP-Complete이 아닐 수도 있다는 믿음 과 유사 ).

— 두르 가다 타
소스

필자는 개인적으로 문제가 GI보다 엄격히 쉽다고 생각합니다. SRG에 대한 Spielman의 알고리즘은 일반적인 그래프의 Luks보다 지수가 작습니다. 더 많은 구조가있는 것 같습니다! (궁극적으로 아무 의미가 없습니다)

— Timothy Sun

O (n)

$O(n)$

O (n^{3 / 2})

$O(n^{3/2})$

나는 알려진 모든 GI- 완전성 결과가 functorial (종이의 정의) 이라고 생각 하고 Babai는 최근에 (ITCS 2014, free author 's copy )를 보여주었습니다. GI에서 강력한 GI로 감소.

— 조슈아 그로 호프
소스