«graph-isomorphism» 태그된 질문

두 개의 그래프 G, H는 H를 생성하는 G의 꼭짓점에 레이블을 다시 붙이면 동형이됩니다. 그래프 동형 문제 (GI)는 주어진 두 가지가 동형인지 여부를 결정하는 것입니다. 1972 년 Karp는 실질적인 관심과 더불어 복잡성을 알 수없는 것으로 확인되었으며 NP- 중간 문제에 대한 소수의 자연적인 후보 중 하나이며 복잡성 등급 AM을 만들었습니다.

3
그래프 동형 문제에 대한 준 다항식 시간 알고리즘의 결과
그래프 동형 문제 (GI)이 틀림위한 최상의 공지 후보 NP-중간 문제. 가장 잘 알려진 알고리즘은 런타임 . 다항식 계층 구조가붕괴되지 않는 한,GI는NP-완전하지않다는 것이 알려져있다.2O ( n 로그엔√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism 문제에 대한 준 다항식 시간 알고리즘의 복잡한 이론적 결과는 무엇입니까? GI에 대한 준 다항식 시간 알고리즘이 복잡한 이론에서 유명한 추측을 …
3
문제가 경도 "림보"임을 보여주는 기법
와 completes 사이에 진정한 복잡성이 존재하는 의 새로운 문제를 감안할 때 ,이를 해결하는 것이 어렵다는 것을 증명하는 데 사용할 수있는 두 가지 방법이 있습니다.NPNP\mathsf{NP}PP\mathsf{P} 문제가 GI- 완료임을 보여줌 (GI = 그래프 동형) 문제가 줍니다. 알려진 결과에 따르면, 이러한 결과는 문제가 NP- 완료이면 PH가 두 번째 수준으로 축소됨을 의미합니다. 예를 들어, …
1
제곱근 경계의 비결정론으로 그래프 동 형사상을 결정할 수 있습니까?
경계가없는 비결정론 은 함수 를 자원이 제한된 결정 론적 튜링 머신이 허용하는 언어 의 클래스 와 연관시켜 새로운 클래스 - 를 형성합니다 . 이 클래스는 를 정의하는 데 사용 된 것과 동일한 자원 한계를 준수하는 일부 비 결정적 Turing 머신 허용되는 언어로 구성 되지만 은 최대 비 결정적 이동을 수행 …
3
그래프 동형에 대한 coNP 인증서
그래프 동 형사상 (GI)이 NP에 있음을 쉽게 알 수 있습니다 . GI가 coNP에 있는지 여부는 중요한 공개 문제입니다. GI의 coNP 인증서로 사용할 수있는 그래프 속성 후보가 있습니까? 를 암시하는 추측 ? G I ∈ c o N P의 의미는 무엇입니까 ?G I∈ c o N피GI∈coNPGI \in coNPG I∈ c o …
1
증거 반박 : 야심 찬 CoRR 논문의 아마추어 리뷰
야심 찬 CoRR 논문을 너무 많이 읽은 것 같습니다 . 문제는 그 논문들이 동료 검토되지는 않지만 종종 흥미롭게 들리고 기본적인 타당성 점검을 통과한다는 것입니다. 또는 그렇지 않을 수도 있으며, 타당성 검사를 개선하기 만하면됩니다. 최근에 그러한 논문의 샘플이 있습니다 : 고유성 트리 : 그래프 동형 문제에 대한 다항식 접근법 그룹과 색 …
4
Graph Isomorphism이
내 게시물에 Fortnow의 의견에 의해 동기를 그래프 동형 문제가 아니라는 것을 증거 - 완전한NPNPNP G I N P N P P G I P , 그리고 사실에 의해 위한 주요 후보 -intermediate 문제 (안 에서 - 완전한이나 ), I는 알려진 증거에 관심 것을 아닌 .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP 이러한 증거 중 하나 는 …
1
Graph Isomorphism의 현재 알려진 경도는 얼마입니까?
문제 는 P-hard라고 알려진 팩토링 에서 영감을 얻었으며 현재 비슷한 지식 상태가 그래프 동형의 경도에 대해 궁금합니다. GI가 P에 있는지 현재 알려지지 않았지만 확신합니다. GI가 현재 가장 어려운 클래스는 무엇입니까? (이것은 비슷한 소리 질문에 대답하지 않았습니다 ) 의견 중 일부를 해결하기 위해 GI가 현재 알려진 최대 클래스를 알고 싶습니다. 문제가 …
2
"소규모"그래프 동형
비대칭 그래프의 동형 테스트의 복잡성에 대해 생각하면서 ( cstheory에 대한 관련 질문 참조 ) 보완적인 질문이 떠 올랐습니다. 입력 노드 로 그래프 을 생성 하는 다항식 시간 튜링 머신 이 있다고 가정합니다 .MMM1n1n1^nGM,nGM,nG_{M,n}nnn 우리는 문제를 정의 할 수 있습니다 :ΠMΠM\Pi_M ( "작은"GI)이 주어 그래프 이며, 동형 ?G=(V,E)G=(V,E)G=(V,E)GGGGM,|V|GM,|V|G_{M,|V|} 다시 말해, 주어진 …
4
Graph isomorphism과 관련된 개방형 문제
현재 그래프 동형화 (GI) 문제에 대한 문헌 조사를하고 있습니다. 다음과 관련된 공개 질문을 알고 싶습니다. GI의 고정 매개 변수 다루기 쉬운 문제가있는 그래프 매개 변수는 무엇입니까? GI의 다항식 시간 용해도를 고정시킴으로써 그래프 파라미터가 무엇인지는 알려져 있지 않다. 많은 그래프 클래스로 제한 될 때 GI의 복잡성은 일반 GI (GI-Completeness)와 같습니다. GI …
2
코셋 교차로 문제의 복잡성
대칭 그룹 주어 두 서브 그룹 G , H ≤ S , N , 및 π ∈ S , N , 수행은 G π ∩ H = ∅ 보류?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
그래프 동형 문제
Graph isomorphism 문제에 대한 문헌 검토를하고 있습니다. 제가 읽고있는 대부분의 논문은 EM Luks와 Laszlo Babai가 작성했습니다. 이 논문은 그룹 이론과 복잡성 이론에 대한 높은 수준의 지식을 사용합니다. 이 분야를 처음 접했을 때 많은 것들이 명확하지 않습니다. 이 논문에 제시된 아이디어와 기법을 배울 수있는 방법을 제안 해 주시면 다른 아이디어를 생각해 …
2
경계 밸런스 그래프의 그래프 동 형사상에 대한 부드러운 소개
나는 그래프 동형 (있는 그래프의 클래스에 대한 책을 읽은하고 )에 P . 이러한 경우 중 하나는 여기에 설명 된 바운딩 된 원자가 그래프 (각 정점의 최대 각도)입니다 . 그러나 나는 너무 추상적이라는 것을 알았습니다. 누군가 나에게 해설 적 인 성격에 대한 언급을 제안 할 수 있다면 감사 할 것입니다. 나는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.