_Данную статью можно считать вольным переводом (хотя скорее попыткой разобраться) [данной статьи][1]. И да, написанна она скорее для математиков, нежели для широкой аудитории._ _Небольшой спойлер: в начале это казалось мне какой-то магией, но потом я понял подвох…_ В наши дни машина Тьюринга (далее МТ) — универсальное определение понятия алгоритма, а значит и универсальное определение «решателя задач». Существует множество других моделей алгоритма — лямбда исчисление, алгорифмы Маркова и т.д., но все они математически эквивалентны МТ, так что хоть они и интересны, но в теоретическом мире ничего существенно не меняют. Вообще говоря, есть другие модели — Недетерминированная машина Тьюринга, Квантовые машины Тьюринга. Однако они (пока) являются только абстрактными моделиями, не реализуемые на практике. Полгода назад в Science Advances вышла интересная [статья][2] с моделью вычислений, которая существенно отличается от МТ и которую вполне возможно реализовать на практике (собственно статья и была о том, как они посчитали задачу SSP на реальном железе). И да. Самое интересное в этой модели то, что, по заверению авторов, в ней можно решать (некоторые) задачи из класса NP полных задач за полином времени и памяти. [Читать дальше →][3]

[1]: http://arxiv.org/abs/1405.0931
[2]: http://advances.sciencemag.org/content/1/6/e1500031
[3]: http://habrahabr.ru/post/274593/#habracut