[논문 리뷰] Combinatorial Optimization Problems with Interaction Costs: Complexity and Solvable Cases

Stefan Lendl, Ante Ćustić외 1명|arXiv (Cornell University)|2017. 07. 08.

Data Management and Algorithms참고 문헌 41인용 수 5

한 줄 요약

이 논문은 상호작용 비용을 포함하는 조합 최적화 문제(COPIC)를 소개한다. 이는 이중 조합 구조 간의 상호작용 비용을 통합하고 일반화하여 고전적 문제들인 이차 할당 문제와 이차 할당 문제를 포함하는 일반적 프레임워크이다. 주요 기여는 다양한 구조 가족(예: 스패닝 트리, 경로, 매트로이드)과 상호작용 비용 행렬(고정 질량 및 대각선 행렬 포함)에 대해 COPIC의 체계적 복잡도 분석을 수행한 것으로, COPIC 인스턴스가 선형화 가능해지며 다항식 시간 내에 해결 가능한 조건을 규명하였다.

ABSTRACT

We introduce and study the combinatorial optimization problem with interaction costs (COPIC). COPIC is the problem of finding two combinatorial structures, one from each of two given families, such that the sum of their independent linear costs and the interaction costs between elements of the two selected structures is minimized. COPIC generalizes the quadratic assignment problem and many other well studied combinatorial optimization problems, and hence covers many real world applications. We show how various topics from different areas in the literature can be formulated as special cases of COPIC. The main contributions of this paper are results on the computational complexity and approximability of COPIC for different families of combinatorial structures (e.g. spanning trees, paths, matroids), and special structures of the interaction costs. More specifically, we analyze the complexity if the interaction cost matrix is parameterized by its rank and if it is a diagonal matrix. Also, we determine the structure of the intersection cost matrix, such that COPIC is equivalent to independently solving linear optimization problems for the two given families of combinatorial structures.

연구 동기 및 목표

• 두 해법 집합 간의 상호작용 비용을 포함하는 조합 최적화의 통합 프레임워크를 체계화하고 연구하기.
• 스패닝 트리, 경로, 매트로이드와 같은 기본적인 조합 구조 가족에 대해 COPIC의 계산 복잡도를 분석하기.
• 특히 고정 질량 및 대각선 행렬 구조를 갖는 특수한 상호작용 비용 행렬이 COPIC의 해법 가능성에 미치는 영향을 조사하기.
• COPIC 인스턴스가 선형화 가능해지는 조건, 즉 선형 최적화 문제로 환원 가능한 조건을 규명하기.
• 조합 문제에서 상호작용 비용이 NP-난이도의 주요 원인임을 이해하기 위한 이론적 기초를 마련하기.

제안 방법

• 주어진 가족에서 선택된 두 구조 간의 독립적 선형 비용과 쌍별 상호작용 비용의 합을 최소화하는 방식으로 COPIC를 체계화하기.
• 다양한 상호작용 비용 행렬 Q가 고정 질량 r을 갖는 경우, 다중 매개변수 프로그래밍을 사용하여 COPIC 인스턴스를 분석하고, 매개변수화된 복잡도 분석을 가능하게 하기.
• 상호작용 비용 행렬 Q가 등가의 선형 비용으로 대체될 수 있는 조건을 규명함으로써 선형화 가능한 COPIC 인스턴스를 특성화하기.
• 비용 벡터 다면체(CVP) 개념을 적용하여, 완벽한 매칭 및 스패닝 트리와 같은 특정 가족에서 상호작용 비용이 선형 항에 흡수될 수 있는 조건을 규명하기.
• 대각선 상호작용 비용 행렬을 사용하여 상호 배타성 및 포장 제약 조건을 모델링하고, 비매트로이드 가족에 대해서조차도 이러한 행렬 구조 하에서 NP-난이도임을 증명하기.
• 구조적 보조정리와 모순에 의한 증명을 통해 비제약 및 제약 조건이 있는 설정에서 선형화 가능성에 대한 필요 및 충분 조건을 확립하기.

실험 결과

연구 질문

• RQ1 고정 질량 상호작용 비용 행렬을 갖는 COPIC가 다항식 시간 내에 해결 가능한 조건은 무엇이며, 랭크에 따라 매개변수화했을 때 W[1]-난이도를 띠는가?
• RQ2 가능성 집합이 경로 또는 스패닝 트리인 경우, 대각선 상호작용 비용 행렬을 갖는 COPIC는 효율적으로 해결 가능한가? 그리고 매트릭스의 대역폭에 따라 매개변수화된 복잡도는 어떻게 되는가?
• RQ3 상호작용 비용 행렬이 대각선이고, 모든 선형 비용이 비음이 아닌 경우, 특정 가족(예: 유한 크기의 부분집합, s-t 경로)에 대해 COPIC가 다항식 시간 내에 해결 가능한가?
• RQ4 비용에 부호 제약 조건이 없는 임의의 매트로이드 가족에 대해, 대각선 상호작용 비용을 갖는 COPIC는 다항식 시간 내에 해결 가능한가?
• RQ5 매칭 컷 문제는 대각선 COPIC의 특수한 경우로 표현될 수 있는가? 그리고 그래프 컷 최적화에 대해 어떤 함의를 지니는가?

주요 결과

• COPIC는 이차 할당 문제, 이차 할당 문제 및 기타 고전적 조합 최적화 문제들을 특수한 경우로 포함한다.
• 완전 이분 그래프에서의 완벽한 매칭에 대해, COPIC는 상호작용 비용 행렬 Q가 두 번째 가족의 CVP에 속할 때에만 선형화 가능하다.
• 한 가족이 멱집합(2^[m])인 경우, COPIC는 상호작용 비용 행렬 Q가 다른 가족의 CVP에 속할 때에만 선형화 가능하며, 이 조건은 상호작용 비용이 선형화될 수 있음을 보장한다.
• 심지어 대각선 상호작용 비용 행렬의 경우에도, 비매트로이드 가족(예: 스패닝 트리, 경로)에 대해 COPIC는 여전히 NP-난이도를 띤다. 이는 상호작용 비용이 매트릭스의 구조와 무관하게 난이도를 유도할 수 있음을 시사한다.
• 이 논문은 CVP 프레임워크를 통해 스패닝 트리 및 완벽한 매칭과 같은 여러 조합 구조에 대해 선형화 가능한 COPIC 인스턴스의 완전한 특성화를 확립한다.
• 비제약 해법 집합(2^[m] 또는 2^[n])에 대해, 선형화 가능성은 상호작용 비용 행렬 Q가 부분집합에 대해 특정 합 불변 조건을 만족할 때에만 성립하며, 이는 CVP 조건에 의해 기록된다.