[논문 리뷰] Subexponential Algorithms in Geometric Graphs via the Subquadratic Grid Minor Property: The Role of Local Radius

Gaétan Berthe, Marin Bougeret외 2명|arXiv (Cornell University)|2023. 06. 30.

Advanced Graph Theory Research참고 문헌 30인용 수 1

한 줄 요약

이 논문은 지역 반경 파라미터를 도입하여 기하 그래프 클래스에서 사이클-공격 문제(예: 피드백 정점 집합(FVS), 삼각형 공격(TH), 홀 사이클 전이(OCT))에 대해 하위지수 시간 고정 매개변수 가능(FPT) 알고리즘을 수립한다. 지역 반경이 클리크 수와 최대 이웃 매칭 크기의 다항식일 경우, 하위지수 FPT 알고리즘이 존재함을 증명한다. 주요 결과는 접촉 선분 그래프에서 FVS에 대해 2^O(k^{3/4} log k) n^{O(1)} 시간 알고리즘과 축에 평행한 정사각형 교차 그래프에서 2^O(k^{9/10} log k) n^{O(1)} 시간 알고리즘을 제공하며, 조건의 날카로움을 보여주는 ETH 기반 하한선을 함께 제시한다.

ABSTRACT

In this paper we investigate the existence of subexponential parameterized algorithms of three fundamental cycle-hitting problems in geometric graph classes. The considered problems, extsc{Triangle Hitting} (TH), extsc{Feedback Vertex Set} (FVS), and extsc{Odd Cycle Transversal} (OCT) ask for the existence in a graph $G$ of a set $X$ of at most $k$ vertices such that $G-X$ is, respectively, triangle-free, acyclic, or bipartite. Such subexponential parameterized algorithms are known to exist in planar and even $H$-minor free graphs from bidimensionality theory [Demaine et al., JACM 2005], and there is a recent line of work lifting these results to geometric graph classes consisting of intersection of "fat" objects ([Grigoriev et al., FOCS 2022] and [Lokshtanov et al., SODA 2022]). In this paper we focus on "thin" objects by considering intersection graphs of segments in the plane with $d$ possible slopes ($d$-DIR graphs) and contact graphs of segments in the plane. Assuming the ETH, we rule out the existence of algorithms: - solving TH in time $2^{o(n)}$ in 2-DIR graphs; and - solving TH, FVS, and OCT in time $2^{o(\sqrt{n})}$ in $K_{2,2}$-free contact 2-DIR graphs. These results indicate that additional restrictions are necessary in order to obtain subexponential parameterized algorithms for %these problems. In this direction we provide: - a $2^{O(k^{3/4}\cdot \log k)}n^{O(1)}$-time algorithm for FVS in contact segment graphs; - a $2^{O(\sqrt d\cdot t^2 \log t\cdot k^{2/3}\log k)} n^{O(1)}$-time algorithm for TH in $K_{t,t}$-free $d$-DIR graphs; and - a $2^{O(k^{7/9}\log^{3/2}k)} n^{O(1)}$-time algorithm for TH in contact segment graphs.

연구 동기 및 목표

• 기하 그래프 클래스에서 FVS, TH, OCT와 같은 이차원 사이클-공격 문제에 하위지수 FPT 알고리즘이 존재할 수 있는 충분한 조건을 규명하는 것.
• 지역 반경 파라미터가 기하 교차 그래프에서 하위지수 알고리즘 가능성을 가능하게 하는 역할을 정식화하는 것.
• 2-DIR 및 K_{t,t}-자유 그래프에서 하위지수 해법의 경계를 특성화하기 위해 ETH 기반 하한선을 설정하는 것.
• 특정 기하 클래스인 접촉 선분 그래프와 축에 평행한 정사각형 교차 그래프에서 지역 반경을 유계화하여 프레임워크의 적용 가능성을 보여주는 것.
• 기하 및 미니처 그래프 클래스에서 이전의 하위지수 알고리즘 결과들을 통합하고 확장하는 것.

제안 방법

• 기하 그래프에서의 새로운 구조적 측정으로서 지역 반경 파라미터를 도입하며, 이는 이웃 복잡도와 선분 표현 기반으로 정의된다.
• 지역 반경이 클리크 수와 정점 이웃에서의 최대 매칭 크기의 다항식일 경우, 그 그래프 클래스가 하중하중 그리드 미니어처(SQGM) 성질을 만족함을 증명한다.
• SQGM 성질을 이용해 트리너프 한계와 트리 분해 위에서의 동적 프로그래밍을 통해 하위지수 FPT 알고리즘을 유도한다.
• 오일러의 공식과 평면 임베딩 등의 기하학적 및 위상수학적 추론을 사용하여 접촉 선분 그래프와 정사각형 교차 그래프에서 서로 다른 이웃 수를 유계화한다.
• 접촉 선분 그래프에서의 이웃 다양성과 O(|M|) 이웃 복잡도를 유도하기 위해 평면 보조 그래프를 구성한다.
• ETH 기반 감소를 통해 일부 그래프 클래스에서 하위지수 알고리즘이 불가능함을 입증하고, 조건의 날카로움을 규명한다.

실험 결과

연구 질문

• RQ1 기하 그래프 클래스에서 FVS 및 TH와 같은 사이클-공격 문제에 하위지수 FPT 알고리즘이 가능해지는 조건은 무엇인가?
• RQ2 지역 반경 파라미터는 기하 그래프에서 SQGM 성질과 하위지수 해법 가능성과 어떻게 관련되어 있는가?
• RQ3 접촉 선분 그래프에서 FVS의 정확한 매개변수화된 시간 복잡도는 무엇인가?
• RQ4 2-DIR 그래프에서 큰 완전 이분 그래프 K_{t,t}의 부재는 하위지수 FPT 알고리즘에 필수적이고 충분한 조건인가?
• RQ5 기하 그래프 클래스에서 Exponential Time Hypothesis(ETH) 하에 하위지수 FPT 알고리즘이 배제될 수 있는가?

주요 결과

• 접촉 선분 그래프에서 피드백 정점 집합(FVS)에 대해 2^O(k^{3/4} log k) n^{O(1)} 시간 알고리즘이 확보되었다.
• 축에 평행한 정사각형 교차 그래프에서 피드백 정점 집합(FVS)에 대해 2^O(k^{9/10} log k) n^{O(1)} 시간 알고리즘이 확보되었다.
• 접촉 선분 그래프에서 삼각형 공격(TH)은 2^O(k^{3/4} log k) n^{O(1)} 시간 내에 해결된다.
• K_{t,t}-자유 d-DIR 그래프에서 삼각형 공격(TH)은 2^O(√(dt² log t) k^{2/3} log k) n^{O(1)} 시간 내에 해결된다.
• ETH 기반 하한선은 2-DIR 그래프에서 TH 및 OCT에 대해 2^o(n) 시간을 배제하며, 최대 차수 Δ인 2-DIR 그래프에서는 2^o(√(Δn)) 시간을 배제한다.
• 2-DIR 그래프에서 삼각형 공격(TH)에 하위지수 FPT 알고리즘이 존재하기 위해 큰 K_{t,t} 부분그래프의 부재가 필수적이고 충분함이 입증되었다.