«automorphism» 태그된 질문

논문에서 그래프 동형위한 효율적인 알고리즘 Corneil Gotlieb 및 1970에 의해 추측 정해진 알고리즘은 다항식 시간 내에 해결하기위한 GI를 신뢰하는에 명시 하였다. 즉: 대표 그래프는 주어진 그래프의 자동 형성 분할을 나타냄 분명히이 추측은 지금까지 입증되지 않았습니다 (그렇지 않으면 GI가 P에 있음을 알 것입니다). 내 질문은 이미 거짓으로 표시되었고 반대의 예가 주어 …

16 graph-isomorphism  automorphism 

- 고정 점 자유 동형 문제 그래프 동형 적어도 이동 요청 K ( N ) 노드. 문제는 c > 0에 대해 k ( n ) = n c 인 경우 N P-완료 입니다.케이kkk ( n )k(n)k(n)엔피NPNPk ( n ) = n씨k(n)=nck(n)=n^c씨cc 그러나, 다음 문제는 그래프 동형 문제에 환원 튜링 다항식 …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

암호화 모델을 수정하고 있습니다. 부적절 함을 보여주기 위해 그래프 동형에 기초하여 고안된 프로토콜을 고안했습니다. "그래프 동 형사상 문제의 어려운 사례"를 생성 할 수있는 BPP 알고리즘의 존재를 가정하는 것은 "흔하지 않은"(아직 논란의 여지가 있습니다!)입니다. (동형의 증인과 함께) 내 생각에 프로토콜에서, 하나의 추가 요구 사항을 충족시키는 BPP 알고리즘이 있다고 가정합니다. 생성 된 …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

그래프의 S 세트 (유한 그래프이지만 무한한 수)와 S에 작용하는 순열 그룹 P가 있다고 가정합니다. 인스턴스 : P의 순열 p 질문 : S에 automorphism p를 인정하는 그래프 g가 있습니까? 이 문제가 일부 세트 S에 대해 NP- 완전입니까? 그래프가 순열 p (즉, 인증서)를 허용하는지 쉽게 확인할 수 있습니다. 또한 문제가 NP- 완전하지 …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

단순한 무 방향 그래프 G가 주어지면 G가 사소하지 않은 (동일하지 않은)자가 변형인지 여부를 결정하는 것은 사소한 것이 아닙니다. 그러나이 결정 문제의 상한 / 하한에 대한 결과는 무엇입니까?

11 cc.complexity-theory  graph-isomorphism  automorphism 

MO 에서 크로스 포스트 . (가장자리) 컬러 그래프 동형은 GI이며 (가장자리 색상 인 경우 가장자리의) 색상을 유지합니다. (가장자리) 색상의 GI에서 GI 로의 변환 / 가젯을 사용하여 몇 가지 축소가 있습니다. 엣지 컬러 GI의 경우 가장 간단한 방법은 컬러를 인코딩하는 GI 보존 가제트로 컬러 엣지를 대체하는 것입니다 (엣지를 충분히 세분화하는 것이 …

10 graph-theory  graph-isomorphism  automorphism 

그래프 자동 형성은 엣지 세트 에 대한 주입을 유도하는 그래프 노드의 순열입니다 . 공식적으로, 그것은 ( u , v ) ∈ E iff ( f ( u ) , f ( v ) ) ∈ E 와 같은 노드 의 순열 f 입니다. 이자형이자형E에프에프f( u , v ) ∈ E(유,V)∈이자형(u,v)\in …

10 cc.complexity-theory  graph-theory  automorphism  symmetry