[논문 리뷰] The Ring of Graph Invariants - Graphic Values

Tomi Mikkonen|ArXiv.org|2007. 12. 03.

Computational Geometry and Mesh Generation참고 문헌 7인용 수 3

한 줄 요약

이 논문은 그래프 불변량의 링을 연구하기 위해 $G$-포스를 도입하며, 부분그래프 수세기 불변량과 그 대수적 의존성에 초점을 맞춘다. 작은 $G$-포스로부터 유도된 부등식을 사용하여 '그래프적 값'의 약한 및 강한 개념을 개발하고, 제약 조건이 부여된 경우 불변량으로부터 그래프 복원이 NP-완전임을 증명하며, 조정 가능한 차원에서 정수 다면체 문제로 레이먼드 수를 공식화한다.

ABSTRACT

The ring of graph invariants is spanned by the basic graph invariants which calculate the number of subgraphs isomorphic to a given graph in other graphs. These subgraphs counting invariants are not algebraically independent. In our view the most important problem in graph theory of unlabeled graphs is the problem of determining graphic values of arbitrary sets of graph invariants. This corresponds to explaining the syzygy of the graph invariants when the number of vertices is unbounded. We introduce two methods to explore this complicated structure. Sets of graphs with a small number of vertices impose constraints on larger sets. We describe families of inequalities of graph invariants. These inequalities allow to loop over all values of graph invariants which look like graphic from the small sets point of view. We also develop strong notion of graphic values where the existence of the corresponding graphs is guaranteed once the constraints are satisfied by the basic graph invariants. These constraints are necessary and sufficient for graphs whose local neighborhoods are generated by a finite set of locally connected graphs. The reconstruction of the graph from the basic graph invariants is shown to be NP-complete in this restricted case. Finally we apply these results to formulate the problem of Ramsey numbers as an integer polyhedron problem of moderate and adjustable dimension.

연구 동기 및 목표

• 기본적인 관계와 의존성 분석을 통해 그래프 불변량의 대수적 구조를 이해하기 위해.
• 실제 그래프에 해당하는 불변량 조합—즉, '그래프적 값'—을 결정하는 기본 문제를 다루기 위해.
• 작은 $G$-포스를 통해 가능성이 있는 값(약한 그래프적 값)과 제약 조건을 통해 존재가 보장되는 값(강한 그래프적 값)을 구분하는 프레임워크를 개발하기 위해.
• 레이먼드 이론과 연결하기 위해, 레이먼드 수 문제를 정수 프로그래밍 문제로 재구성하기 위해.
• 기본 불변량으로부터 그래프를 복원하는 데 필요한 복잡도를 조사하여, 특정 제약 조건 하에서 이것이 NP-완전임을 보여주기 위해.

제안 방법

• $\mathcal{E}(n)$ 형태의 $G$-포스를 사용하여 주어진 그래프와 동형인 부분그래프를 세는 기본 그래프 불변량을 정리한다.
• $E$-변환 행렬 $E = (e_{ij}) = I(g_j)(g_i)$를 사용하여 그래프 간 부분그래프 수를 인코딩한다.
• 역행렬 $B = E^{-1}$를 적용하여 불변량 간 선형 관계를 유도하고, syzygy 계산을 가능하게 한다.
• 작은 $G$-포스($\mathcal{E}(4)$, $\mathcal{E}(5)$)로부터 유도된 부등식의 가족을 통해 약한 그래프적 값을 정의한다.
• 지역적으로 유한한 이웃 구조를 갖는 그래프에 대해 존재가 보장되는 필수 및 필요 조건을 통해 강한 그래프적 값을 도입한다.
• 부분합 $\sigma_e^v$를 사용하여 불변량을 매개변수화함으로써 레이먼드 수 문제를 정수 다면체 문제로 환원한다.

실험 결과

연구 질문

• RQ1 레이먼드 수 $r(k)$의 상한을 증명하기 위해 필요한 최소 $G$-포스 $\mathcal{E}(r)$는 무엇인가?
• RQ2 지역 매개변수 $z(i)$, $z(i_1,i_2)$ 등은 $r(4)$ 또는 $r(5)$ 계산을 위한 제약 조건을 강화할 수 있는가?
• RQ3 복원 정리와 $G$-포스 제약 조건을 사용하여 레이먼드 수에 대한 새로운 하한을 유도할 수 있는가?
• RQ4 $\sigma_e^v$ 매개변수 간의 syzygy의 구조는 일반적인 그래프 불변량에 대해 어떻게 특징지을 수 있는가?
• RQ5 기본 불변량으로부터 그래프를 복원하는 데 필요한 계산 복잡도는 무엇이며, 그래프 크기와 어떻게 비례하는가?

주요 결과

• $\mathcal{E}(4)$의 $E$-변환 행렬 $E$는 $r(3) \leq 6$를 성공적으로 증명하지만, $\mathcal{E}(5)$는 $r(4) \leq 18$를 증명하는 데는 부족하다.
• 약한 그래프적 값은 작은 $G$-포스로부터 유도된 부등식을 통해 정의되지만, 해당하는 그래프의 존재를 보장하지는 않는다.
• 강한 그래프적 값은 지역 이웃이 유한한 집합으로 생성되는 그래프에 대해 필수 및 필요 조건을 통해 특징지어진다.
• 지역 이웃 구조가 유한한 제한된 경우, 기본 불변량으로부터 그래프 복원은 NP-완전이다.
• 레이먼드 수 문제를 $\sigma_e^v$ 매개변수를 사용하여 조정 가능한 차원의 중간 크기 정수 다면체 문제로 재구성할 수 있다.
• $r(5)$의 syzygy 계산은 $\mathcal{E}(10)$이 필요하며, 현재의 구현은 데스크톱 메모리 한계를 초과하여 높은 계산 비용을 시사한다.