[논문 리뷰] Identifying codes in vertex-transitive graphs and strongly regular graphs

Sylvain Gravier, Aline Parreau외 3명|arXiv (Cornell University)|2014. 11. 19.

Graph Labeling and Dimension Problems참고 문헌 39인용 수 13

한 줄 요약

이 논문은 일반화된 사각형(GQs)을 포함한 정점-대칭 강한 정규 그래프에서 식별 코드를 구성하여, 분수 해석과 일치하는 최적 크기 순서를 달성한다. GQ(q, q²) 및 GQ(q², q)에 대해 식별 코드의 크기가 각각 Θ(|V|^{1/4}), Θ(|V|^{1/3}), Θ(|V|^{2/5})임을 증명하며, 이는 분수 해석의 순서와 일치하고 이러한 대칭적인 유한 기하학 기반 그래프에 대해 날카로운 경계를 보여준다.

ABSTRACT

We consider the problem of computing identifying codes of graphs and its fractional relaxation. The ratio between the size of optimal integer and fractional solutions is between 1 and 2 ln(|V|)+1 where V is the set of vertices of the graph. We focus on vertex-transitive graphs for which we can compute the exact fractional solution. There are known examples of vertex-transitive graphs that reach both bounds. We exhibit infinite families of vertex-transitive graphs with integer and fractional identifying codes of order |V|^a with a in {1/4,1/3,2/5}. These families are generalized quadrangles (strongly regular graphs based on finite geometries). They also provide examples for metric dimension of graphs.

연구 동기 및 목표

• 대칭 그래프, 특히 정점-대칭 및 강한 정규 그래프에서 정수 식별 코드 크기와 분수 식별 코드 크기 사이의 격차를 메우기 위해.
• 비트리비얼 가족에서 최적 정수 식별 코드와 분수 식별 코드 사이의 비율이 로그 경계를 초월할 수 있는지 조사하기 위해.
• 유한 기하학에서 유래한 정점-대칭 강한 정규 그래프인 일반화된 사각형(GQs)에서 명시적인 식별 코드를 구성하기 위해.
• GQ(q, q²) 및 GQ(q², q)에서 식별 코드 크기의 날카로운 하한 및 상한을 설정하여 구성이 최적임을 보여주기 위해.
• 직경-2 그래프에서의 등가성에 기반해 결과를 차원 수와 위치-지배 집합으로 확장하기 위해.

제안 방법

• 식별 코드 문제를 정수 선형 프로그램으로 공식화하고, 이를 분수 선형 프로그램으로 이원화한다.
• 정점-대칭성을 활용하여 세 개의 그래프 매개변수 |V|, 차수 d, 닫힌 이웃의 최소 대칭 차수를 사용해 정확한 최적 분수 식별 코드 크기를 계산한다.
• 유한 기하학에서의 일반화된 사각형(GQs)의 구조적 성질—특히 PG(3, q²) 내의 인cidenc 구조 및 허미트 곡면—을 이용해 코드 구성법을 정의한다.
• 서로소 선들의 합집합과 추가적인 선들을 선택하여 모든 정점 쌍 간의 분리가 보장되도록 식별 코드를 구성한다.
• 이중성과 기하학적 인cidenc 정리, 공통 이웃 수와 대칭 차수 크기의 조합적 경계를 이용해 최적성 증명을 수행한다.
• H(3, q²)와 Q⁻(5, q) 사이의 이중성을 적용하여 비접속 점들의 공통 이웃에 대한 구조적 보조정리를 도출한다.

실험 결과

연구 질문

• RQ1 정점-대칭 그래프에서 식별 코드가 분수 해석과 동일한 점근적 크기를 달성할 수 있는가?
• RQ2 일반화된 사각형 GQ(q, q²) 및 GQ(q², q)에서 식별 코드의 최소 크기는 얼마이며, 이는 날카로운가?
• RQ3 분수 값이 초수렴적인 대칭 강한 정규 그래프에서 정수 식별 코드 크기와 분수 식별 코드 크기의 비율은 어떻게 행동하는가?
• RQ4 일반화된 사각형은 정수 식별 코드 크기가 분수 크기 순서와 일치하는 예시를 얼마나 잘 제공하는가?
• RQ5 GQ에서의 식별 코드 결과를 직경-2 그래프에서의 차원 수와 위치-지배 집합으로 확장할 수 있는가?

주요 결과

• GQ(q, q²)에 대해 크기가 3q + 2인 식별 코드가 존재하며, 이는 하한 3q + 2와 일치하므로 최적임을 입증한다.
• GQ(q², q)에 대해 크기가 5q² − 2 = Θ(n^{2/5})인 식별 코드가 존재하며, 여기서 n = (q³ + 1)(q² + 1)은 정점 수이다.
• GQ(q², q)의 구성은 다섯 개의 서로소 선과 두 개의 추가 선을 사용하며, 다섯 개의 점을 제거함으로써 단순화될 수 있으나 여전히 식별 성질을 유지한다.
• GQ(q², q)에서 어떤 식별 코드의 크기라도 최소 2q² − 2 이상이므로, 구성이 상수 인자 범위 내에서 최적임을 증명한다.
• 식별 코드 크기의 순서는 분수 해석 값과 일치하며, 각각 GQ(q, q²), GQ(q, q²), GQ(q², q)에 대해 α ∈ {1/4, 1/3, 2/5}이다.
• 결과는 직경-2 구조와 식별 코드와의 등가성에 기반해, 이러한 그래프에서의 차원 수와 위치-지배 집합 역시 최적 순서 Θ(n^{α})를 가짐을 암시한다.