[논문 리뷰] On the Complexity Landscape of Connected f-Factor Problems

Gregory Gutin, Magnus Wahlström외 1명|arXiv (Cornell University)|2013. 08. 12.

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

한 줄 요약

이 논문은 방향성 있는 농촌 우편배달 문제(DRPP)와 그 무방향 버전인 URPP를 O*(2^k) 시간 내에 해결하는 랜덤화 알고리즘을 제시한다. 여기서 k는 필수 간선 집합 R의 약한 연결 성분 수이다. 유한체 위에서 다항식의 항등성 검증과 행렬 행렬식 기반의 대수적 기법을 사용하여, 정점 수에 대해 다항식으로 유 bounds된 ℓ(예산)을 가정할 경우 DRPP가 고정 매개변수 복잡도(FPT)임을 증명함으로써, 고정 매개변수 복잡도 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

Given an n-vertex graph G and a function f:V(G) -> {0, ..., n-1}, an f-factor is a subgraph H of G such that deg_H(v)=f(v) for every vertex v in V(G); we say that H is a connected f-factor if, in addition, the subgraph H is connected. A classical result of Tutte (1954) is the polynomial time algorithm to check whether a given graph has a specified f-factor. However, checking for the presence of a connected f-factor is easily seen to generalize Hamiltonian Cycle and hence is NP-complete. In fact, the Connected f-Factor problem remains NP-complete even when f(v) is at least n^epsilon for each vertex v and epsilon<1; on the other side of the spectrum, the problem was known to be polynomial-time solvable when f(v) is at least n/3 for every vertex v. In this paper, we extend this line of work and obtain new complexity results based on restricting the function f. In particular, we show that when f(v) is required to be at least n/(log n)^c, the problem can be solved in quasi-polynomial time in general and in randomized polynomial time if c <= 1. We also show that when c>1, the problem is NP-intermediate.

연구 동기 및 목표

• 필수 간선 집합 R의 약한 연결 성분 수 k로 매개변수화된 Directed Rural Postman Problem(DRPP)이 고정 매개변수 복잡도(FPT)인지 여부를 해결하는 것.
• 이 결과를 무방향 Rural Postman Problem(URPP)로 확장하여 동일한 매개변수 복잡도 상한이 적용됨을 보이는 것.
• DRPP와 Conjoining Bipartite Matching(CBM) 문제 간의 연결 고리를 설정하고, |F|(필수 연결 수)로 매개변수화할 경우 CBM도 랜덤화 FPT임을 증명하는 것.
• Eulerian Extension 문제(즉, DRPP와 동치임)를 효율적으로 해결하기 위해 유한체 위에서 다항식 행렬식과 행렬 행렬식을 사용하는 대수적 프레임워크를 구축하는 것.
• ℓ이 정점 수에 대해 다항식으로 유 bounds된 현실적인 조건 하에서 알고리즘이 효율적으로 작동함을 보이는 것.

제안 방법

• 저자는 DRPP를 Eulerian Extension(EE) 문제로 감소시키며, 이는 DRPP와 동치이며, 이를 해결하기 위해 대수적 기법을 사용한다.
• 특정 그래프에서의 완벽 매칭을 세는 다항식 Q(¯x, z)를 특성 2인 체 위에서 정의하며, 이는 결과적으로 확장된 그래프가 약하게 연결되도록 한다.
• 알고리즘은 zeta 변환과 동적 프로그래밍을 사용하여, 경로 길이를 계산하고 행렬 연산을 통해 조합함으로써 Q(¯x, z)를 O*(2^k) 시간 내에 평가한다.
• Conjoining Bipartite Matching(CBM) 문제의 경우, 보조 변수 yf와 z를 포함한 Tutte 유형의 행렬의 수정된 행렬식을 사용하여 매칭 제약 조건과 총 무게를 인코딩한다.
• Lemma 18을 사용한 다항식 항등성 검증 기법을 적용하여, 모든 필수 연결 f ∈ F가 충족되고 총 무게(변수 z의 차수)가 ℓ 이하인 단항식을 분리한다.
• 최종 결정은 GF(2^r)에서 적절한 r에 대해 랜덤 계산에 기반하며, 행렬식에 모든 yf 변수가 포함된 저차수 단항식이 존재하는지 여부에 따라 내림표를 내린다.

실험 결과

연구 질문

• RQ1 필수 간선 집합 R의 약한 연결 성분 수 k로 매개변수화된 Directed Rural Postman Problem(DRPP)은 고정 매개변수 복잡도(FPT)인가?
• RQ2 동일한 랜덤화 FPT 알고리즘을 무방향 Rural Postman Problem(URPP)로 확장할 수 있는가?
• RQ3 동일한 예산 제약 조건 하에서, 필수 연결 수 |F|로 매개변수화된 Conjoining Bipartite Matching(CBM) 문제는 FPT인가?
• RQ4 다항식 행렬식과 행렬식 기반 기법을 사용하여, 매개변수 설정 환경에서 Eulerian Extension 문제를 효율적으로 해결할 수 있는가?
• RQ5 이 알고리즘은 랜덤화를 제거할 수 있는가, 아니면 이 접근법에서 랜덤성은 본질적인가?

주요 결과

• 논문은 ℓ가 정점 수에 대해 다항식으로 유 bounds된 조건 하에서 DRPP에 대해 O*(2^k) 시간 내에 실행되는 랜덤화 알고리즘을 제시하며, 30년간의 열린 문제를 해결한다.
• 동일한 O*(2^k) 알고리즘이 무방향 Rural Postman Problem(URPP)에도 적용되며, 이는 방향성과 무방향 버전 모두가 동일한 매개변수화 하에서 랜덤화 FPT임을 보여준다.
• Conjoining Bipartite Matching(CBM) 문제는 |F|(필수 연결 수)로 매개변수화할 경우 랜덤화 O*(2^|F|) 시간 내에 해결 가능하며, 동일한 예산 제약 조건 하에서 성립한다.
• DRPP와 Eulerian Extension 간의 동치성을 활용하여 다항식 행렬식과 유한체 위에서의 행렬 행렬식을 포함한 대수적 기법을 적용한다.
• Lemma 18을 통한 다항식 항등성 검증의 새로운 응용을 통해, 모든 필수 연결과 총 무게 제약 조건을 충족하는 유효한 매칭을 분리한다.
• 알고리즘은 다항식 공간에서 작동하며, ℓ가 입력 크기의 다항식으로 유 bounds된 현실적인 가정 하에서 효율적이다.