«graph-theory» 태그된 질문

로버트슨 - 시모어 정리는 말한다 사소한 폐쇄 가족GG\mathcal G 그래프는 유한하게 많은 금지 된 미성년자에 의해 특징 지워질 수있다. 입력을위한 알고리즘이 있습니까? GG\mathcal G 금지 된 미성년자를 출력하거나 결정 불가능합니까? 분명히 대답은 GG\mathcal G입력에 설명되어 있습니다. 예를 들어GG\mathcal G 에 의해 주어진 MGMGM_\mathcal G 멤버십을 결정할 수 있고 MGMGM_\mathcal G아무것도 …

9 graph-theory  decidability  graph-minor 

1991 년부터 색도 지수를 결정하는 경도에 대해 알려진 것을 나타내는 다른 그래프 클래스 가족에 대한 세 개의 다이어그램이 포함 된 멋진 논문 이 있습니다. 그 이후로 뉴스가 있습니까? 경계 색 수가있는 그래프에 대해 가장 관심이 있습니다. /mathpro/238448/hypergraph-edge-colouring 으로 호기심이 생겼습니다 .

9 graph-theory  np-hardness  graph-colouring 

고정 된 방향 그래프 (digraph) 가 주어지면 , COLORING 결정 문제는 입력 digraph 가 와 동질성을 갖는지 묻습니다 . ( 에서 의 동형은 호를 보존하는 에서 의 매핑 입니다 . 즉, 가 의 호 이면 는 )디DD디DD지GG디DD지GG디DD에프ffV( G )V(G)V(G)V( D )V(D)V(D)너 vuvuv지GG에프( u ) f( V )f(u)f(v)f(u)f(v)디DD COLORING 문제 의 …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

정규 언어가 주어짐 엘LL 알파벳 ㅏAA최소 결정 론적 오토 마톤은 일정한 외도를 가진 직접 연결된 다중 그래프로 볼 수 있습니다. | A ||A||A|및 표시된 초기 상태 (전이 레이블, 최종 상태 레이블을 잊음). 모든 정점에서 액세스 할 수 있어야하기 때문에 초기 상태를 유지합니다. 대화가 사실입니까? 즉, 지시 된 연결된 멀티 그래프지GG …

9 graph-theory  automata-theory 

와 는 크기가 두 개의 정규 연결 그래프 라고 하자 . 하자 치환 된들의 집합 되도록 . 경우 다음 의 automorphisms 세트 인 .지GGHHH아르 자형rr엔nnㅏAA피PP피지피− 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HㅏAA지GG 의 크기에서 가장 잘 알려진 상한은 무엇입니까 ? 특정 그래프 클래스 (완료 / 사이클 그래프를 포함하지 않음)에 대한 결과가 있습니까?ㅏAA 참고 …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

다음 문제가 NP-hard인지 궁금합니다. 입력 : 간단한 그래프, 그리고 채색의 ( 는 특정 속성을 확인하지 않습니다).G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff 질문 : 각 삼각형이 각 색상의 한쪽 가장자리를 갖도록 를 삼각형 으로 분할 할 수 있습니까?EEE|E|/3|E|/3|E|/3 나는 색깔없이 "에지 분할"로 그래프의 문제를 알고 , (참조 NP-어려운 일부 에지 …

9 graph-theory  np-hardness 

허락하다 GGG clique와 독립 집합의 분리 된 결합 인 그래프 G=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . 이러한 모든 그래프의 그래프 클래스는 금지 된 유도 하위 그래프 세트로 특징 지어집니다 H={2K2,P3}H={2K2,P3}\mathcal{H} = \{2K_2, P_3\} 따라서 클러스터 그래프와 분할 (또는 임계 값) 그래프의 교차점입니다. 이 (매우 간단한) 그래프 …

9 reference-request  graph-theory  graph-classes 

다음 문제를 고려하십시오. 입력 : 간단한 (무 방향) 그래프 .G = ( V, E)지=(V,이자형)G=(V,E) 질문 : 모든 에 대해 최대 하나의 (지시 된) - 도보가 있는 특성을 만족시키는 의 방향이 있습니까?지지Gs , t ∈ V에스,티∈Vs,t \in V에스에스s티티t 이것은 다음과 같이 표현 될 수 있습니다. 입력 : 간단한 (무 방향) 그래프 …

9 graph-theory  directed-acyclic-graph 

허락하다 G = ( V, E)지=(V,이자형)G=(V,E)그래프입니다. 정점 세트엑스⊆ V엑스⊆VX\subseteq V다음 경우에 중요엑스≠ ∅엑스≠∅X\neq\emptyset 그리고 꼭지점이 없습니다 V∖ XV∖엑스V\setminus X 정확히 하나의 꼭짓점에 인접 해 있습니다. 엑스엑스X. 문제는 정점 세트를 찾는 것입니다에스⊆ V에스⊆VS\subseteq V 최소 크기의 에스∩ X≠ ∅에스∩엑스≠∅S\cap X\neq\emptyset 모든 중요한 세트 엑스엑스X. 문제는 다음과 같은 소문이 퍼지는 해석입니다. 나는나는i …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

이 질문은 두 가지로 구성되며 주로 참조 지향적입니다. 세부 사항에 너무 많이 들어 가지 않고 그래프 사소한 정리를 증명하기위한 주요 직관이있는 곳이 있습니까? 나는 그 증거가 길고 어렵다는 것을 알고 있지만 더 쉬운 방법으로 전달 될 수있는 핵심 아이디어가 있어야합니다. 그래프에서 준 차수로 표시 될 수있는 다른 관계가있을 수 있습니다. …

9 reference-request  graph-theory  graph-minor 

다음 문제에 대한 참조를 찾고 있습니다 : 주어진 정수 nnn그리고 , 개의 꼭짓점과 나무 너비 에 모든 비 등방성 평면 그래프를 열거합니다 . 이론적 결과와 실제 결과에 관심이 있지만 가능한 많은 및 값 ( 및 ) 으로 코딩하고 실행할 수있는 대부분 실용적인 알고리즘입니다 . 이미 답변이 있다면 아래의 문제를 무시하십시오.kkknnn≤k≤k\leq …

9 reference-request  graph-theory  graph-algorithms  treewidth 

여기 에 전이 완료에 대해 몇 가지 질문 ( 1 , 2 , 3 ) 이 있었는데 , 이것이 이와 같은 것이 가능하다고 생각하게했습니다. 입력 지향 그래프를 얻는다고 가정하자 GGG" ?" 유형의 쿼리에 응답하고 싶습니다 . 즉, 그래프 의 전이 완료에서 두 정점 사이에 모서리가 있는지 묻습니다 . (등가 "의 …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

(점근 적 복잡성 측면에서) digraph의 전이성을 점검하는 것이 digraph의 전 이적 폐쇄를 취하는 것보다 쉽지 않습니까? Digraph가 전이인지 아닌지를 결정하기 위해 보다 더 낮은 하한을 알고 있습니까?Ω(n2)Ω(n2)\Omega(n^2)

9 graph-theory  directed-acyclic-graph  transitive-closure 

가능한 에서 가져온 요소 가있는 세트 가 있다고 가정 합니다. 각 세트는 크기가 ( )이며, 세트가 겹칠 수 있습니다. 다음 두 가지 문제가 NP 완료인지 여부를 확인하고 싶습니다.PPPrrrnnnn&lt;rn&lt;rn<r 문제 A.이 거기에 ( ) 별개의 내 세트 세트 (즉, 자신의 쌍대 교차로가 비어)?MMM1≤M≤P1≤M≤P1 \le M \le PPPP 문제 B. 이제 ( …

9 graph-theory  np-hardness 

몇 사이클 Ck씨케이C_k (k≥3)(케이≥삼)(k \geq 3) 에있다 n엔n 그래프에 사이클이없는 정점 그래프 Cm씨미디엄C_m (m&gt;k)(미디엄&gt;케이)(m>k). 예를 들어 n = 5엔=5n=5, k = 3케이=삼k=3그래프는 최대 2 개입니다 씨삼C삼C_3그래서 지지G 없어요 씨케이( k &gt; 3 ) .씨케이(케이&gt;삼).C_k (k > 3). 나는 생각하고 있습니다 O ( n )영형(엔)O(n) 위의 조건을 만족하는 사이클이 있습니다. 어떤 …

9 graph-theory  graph-algorithms