Пределы вычислений - Limits of computation - Wikipedia

Пределы вычисление регулируются рядом различных факторов. В частности, существует несколько физических и практических ограничений на количество вычислений или хранилище данных что может быть выполнено с заданным количеством масса, объем, или же энергия.

Физические ограничения оборудования

Плотность обработки и памяти

  • В Бекенштейн связан ограничивает количество информации, которая может быть сохранена в сферическом объеме, до энтропия из черная дыра с такой же площадью поверхности.
  • Термодинамика ограничить хранение данных в системе на основе ее энергии, количества частиц и мод частиц. На практике это более сильная оценка, чем оценка Бекенштейна.[1]

Скорость обработки

Задержки связи

  • В Теорема Марголуса – Левитина устанавливает ограничение на максимальную скорость вычислений на единицу энергии: 6 × 1033 операций в секунду за джоуль. Однако этого ограничения можно избежать, если есть доступ к квантовая память. Затем могут быть разработаны вычислительные алгоритмы, требующие сколь угодно малых затрат энергии / времени на один элементарный шаг вычисления.[2][3]

Энергоснабжение

  • Принцип Ландауэра определяет нижний теоретический предел потребления энергии: k Т пер. 2 расходуется на необратимое изменение состояния, где k это Постоянная Больцмана и Т рабочая температура компьютера.[4] Обратимые вычисления не подлежит этой нижней границе. Т даже теоретически не может быть ниже 3 кельвины, приблизительная температура космическое микроволновое фоновое излучение, не тратя на охлаждение больше энергии, чем экономится при расчетах. Однако в масштабе времени 109 - 1010 лет космическое микроволновое фоновое излучение будет экспоненциально уменьшаться, что, как утверждается, в конечном итоге позволит 1030 столько же вычислений на единицу энергии.[5] Важные части этого аргумента оспариваются.[6]

Создание устройств, приближающихся к физическим пределам

Было предложено несколько методов производства вычислительных устройств или устройств хранения данных, приближающихся к физическим и практическим ограничениям:

  • Холод вырожденная звезда можно было бы использовать в качестве гигантского устройства хранения данных, осторожно переводя его в различные возбужденные состояния, таким же образом, как атом или квантовая яма используется для этих целей. Такую звезду нужно было бы построить искусственно, поскольку никакие естественные вырожденные звезды не будут охлаждаться до этой температуры в течение чрезвычайно долгого времени. Также возможно, что нуклоны на поверхности нейтронные звезды мог образовывать сложные «молекулы»,[7] которые некоторые предположили, могут быть использованы для вычислительных целей,[8] создание типа вычислитель на основе фемтотехнология, который будет быстрее и плотнее, чем вычислитрон на основе нанотехнологии.
  • Возможно, можно будет использовать черная дыра в качестве хранилища данных или вычислительного устройства, если может быть найден практический механизм для извлечения содержащейся информации. Такое извлечение в принципе возможно (Стивен Хокинг предлагаемое решение парадокс информации о черной дыре ). Это позволит достичь плотности хранения, точно равной Бекенштейн связан. Сет Ллойд рассчитанный[9] вычислительные возможности "совершенного ноутбука", сформированного путем сжатия килограмма материи в черную дыру радиусом 1,485 × 10−27 метров, делая вывод, что его хватит всего на 10−19 секунды до испаряющийся из-за Радиация Хокинга, но за это короткое время он мог вычислить со скоростью около 5 × 1050 операций в секунду, в конечном итоге выполняя около 1032 операции на 1016 бит (~ 1 PB ). Ллойд отмечает: «Интересно, что хотя это гипотетическое вычисление выполняется со сверхвысокой плотностью и скоростью, общее количество битов, доступных для обработки, недалеко от количества, доступного для современных компьютеров, работающих в более знакомой среде».[10]
  • В Сингулярность близка Рэй Курцвейл цитирует расчеты Сета Ллойда о том, что компьютер универсального масштаба способен на 1090 операций в секунду. Массу Вселенной можно оценить в 3 × 1052 килограммы. Если бы все вещество во Вселенной превратилось в черную дыру, ее время жизни было бы 2,8 × 10139 секунд до испарения из-за излучения Хокинга. За это время такой универсальный компьютер с черной дырой будет работать в 2,8 × 10229 операции.[11]

Абстрактные ограничения в информатике

В области теоретических Информатика то вычислимость и сложность вычислительных задач часто востребованы. Теория вычислимости описывает степень, в которой проблемы вычислимы, тогда как теория сложности описывает асимптотическую степень потребления ресурсов. Таким образом, вычислительные проблемы ограничиваются классы сложности. В арифметическая иерархия и полиномиальная иерархия классифицируют степень, в которой задачи вычислимы и вычислимы за полиномиальное время соответственно. Например, уровень арифметической иерархии классифицирует вычислимые частичные функции. Более того, эта иерархия является строгой, так что в любом другом классе в арифметической иерархии классифицируется строго невычислимый функции.

Свободные и жесткие ограничения

Многие ограничения, полученные в терминах физических констант и абстрактных моделей вычислений в информатике, нечеткие.[12] Очень немногие известные ограничения напрямую препятствуют передовым технологиям, но многие инженерные препятствия в настоящее время не могут быть объяснены ограничениями замкнутой формы.

Смотрите также

Рекомендации

  1. ^ Сандберг, Андерс (22 декабря 1999 г.). "Физика суперобъектов обработки информации: повседневная жизнь головного мозга Юпитера" (PDF). Архивировано из оригинал (PDF) 5 марта 2015 г.. Получено 30 мая 2014. Цитировать журнал требует | журнал = (помощь)
  2. ^ Джордан, Стивен П. (2017). «Быстрые квантовые вычисления при сколь угодно низкой энергии». Phys. Ред. А. 95 (3): 032305. arXiv:1701.01175. Bibcode:2017PhRvA..95c2305J. Дои:10.1103 / Physreva.95.032305.
  3. ^ Синицын, Николай А. (2018). «Есть ли квантовый предел скорости вычислений?». Письма о физике A. 382 (7): 477–481. arXiv:1701.05550. Bibcode:2018ФЛА..382..477С. Дои:10.1016 / j.physleta.2017.12.042.
  4. ^ Vitelli, M.B .; Пленио, В. (2001). «Физика забывания: принцип стирания Ландауэра и теория информации» (PDF). Современная физика. 42 (1): 25–60. arXiv:Quant-ph / 0103108. Bibcode:2001ConPh..42 ... 25P. Дои:10.1080/00107510010018916. eISSN  1366-5812. ISSN  0010-7514.
  5. ^ Сандберг, Андерс; Армстронг, Стюарт; Циркович, Милан М. (27 апреля 2017 г.). «Не мертво то, что может вечно лгать: гипотеза праздника для разрешения парадокса Ферми». arXiv:1705.03394 [Physics.pop-ph ].
  6. ^ Беннетт, Чарльз Х .; Хэнсон, Робин; Ридель, К. Джесс (1 августа 2019 г.). Комментарий к «Гипотезе праздника для разрешения парадокса Ферми»'". Основы физики. 49 (8): 820–829. Дои:10.1007 / s10701-019-00289-5. ISSN  1572-9516.
  7. ^ «Жизнь на нейтронных звездах». Интернет-энциклопедия науки.
  8. ^ «Фемтотек? (Под) инженерия и вычисления в ядерном масштабе». Архивировано 25 октября 2004 года.. Получено 2006-10-30.CS1 maint: BOT: статус исходного URL-адреса неизвестен (связь)
  9. ^ Ллойд, Сет (2000). «Абсолютные физические пределы вычислений». Природа. 406 (6799): 1047–1054. arXiv:Quant-ph / 9908043. Bibcode:2000Натура 406.1047Л. Дои:10.1038/35023282. PMID  10984064.
  10. ^ Ллойд, Сет (2000). «Абсолютные физические пределы вычислений» (PDF). Природа. 406 (6799): 1047–1054. arXiv:Quant-ph / 9908043. Bibcode:2000Натура 406.1047Л. Дои:10.1038/35023282. PMID  10984064. Архивировано из оригинал (PDF) на 2008-08-07.
  11. ^ Курцвейл, Рэй (2005). Сингулярность близка. Нью-Йорк: Викинг. п. 911.
  12. ^ Марков, Игорь (2014). «Пределы фундаментальных ограничений вычислений». Природа. 512 (7513): 147–154. arXiv:1408.3821. Bibcode:2014Натура.512..147М. Дои:10.1038 / природа13570. PMID  25119233.

внешняя ссылка