[논문 리뷰] The constant objective value property for combinatorial optimization problems

Ante Ćustić, Bettina Klinz|arXiv (Cornell University)|2014. 05. 19.

Optimization and Packing Problems참고 문헌 19인용 수 3

한 줄 요약

이 논문은 모든 가용 해가 동일한 목적 함수 값을 갖는 조합 최적화 문제의 상수 목적 함수 값 성질(COVP)을 특성화한다. 축 방향 및 평면 d차원 할당 문제에서 COVP가 성립하는 것은 그들의 비용 배열이 합 분해 가능할 때이고, 오직 그때에만 성립한다. 이 결과는 일반적인 d차원 할당 문제로는 확장되지 않으며, 최소 스패닝 트리, 최단 경로, 최소 무게 최대 카디널리티 매칭 문제에 대해서도 유사한 특성화가 제시된다.

ABSTRACT

Given a combinatorial optimization problem, we aim at characterizing the set of all instances for which every feasible solution has the same objective value. Our central result deals with multi-dimensional assignment problems. We show that for the axial and for the planar $d$-dimensional assignment problem instances with constant objective value property are characterized by sum-decomposable arrays. We provide a counterexample to show that the result does not carry over to general $d$-dimensional assignment problems. Our result for the axial $d$-dimensional assignment problem can be shown to carry over to the axial $d$-dimensional transportation problem. Moreover, we obtain characterizations when the constant objective value property holds for the minimum spanning tree problem, the shortest path problem and the minimum weight maximum cardinality matching problem.

연구 동기 및 목표

• 모든 가용 해가 동일한 목적 함수 값을 갖는 조합 최적화 문제의 집합을 특성화하는 것.
• COVP와 적합한 변환 간의 관계를 조사하며, 특히 합 목적 함수의 맥락에서 이를 고려하는 것.
• 선형 할당 문제에서 알려진 COVP 결과를 고차원 할당 및 운반 문제로 확장하는 것.
• 모든 다차원 할당 문제에서 합 분해 가능성으로 COVP 인스턴스를 완전히 특성화할 수 있는지 판단하는 것.
• 최소 스패닝 트리, 최단 경로, 최소 무게 최대 카디널리티 매칭과 같은 고전 문제에 대한 COVP 특성화를 제공하는 것.

제안 방법

• 주어진 비용 벡터에 대해 모든 가용 해가 동일한 목적 함수 값을 갖는 조건으로 COVP를 정의한다.
• COVP와 적합한 변환 간의 대응 관계를 이용하여 문제를 비용 벡터의 분해로 재구성한다.
• 합 분해 가능 배열을 고차원으로 일반화한 것으로, 비용 항목이 d차원 벡터의 합으로 표현 가능한 배열을 도입한다.
• 축 방향 및 평면 d차원 할당 문제에서 COVP가 성립하는 것은 그들의 비용 배열이 합 분해 가능할 때이고, 오직 그때에만 성립함을 증명한다.
• 일반적인 d차원 할당 문제에서 합 분해 가능성이 COVP를 특성화하지 못함을 보여주는 반례를 구성한다.
• d차원 할당 문제의 결과를 활용하여 축 방향 d차원 운반 문제의 COVP 특성화를 도출한다.

실험 결과

연구 질문

• RQ1 어떤 종류의 d차원 할당 문제에서 COVP가 성립하는가에 대해 비용 배열이 합 분해 가능할 때에만 성립하는가?
• RQ2 합 분해 가능 배열을 통한 COVP 특성화가 모든 d차원 할당 문제로 확장되는가, 아니면 예외가 존재하는가?
• RQ3 간선 가중치에 어떤 조건이 성립하면, 방향 그래프에서 소스에서 싱크로 향하는 모든 경로의 총 가중치가 동일한가? (최단 경로 문제의 COVP)
• RQ4 짝수 차수의 완전 그래프에서 모든 완전 매칭의 총 가중치가 동일하게 보장되는 조건은 무엇인가? (매칭 문제의 COVP)
• RQ5 최소 스패닝 트리 문제에서 COVP는 간선 가중치 행렬의 어떤 구조적 성질로 특성화될 수 있는가?

주요 결과

• 축 방향 및 평면 d차원 할당 문제에서 COVP는 비용 배열이 합 분해 가능할 때이고, 오직 그때에만 성립한다.
• 반례를 통해, 비용 배열이 합 분해 가능하더라도 일반적인 d차원 할당 문제에서는 COVP가 성립하지 않을 수 있음을 보여준다.
• 축 방향 d차원 운반 문제의 COVP는 축 방향 d차원 할당 문제와 동일한 합 분해 가능 배열 조건으로 특성화된다.
• 방향 그래프에서 최단 경로 문제의 COVP는 간선 가중치가 정점 잠재력의 차이로 표현될 수 있을 때이고, 오직 그때에만 성립한다: w(i,j) = a_j - a_i.
• 무방향 최단 경로 문제의 COVP는 간선 가중치가 정점 잠재력의 차이로 표현될 수 있을 때이고, 오직 그때에만 성립한다.
• 완전 그래프에서 최소 무게 최대 카디널리티 매칭 문제의 경우: n이 홀수이면 모든 간선 가중치가 동일해야 하며, n이 짝수이면 가중치가 w(i,j) = a_i + a_j 형태로 표현될 수 있는 실수 벡터 A가 존재해야 한다.