Квантовые вычисления со времен Демокрита. Скотт Ааронсон
Чтение книги онлайн.
Читать онлайн книгу Квантовые вычисления со времен Демокрита - Скотт Ааронсон страница 7
Что нового
Просматривая рукопись перед публикацией в виде книги, я больше всего удивился тому, как много всего произошло в этих областях между моментом, когда я читал этот курс впервые (2006 г.), и «настоящим» моментом (2013 г.). Эта книга замышлялась как посвященная глубоким вопросам, древним, как физика и философия, или по крайней мере возникшим одновременно с квантовой механикой и информатикой почти столетие назад. На повседневном уровне никак не ощущается, чтобы в дискуссии по этим вопросам что-то менялось. Поэтому необходимость существенно перерабатывать и расширять лекции по прошествии всего лишь шести лет стала для меня невыразимо приятной обязанностью.
Чтобы проиллюстрировать развитие вещей, позвольте мне привести неполный список достижений, о которых пойдет речь в книге, но о которых не могла идти речь на лекциях 2006 г. по той простой причине, что события эти на тот момент еще не произошли. Компьютер Watson фирмы IBM выиграл у чемпиона мира по «Своей игре» Кена Дженнингса, вынудив меня дополнить разговор об ИИ новым примером (см. главу 4), совершенно иным по характеру, чем предыдущие, такие как ELIZA и Deep Blue. Вирджиния Василевская-Уильямс, опираясь на работы Эндрю Стозерса, нашла способ перемножить две матрицы n × n с использованием всего O(n2,373) шагов, слегка превзойдя при этом результат Копперсмита и Винограда O(n2,376), который держался так долго, что число 2,376 начало уже восприниматься как природная константа (см. главу 5).
Достаточно серьезные события произошли в области криптографии на решетках, которая представляется самой перспективной базой для создания систем шифрования с открытым ключом, устойчивых даже против квантовых компьютеров (см. главу 3). Следует особо отметить, что Крейг Джентри смог решить задачу, которая никому не давалась 30 лет: он использовал решетки, чтобы предложить первые полностью гомоморфные криптосистемы. Эти системы позволяют клиенту доверить любые вычисления незащищенному серверу, при этом на сервер передаются зашифрованные входные данные, а обратно получаются зашифрованные