[논문 리뷰] Integrality Gap of the Configuration LP for the Restricted Max-Min Fair Allocation

Siu-Wing Cheng, Yuchen Mao|arXiv (Cornell University)|2018. 07. 11.

Optimization and Search Problems참고 문헌 13인용 수 3

한 줄 요약

이 논문은 제한된 최대-최소 공정 할당 문제에 대한 구성 LP의 정수성 간격 상한을 4에서 23/6 ≈ 3.833으로 향상시켰다. 이는 자원 값을 축소시켜 간선 값의 분할 기반 분석을 활용한 것이다. 이 방법은 구성에서 유도된 초그래프에 대해 구축 기반 매칭 알고리즘을 사용하여, 임의의 δ > 0에 대해 최적 값에 대해 23/6 + δ 이내의 다항 시간 근사 알고리즘을 보장한다.

ABSTRACT

The max-min fair allocation problem seeks an allocation of resources to players that maximizes the minimum total value obtained by any player. Each player $p$ has a non-negative value $v_{pr}$ on resource $r$. In the restricted case, we have $v_{pr}\in \{v_r, 0\}$. That is, a resource $r$ is worth value $v_r$ for the players who desire it and value 0 for the other players. In this paper, we consider the configuration LP, a linear programming relaxation for the restricted problem. The integrality gap of the configuration LP is at least $2$. Asadpour, Feige, and Saberi proved an upper bound of $4$. We improve the upper bound to $23/6$ using the dual of the configuration LP. Since the configuration LP can be solved to any desired accuracy $δ$ in polynomial time, our result leads to a polynomial-time algorithm which estimates the optimal value within a factor of $23/6+δ$.

연구 동기 및 목표

• 제한된 최대-최소 공정 할당 문제에 대한 구성 LP의 정수성 간격 상한을 이전의 상한 4에서 알려진 하한 2와의 격차를 좁히기 위해 개선하기 위해.
• 구성 LP의 이중 분석을 통해 더 날카운 상한을 정수성 간격에 적용하기 위해.
• 임의의 δ > 0에 대해 최적 할당에 대해 23/6 + δ 이내의 다항 시간 알고리즘을 설계하기 위해.
• 이전의 구성에서 악성 간선 값 가정에 의존하는 한계를 극복하기 위해 자원 스케일링을 통한 분할된 이중 값 도입을 위해.

제안 방법

• 각 플레이어가 총 가치가 적어도 T 이상이 되는 자원의 부분집합을 받는 제한된 최대-최소 공정 할당 문제에 대한 구성 LP를 수립한다.
• 구성 LP의 이중을 도입하고 큰 자원의 값을 축소시켜 고가치 자원을 다수 포함한 간선의 이중 비용을 감소시킨다.
• 노드가 플레이어를 나타내고 초간선이 구성요소를 나타내는 초그래프를 구성한다; 얇은 간선의 차단 시퀀스를 사용하여 매칭 과정을 이끌어낸다.
• 이중 기반 분석을 적용하여 차단자와 추가 가능한 간선이 커버하는 자원의 총 이중 값을 유한하게 제한하며, 이 값이 1 − 4λ/3 이하임을 보장한다.
• 차단자 집합의 순서에서 사전순 감소를 기반으로 하여 서명 벡터를 사용하여 매칭 구성 알고리즘의 유한한 종료를 증명한다.
• 반복적인 빌드 및 수축 연산을 통해 초그래프에서 완전 매칭을 구성하여 각 플레이어가 적어도 λ 만큼의 자원을 확보하도록 보장한다.

실험 결과

연구 질문

• RQ1 제한된 최대-최소 공정 할당 문제에 대한 구성 LP의 정수성 간격에 대해 가능한 가장 날카운 상한은 무엇인가?
• RQ2 Asadpour, Feige, 및 Saberi가 확립한 4-근사 상한을 넘어서 이중 기반 분석이 향상시킬 수 있는가?
• RQ3 이중 LP에서 자원 값 스케일링은 고가치 구성요소와 간선의 비용을 어떻게 분할하여 보상할 수 있는가?
• RQ4 현재 제약 조건 하에 매칭 과정의 구성 알고리즘이 유한하고 다항 시간 내에 종료되는가?
• RQ5 분석을 더 정교하게 다듬어 정수성 간격을 23/6을 초과하여 더 줄일 수 있는가?

주요 결과

• 제한된 최대-최소 공정 할당 문제에 대한 구성 LP의 정수성 간격은 최대 23/6이며, 이는 이전의 상한 4를 향상시킨 것이다.
• 스케일링된 자원 값이 적용된 이중 LP 분석은 차단자 및 추가 가능한 간선의 총 이중 비용에 대해 더 날카운 분할된 상한을 가능하게 한다.
• 차단자 집합 크기의 서명 벡터의 사전순 감소에 기반하여, 구성 알고리즘이 O(e^√m) 단계 이내에 유한 시간 내에 종료된다.
• 초그래프에서의 완전 매칭은 각 플레이어가 적어도 λ 만큼의 자원을 확보하게 하여 유효한 (23/6 + δ)-근사값을 도출한다.
• 결과적으로, 임의의 δ > 0에 대해 최적 할당에 대해 23/6 + δ 이내의 다항 시간 알고리즘이 존재함을 시사한다.
• 분석은 더 나은 간선 선택 전략 및 매칭 구성에서의 이격 조건 완화 가능성을 규명한다.