[논문 리뷰] On the hypercompetition numbers of hypergraphs

Boram Park, Yoshio Sano|arXiv (Cornell University)|2010. 05. 31.

Advanced Graph Theory Research참고 문헌 3인용 수 7

한 줄 요약

이 논문은 초그래프의 초경쟁 수 $hk(\mathcal{H})$를 정의하고 분석한다. 초경쟁 수는 초그래프를 비순환 방향그래프의 경쟁 초그래프로 만들기 위해 필요한 고립 정점의 최소 수로 정의된다. 이 논문은 $hk(\mathcal{H})$에 대한 두 가지 일반적인 하한을 확립하고, $r \geq 3$ 인 $r$-균일하고 순환하지 않는 고립 정점이 없는 초그래프에 대해 $hk(\mathcal{H}) = 1$ 임을 증명하며, 연결 그래프의 정확한 초경쟁 수를 1로 결정한다.

ABSTRACT

The competition hypergraph $C{\cH}(D)$ of a digraph $D$ is the hypergraph such that the vertex set is the same as $D$ and $e \subseteq V(D)$ is a hyperedge if and only if $e$ contains at least 2 vertices and $e$ coincides with the in-neighborhood of some vertex $v$ in the digraph $D$. Any hypergraph with sufficiently many isolated vertices is the competition hypergraph of an acyclic digraph. The hypercompetition number $hk(\cH)$ of a hypergraph $\cH$ is defined to be the smallest number of such isolated vertices. In this paper, we study the hypercompetition numbers of hypergraphs. First, we give two lower bounds for the hypercompetition numbers which hold for any hypergraphs. And then, by using these results, we give the exact hypercompetition numbers for some family of uniform hypergraphs. In particular, we give the exact value of the hypercompetition number of a connected graph.

연구 동기 및 목표

• 초그래프 $\mathcal{H}$를 비순환 방향그래프의 경쟁 초그래프로 표현하기 위해 필요한 고립 정점의 최소 수로 정의된 초경쟁 수 $hk(\mathcal{H})$를 정의하고 조사한다.
• 모든 초그래프에 적용 가능한 $hk(\mathcal{H})$에 대한 일반적인 하한을 확립한다.
• 특히 순환하지 않고 고립 정점이 없는 $r$-균일 초그래프와 같은 특정 군집의 균일 초그래프에 대해 $hk(\mathcal{H})$의 정확한 값을 결정한다.
• 연결 그래프의 초경쟁 수를 해결하여 정확히 1임을 보인다.

제안 방법

• 방향그래프 $D$의 경쟁 초그래프 $C\mathcal{H}(D)$를 정의한다. 이는 $D$의 정점들의 진입 이웃을 초변으로 가지는 초그래프이다.
• 주어진 초그래프 $\mathcal{H}$에서 새로운 정점 $v_0$를 추가하고, 각 초변 $e_i$의 간선을 지정된 정점 $v_{i-1}$로 향하도록 유도하여 비순환 방향그래프 $D$를 구성한다. 정점의 순서를 통해 비순환성을 보장한다.
• 레마 2.9를 통해 차수 수열과 순환 없음 조건을 이용하여 순환하지 않는 $r$-균일 초그래프의 구조적 제약을 유도한다.
• 연결 성분의 수에 대한 귀납법을 적용하여, 순환하지 않고 고립 정점이 없는 $r$-균일 초그래프에 대해 $hk(\mathcal{H}) = 1$임을 증명한다.
• 비순환 $r$-균일 초그래프에서 차수 1인 정점의 존재와 $n = (r-1)t + 1$의 관계를 이용하여 차수 1인 정점 수에 대한 하한을 도출한다.
• 비순환 방향그래프의 구성과 정점 재정렬을 활용하여, 고립 정점 하나를 추가함으로써 $\mathcal{H}$가 경쟁 초그래프로 표현될 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 임의의 초그래프에 대해 초경쟁 수 $hk(\mathcal{H})$에 대한 일반적인 하한은 무엇인가?
• RQ2 어떤 종류의 균일 초그래프 군집에서 $hk(\mathcal{H})$의 정확한 값이 결정될 수 있는가?
• RQ3 연결 그래프의 초경쟁 수는 무엇인가?
• RQ4 $r \geq 3$ 인 $r$-균일 초그래프에서 $hk(\mathcal{H}) = 1$ 이 성립하는 조건은 무엇인가?

주요 결과

• 고립 정점이 없는 모든 초그래프 $\mathcal{H}$에 대해 $hk(\mathcal{H}) \geq 1$ 임이 코로나리 2.3에 의해 입증된다.
• $r \geq 3$ 인 $r$-균일 초그래프 $\mathcal{H}$가 고립 정점 없이 순환하지 않으면서, $hk(\mathcal{H}) = 1$ 임이 입증된다.
• 연결 그래프의 초경쟁 수는 정확히 1이며, 이는 정리 2.10과 레마 2.8의 구성에 의해 확인된다.
• 초그래프 $\mathcal{H}$가 고립 정점을 포함하면, $hk(\mathcal{H}) = 0$ 이 되기 위해서는 고립 정점을 제거한 핵심 초그래프 $\mathcal{H}_0$ 가 $hk(\mathcal{H}_0) = 0$ 를 만족해야 하는데, 이는 $\mathcal{H}_0$ 가 고립 정점이 없을 경우 성립하지 않는다.
• $n$개의 정점과 $t$개의 초변을 가진 $r$-균일 비순환 초그래프에서 차수 1인 정점의 수 $q$는 $q \geq (r-2)t + 2$ 를 만족하며, 이는 $hk(\mathcal{H}) = 1$ 이라는 하한을 뒷받침한다.
• 정점 순서 $v_n, \dots, v_1, v_0$ 를 사용하여 $C\mathcal{H}(D) = \mathcal{H} \cup \{v_0\}$ 가 되도록 비순환 방향그래프 $D$를 구성함으로써 비순환성을 보장하고, $hk(\mathcal{H}) \leq 1$ 임을 확인한다.