Проектирование алгоритмических механизмов ( AMD ) находится на стыке экономической теории игр , оптимизации и информатики . Прототипической проблемой в проектировании механизмов является проектирование системы для нескольких корыстных участников, так чтобы корыстные действия участников в равновесии приводили к хорошей производительности системы. Типичные изучаемые цели включают максимизацию доходов и максимизацию общественного благосостояния. Проектирование алгоритмических механизмов отличается от проектирования классических экономических механизмов в нескольких отношениях. Обычно оно использует аналитические инструменты теоретической информатики , такие как анализ наихудшего случая и аппроксимационные коэффициенты , в отличие от проектирования классических механизмов в экономике, которое часто делает распределительные предположения об агентах. Оно также считает вычислительные ограничения имеющими центральное значение: механизмы, которые не могут быть эффективно реализованы за полиномиальное время, не считаются жизнеспособными решениями проблемы проектирования механизмов. Это часто, например, исключает классический экономический механизм, аукцион Викри–Кларка–Гроувза .
Ноам Нисан и Амир Ронен впервые ввели термин «Проектирование алгоритмических механизмов» в исследовательской работе, опубликованной в 1999 году. [1] [2]