메커니즘 설계에서의 확률적 검증

우리는 메커니즘 설계에서의 확률적 검증 모델을 소개합니다. 주체는 에이전트로부터 메시지를 이끌어내고, 그 다음 에이전트에게 제공할 테스트를 선택합니다. 에이전트의 진정한 유형은 그가 각 테스트를 통과할 수 있는 확률을 결정합니다. 우리는 각 유형이 모든 다른 유형을 최적으로 걸러낼 수 있는 테스트와 연관될 수 있는지를 특성화합니다. 이 조건이 충족되면, 테스트 기술은 관리 가능한 축소 형태로 표현될 수 있습니다. 우리는 이 축소 형태를 사용하여 검증이 있는 이익 극대화 메커니즘을 풉니다. 검증 기술이 변화함에 따라, 솔루션은 무검증 솔루션과 완전 잉여 추출 사이를 지속적으로 보간합니다.