[논문 리뷰] The competition-common enemy graphs of digraphs satisfying Conditions $C(p)$ and $C'(p)$

Yoshio Sano|arXiv (Cornell University)|2010. 06. 14.

Advanced Graph Theory Research참고 문헌 4인용 수 12

한 줄 요약

이 논문은 반순서와 간격 순서를 일반화하는 조건 $C(p)$ 및 $C'(p)$를 만족하는 방향 그래프의 경쟁-공통 적대자 그래프를 특성화한다. 이 그래프가 정확히 완전 그래프 $K_r$와 공집합 그래프 $I_q$의 disjoint 합집합임을 증명한다. 여기서 $r \geq p$ 이고 $q \geq 2$ 이거나, 단지 $I_q$ 이며 $q \geq 1$ 이다. 이 결과는 기존의 경쟁 그래프 이론을 구조적 제약 조건 하에 경쟁-공통 적대자 설정으로 확장한다.

ABSTRACT

S. -R. Kim and F. S. Roberts (2002) introduced the following conditions $C(p)$ and $C'(p)$ for digraphs as generalizations of the condition for digraphs to be semiorders. The condition $C(p)$ (resp. $C'(p)$) is: For any set $S$ of $p$ vertices in $D$, there exists $x \in S$ such that $N^+_D(x) \subseteq N^+_D(y)$ (resp. $N^-_D(x) \subseteq N^-_D(y)$) for all $y \in S$, where $N^+_D(x)$ (resp. $N^-_D(x)$) is the set of out-neighbors (resp. in-neighbors) of $x$ in $D$. The competition graph of a digraph $D$ is the (simple undirected) graph which has the same vertex set as $D$ and has an edge between two distinct vertices $x$ and $y$ if $N^+_D(x) \cap N^+_D(y) eq \emptyset$. Kim and Roberts characterized the competition graphs of digraphs which satisfy Condition $C(p)$. The competition-common enemy graph of a digraph $D$ is the graph which has the same vertex set as $D$ and has an edge between two distinct vertices $x$ and $y$ if it holds that both $N^+_D(x) \cap N^+_D(y) eq \emptyset$ and $N^-_D(x) \cap N^-_D(y) eq \emptyset$. In this note, we characterize the competition-common enemy graphs of digraphs satisfying Conditions $C(p)$ and $C'(p)$.

연구 동기 및 목표

• 조건 $C(p)$ 및 $C'(p)$를 만족하는 방향 그래프의 경쟁-공통 적대자 그래프를 특성화하는 것.
• 이러한 구조적 조건 하에서 기존의 경쟁 그래프 결과를 경쟁-공통 적대자 그래프 변형으로 확장하는 것.
• 누적 그래프 및 $C^*(p)$/$C'^*(p)$ 조건에 대한 열린 문제를 해결하기 위해 현재 특성화의 범위를 규명하는 것.

제안 방법

• 경쟁-공통 적대자 그래프를 정의한다. 이는 방향 그래프 $D$와 같은 정점 집합을 가지며, $x$와 $y$ 사이에 간선이 존재하는 조건은 $N^+_D(x) \cap N^+_D(y) \neq \emptyset$ 이고 $N^-_D(x) \cap N^-_D(y) \neq \emptyset$ 인 것이다.
• 조건 $C(p)$ 및 $C'(p)$의 구조적 정의를 사용한다: 임의의 $p$개 정점으로 구성된 부분집합 $S$에 대해, $S$ 내의 다른 모든 정점의 외부 이웃(또는 내부 이웃)에 포함되는 정점 $x \in S$ 가 존재한다.
• 만약 $G = K_r \cup I_q$ 이고 $r \geq p$, $q \geq 2$ 라면, 명시적인 구성 방법을 통해 $C(p)$ 및 $C'(p)$를 만족하는 루프 없는 방향 그래프 $D$ 가 존재하여 그 경쟁-공통 적대자 그래프가 $G$ 임을 증명한다.
• 역으로, $r \geq p$ 이면 $q \geq 2$ 여야 함을 모순을 통해 증명한다. 루프 없는 성격과 발자국/정점 포함 성질을 이용하여 이를 유도한다.
• 순환하지 않는 방향 그래프와 이중 경쟁 수를 활용하여, 작은 컴포넌트와 고립 정점의 합집합인 경우를 특성화한다.
• 반순서와 간격 순서가 $C(2)$ 및 $C'(2)$를 만족하므로, 정리 1.2에서 세 그래프 클래스 간의 동치성을 도출한다.

실험 결과

연구 질문

• RQ1 조건 $C(p)$ 및 $C'(p)$를 만족하는 방향 그래프의 경쟁-공통 적대자 그래프는 $p \geq 2$ 일 때 어떤 형태인가?
• RQ2 $C(p)$ 및 $C'(p)$의 구조적 제약 조건이 경쟁-공통 적대자 그래프의 가능한 형태에 어떤 영향을 미치는가?
• RQ3 비고립 컴포넌트의 정점 수가 $p$개 미만일 경우 특성화를 확장할 수 있는가?
• RQ4 순환성과 이중 경쟁 수는 $C(p)$ 및 $C'(p)$ 조건 하에서 가능한 경쟁-공통 적대자 그래프를 제한하는 데 어떤 역할을 하는가?
• RQ5 반순서와 간격 순서의 경쟁-공통 적대자 그래프는 일반적인 $C(p)$/$C'(p)$ 경우와 어떻게 관련이 있는가?

주요 결과

• 조건 $C(p)$ 및 $C'(p)$를 만족하는 방향 그래프의 경쟁-공통 적대자 그래프는 어떤 $r \geq p$ 및 $q \geq 2$ 에 대해 $K_r \cup I_q$ 와 동형이며, 또는 $q \geq 1$ 인 $I_q$ 이다.
• 만약 $G = K_r \cup I_q$ 이고 $r \geq p$, $q \geq 2$ 라면, 명시적인 구성 방법을 통해 $C(p)$ 및 $C'(p)$를 만족하는 루프 없는 방향 그래프 $D$ 가 존재하여 그 경쟁-공통 적대자 그래프가 $G$ 임을 보여준다.
• 만약 $r \geq p$ 이면 $q \geq 2$ 여야 한다. 만약 $q < 2$ 라면, $C(p)$의 발자국 조건으로 인해 루프가 발생하는 모순이 발생한다.
• 순환하지 않는 방향 그래프가 $C(p)$ 및 $C'(p)$를 만족할 경우, 경쟁-공통 적대자 그래프는 $I_q$ ($q \geq 1$), $K_r \cup I_q$ ($r \geq p$, $q \geq 2$), 또는 $H \cup I_q$ 이며, 여기서 $|V(H)| < p$, $I_H = \emptyset$, $q \geq dk(H)$ 이다.
• 정리 1.2에서 반순서의 경쟁-공통 적대자 그래프, 간격 순서의 경쟁-공통 적대자 그래프, $r \geq 2$, $q \geq 2$ 조건을 만족하는 $K_r \cup I_q$ 형태의 그래프 간의 동치성이 확립된다.
• 논문은 $C^*(p)$, $C'^*(p)$ 및 누적 그래프에 대한 열린 문제를 규명하며, 향후 특성화 프레임워크를 확장하는 연구 방향을 제안한다.