Легенда:
новое сообщение
закрытая нитка
новое сообщение
в закрытой нитке
старое сообщение
|
- Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
- Новичкам также крайне полезно ознакомиться с данным документом.
Ошибки есть, и видно их невооруженным взглядом. 09.02.05 12:53 Число просмотров: 3529
Автор: NickP Статус: Незарегистрированный пользователь
|
> > > А не пытались ли Вы найти ошибку в доказательстве > у > > > Тельпиза? Хотя бы в той статье про 4 краски?
Вот прочитал я эту статью, и первое что мне бросилось в глаза, это практические результаты приведенные самим Тельпизом. Цитата:
"Вся задача имеет 144 переменных и 644 строки и ее суперприведение выполняется за 6 мин 45 секунд (Pentium-866). Суперприведение же каждого блока [~50 переменных, ~215 строк] составляет 3, 5 и 6 сек".
Кто тутговорил про 1024 бита за минуты? И где тут полиномиальная зависимость?
Потом смотрим основную теорему №5. Там сказано, что число шагов алгоритма не может превышать m, число строк таблицы.
Но во-первых m лежит в диапазон 0 <= m <= 2^n, где n - число переменных.
А во-вторых, нигде не показанно как каждый шаг алгоритма зависит от n и m. А зависимость там явно не полиномиальная.
|
|
|