Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Ramir (обсуждение | вклад) |
|||
Строка 422:
Примером такой задачи служит задача проверки тавтологичности формулы булевой логики высказываний.
Тем не менее, если алгоритм достаточно хорошо написан, то на современных машинах проверка формулы с 25
может занять приемлемое время. Другое дело, что, если алгоритм начал отказывать, то никакое
тупое увеличение мощностей либо распараллеливание не поможет нам выиграть больше 5-7 переменных (но
и это иногда спасает, правда, гораздо реже, чем хотелось бы).
В качестве инструмента решения таких задач сейчас предлагается очередная псевдонаука
К ней можно смело применить такой эпитет, поскольку вся теория работает здесь лишь ‘’в принципе’’
{{Ref|quant}}, а рекламируется как способ решать реальные задачи.
Строка 480:
нет?).
Далее, аргумент типа: «Это можно запрограммировать и на <tt>[[w:С++|С++]]</tt>» с логической точки зрения имеет
тот же статус, что и утверждение <math>A\equiv A</math>, то есть содержательного смысла не несёт, поскольку является
тавтологией. Вопрос не в том, можно ли, а будет ли лучше, красивее, переносимее, и просто реалистичнее.
| |||