돈 없이 진실을 보장하는 일반화 할당 메커니즘

초록

이 논문은 비용을 지급하지 않는 환경에서 전략적 빈(에이전트)이 자신의 호환성을 숨길 수 있는 일반화 할당 문제(GAP)를 다룬다. 두 특수 경우인 다중 배낭 문제와 밀도 불변 GAP에 대해 4‑근사 truthful 알고리즘을 제시하고, 일반 경우에는 가치 밀도 상한·하한의 로그 비율에 비례하는 O(log (U/L)) 근사를 얻는다. 핵심 기법은 선형계획법(LP) 완화, 부분적으로 truthful한 fractional 해구성, 그리고 무작위 메타‑라운딩을 통한 정수화이다.

상세 분석

본 연구는 “GAP‑BS”(Generalized Assignment Problem with Bin Strategic)라는 모델을 정의한다. 아이템 집합 J와 빈 집합 I가 존재하고, 각 빈 i는 용량 C_i를, 아이템 j는 빈 i에 할당될 때 가치 v_{ij}와 크기 w_{ij}를 가진다. 공개 파라미터 T={(v_{ij}), (w_{ij}), (C_i)}는 모두에게 알려지지만, 각 빈은 자신과 호환되는 아이템 집합 E_i⊆I×J를 비밀로 가진다. 빈은 호환성을 숨김으로써 더 높은 가치를 얻으려 할 수 있다. 목표는 전체 사회복지를 최대화하면서, 어떤 빈도 자신의 호환성을 일부 숨겨도 기대 가치가 감소하도록 하는 truthful 메커니즘을 설계하는 것이다.

진실성은 “dominant‑strategy incentive compatible” 형태로 정의된다. 즉, 모든 빈 i와 모든 가능한 보고 E’_i⊂E_i에 대해, E