Предпосылки модели. Квазилинейные полезности; агенты знают свои оценки; трансферты исполнимы; для VCG — доминантные стратегии, для Гровса–Ледьярда — достижение Нэш-равновесия (динамически небанально). Опоры: Vickrey (1961, J. Finance 16: 8–37); Clarke (1971, Public Choice); Groves (1973, Econometrica); Groves & Ledyard, «Optimal Allocation of Public Goods: A Solution to the "Free Rider Problem"», Econometrica 45: 783–809 (1977) [выходные данные сверены вебом 2026-08-23].
Что утверждает/предсказывает. - VCG: правдивое сообщение оценки — доминантная стратегия; каждый платит наложенный им внешний эффект [теорема в модели]. - Гровс–Ледьярд: первый механизм, имплементирующий Парето-оптимум по Нэшу с балансом бюджета [теорема в модели; сверено вебом 2026-08-23 — «first mechanism to Nash-implement Pareto efficient allocations»]. - ПРЕДЕЛ: Green & Laffont, «Characterization of Satisfactory Mechanisms for the Revelation of Preferences for Public Goods», Econometrica 45(2): 427–438 (1977): всякий эффективный механизм с доминантной правдивостью принадлежит классу Гровса — и ни один не балансирует бюджет; тройка {эффективность + доминантная правдивость + бюджетный баланс} недостижима [теорема в модели; страницы и содержание сверены вебом 2026-08-23].
Чем опровержима / известные аномалии. - Теоремы неопровержимы эмпирически — «опровержимы» лишь предпосылки. Эмпирический вопрос: работают ли механизмы с живыми людьми. - Лаборатория: результаты СМЕШАННЫЕ, сильно зависят от параметров и динамики обучения — обзор Chen Y., «Incentive-compatible Mechanisms for Pure Public Goods: A Survey of Experimental Research» [показано в лаборатории, обзор]. - Практика: внедрение для классических ОБ почти отсутствует — сложность, уязвимость VCG к сговору, бюджетный дефицит [факт об отсутствии практики — по обзорам]. - Известные ограничения Гровса–Ледьярда — отдельная литература (Public Choice, «Some limitations of the Groves–Ledyard optimal mechanism»).
Статус в поле сегодня. Живое теоретическое ядро; для практики снабжения ОБ — ограниченно применимо [факт о статусе: по обзору Chen и учебным изложениям mechanism design]. Современные ответвления (quadratic funding и т.п.) — ⚠ не проверялись. Теорему Майерсона–Саттертуэйта не цитировать из этого узла — в заходе не проверялась [Р-3 §5.4].
Лабораторные испытания механизмов (сводка Chen); полевых корпусов нет.
Проверен на дату: 2026-08-23