Чего не могут вычислительные машины: различия между версиями

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