Игры, головоломки и вычисления
-
Обзор книги «Игры, головоломки и вычисления»
- Книга о сложности игр, написанная Робертом Херном и Эриком Демейном, опубликована в 2009 году.
- Основана на докторской диссертации Херна, руководимой Демейном.
- Рекомендована Математической ассоциацией Америки для включения в математические библиотеки.
-
Содержание книги
- Теория вычислительной сложности для логических головоломок и игр с несколькими игроками.
- Фокус на играх, которые имеют реальное применение, а не чисто математические.
- Судоку, Час пик, реверси и шахматы являются примерами игр с высокой вычислительной сложностью.
-
Методы и доказательства
- Использование логики ограничений для доказательства твердости графов и игр.
- Упрощение и открытие новых доказательств сложности игр.
- Краткое описание известных проблем сложности игр.
-
Структура и восприятие
- Книга состоит из трех частей, включая логику ограничений и обзор методов теории сложности.
- Рецензенты рекомендуют книгу для всех, кто интересуется математикой игр, но отмечают некоторые недостатки в структуре.
Полный текст статьи: