[논문 리뷰] Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes

Faisal N. Abu-Khzam, Henning Fernau외 1명|arXiv (Cornell University)|2022. 08. 10.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 특수한 그래프 클래스에서 최소 로마 지배 함수(RDF)의 효율적이고 빠른 열거 및 세는 알고리즘을 제시한다. 조합적 구조와 분기 규칙을 활용하여 시간 복잡도를 크게 향상시켰다. 간격 그래프와 산림에 대해 최적의 열거 복잡도 O(1.7321^n)를 달성하였으며, 이는 알려진 하한값과 일치한다. 또한 순환 그래프, 스플릿 그래프, 코이바이파트라이트 그래프에 대해서도 날카운 복잡도 한계를 제공한다.

ABSTRACT

The concept of Roman domination has recently been studied concerning enumerating and counting in F. N. Abu-Khzam et al. (WG 2022). More technically speaking, a function that assigns 0,1,2 to the vertices of an undirected graph is called a Roman dominating function if each vertex assigned zero has a neighbor assigned two. Such a function is called minimal if decreasing any assignment to any vertex would yield a function that is no longer a Roman dominating function. It has been shown that minimal Roman dominating functions can be enumerated with polynomial delay, i.e., between any two outputs of a solution, no more than polynomial time will elapse. This contrasts what is known about minimal dominating sets, where the question whether or not these can be enumerated with polynomial delay is open for more than 40 years. This makes the concept of Roman domination rather special and interesting among the many variants of domination problems studied in the literature, as it has been shown for several of these variants that the question of enumerating minimal solutions is tightly linked to that of enumerating minimal dominating sets, see M. Kanté et al. in SIAM J. Disc. Math., 2014. The running time of the mentioned enumeration algorithm for minimal Roman dominating functions (Abu-Khzam et al., WG 2022) could be estimated as 𝒪(1.9332ⁿ) on general graphs of order n. Here, we focus on special graph classes, as has been also done for enumerating minimal dominating sets before. More specifically, for chordal graphs, we present an enumeration algorithm running in time 𝒪(1.8940ⁿ). It is unknown if this gives a tight bound on the maximum number of minimal Roman dominating functions in chordal graphs. For interval graphs, we can lower this time bound further to 𝒪(1.7321ⁿ), which also matches the known lower bound concerning the maximum number of minimal Roman dominating functions. We can also provide a matching lower and upper bound for forests, which is (incidentally) the same, namely 𝒪^*(√3ⁿ). Furthermore, we present an optimal enumeration algorithm running in time 𝒪^*(∛3ⁿ) for split graphs and for cobipartite graphs, i.e., we can also give a matching lower bound example for these graph classes. Hence, our enumeration algorithms for interval graphs, forests, split graphs and cobipartite graphs are all optimal. The importance of our results stems from the fact that, for other types of domination problems, optimal enumeration algorithms are not always found. Interestingly, we use a different form of analysis for the running times of our different algorithms, and the branchings had to be tailored and tweaked to obtain the intended optimality results. Our Roman dominating functions enumeration algorithm for trees and forests is distinctively different from the one for minimal dominating sets by Rote (SODA 2019).Our approach also allows to give concrete formulas for counting minimal Roman dominating functions on more concrete graph families like paths.

연구 동기 및 목표

• 제한된 그래프 클래스에서 최소 로마 지배 함수의 더 빠른 열거 알고리즘을 개발하기 위해.
• 특정 그래프 가족에서 최소 RDF의 수에 대한 알려진 하한값과 상한값 사이의 격차를 메우기 위해.
• 경로 및 기타 구조화된 그래프에서 최소 RDF의 정확한 세기 공식을 제공하기 위해.
• 로마 지배의 확장 문제의 다항시간 해법이 특수한 그래프 클래스에서 효율적 열거를 가능하게 하는지 탐색하기 위해.

제안 방법

• 최소 RDF의 해공간을 체계적으로 탐색하기 위해 감소 규칙과 분기 규칙의 조합을 적용하였다.
• 단순 정점, 날개 정점, 이웃 포함성 등의 구조적 그래프 성질을 활용하여 규칙 설계를 하였다.
• 그래프 클래스에 맞는 특화된 분기 규칙을 설계하였다. 예를 들어 산림과 간격 그래프의 경우, 나무 구조와 간격 구조를 활용하였다.
• 재귀적 분해와 이웃 분석을 활용하여 최소 RDF의 수에 대한 날카운 상한을 유도하였다.
• 로마 지배의 확장 문제의 다항시간 해법이 알려져 있으므로 이를 출력 민감한 열거의 기초로 활용하였다.
• 경로에서 최소 RDF의 수를 세는 재귀 공식을 개발하여 정확한 열거 및 분석을 가능하게 하였다.

실험 결과

연구 질문

• RQ1 일반 그래프보다 특수한 그래프 클래스에서 최소 로마 지배 함수의 수를 더 효율적으로 열거할 수 있는가?
• RQ2 간격 그래프, 산림, 순환 그래프, 스플릿 그래프, 코이바이파트라이트 그래프에 대해 최소 RDF의 수에 대한 날카운 상한과 하한은 무엇인가?
• RQ3 로마 지배의 확장 문제의 다항시간 해법이 구조화된 그래프 클래스에서 최적의 열거를 가능하게 하는가?
• RQ4 경로 및 기타 단순한 그래프 가족에서 최소 RDF의 정확한 세기 공식을 유도할 수 있는가?
• RQ5 순환 그래프의 열거 시간을 O(1.8940^n) 이상으로 향상시킬 수 있는가, 또는 하한을 높일 수 있는가?

주요 결과

• 간격 그래프와 산림에서 최소 로마 지배 함수의 수는 정확히 Ω(√3^n)이며, 열거 알고리즘은 O(1.7321^n) 시간에 작동하여 최적성을 달성한다.
• 순환 그래프의 경우, 열거 알고리즘이 O(1.8940^n) 시간에 작동하며, 일반 그래프의 O(1.9332^n) 보다 향상된 성능을 보인다.
• 스플릿 그래프와 코이바이파트라이트 그래프의 경우, 알고리즘이 O(1.4656^n) 시간에 작동하며, Ω(√2^n)의 하한값에 매우 가깝다.
• 경로에서 최소 RDF의 수를 세는 재귀 공식을 도출하여 정확한 열거 및 분석이 가능해졌다.
• 이 논문은 로마 지배의 확장 문제가 다항시간 내에 해결 가능하다는 것을 입증하였으며, 이는 다항 지연 열거의 가능성을 뒷받침한다.
• 결과적으로, 순환 그래프 및 기타 클래스에 대한 열거 복잡도 향상은 여전히 열린 문제로 남아 있다.