Підготовчий Рант
Треба сказати вам, я не бачу, як розмова про "докази" КТ або ЕКТ додає світла цій дискусії. Такі "докази", як правило, настільки ж хороші, як і припущення, на яких вони спираються --- іншими словами, як і те, що вони означають слова, такі як "обчислення" або "ефективне обчислення". То чому б тоді не приступити відразу до обговорення припущень і не відмовитися від слова "доказ"?
Це було зрозуміло вже з оригінальним комп'ютером, але з ECT це ще зрозуміліше --- оскільки ЄСТ не тільки є "філософсько недоказаним", але сьогодні, як вважають, це неправда! Для мене квантові обчислення - це величезний, яскравий контрприклад, який повинен бути відправною точкою для будь-якої сучасної дискусії про ECT, а не щось, що відхиляється в сторону. Але документ Дершовіца та Фальковича навіть не торкається QC до останнього абзацу:
Вищенаведений результат не охоплює масштабних паралельних обчислень, таких як квантові обчислення, оскільки він стверджує, що існує ступінь встановленої межі на ступінь паралелізму, кількість алгоритмів, зафіксованих алгоритмом. Питання відносно [sic] складності паралельних моделей буде порушено найближчим часом.
Я вважав, що вищезгадане дуже оманливе: КК не є "паралельною моделлю" в будь-якому звичайному розумінні. У квантовій механіці немає прямого зв’язку між "паралельними процесами" --- лише інтерференція амплітуд ---, але також легко створити експоненціальне число "паралельних процесів". (Дійсно, кожну фізичну систему у Всесвіті можна вважати так, як ми говоримо!) У будь-якому випадку, що б ви не думали про тлумачення квантової механіки (або навіть її правди чи неправдивості), зрозуміло, що вона потребує окремої обговорення!
Тепер, до ваших (цікавих) питань!
Ні, я не знаю жодного переконливого прикладу до ЄКТ, крім квантових обчислень. Іншими словами, якби квантова механіка була помилковою (таким чином, що все ще зберігала Всесвіт «цифровіше», ніж «аналог» за шкалою Планка --- див. Нижче), то ECT, наскільки я розумію, все одно не був би "доказовим" (оскільки це все ще буде залежати від емпіричних фактів про те, що ефективно обчислюється у фізичному світі), але це було б хорошою робочою гіпотезою.
Рандомізація, ймовірно, не кидає виклик ECT, як це прийнято розуміти, через на сьогодні вагомі докази того, що P = BPP. (Хоча зауважте, що якщо вас цікавлять інші параметри, ніж проблеми з мовним рішенням - наприклад, проблеми з реляцією, дерева рішень або складність спілкування ---, випадкова рандомізація може призвести до величезних змін. І ці налаштування цілком розумні. ті, про які варто говорити; вони просто не ті, про які люди зазвичай мають на увазі, коли вони обговорюють ЄСТ.)
Інший клас "контрприкладів" ECT, який часто виховується, включає аналогові або "гіпер" обчислення. Моя власна думка полягає в тому, що, згідно з нашим найкращим сучасним розумінням фізики, аналогові обчислення та гіперкомп'ютери не можуть масштабуватись, і причина, чому вони не можуть, як не дивно, - це квантова механіка! Зокрема, поки ми ще не маємо квантової теорії сили тяжіння, те, що відомо сьогодні, говорить про те, що існують фундаментальні перешкоди для запуску більше ніж приблизно 10 43 кроків обчислень в секунду або вирішення відстаней менше приблизно 10 -33 см.
Нарешті, якщо ви хочете взяти з обговорення будь-що, що може бути правдоподібним чи цікавим викликом для ECT, і дозволити лише серійні, дискретні, детерміновані обчислення, тоді я погоджуюся з Дершовіцем та Фальковичем, що дотримується ЄКТ! :-) Але навіть там важко уявити "формальне підтвердження", що підвищує мою впевненість у цьому твердженні - справжнє питання, знову ж таки, саме те, що ми приймаємо слова типу "серійний", "дискретний" та "детермінований" маю на увазі .
Щодо вашого останнього запитання:
Квантові обчислення були б імовірним контрприкладом, якщо насправді це можна уявити, але чи існують можливості "слабкіші", ніж квантові, які також були б контрприкладами?
Сьогодні існує маса цікавих прикладів фізичних систем, які, здається, здатні реалізувати деякі квантові обчислення, але не всі (даючи класи складності, які можуть бути проміжними між BPP та BQP). Крім того, багато з цих систем може бути легше реалізувати, ніж повний універсальний КК. Дивіться, наприклад цю статтю по Бремнер, Jozsa і Пастиря, або цей по Архипов і сам.