[논문 리뷰] Packing, Scheduling and Covering Problems in a Game-Theoretic Perspective

Elena Kleiman|arXiv (Cornell University)|2011. 10. 28.

Game Theory and Applications참고 문헌 61인용 수 3

한 줄 요약

이 학위 논문은 자가 중심적인 에이전트가 존재하는 시스템에서 효율성과 공정성의 균형을 분석하기 위해 게임 이론적 시각을 통해 패킹, 스케줄링, 커버링 문제를 조사한다. 이 논문은 파레토 최적, 스태프 내쉬, 공정한 균형을 도입하고 정의하며, 동일한 기계와 관련 기계에서의 일 스케줄링, 백팩 패킹, 머신 커버링 문제에 대해 악화 비용과 안정성의 날카러진 경계를 도출한다.

ABSTRACT

Many packing, scheduling and covering problems that were previously considered by computer science literature in the context of various transportation and production problems, appear also suitable for describing and modeling various fundamental aspects in networks optimization such as routing, resource allocation, congestion control, etc. Various combinatorial problems were already studied from the game theoretic standpoint, and we attempt to complement to this body of research. Specifically, we consider the bin packing problem both in the classic and parametric versions, the job scheduling problem and the machine covering problem in various machine models. We suggest new interpretations of such problems in the context of modern networks and study these problems from a game theoretic perspective by modeling them as games, and then concerning various game theoretic concepts in these games by combining tools from game theory and the traditional combinatorial optimization. In the framework of this research we introduce and study models that were not considered before, and also improve upon previously known results.

연구 동기 및 목표

• 자신 중심적으로 행동하는 에이전트가 존재하는 분산 시스템에서 균형의 효율성을 분석하고, 협력 부족으로 인한 성능 저하를 중심으로 다룬다.
• 스케줄링 및 패킹 게임에서 파레토 최적, 엄격한 및 약한 파레토 최적, 스태프 내쉬 균형을 특성화하고 계산한다.
• 악화 비용, 안정성 비용, 최대 환경 비율과 같은 지표를 사용하여 공정성과 효율성의 상호 교환 관계를 평가한다.
• 기존의 조합 최적화 문제(백팩 패킹, 스케줄링, 머신 커버링)를 전략적 에이전트와 비협력적 행동이 존재하는 환경으로 확장한다.
• 비용 공유 메커니즘과 구조적 제약 조건(예: 기수 제한, 가변 크기의 백팩)이 균형 효율성과 안정성에 미치는 영향을 탐색한다.

제안 방법

• 자기 중심적인 에이전트가 개별 비용을 최소화하거나 개별 이익을 최대화하는 것을 목표로 일 스케줄링, 백팩 패킹, 머신 커버링 문제를 비협력 게임으로 모델링한다.
• 내쉬 균형, 스태프 내쉬 균형, 파레토 최적성과 같은 게임 이론 개념을 적용하여 시스템 성능을 분석한다.
• 자기 중심적 행동으로 인한 최악의 효율성 손실과 최선의 효율성 손실을 측정하기 위해 악화 비용(PoA)과 안정성 비용(PoS)을 사용한다.
• 동일한 기계, 관련 기계, 균일하게 관련된 기계와 같은 다양한 기계 모델과 문제 변형에 대해 PoA와 PoS의 분석적 경계를 유도한다.
• 균형 구성에서 최소-최대 공정성과 최대 환경 비율과 같은 공정성 기준을 도입하고 분석한다.
• 수학적 분석과 최적 및 균형 해의 구조적 분해를 통해 구성적 하한 예시와 상한 증명을 활용한다.

실험 결과

연구 질문

• RQ1 동일한 기계에서의 일 스케줄링 게임에서 최악의 효율성 손실(악화 비용)은 얼마인가?
• RQ2 스케줄링 게임에서 엄격한 파레토 최적 균형과 약한 파레토 최적 균형 간의 효율성과 공정성은 어떻게 다를까?
• RQ3 자기 중심적인 항목이 존재하는 백팩 패킹 및 매개변수형 백팩 패킹 게임에서 악화 비용과 안정성 비용의 날카러진 경계는 무엇인가?
• RQ4 비용 공유 구조(예: 항목 크기에 비례)가 스태프 내쉬 균형의 존재성과 효율성에 어떻게 영향을 미치는가?
• RQ5 최소-최대 공정성과 최대 환경 비율과 같은 공정성 기준이 머신 커버링 게임에서 균형 성능에 어떤 영향을 미치는가?

주요 결과

• 동일한 기계에서의 일 스케줄링에 대해 악화 비용은 2이며, 안정성 비용은 1.5이며, 특정 기계 비율에 대해 날카러진 경계가 확립되어 있다.
• 속도 비율 s ∈ [1, 4/3] ∪ [1.78, 2]인 관련 기계에서 악화 비용은 각각 2와 1.5로 날카럽게 정의되며, s ∈ (4/3, 1.78) 범위의 정확한 값은 아직 미해결이다.
• 비례 비용 공유가 적용된 백팩 패킹 게임에서는 악화 비용이 최대 2이며, 스태프 악화 비용은 최대 2.5이며, 특정 경우에 대해 날카러진 경계가 존재한다.
• 매개변수형 백팩 패킹에 대해 악화 비용은 1.5에서 2.5 사이에 경계되며, 특정 매개변수 범위에서 날카러진 경계가 도출되었다.
• m대의 동일한 기계에서 머신 커버링의 안정성 비용은 최대 1.5이며, 균형 상태에서 최대 환경 비율은 2로 경계된다.
• 최소-최대 공정한 균형은 일 스케줄링 게임에서 존재하며, 엄격한 파레토 최적이다. 그러나 커버링 목표에 대해서는 최소-최대 공정한 악화 비용이 반드시 1이 아니며, 향후 연구가 필요하다.