[논문 리뷰] A Strongly Polynomial-Time Algorithm for Weighted General Factors with Three Feasible Degrees

Shuai Shao, Stanislav Živný|arXiv (Cornell University)|2023. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 실수 값을 갖는 간선 가중치를 가진 가중 일반 요소 문제에 대해 강한 다항식 시간 알고리즘을 제시한다. 여기서 각 정점의 차수 제약은 길이가 1인 간격이 최대 하나뿐인 구조를 가진다. 이 방법은 새로운 기법의 기구 구조를 활용하며, 비구간 제약을 다룰 수 있도록 매칭 실현 이론을 확장한다. 기구를 통한 감소가 불가능하다는 것을 증명한다. 주요 기여는 이전에 강한 다항식 시간 내에 해결 가능하다는 것이 알려지지 않았던 가중 일반 요소 문제의 한 클래스에 대해 다항식 시간 해법을 제공한다는 점이다.

ABSTRACT

General factors are a generalization of matchings. Given a graph G with a set π(v) of feasible degrees, called a degree constraint, for each vertex v of G, the general factor problem is to find a (spanning) subgraph F of G such that deg_F(v) ∈ π(v) for every v of G. When all degree constraints are symmetric Δ-matroids, the problem is solvable in polynomial time. The weighted general factor problem is to find a general factor of the maximum total weight in an edge-weighted graph. Strongly polynomial-time algorithms are only known for weighted general factor problems that are reducible to the weighted matching problem by gadget constructions. In this paper, we present a strongly polynomial-time algorithm for a type of weighted general factor problems with real-valued edge weights that is provably not reducible to the weighted matching problem by gadget constructions. As an application, we obtain a strongly polynomial-time algorithm for the terminal backup problem by reducing it to the weighted general factor problem.

연구 동기 및 목표

• 특정 차수 제약 조건 하에서 가중 일반 요소 문제에 대해 강한 다항식 시간 알고리즘을 개발한다.
• 기구 구조를 통한 감소가 불가능한 차수 제약 조건의 클래스를 식별하고 특성화한다.
• 비구간 차수 제약 조건에 대해 매칭 실현 이론을 길이가 최대 1인 간격을 가진 경우로 확장한다.
• 세 가지 가능한 차수를 가진 가중 일반 요소 문제의 복잡도 상태를 규명한다. 특히 제약 조건이 구간이거나, 짝수-구간이 아닐 경우를 중심으로 한다.

제안 방법

• 대칭 ∆-매트로이드를 기반으로 한 특수 기구를 구성하여 길이가 최대 1인 간격을 가진 차수 제약 조건을 실현한다.
• 기구 그래프에서 교호 경로 분해를 사용하여 타당 집합의 대칭 차집합 성질을 분석한다.
• 완전 매칭의 구조적 성질을 이용하여, 차수 제약 조건이 매칭 실현 가능하다는 것은 그 모든 간격이 길이 0 또는 1이어야 한다는 것을 증명한다.
• 혼합된 간격 길이를 가진 제약 조건(예: {p, p+1, p+3})이 매칭 실현 가능하지 않음을 보여줌으로써, 비감소 가능한 가중 일반 요소 문제의 특성화를 확립한다.
• 기구 구조를 활용하여 일반 요소 문제를 확장된 그래프에서 완전 매칭 문제로 매핑함으로써, 가중치와 타당성을 유지한다.
• 결과적으로 얻어진 알고리즘이 간선 가중치의 크기에 영향을 받지 않고 강한 다항식 시간 내에 실행된다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 기구 구조를 통한 감소가 불가능한 실수 값의 간선 가중치를 가진 가중 일반 요소 문제에 대해 강한 다항식 시간 내에 해결할 수 있는가?
• RQ2 차수 제약 조건의 어떤 구조적 조건이 가중 일반 요소 문제의 다항식 시간 내 해결 가능성을 보장하는가?
• RQ3 길이가 최대 1인 간격을 가진 차수 제약 조건 중에서 매칭 실현 가능하지만 여전히 다항식 시간 내에 해결 가능한 클래스가 존재하는가?
• RQ4 제한된 간격을 가진 차수 제약 조건에 대해 매칭 실현 가능한 ∆-매트로이드의 정확한 특성은 무엇인가?
• RQ5 가능한 차수 집합이 혼합된 간격 길이를 가진 경우, 가중 일반 요소 문제에 대해 강한 다항식 시간 알고리즘을 구성할 수 있는가?

주요 결과

• 실수 값의 간선 가중치를 가진 가중 일반 요소 문제에 대해 강한 다항식 시간 알고리즘을 제시한다. 여기서 각 정점의 차수 제약은 길이가 최대 1인 간격을 가지며, 기구 구조를 통한 감소가 불가능하다.
• 길이가 최대 1인 간격을 가진 차수 제약 조건이 매칭 실현 가능하다는 것은 그 모든 간격이 길이 0 또는 1이어야 한다는 것을 증명하여 완전한 특성화를 제공한다.
• 세 개의 연속된 정수 중 중간 값이 누락된 제약 조건(예: {p, p+1, p+3})은 매칭 실현 가능하지 않으며, 따라서 기구를 통한 감소도 불가능하다.
• 알고리즘은 일반 요소 문제를 확장된 그래프에서 완전 매칭 문제로 매핑하는 기구 그래프를 구성하여 최적성과 타당성을 유지한다.
• 해결 방법은 강한 다항식 시간이므로, 실행 시간이 간선 수와 정점 수에만 의존하며, 간선 가중치의 크기에는 영향을 받지 않는다.
• 결과적으로 구간 또는 짝수-구간 제약 조건을 초월하여 해결 가능한 가중 일반 요소 문제의 클래스를 확장하며, 조합 최적화 분야의 열린 문제를 해결한다.