[논문 리뷰] On distance r-dominating and 2r-independent sets in sparse graphs

Zdenĕk Dvořák|arXiv (Cornell University)|2017. 10. 27.

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

한 줄 요약

이 논문은 희박한 그래프에서 거리 $r$-지배 집합과 $2r$-독립 집합 사이의 더 날카운 경계를 설정하기 위해 선형계획법의 이중성과 그래프 증강 기법을 사용한다. 이는 비율 $\gamma_r(G)/\alpha_{2r}(G)$ 가 $\text{wcol}_r^2(G)$ 로 유계임을 증명하며, 이는 이전 결과를 향상시키고, 유계 확장 또는 저도수 방향을 갖는 그래프에서 상수 요소 근사 알고리즘의 가능성을 열어준다.

ABSTRACT

Dvorak (2013) gave a bound on the minimum size of a distance r dominating set in the terms of the maximum size of a distance 2r independent set and generalized coloring numbers, thus obtaining a constant factor approximation algorithm for the parameters in any class of graphs with bounded expansion. We improve and clarify this dependence using an LP-based argument inspired by the work of Bansal and Umboh (2017).

연구 동기 및 목표

• 희박한 그래프에서 거리 $r$-지배 집합과 $2r$-독립 집합 간의 관계를 더 잘 이해하기 위해.
• 기반 선형계획법의 추론을 통해 $\gamma_r(G)$ 와 $\alpha_{2r}(G)$ 간의 의존성을 정교화하고 명확히 하기 위해.
• 유계 확장 또는 저도수 방향을 갖는 그래프 클래스에서 $\gamma_r(G)$ 의 더 날카운 근사 보장을 수립하기 위해.
• 약한 색칠 수와 그래프 증강을 통해 이전의 희박한 그래프에서의 지배성과 독립성 결과를 일반화하기 위해.

제안 방법

• 거리 $r$-지배 집합 문제와 $2r$-독립 집합 문제 간의 선형계획법 이중성에 기반하여 $\alpha^\star_{2r}(G) = \gamma^\star_r(G)$ 를 보여준다.
• 거리 제약 조건을 모델링하고 이중 선형계획법에서 이웃 크기를 제어하기 위해 그래프 $G$ 의 $r$-증강을 도입한다.
• 정점 방향과 차수 제어를 통해 $2r$-독립 집합을 $(2r,b)$-독립 집합으로 변환하는 변환을 적용한다.
• $(2r,b)$-독립 집합의 유도된 부분그래프에 색칠 추론을 적용하여 크기가 적어도 $|Y|/(2b\Delta_{2r}(\widehat{G}))$ 인 $2r$-독립 부분집합을 추출한다.
• 약한 색칠 수와 차수 파라미터를 통해 $\gamma_r(G)$, $\alpha_{2r}(G)$, $\alpha_{2r,b}(G)$ 를 연결하는 부등식 사슬을 수립한다.
• 유계 확장과 저아보리시티 그래프에서의 결과를 일반화하기 위해 약한 색칠 수 $\text{wcol}_k(G)$ 를 기반으로 한 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 약한 색칠 수와 같은 희박성 파라미터로 표현할 때 비율 $\gamma_r(G)/\alpha_{2r}(G)$ 는 어떻게 유계가 될 수 있는가?
• RQ2 선형계획법 기반 기법이 희박한 그래프에서 거리 $r$-지배 집합의 기존 근사 요소를 향상시킬 수 있는가?
• RQ3 그래프 증강 하에서 $2r$-독립 집합과 $(2r,b)$-독립 집합 간의 관계는 무엇인가?
• RQ4 약한 색칠 수와 방향 기반 파라미터는 $\gamma_r(G)$ 근사에 어떻게 影향을 미치는가?
• RQ5 경계 $\gamma_r(G) \leq \text{wcol}_{2r}^2(G) \cdot \alpha_{2r}(G)$ 는 구조적 그래프 파라미터를 사용하여 더 날카운지 또는 일반화될 수 있는가?

주요 결과

• 논문은 $\gamma_r(G) \leq \text{wcol}_r^2(G) \cdot \alpha_{2r}(G)$ 를 수립하여 Dvořák 의 이전 경계를 향상시켰다.
• 논문은 $\alpha^\star_{2r}(G) = \gamma^\star_r(G)$ 를 증명하여 선형계획법 이중화의 정확한 계산이 다항시간 내에 가능함을 보였다.
• 모든 그래프 $G$ 에 대해 최대 진입차수 $d$ 를 갖는 방향이 존재할 경우, $\frac{1}{2d+1}\gamma(G) \leq \alpha^\star_2(G)$ 라는 경계가 성립함을 보였다. 이는 알려진 결과를 일반화한다.
• 논문은 $b = (\Delta_{r-1}(\widehat{G})+1)\Delta_r(\widehat{G}) - \Delta_{r-1}(\widehat{G})$ 일 때 $\alpha_{2r,b}(G) \geq \alpha^\star_{2r}(G)/2$ 를 보였으며, 이는 상수 요소 근사 가능성을 보장한다.
• 논문은 $\alpha_{2r}(G) \geq \frac{1}{2b\Delta_{2r}(\widehat{G})} \alpha_{2r,b}(G)$ 를 유도하여 $2r$-독립 집합과 $(2r,b)$-독립 집합 간의 연결을 맺었다.
• 최종적으로 부등식 사슬을 통해 $\gamma_r(G) \leq 4\text{wcol}_r^2(G)\text{wcol}_{2r}(G) \cdot \alpha_{2r}(G)$ 를 도출하였으며, 이는 유계 확장 클래스에서 날카운 근사 요소를 제공한다.