[논문 리뷰] PTAS for Ordered Instances of Resource Allocation Problems with Restrictions on Inclusions

Kamyar Khodamoradi, Ramesh Krishnamurti외 2명|arXiv (Cornell University)|2016. 10. 01.

Supply Chain and Inventory Management참고 문헌 4인용 수 3

한 줄 요약

이 논문은 각 플레이어의 자원에 대한 관심이 연속된 간격을 이룰 때, 순서화되고 포함관계가 없는 인스턴스에서 Max-Min 및 Min-Max 자원 할당 문제에 대해 다항시간근사계량기법(PTAS)을 제시한다. 이 방법은 반올림된 인스턴스 값에 대한 동적 프로그래밍과 나머지 그래프 재구성 기법을 사용하여 (1 + 4/k + 3/k²)-근사값을 달성하며, 볼록 이분그래프와 포함관계가 없는 이분순열그래프에 대해 PTAS의 가능성을 입증한다.

ABSTRACT

We consider the problem of allocating a set $I$ of $m$ indivisible resources (items) to a set $P$ of $n$ customers (players) competing for the resources. Each resource $j \in I$ has a same value $v_j > 0$ for a subset of customers interested in $j$, and zero value for the remaining customers. The utility received by each customer is the sum of the values of the resources allocated to her. The goal is to find a feasible allocation of the resources to the interested customers such that for the Max-Min allocation problem (Min-Max allocation problem) the minimum of the utilities (maximum of the utilities) received by the customers is maximized (minimized). The Max-Min allocation problem is also known as the extit{Fair Allocation problem}, or the extit{Santa Claus problem}. The Min-Max allocation problem is the problem of Scheduling on Unrelated Parallel Machines, and is also known as the $R \, | \, | C_{\max}$ problem. In this paper, we are interested in instances of the problem that admit a Polynomial Time Approximation Scheme (PTAS). We show that an ordering property on the resources and the customers is important and paves the way for a PTAS. For the Max-Min allocation problem, we start with instances of the problem that can be viewed as a extit{convex bipartite graph}; a bipartite graph for which there exists an ordering of the resources such that each customer is interested in (has a positive evaluation for) a set of extit{consecutive} resources. We demonstrate a PTAS for the inclusion-free cases. This class of instances is equivalent to the class of bipartite permutation graphs. For the Min-Max allocation problem, we also obtain a PTAS for inclusion-free instances. These instances are not only of theoretical interest but also have practical applications.

연구 동기 및 목표

• 순서화되고 포함관계가 없는 인스턴스에서 Max-Min 및 Min-Max 자원 할당 문제에 대한 PTAS를 개발하는 것.
• PTAS 설계를 가능하게 하는 구조적 성질—특히 순서화 및 포함관계 없음—을 규명하는 것.
• 볼록 이분그래프와 포함관계가 없는 이분순열그래프가 공정한 할당 및 스케줄링 문제에 대해 PTAS를 수용함을 입증하는 것.
• 값 반올림과 나머지 그래프 재구성 기반의 동적 프로그래밍 접근법이 (1 + 4/k + 3/k²)-근사값을 도출함을 보여주는 것.
• 자원 할당 문제의 인스턴스에 대해 PTAS 해법 가능 여부와 불가능 여부를 분류하는 이분법 분류 가능성 탐구

제안 방법

• 자원 할당 문제를 I(항목 집합)와 P(플레이어 집합)로 구성된 이분그래프 H = (I, P, E)로 모델링하며, 간선은 양의 평가를 나타낸다.
• 값 반올림을 통해 항목의 값을 1/k의 유리수 배수로 이산화하여, 반올림된 벡터에 대한 다항시간 동적 프로그래밍을 가능하게 한다.
• 가능한 할당을 추적하기 위해 크기가 m × n^{C+1}인 동적 프로그래밍 테이블 T를 구성하며, 각 항목은 비트 플래그와 이전 상태로의 포인터를 저장한다.
• 부분 할당의 타당성을 확인하기 위해 '복원' 함수를 사용하는 전진 단계 알고리즘을 적용하여 테이블을 채운다. 이 함수는 나머지 그래프를 재구성한다.
• 포인터를 통해 후진 재구성 기법을 사용하여 테이블에서 실제 할당을 복구하며, 반올림된 인스턴스에서 각 기계의 총 부하가 최적값의 (1 + 3/k) 이내임을 보장한다.
• 정렬 오차 경계와 반올림 오차 분석을 조합하여 원래 문제에 대한 총 근사 비율이 (1 + 4/k + 3/k²)임을 증명한다.

실험 결과

연구 질문

• RQ1 순서화되고 포함관계가 없는 인스턴스에서 Max-Min 및 Min-Max 자원 할당 문제에 대해 PTAS를 설계할 수 있는가?
• RQ2 이분그래프의 어떤 구조적 성질—특히 순서화 및 포함관계 없음—이 PTAS 존재를 가능하게 하는가?
• RQ3 값 반올림과 나머지 그래프 재구성 기법이 자원 할당 문제에서 근사 보장을 유지하는 데 얼마나 효과적인가?
• RQ4 PTAS를 수용하는 이분그래프 클래스와 수용하지 않는 클래스를 분리하는 이분법이 존재하는가?
• RQ5 동적 프로그래밍 접근법을 간격 포함 인스턴스로 확장할 수 있는가?

주요 결과

• 포함관계가 없는 볼록 이분그래프에서 Max-Min 할당 문제에 대해 PTAS가 확립되었으며, 이는 이분순열그래프와 동일하다.
• 동일한 포함관계가 없는 순서화 조건 하에서 Min-Max 할당 문제(R||C_max)에 대해서도 PTAS가 개발되었다.
• 값 반올림과 나머지 그래프 재구성 기법을 조합하여 두 문제 모두 (1 + 4/k + 3/k²)-근사값을 달성한다.
• 알고리즘의 실행 시간은 O((m + n) × n^{2(C+1)})이며, 고정된 k에 대해 입력 크기의 다항식이다.
• 가능성 증명 보조정리에 의해, 1-할당이 존재할 경우 항상 (1 + 1/k)-할당이 존재함을 증명하여 알고리즘의 정확성이 입증된다.
• 이러한 접근법은 자원 할당 문제에서 구조적 순서화 및 포함관계 없음 조건이 PTAS 존재에 충분한 조건임을 보여준다.