Core Concepts
그래프의 길이 6 사이클이 없는 경우에도 관련 엣지를 인식하는 문제는 NP-완전하다.
Abstract
그래프 G가 well-covered이면 모든 최대 독립 집합의 크기가 같다.
엣지 xy가 관련 엣지이면 G가 w-well-covered일 때 w(x) = w(y)이다.
관련 엣지 인식 문제는 NP-완전하지만, 길이 4와 6 사이클이 없는 그래프, 길이 5와 6 사이클이 없는 그래프, 길이 6과 7 사이클이 없는 그래프에서는 다항식 시간에 해결할 수 있다.
정점 v가 shedding이면 V(G) \ N[v]의 모든 독립 집합 S에 대해 N(v)를 지배하는 u ∈ N(v)가 존재한다.
그래프 G가 W2 클래스에 속하려면 모든 정점이 shedding이어야 한다.
길이 6 사이클이 없는 그래프에서도 shedding 정점 인식 문제는 co-NP-완전하다.
길이 6 사이클이 없는 그래프에서 관련 엣지 인식 문제는 NP-완전하다.
Stats
그래프 G에서 정점 집합 S에 대해 다음을 정의한다:
Ni(S) = {v ∈ V(G) | mins∈S d(v, s) = i}
Ni[S] = {v ∈ V(G) | mins∈S d(v, s) ≤ i}
여기서 d(x, y)는 x와 y 사이의 최소 경로 길이이다.