'''메커니즘 디자인'''은 경제적 메커니즘과 인센티브를 설계 전략에 적용하여 전략적 환경에서 원하는 목표를 향해 설계자가 합리적으로 행동하는 엔지니어링 접근법을 사용한다. 게임이 끝날 때부터 시작하여 뒤로 이동하기 때문에 게임 이론이라고도 한다. 경제 정치 (시장, 경매, 투표 절차)에서 네트워크 시스템 (인터넷 도매인 라우팅, 스폰서 검색 경매)에 이르기까지 광범위한 응용 프로그램을 보유하고 있다. 메커니즘 설계는 개인 정보 게임의 클래스에 대한 솔루션 개념을 연구한다. Leonid Hurwicz는 '디자인 문제에서는 목표 기능이 주된 "주어진" 반면 메커니즘은 알려지지 않았다고 설명한다. 따라서, 디자인 문제는 전통적 경제 이론의 "역 (inverse)"이며, 이는 일반적으로 주어진 메커니즘의 수행 분석에 사용된다. 따라서 게임의 가지 특징은 다음과 같다. 게임 "디자이너"가 하나를 계승하기보다는 게임 구조를 선택한다는 디자이너가 게임의 결과에 관심이 있다는 2007년 노벨 경제학상은 Leonid Hurwicz, Eric Maskin, Roger Myerson에게 수여되었다. == 직관 == 재미있는 베이지안 게임 클래스에서는 "교장"이라고 불리는 플레이어가 다른 플레이어에게 개인적으로 알려진 정보에 자신의 행동을 적용하고 싶어한다. 예를 들어, 교장은 판매원이 피칭하는 중고차의 실제 품질을 알고 싶어한다. 그는 진실을 왜곡하는 것이 그의 관심사이기 때문에 단순히 판매원에게 물어 봄으로써는 아무것도 배울 없다. 그러나 메커니즘 설계에서 주자에게는 장점이 하나 있다. 규칙이 다른 사람이 자신이 원하는 방식으로 행동하도록 영향을 줄수 있는 게임을 디자인할 있다. 메커니즘 설계 이론이 없다면 교장의 문제는 해결하기 어려울 것이다. 가능한 모든 게임을 고려하고 다른 플레이어의 전술에 가장 영향을 미치는 게임을 선택해야 산다. 또한 교장은 거짓말쟁이 요원으로부터 결론을 이끌어내야 한다. 메커니즘 설계, 특히 계시 원칙 덕분에 교장은 에이전트가 진실하게 개인정보를 보고하는 게임만 고려하면 된다. == 기초 == === 메커니즘 === 게임의 타이밍은 다음과 같다. The principal commits to mechanism that grants an outcome as function of reported type The agents report, possibly dishonestly, type profile The mechanism is executed (agents receive outcome 여기서 x는 유형의 함수로 렌더링되거나 수신 상품의 할당을 나타내며, t는 유형의 함수로서 금전적이 용을 나타낸다. 벤치마킹으로 설계자는 종종 완전한 정보 하에서 일어날 일을 정의합니다. 사회적 선택함수 (true) 유형프로파일을 수신 또는 확정된 상품의 할당에 직접 매핑하고, In contrast '''mechanism''' maps the ''reported'' type profile to an ''outcome'' (again, both goods allocation and money transfer === 계시의 원리 === 제안 메커니즘은 베이지안 게임 (개인 정보 게임)을 구성하며, 작동하면 베이지안 내쉬 균형이 있다. 평형 에이전트에서 유형에 따라 전략적으로 보고서를 선택한다. 그러한 상황에서 베이즈 균형을 풀기란 어렵다. 왜냐하면 에이전트의 최상의 응답 전략을 해결하고 가능한 전략적 거짓으로부터 최상의 추론을 하기 때문이다. 계시 원리와 같은 결과로 인해 디자이너는 메커니즘에 관계없이 에이전트가 유형을 진실하게 보고하는 평형에 주의를 기울일 있다. 계시 원리는 다음과 같이 말한다. "모든 베이지안 내쉬 균형은 동일한 평형 결과를 가진 베이지안 게임과 일치하지만 플레이어가 진실로 유형을 보고한다." 이것은 매우 유용하다. 원리는 모든 플레이어가 진실로 유형을 보고한다고 가정함으로써 베이지안 평형을 있도록 해준다 (인센티브 호환성 제약이 있음). 번의 타격으로 전략적 행동이나 거짓말을 고려할 필요가 없다. Its proof is quite direct. Assume Bayesian game in which the agent's strategy and payoff are functions of its type and what others do, By definition agent ''i'''s equilibrium strategy is Nash in expected utility: 195/5000 에이전트가 동일한 평형을 선택하게하는 메커니즘을 정의하기만 하면 된다. 가장 쉽게 정의할 있는 메커니즘은 상담원이 에이전트의 평형 전략을 수행하는 필요한 메커니즘이다. Under such mechanism the agents of course find it optimal to reveal type since the mechanism plays the strategies they found optimal anyway. Formally, choose such that === === The designer of mechanism generally hopes either to design mechanism that "implements" social choice function to find the mechanism that maximizes some value criterion (e.g. profit) To '''implement''' social choice function is to find some transfer function that motivates agents to pick outcome Formally, if the equilibrium strategy profile under the mechanism maps to the same goods allocation as social choice function, we say the mechanism implements the social choice function. 계시 원리 덕분에 설계자는 일반적으로 연관된 진리 탐구 게임을 해결함으로써 사회적 선택을 구현하는 전달 함수 we say such mechanism is '''truthfully (or just The task is then to solve for truthfully implementable and impute this transfer function to the original game. An allocation is truthfully implementable if there exists transfer function such that 인센티브 호환성 (IC) 제약이라고도합니다. 응용 프로그램에서 IC 조건은 모양을 유용한 방법으로 설명하는 핵심 요소입니다. 특정 조건 하에서는 전달 함수를 분석적으로 분리 수도 있습니다. 또한 에이전트가 게임을하지 않을 수있는 경우 참가 (개별 합리성) 제약 조건이 추가되는 경우가 있습니다. ==== 필요성 ==== Consider setting in which all agents have type-contingent utility function Consider also goods allocation that is vector-valued and size (which permits number of goods) and assume it is piecewise continuous with respect to its arguments. The function is implementable only if whenever and and ''x'' is continuous at This is 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 function of the type, In short, agents will not tell the truth if the mechanism does not offer higher agent types 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 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 discount. But such contract already exists for low-type agents, so this solution is pathological. Such solution sometimes occurs in the process of solving for mechanism. In these cases it must be "ironed." In 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 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 shape that the agent's MRS is increasing in type. This is technical condition bounding the rate of growth of the MRS. These assumptions are sufficient to provide that any monotonic is implementable (a exists that can implement it). In addition, in the single-good setting the single-crossing condition is sufficient to provide that only monotonic is implementable, so the designer can confine his search to monotonic == Highlighted results == === Revenue equivalence theorem === gives celebrated result that any member of large class of auctions assures the seller of the same expected revenue and that the expected revenue is the best the seller can do. This is the case if The buyers have identical valuation functions (which may be function of type) The buyers' types are independently distributed The buyers types are drawn from continuous distribution The type distribution bears the monotone hazard rate property The mechanism sells the good to the buyer with the highest valuation The last condition is crucial to the theorem. An implication is that for the seller to achieve higher revenue he must take chance on giving the item to an agent with lower valuation. Usually this means he must risk not selling the item at all. === mechanisms === The Vickrey (1961) auction model was later expanded by Clarke and Groves to treat public choice problem in which public project's cost is borne by all agents, e.g. whether to build municipal bridge. The resulting 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 setting in which number of agents have quasilinear utility with private valuations where the currency 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 "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 type, the VCG mechanism charges the agent 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. === theorem === Gibbard and Satterthwaite give an impossibility result similar in spirit to Arrow's impossibility theorem. For very general class of games, only "dictatorial" social choice functions can be implemented. 사회자가 항상 자신이 가장 좋아하는 물품 분배를받는다면 사회적 선택 함수''f''() 독재 적이지만, 정리는 일반적 조건 하에서 진실하게 구현 가능한 사회 선택 기능은 독재 적이어야하며, X는 유한이며 이상의 요소를 포함합니다. 선호도는 이성적이다. === 정리 === Myerson and Satterthwaite (1983)는 당사자가 손실로 거래를 있는 위험없이 당사자가 비밀스럽고 확률 론적으로 다양한 가치 평가를 당사자가 재화를 거래하는 효율적인 방법이 없음을 보여줍니다. 그것은 복지 경제의 근본 정리에 부정적 거울의 일종 경제학에서 가장 현저한 부정적 결과 하나입니다. == 예시 == === 가격 차별 === Mirrlees introduces setting in which the transfer function ''t''() is easy to solve for. Due to its relevance and tractability it is common setting in the literature. Consider single-good, single-agent setting in which the agent has quasilinear utility with an unknown type parameter The principal here is monopolist trying to set price scheme in which it cannot identify the type of the customer. common example is an airline setting fares for business, leisure and student travelers. Due to the IR condition it has to give every type good enough deal to induce participation. Due to the IC condition it has to give every type good enough deal that the type prefers its deal to that of any other. 교장의 잉여의 평균 왜곡은 0이어야합니다. 일정을 평평하게하려면 역상이 위의 조건을 충족하는 간격에 매핑되도록 x를 찾으십시오. == 내용주 == == 각주 == == 추가 읽기 == Chapter of standard text for graduate game theory. Chapter 23 of standard text for graduate microeconomics. Applications of mechanism design principles in the context of auctions. Noam Nisan. Google tech talk on mechanism design. Roger B. Myerson (2008). "Mechanism Design," ''The New Palgrave Dictionary of Economics Online, Abstract. == 외부 링크 == Eric Maskin Nobel Prize Lecture" delivered on December 2007 at Aula Magna, Stockholm University. 분류:게임 이론