[논문 리뷰] On the (In)approximability of Combinatorial Contracts

Tomer Ezra, Michal Feldman외 1명|arXiv (Cornell University)|2023. 11. 30.

Auction Theory and Applications인용 수 1

한 줄 요약

이 논문은 다중 에이전트 및 다중 액션 설정에서 조합적 계약 설계의 강력한 근사 불가능성 결과를 확립한다. 다중 에이전트 모델에서, 하위모odular 성공 확률 함수에 대해 다항 시간 알고리즘이 0.7-근사 이하의 성능을 달성할 수 없음을 증명한다. 또한, XOS 함수에 대해 값 쿼리만으로는 어떤 상수 근사도 가능하지 않음을 보여준다. 다중 액션 모델에서는 하위모odular 함수에 대해 상수 근사가 존재하지 않으며, XOS 함수에 대해서는 심지어 n^{-1/2+ε}-근사 역시 불가능하다는 것을 증명하여, 이러한 설정에서의 근사 한계에 대한 열린 질문을 해결한다.

ABSTRACT

We study two combinatorial contract design models -- multi-agent and multi-action -- where a principal delegates the execution of a costly project to others. In both settings, the principal cannot observe the choices of the agent(s), only the project's outcome (success or failure), and incentivizes the agent(s) using a contract, which is a payment scheme that specifies the payment to the agent(s) upon a project's success. In the multi-agent setting, the project is delegated to a team of agents, and every agent chooses whether or not to exert effort. A success probability function specifies the probability of success for every subset of agents exerting effort. For the family of submodular success probability functions, Duetting et al. [2023] established a poly-time constant-factor approximation to the optimal contract, and left open whether this problem admits a PTAS. We show that no poly-time algorithm guarantees a better than $0.7$-approximation to the optimal contract. For XOS functions, Duetting et al. [2023] give a poly-time constant approximation with value and demand queries. We show that with value queries only, one cannot get any constant approximation. In the multi-action setting, the project is delegated to a single agent, who can take any subset of a given set of actions. Here, a success probability function specifies the probability of success for any subset of actions. Duetting et al. [2021a] devised a poly-time algorithm for computing an optimal contract for gross substitutes success probability functions, and established NP-hardness with respect to submodular functions. We further strengthen this hardness result by showing that this problem does not admit any constant approximation either. For the broader class of XOS functions, we establish the hardness of obtaining a $n^{-1/2+\varepsilon}$-approximation for any $\varepsilon > 0$.

연구 동기 및 목표

• Dütting 등(2023a)이 남긴 열린 문제인, 다중 에이전트 계약 설계 모델에서 하위모odular 성공 확률 함수가 PTAS를 허용하는지 여부를 해결하는 것.
• 값 쿼리 외에 수요 쿼리 없이 다중 에이전트 모델에서 XOS 함수의 근사 한계를 규명하는 것.
• 다중 액션 모델에서 하위모odular 함수에 대한 기존의 NP-난이도 결과를 강화하여, 상수 근사가 불가능함을 증명하는 것.
• 다중 액션 모델에서 XOS 함수에 대한 날카운 근사 불가능성 경계를 확립하여, 심지어 n^{-1/2+ε}-근사 역시 어떤 ε > 0 에 대해서도 불가능함을 보이는 것.

제안 방법

• 그래프의 구조에 기반한 정밀하게 설계된 성공 확률 함수를 사용하여 최대 클리크 문제를 계약 설계 문제로 감소시킨다.
• 에이전트의 최적 반응에 의존하는 계약 유틸리티 함수를 구성하며, 특정 매개변수 설정 하에서 이는 최대 클리크가 됨을 보여준다.
• 잠재적 계약 가치에 대해 이진 탐색 유사 접근 방식을 사용하여 클리크 수가 작은지 큰지 구분한다.
• 최대 클리크 문제에서의 감소를 통해 하위모odular 함수에 대해 0.7보다 나은 요율의 근사가 불가능함을 증명한다.
• 계약 매개변수를 校정하기 위해 클리크 구조를 통제할 수 있는 새로운 그래프 G'로 입력 그래프를 변환한다.
• β-근사 계약 오라클을 사용하여 최대 클리크 문제에 대해 β²/4-근사 알고리즘을 시뮬레이션함으로써, 근사 불가능성 임계점을 증명한다.

실험 결과

연구 질문

• RQ1 Dütting 등(2023a)이 남긴 바와 같이, 다중 에이전트 계약 설계 문제에서 하위모odular 성공 확률 함수가 PTAS를 허용하는가?
• RQ2 수요 쿼리 없이 값 쿼리만으로 다중 에이전트 모델에서 XOS 함수에 대해 상수 요율 근사를 달성할 수 있는가?
• RQ3 성공 확률 함수가 하위모odular일 경우 다중 액션 계약 설계 문제에 대해 상수 요율 근사 알고리즘이 존재하는가?
• RQ4 XOS 함수에 대해 다중 액션 모델에서 가능한 최고의 근사 비율은 무엇이며, 어떤 ε > 0 에 대해서도 n^{-1/2+ε}-근사가 달성 가능한가?
• RQ5 다중 에이전트 또는 다중 액션 모델에서 값 쿼리만으로 최적 계약을 상수 요율 이내로 근사할 수 있는가?

주요 결과

• 하위모odular 성공 확률 함수를 갖는 다중 에이전트 계약 설계 문제에서는 PTAS가 존재하지 않으며, 최적 계약에 대해 0.7-근사 이하의 성능을 달성할 수 있는 다항 시간 알고리즘도 존재하지 않는다.
• 다중 에이전트 모델에서 XOS 함수에 대해 값 쿼리만으로는 어떤 상수 근사도 달성할 수 없으며, 수요 쿼리가 있더라도 마찬가지로 불가능하다. 이는 Dütting 등(2023a)이 남긴 질문을 해결한다.
• 다중 액션 모델에서 하위모odular 성공 확률 함수를 갖는 계약 설계 문제에서는 어떤 상수 요율 근사도 존재하지 않으며, 기존의 NP-난이도 결과를 강화한다.
• 다중 액션 모델에서 XOS 함수에 대해 어떤 ε > 0 에 대해서도 n^{-1/2+ε}-근사가 불가능하며, 이는 날카운 근사 불가능성 경계를 확립한다.
• 논문은 최대 클리크 문제에서 계약 설계 문제로의 감소를 확립하여, 어떤 β-근사 계약 오라클이라도 최대 클리크 문제에 대해 β²/4-근사 알고리즘을 얻는 데 사용될 수 있음을 보여준다.
• 결과적으로 값 쿼리 접근 방식만으로는 두 모델 모두에서 XOS 함수에 대해 상수 근사를 달성하는 데 부족하며, 더 강력한 쿼리 유형이 필수적임을 시사한다.