1
Складність башт Ханої
У мене виникли наступні сумніви щодо складності башти Ханої , щодо яких я хотів би отримати ваші коментарі. Це в НП? Спроба відповіді: Припустимо, Пеггі (доказ) вирішує проблему і передає її Віктору (верифікатору). Віктор легко помітить, що остаточний стан рішення є правильним (за лінійним часом), але у нього не буде …