[논문 리뷰] People are processors: coalitional auctions for complex projects

Piotr Skowron, Krzysztof Rzaḑca외 1명|arXiv (Cornell University)|2014. 05. 05.

Auction Theory and Applications참고 문헌 2인용 수 1

한 줄 요약

이 논문은 복잡한 프로젝트 환경에서 안정적인 팀을 구성하기 위한 협동 입찰 메커니즘을 제안한다. 여기서 에이전트들은 컨sortium 형태로 입찰하여 계약을 획득한다. 약한 승리 및 입찰 승리 협동을 존재함을 입증하고, 타당성 오라클을 사용한 다항식 시간 알고리즘을 제공하며, 가변 처리 속도를 갖는 작업 독립 설정에서의 복잡도를 분석한다.

ABSTRACT

To successfully complete a complex project, be it a construction of an airport or of a backbone IT system, agents (companies or individuals) must form a team (a coalition) having required competences and resources. A team can be formed either by the client based on individual agents' offers (centralized formation); or by the agents themselves (decentralized formation) bidding for a project as a consortium---in that case many feasible teams compete for the employment contract. In these models, we investigate rational strategies of the agents (what salary should they ask? with whom should they team up?) under different organizations of the market. We propose concepts allowing to characterize the stability of the winning teams. We show that there may be no (rigorously) strongly winning coalition, but the weakly winning and the auction-winning coalitions are guaranteed to exist. In a general setting, with an oracle that decides whether a coalition is feasible, we show how to find the winning coalitions with a polynomial number of calls to the oracle. We also determine the complexity of the problem in a special case in which a project is a set of independent tasks. Each task must be processed by a single agent, but processing speeds differ between agents and tasks.

연구 동기 및 목표

• 에이전트들이 컨소시엄 형태로 입찰하는 복잡한 프로젝트에서 탈중앙화된 팀 구성 모델링.
• 입찰 및 협동 형성 전략 측면에서 에이전트의 합리적 전략 분석.
• 다양한 시장 조직 하에서 안정적이고 승리한 협동의 특성 규명.
• 구조화된 프로젝트 설정에서 승리 협동을 찾는 계산 복잡도 규명.

제안 방법

• 에이전트들이 팀을 구성하고 프로젝트 계약을 위해 컨소시엄 형태로 입찰하는 협동 입찰 개념 도입.
• 안정성과 결과의 공정성 평가를 위해 약한 승리 협동 및 입찰 승리 협동 정의.
• 협동이 프로젝트를 완료할 수 있는지 여부를 판단하기 위해 타당성 오라클을 사용하여 승리 협동의 다항식 시간 계산 가능.
• 게임 이론적 분석을 통해 입찰에서의 합리적 행동과 전략적 유인 모델링.
• 에이전트 간 처리 속도가 다름에도 불구하고 작업이 상호 독립적인 특수 케이스 분석.
• 계산 복잡도 분석을 통해 독립 작업 설정에서의 난이도 평가.

실험 결과

연구 질문

• RQ1 복잡한 프로젝트를 위한 협동 입찰에서 강력한 승리 협동이 존재하는 조건은 무엇인가?
• RQ2 일반 설정에서 약한 승리 협동 및 입찰 승리 협동이 보장될 수 있는가?
• RQ3 타당성 오라클을 사용하여 승리 협동을 효율적으로 계산할 수 있는가?
• RQ4 프로젝트가 독립 작업으로 분해될 경우 승리 협동을 찾는 데 있어 계산 복잡도는 어떻게 되는가?
• RQ5 에이전트와 작업 간의 처리 속도 차이가 협동 형성과 효율성에 미치는 영향은 무엇인가?

주요 결과

• 엄격한 강력한 승리 협동이 존재하지 않을 수 있지만, 약한 승리 협동 및 입찰 승리 협동은 보장된다.
• 일반 설정에서 타당성 오라클에 대한 다항식 수의 호출을 통해 승리 협동을 계산할 수 있다.
• 독립 작업의 특수 케이스에서는 특정 조건 하에서 승리 협동을 찾는 문제가 계산적으로 다룰 수 있다.
• 모델은 최적 입찰 및 협동 형성 전략에 대한 합리적 에이전트 행동을 포괄한다.
• 강력한 안정성이 실패하더라도 약한 승리 협동 개념을 통해 안정된 결과의 존재가 보장된다.
• 독립 작업과 가변 처리 속도를 갖는 구조화된 프로젝트 환경에서 효율적인 솔루션 계산 지원.