Теория реализации — это область исследований в теории игр, занимающаяся вопросом о том, можно ли разработать класс механизмов (или институтов) , равновесные результаты которых реализуют заданный набор нормативных целей или критериев благосостояния . [1]
Существует два основных типа проблем внедрения: экономическая проблема производства и распределения общественных и частных благ и выбор из конечного набора альтернатив. [2] В случае производства и распределения общественных/частных благ концепции решения сосредоточены на поиске доминирующих стратегий .
В своей статье «Контрспекуляция, аукционы и конкурентные закрытые торги» Уильям Викри показал, что если предпочтения ограничены случаем квазилинейных функций полезности, то доминирующая стратегия механизма реализуется как доминирующая стратегия. [3] « Правило общественного выбора совместимо со стимулами доминирующей стратегии или устойчиво к стратегиям , если связанный с ним механизм раскрытия информации обладает свойством, что честное сообщение правды всегда является доминирующей стратегией для каждого агента». [2] Однако выплаты агентам становятся большими, принося в жертву совместимость стимулов с нейтральностью бюджета.
В игре, где несколько агентов должны сообщать о своих предпочтениях (или типе), для некоторых агентов может быть выгодно лгать о своих предпочтениях. Это может улучшить их выигрыш , но это может не рассматриваться как справедливый результат для других агентов. [4]
Хотя теория внедрения в значительной степени теоретическая, она может иметь глубокие последствия для разработки политики, поскольку некоторые правила общественного выбора могут оказаться невозможными для внедрения в определенных игровых условиях. [1]
В проектировании механизмов реализуемость является свойством функции общественного выбора . Это означает, что существует совместимый со стимулами механизм, который достигает («реализует») эту функцию. Существует несколько степеней реализуемости, соответствующих различным степеням совместимости со стимулами, включая:
См. для недавней ссылки. В некоторых учебниках вся область проектирования механизмов называется теорией внедрения . [5]