[논문 리뷰] Reducing the rank of a matroid

Gwenaël Joret, Adrian Vetta|arXiv (Cornell University)|2012. 11. 20.

Advanced Graph Theory Research참고 문헌 14인용 수 5

한 줄 요약

이 논문은 매트로이드에서 질량 감소 문제를 조사하며, 이는 전이 매트로이드의 경우, 이 문제의 근사화가 가장 조밀한 $k$-부분그래프 문제만큼 어렵다는 것을 보여주며, 강력한 근사 불가능성 결과를 암시한다. 이 논문은 두 개의 파artition 매트로이드의 교차에 대해 NP-난이도를 증명하고, 이중 그래프에서 최대 정점 커버 문제의 NP-난이도를 해결하여 열린 문제를 해결한다.

ABSTRACT

We consider the rank reduction problem for matroids: Given a matroid M and an integer k, find a minimum size subset of elements of M whose removal reduces the rank of M by at least k. When M is a graphical matroid this problem is the minimum k-cut problem, which admits a 2-approximation algorithm. In this paper we show that the rank reduction problem for transversal matroids is essentially at least as hard to approximate as the densest k-subgraph problem. We also prove that, while the problem is easily solvable in polynomial time for partition matroids, it is NP-hard when considering the intersection of two partition matroids. Our proof shows, in particular, that the maximum vertex cover problem is NP-hard on bipartite graphs, which answers an open problem of B. Simeone.

연구 동기 및 목표

• 그래프 매트로이드를 초월한 매트로이드 클래스에서 질량 감소 문제의 계산 복잡도를 연구하는 것.
• 전이 매트로이드에서 질량 감소 문제에 대해 좋은 근사 알고리즘이 존재하는지 여부를 규명하는 것.
• 최대 정점 커버 문제의 NP-난이도가 이중 그래프에서 성립하는지 여부를 해결하는 열린 문제를 해결하는 것.
• 감소화를 통해 질량 감소 문제와 가장 조밀한 $k$-부분그래프 문제 사이의 연결 고리를 수립하는 것.
• 두 개의 파artition 매트로이드 교차에서 질량 감소 문제의 복잡도를 분석하는 것.

제안 방법

• 가장 조밀한 $k$-부분그래프 문제에서 전이 매트로이드의 질량 감소 문제로의 감소를 통해, 질량 감소 문제에 대한 $O(m^\varepsilon)$-근사가 존재하면 가장 조밀한 $k$-부분그래프 문제에 대한 $O(n^{4\varepsilon})$-근사가 존재함을 보여주는 것.
• 주어진 그래프 $H$에서 이중 그래프 $G$를 구성하여, 원소들이 전이 매트로이드 프레임워크 내에서 정점과 간선에 대응되도록 최대 정점 커버 문제를 모델링하는 것.
• 분석을 단순화하고 반복적 개선을 가능하게 하기 위해 '좋은' 부분 정점 커버와 'a-성질'을 도입하는 것.
• 정점 커버 기반의 간선 유형에 따라 덮히지 않은 간선 수를 연결하는 구조적 주장들을 사용하여, 공식 $c(X) = ||G|| - e_1(X) - 2e_2(X) - 3e_3(X)$을 도출하는 것.
• $H$에 $\ell$-클리크가 존재하는 것과 질량 감소 문제에서 최적 값 $||G|| - \binom{\ell}{2}$를 달성하는 것 사이의 동치성을 증명하는 것.
• 조합적 경계와 보조정리 4.2를 활용하여 $f(x,y,z) \geq \binom{\ell}{2}$임을 보여주며, 이는 최대 정점 커버의 최적 조건을 암시한다.

실험 결과

연구 질문

• RQ1 전이 매트로이드에서 질량 감소 문제는 가장 조밀한 $k$-부분그래프 문제만큼 근사하기 어려운가?
• RQ2 전이 매트로이드에서 질량 감소 문제는 상수 요인 근사 알고리즘을 갖는가?
• RQ3 Simeone의 추측에 따르면, 이중 그래프에서 최대 정점 커버 문제의 NP-난이도는 성립하는가?
• RQ4 두 개의 파artition 매트로이드 교차에서 질량 감소 문제는 다항 시간 내에 해결 가능한가?
• RQ5 기초가 되는 그래프의 구조와 전이 매트로이드에서 질량 감소 문제의 최적 해 사이의 관계는 무엇인가?

주요 결과

• 전이 매트로이드에서 질량 감소 문제의 근사화는 가장 조밀한 $k$-부분그래프 문제만큼 어렵다. 이는 $O(m^\varepsilon)$-근사가 존재하면 가장 조밀한 $k$-부분그래프 문제에 대한 $O(n^{4\varepsilon})$-근사가 존재함을 의미한다.
• 최대 정점 커버 문제는 이중 그래프에서 NP-난이도를 가지며, B. Simeone가 제기한 열린 문제를 해결한다.
• 파artition 매트로이드에서 질량 감소 문제는 다항 시간 내에 해결 가능하지만, 두 개의 파artition 매트로이드 교차를 고려할 경우 NP-난이도가 된다.
• 구축된 전이 매트로이드에서 질량 감소 문제의 최적 해는 원래 그래프 $H$에 $\ell$-클리크가 존재하는 것과 정확히 일치하며, 이는 클리크 문제에서 질량 감소 문제로의 다항 시간 감소를 가능하게 한다.
• 기초가 되는 그래프 $H$에 $\ell$-클리크가 존재할 때에만 질량 감소 문제의 최적 값이 $||G|| - \binom{\ell}{2}$가 된다.
• 논문은 덮히지 않은 간선 수와 보조 그래프의 간선 유형 사이의 밀접한 연결 고리를 수립하였으며, 이를 공식 $c(X) = ||G|| - e_1(X) - 2e_2(X) - 3e_3(X)$로 정량화하였다.