**메커니즘 디자인**은 경제적 메커니즘과 인센티브를 설계 전략에 적용하여 전략적 환경에서 원하는 목표를 향해 설계자가 합리적으로 행동하는 엔지니어링 접근법을 사용한다. 게임이 끝날 때부터 시작하여 뒤로 이동하기 때문에 역게임 이론이라고도 한다. 경제 및 정치에서 네트워크 시스템에 이르기까지 광범위한 응용 프로그램을 보유하고 있다.

메커니즘 설계는 개인 정보 게임의 클래스에 대한 솔루션 개념을 연구한다. 레오니드 후르비츠는 "디자인 문제에서는 목표 기능이 주된 '주어진' 반면 메커니즘은 알려지지 않았다" 고 설명한다. 따라서 디자인 문제는 전통적 경제 이론의 '역 (inverse)'이며, 이는 일반적으로 주어진 메커니즘의 수행 분석에 사용된다.

## 직관
재미있는 베이지안 게임 클래스에서는 "교장"이라고 불리는 한 플레이어가 다른 플레이어에게 개인적으로 알려진 정보에 자신의 행동을 적용하고 싶어한다. 예를 들어, 교장은 판매원이 피칭하는 중고차의 실제 품질을 알고 싶어한다. 그는 진실을 왜곡하는 것이 그의 관심사이기 때문에 단순히 판매원에게 물어 봄으로써는 아무것도 배울 수 없다. 그러나 메커니즘 설계에서 주자에게는 장점이 하나 있다. 규칙이 다른 사람이 자신이 원하는 방식으로 행동하도록 영향을 줄수 있는 게임을 디자인할 수 있다.

메커니즘 설계 이론이 없다면 교장의 문제는 해결하기 어려울 것이다. 가능한 모든 게임을 고려하고 다른 플레이어의 전술에 가장 영향을 미치는 게임을 선택해야 산다. 또한 교장은 거짓말쟁이 요원으로부터 결론을 이끌어내야 한다. 메커니즘 설계, 특히 계시 원칙 덕분에 교장은 에이전트가 진실하게 개인정보를 보고하는 게임만 고려하면 된다.

## 기초

### 메커니즘
게임의 타이밍은 다음과 같다.

여기서 x는 유형의 함수로 렌더링되거나 수신 된 상품의 할당을 나타내며, t는 유형의 함수로서 금전적이 용을 나타낸다.

벤치마킹으로 설계자는 종종 완전한 정보 하에서 일어날 일을 정의한다. 사회적 선택함수 (true) 유형프로파일을 수신 또는 확정된 상품의 할당에 직접 매핑하고,

In contrast a **mechanism** maps the ''reported'' type profile to an ''outcome''

### 계시의 원리
제안 된 메커니즘은 베이지안 게임 (개인 정보 게임)을 구성하며, 잘 작동하면 베이지안 내쉬 균형이 있다. 평형 에이전트에서 유형에 따라 전략적으로 보고서를 선택한다.

그러한 상황에서 베이즈 균형을 풀기란 어렵다. 왜냐하면 에이전트의 최상의 응답 전략을 해결하고 가능한 전략적 거짓으로부터 최상의 추론을 하기 때문이다. 계시 원리와 같은 결과로 인해 디자이너는 메커니즘에 관계없이 에이전트가 유형을 진실하게 보고하는 평형에 주의를 기울일 수 있다. 계시 원리는 다음과 같이 말한다. "모든 베이지안 내쉬 균형은 동일한 평형 결과를 가진 베이지안 게임과 일치하지만 플레이어가 진실로 유형을 보고한다."

이것은 매우 유용하다. 이 원리는 모든 플레이어가 진실로 유형을 보고한다고 가정함으로써 베이지안 평형을 풀 수 있도록 해준다 (인센티브 호환성 제약이 있음). 한 번의 타격으로 전략적 행동이나 거짓말을 고려할 필요가 없다.

Its proof is quite direct. Assume a Bayesian game in which the agent's strategy and payoff are functions of its type and what others do,  is Nash in expected utility:

 195/5000
에이전트가 동일한 평형을 선택하게하는 메커니즘을 정의하기만 하면 된다. 가장 쉽게 정의할 수 있는 메커니즘은 상담원이 에이전트의 평형 전략을 수행하는 데 필요한 메커니즘이다.

Under such a mechanism the agents of course find it optimal to reveal type since the mechanism plays the strategies they found optimal anyway. Formally, choose

### Implementability
The designer of a mechanism generally hopes either

To **implement** a social choice function . Formally, if the equilibrium strategy profile under the mechanism maps to the same goods allocation as a social choice function,

we say the mechanism implements the social choice function.

계시 원리 덕분에 설계자는 일반적으로 연관된 진리 탐구 게임을 해결함으로써 사회적 선택을 구현하는 전달 함수 

we say such a mechanism is **truthfully implementable** (or just "implementable"). The task is then to solve for a truthfully implementable  such that

인센티브 호환성 (IC) 제약이라고도 한다.

응용 프로그램에서 IC 조건은 의 모양을 유용한 방법으로 설명하는 핵심 요소이다. 특정 조건 하에서는 전달 함수를 분석적으로 분리 할 수도 있다. 또한 에이전트가 게임을하지 않을 수있는 경우 참가 (개별 합리성) 제약 조건이 추가되는 경우가 있다.

#### 필요성
Consider a setting in which all agents have a type-contingent utility function  number of goods) and assume it is piecewise continuous with respect to its arguments.

The function  is implementable only if

whenever . This is a necessary condition and is derived from the first- and second-order conditions of the agent's optimization problem assuming truth-telling.

Its meaning can be understood in two pieces. The first piece says the agent's marginal rate of substitution (MRS) increases as a function of the type,

In short, agents will not tell the truth if the mechanism does not offer higher agent types a better deal. Otherwise, higher types facing any mechanism that punishes high types for reporting will lie and declare they are lower types, violating the truthtelling IC constraint. The second piece is a monotonicity condition waiting to happen,

which, to be positive, means higher types must be given more of the good.

There is potential for the two pieces to interact. If for some type range the contract offered less quantity to higher types , it is possible the mechanism could compensate by giving higher types a discount. But such a contract already exists for low-type agents, so this solution is pathological. Such a solution sometimes occurs in the process of solving for a mechanism. In these cases it must be "ironed." In a multiple-good environment it is also possible for the designer to reward the agent with more of one good to substitute for less of another (e.g. butter for margarine). Multiple-good mechanisms are an ongoing problem in mechanism design theory.

#### Sufficiency
Mechanism design papers usually make two assumptions to ensure implementability:

This is known by several names: the single-crossing condition, the sorting condition and the Spence–Mirrlees condition. It means the utility function is of such a shape that the agent's MRS is increasing in type.

This is a technical condition bounding the rate of growth of the MRS.

These assumptions are sufficient to provide that any monotonic .

## 강조 표시된 결과

### 수익 등가정리
마지막 조건은 정리에 중요하다. 이는 판매자가 더 높은 수익을 달성하려면 더 낮은 가치를 가진 에이전트에게 항목을 제공할 기회를 가져야 한다는 것을 의미한다. 일반적으로 이것은 그가 항목을 전혀 판매하지 않는 위험을 감수해야 함을 의미한다.

### Vickrey–Clarke–Groves mechanisms
The Vickrey (1961) auction model was later expanded by Clarke and Groves to treat a public choice problem in which a public project's cost is borne by all agents, e.g. whether to build a municipal bridge. The resulting "Vickrey–Clarke–Groves" mechanism can motivate agents to choose the socially efficient allocation of the public good even if agents have privately known valuations. In other words, it can solve the "tragedy of the commons"—under certain conditions, in particular quasilinear utility or if budget balance is not required.

Consider a setting in which  is valued linearly. The VCG designer designs an incentive compatible (hence truthfully implementable) mechanism to obtain the true type profile, from which the designer implements the socially optimal allocation

The cleverness of the VCG mechanism is the way it motivates truthful revelation. It eliminates incentives to misreport by penalizing any agent by the cost of the distortion he causes. Among the reports the agent may make, the VCG mechanism permits a "null" report saying he is indifferent to the public good and cares only about the money transfer. This effectively removes the agent from the game. If an agent does choose to report a type, the VCG mechanism charges the agent a fee if his report is **pivotal**, that is if his report changes the optimal allocation ''x'' so as to harm other agents. The payment is calculated

which sums the distortion in the utilities of the other agents (and not his own) caused by one agent reporting.

### Gibbard–Satterthwaite theorem
Gibbard and Satterthwaite give an impossibility result similar in spirit to Arrow's impossibility theorem. For a very general class of games, only "dictatorial" social choice functions can be implemented.

한 사회자가 항상 자신이 가장 좋아하는 물품 분배를받는다면 사회적 선택 함수''f'' 는 독재 적이지만,

이 정리는 일반적 조건 하에서 진실하게 구현 가능한 사회 선택 기능은 독재 적이어야하며,

### Myerson–Satterthwaite 정리
Myerson and Satterthwaite (1983)는 한 당사자가 손실로 거래를 할 수 있는 위험없이 각 당사자가 비밀스럽고 확률 론적으로 다양한 가치 평가를 할 때 두 당사자가 재화를 거래하는 효율적인 방법이 없음을 보여준다. 그것은 복지 경제의 근본 정리에 부정적 거울의 일종 인 경제학에서 가장 현저한 부정적 결과 중 하나이다.

## 예시

### 가격 차별
Mirrlees introduces a setting in which the transfer function ''t'' is easy to solve for. Due to its relevance and tractability it is a common setting in the literature. Consider a single-good, single-agent setting in which the agent has quasilinear utility with an unknown type parameter 

The principal here is a monopolist trying to set a profit-maximizing price scheme in which it cannot identify the type of the customer. A common example is an airline setting fares for business, leisure and student travelers. Due to the IR condition it has to give every type a good enough deal to induce participation. Due to the IC condition it has to give every type a good enough deal that the type prefers its deal to that of any other.

교장의 잉여의 평균 왜곡은 0이어야 한다. 일정을 평평하게 하려면 역상이 위의 조건을 충족하는  간격에 매핑되도록 x를 찾아야 한다.