[논문 리뷰] Finding Diverse Minimum s-t Cuts

Mark de Berg, Andrés López Martínez외 1명|arXiv (Cornell University)|2023. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 k-다양성 최소 s-t 컷 문제를 도입하고 연구하며, 두 가지 측정 기준인 쌍별합 다양성과 커버리지 다양성에 기반해 최소 s-t 컷 집합의 다양성을 극대화하기 위한 효율적인 알고리즘을 제안한다. 이들은 하위모듈라 함수 최소화를 활용해 강한 다항식 시간 내에 해결 가능하다는 것을 증명하며, 분배 격자(algebraic structure of distributive lattices)의 구조를 활용한다. 반면, 브로크너스 다양성 측정 기준(최소 쌍별 해밍 거리)은 k=3일 때조차 NP-난이도임을 보여준다.

ABSTRACT

Recently, many studies have been devoted to finding diverse solutions in classical combinatorial problems, such as Vertex Cover (Baste et al., IJCAI'20), Matching (Fomin et al., ISAAC'20) and Spanning Tree (Hanaka et al., AAAI'21). Finding diverse solutions is important in settings where the user is not able to specify all criteria of the desired solution. Motivated by an application in the field of system identification, we initiate the algorithmic study of k-Diverse Minimum s-t Cuts which, given a directed graph G = (V, E), two specified vertices s,t ∈ V, and an integer k > 0, asks for a collection of k minimum s-t cuts in G that has maximum diversity. We investigate the complexity of the problem for two diversity measures for a collection of cuts: (i) the sum of all pairwise Hamming distances, and (ii) the cardinality of the union of cuts in the collection. We prove that k-Diverse Minimum s-t Cuts can be solved in strongly polynomial time for both diversity measures via submodular function minimization. We obtain this result by establishing a connection between ordered collections of minimum s-t cuts and the theory of distributive lattices. When restricted to finding only collections of mutually disjoint solutions, we provide a more practical algorithm that finds a maximum set of pairwise disjoint minimum s-t cuts. For graphs with small minimum s-t cut, it runs in the time of a single max-flow computation. These results stand in contrast to the problem of finding k diverse global minimum cuts - which is known to be NP-hard even for the disjoint case (Hanaka et al., AAAI'23) - and partially answer a long-standing open question of Wagner (Networks 1990) about improving the complexity of finding disjoint collections of minimum s-t cuts.

연구 동기 및 목표

• 사용자가 원하는 솔루션 기준을 완전히 정의할 수 없는 상황에서 k개의 다양성 있는 최소 s-t 컷을 선택하는 데 도전하는 것.
• 쌍별합, 커버리지, 브로크너스 다양성이라는 세 가지 자연스러운 측정 기준을 사용해 최소 s-t 컷의 다양성을 체계화하는 것.
• 각 다양성 측정 기준 하에서 k개의 다양성 있는 최소 s-t 컷을 찾는 계산 복잡도를 조사하는 것.
• 특히 최소 컷 크기가 작은 그래프에 대해, 상호배타적인 최소 s-t 컷 집합을 효율적으로 찾는 실용적이고 효율적인 알고리즘을 개발하는 것.
• 기존의 전역 최소 컷에 대해 NP-난이도임이 알려진 것과 대비하여, 상호배타적인 최소 s-t 컷을 찾는 데 있어 복잡도를 향상시키는 데 대한 오랜 동안 미해결된 질문을 해결하는 것.

제안 방법

• 세 가지 측정 기준을 사용해 다양성 체계화: 쌍별 해밍 거리의 합(dsum), 유니온 크기(dcov), 최소 쌍별 해밍 거리(dmin).
• dsum 및 dcov 다양성 극대화가 하위모듈라 함수 최소화를 통해 강한 다항식 시간 내에 해결 가능하다는 것을 증명.
• 최소 s-t 컷의 순서된 집합과 분배 격자 이론 사이의 연결 고리를 확립하여 효율적인 최적화를 가능하게 한다.
• 작은 최소 컷 크기를 가진 그래프에서, 최대 수의 상호배타적인 최소 s-t 컷을 찾는 데 더 실용적인 알고리즘을 설계하며, 이는 최대 유량 계산 시간 내에 수행된다.
• k=3일 때 dmin 다양성 극대화 문제가 NP-난이도임을 보이기 위해 이분 그래프에서 제약 조건이 있는 정점 커버 문제로의 환원을 수행.
• 2-고정 3-DMC 인스턴스에서 Min-3-DMC 인스턴스로의 변환을 사용하여, 제약 조건이 있는 정점 커버 문제로부터의 환원을 통해 NP-난이도를 증명.

실험 결과

연구 질문

• RQ1 쌍별합 다양성 측정 기준 하에서 k-다양성 최소 s-t 컷 문제는 효율적으로 해결될 수 있는가?
• RQ2 커버리지 다양성 측정 기준은 최소 s-t 컷 맥락에서 다항식 시간 최적화에 적합한가?
• RQ3 브로크너스 다양성 측정 기준(최소 쌍별 해밍 거리)을 극대화하는 데 있어 k-다양성 최소 s-t 컷 문제의 복잡도는 어떠한가?
• RQ4 일般적인 다양성 극대화보다 상호배타적인 최소 s-t 컷 집합을 찾는 데 더 빠른 알고리즘을 개발할 수 있는가?
• RQ5 최소 s-t 컷의 대수적 구조, 특히 격자 성질은 표준 하위모듈라 최소화를 초월해 효율적인 최적화를 가능하게 하는가?

주요 결과

• 쌍별합 다양성(dsum)을 사용한 k-다양성 최소 s-t 컷 문제는 하위모듈라 함수 최소화를 통해 강한 다항식 시간 내에 해결 가능하다.
• 커버리지 다양성(dcov) 변형 역시 동일한 하위모듈라 최적화 프레임워크를 통해 강한 다항식 시간 내에 해결 가능하다.
• 최소 컷 크기가 작은 그래프에서, 상호배타적인 최소 s-t 컷의 최대 수를 찾는 데 더 실용적인 알고리즘이 존재하며, 이는 단일 최대 유량 계산 시간 내에 수행된다.
• 브로크너스 다양성 측정 기준(dmin)은 k=3일 때조차 NP-난이도 문제로 이어지며, 이는 이분 그래프에서 제약 조건이 있는 정점 커버 문제로부터의 환원을 통해 증명된다.
• 이 연구는 Wagner(1990)가 제기한 오랜 동안 미해결된 질문을 해결하며, 특정 다양성 측정 기준 하에서는 상호배타적인 최소 s-t 컷을 찾는 데 있어 복잡도 향상이 가능하다는 것을 보여준다.
• 연구 결과는 최소 s-t 컷의 대수적 구조, 특히 그 격자 성질이 특정 다양성 목표를 위한 효율적인 최적화를 가능하게 한다는 점을 드러낸다.