Комментарии — Попытка решения PSPACE in EXPTIME. Бойко Дмитрий, 175.