Формальное понятие для энергетической сложности вычислительных задач

35

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

Рекомендации приветствуются.

Мухаммед Аль-Туркистани
источник
1
Потребление энергии зависит от машины и является практической проблемой, то есть постоянные, скрытые в классическом анализе, как правило, представляют интерес (любая разница между временем работы и потреблением энергии).
Рафаэль
6
Теоретически, вы можете делать обратимые шаги без затрат энергии. На практике можно создавать микросхемы, которые выполняют обратимые этапы при существенно более низких затратах энергии, чем необратимые этапы. Как это переводится в теорию, не ясно, но, возможно, мы можем определить модель машины Тьюринга, которая делает обратимые шаги по стоимости и необратимые шаги по стоимости , и начинает теоретически рассуждать о потреблении энергии. По крайней мере, это лучше, чем бросать руки в отчаянии и говорить: «Все зависит от машины». βαβ
Питер Шор
Сюзанна Альберс написала отличный обзор в области коммуникации ACM, энергоэффективных алгоритмов. cacm.acm.org/magazines/2010/5/87271-energy-efficient-algorithms/…
Мохаммад Аль-Тюркистани

Ответы:

28

Существует ли хорошо изученная адаптация машин Тьюринга, учитывающая энергию, потребляемую при выполнении алгоритмов? Нет!

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

Существует теорема Чарльза Беннетта о том, что сложность времени увеличивается не более чем на постоянную величину, когда вычисление становится обратимым (CH Bennett, Logical Reversibility of Computation ), но если существуют также ограничения на пространство, то создание обратимого вычисления может повлечь за собой значительное увеличение времени (ссылка здесь) . Принцип Ландауэра гласит, что стирание немного стоит энергии, где - температура, а - постоянная Больцмана. В реальной жизни вы не можете приблизиться к достижению этого минимума. Тем не менее, вы можете создавать чипы, которые выполняют обратимые шаги, используя значительно меньше энергии, чем они используют для необратимых шагов. Если вы дадите обратимым шагам стоимостьT k α βkTln2Tkαи необратимые шаги стоимость , кажется, что это может дать разумную теоретическую модель.β

Я не знаю, как машины Тьюринга с некоторыми обратимыми шагами относятся к чипам с некоторой обратимой схемой, но я думаю, что обе модели заслуживают изучения.

Питер Шор
источник
Питер, в дискуссиях об Эффективном тезисе Церковного Тьюринга, я помню, как читал о том, как учитывать количество энергии, используемой в вычислениях. Знаете ли вы, если есть хорошая ссылка на тему? (Я могу опубликовать это как отдельный вопрос, если вы предпочитаете это.)
Kaveh
4
Если вы просто беспокоитесь о полиномиальных факторах, как если бы вы работали над тезисом «Эффективная Церковь-Тьюринга», все работает, потому что вы можете получить обратимые вычисления (произвольно небольшое количество затраченной энергии) с постоянным увеличением коэффициента во времени, и пространство не может быть больше времени. Я думаю, что я видел хороший недавний опрос об этом материале. Надеюсь, кто-нибудь найдет это.
Питер Шор
Спасибо, Питер, я думаю, что могу найти это сам с помощью Google (я напишу вопрос, если не найду).
Каве
интересные идеи, которые приводят к вопросу, насколько произвольные алгоритмы могут быть преобразованы в обратимые вычисления? как и в qm-вычислениях, это всегда возможно с битами «ancilla», но сохранение этой «царапины» может снизить эффективность алгоритма в некоторых случаях и, возможно, до сих пор не совсем понятно, насколько. Обратите внимание, что Уильямс имеет некоторые идеи относительно обратимых вычислений с эффективным использованием пространства
vzn
Даже если у нас есть машина с обратимыми вычислениями, все еще существуют некоторые «скрытые» затраты энергии: когда мы хотим запустить новое вычисление, мы должны либо создать новый банк памяти, либо стереть некоторые ранее записанные данные, чтобы освободить место для нового ввода и расчетов. Как это влияет на ответ? (например , делает обратимое вычисление обычно предполагает доступ к секции инициализации памяти «пустой» , кажется , как обман ...?)
усул
7

Классов энергетической сложности пока нет, но определенно есть большой интерес к изучению того, как разрабатывать алгоритмы, которые являются энергоэффективными в некоторой модели. Я не знаком со всей совокупностью работ, но одна точка входа - это работа, которую Кирк Прухс делает над устойчивыми вычислениями. Кирк - теоретик с опытом в планировании и аппроксимациях, и в последнее время он стал очень активным в этой области, поэтому его точка зрения хороша для алгоритмических людей.

Идея PS gabgoh о принципе Ландауэра является хорошей. Если вы хотите узнать больше об отношениях между энергией и информацией, нет лучшего источника, чем книга Максвелла о демонах .

Суреш Венкат
источник
+1 Спасибо Суреш за ответ.
Мохаммед Аль-Туркистани
5

Это вовсе не прямой ответ, но есть некоторые потенциально полезные связи с программами рисования / исследования, которые будут проводиться в соответствии с работами Стэй и Баэса по алгоритмической термодинамике: http://johncarlosbaez.wordpress.com/2010/10 / 12 / алгоритмическая-термодинамика /

Тем не менее, обратите внимание, что эта работа не выявляет реальных физических последствий - скорее, она иллюстрирует связь, которая до сих пор является чисто математической.

sclv
источник
5

Кей Учизава и его соавторы изучают энергетическую сложность пороговых цепей. Они определяют его как максимальное количество пороговых вентилей, которые выводят 1 на все возможные входы.

Поскольку речь идет не о машинах Тьюринга, это не отвечает на вопрос. Но я надеюсь, что их бумаги дают некоторые идеи. Его веб-страница содержит указатели. http://www.nishizeki.ecei.tohoku.ac.jp/nszk/uchizawa/

Ёсио Окамото
источник
4

Существует некоторое оправдание для использования модели внешней памяти в качестве модели вычислений, учитывающих энергию. Паоло Феррагина кратко обсуждал это в своей приглашенной лекции на ESA 2010, но я не знаю, есть ли опубликованные результаты. Основная идея заключается в том, что если число входов / выходов доминирует во времени вычислений, то энергия, необходимая для этих входов / выходов, вероятно, будет доминировать в общем потреблении энергии.

Отчет о первом рабочем совещании по науке управления питанием в основном содержали вопросы и открытые проблемы. Я не знаю, что произошло на втором семинаре , но на веб-страницах сообщается, что будет специальный выпуск Sustainable Computing, посвященный теоретическим, математическим и алгоритмическим подходам к устойчивым вычислениям.

Джуни Сирен
источник
0

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

ВЗН
источник
-3

Временные и пространственные сложности не зависят от устройства. Я не вижу способа сделать энергозатратное устройство независимым.

WWW

O(Wf(n))=O(f(n))

Пратик Деогхаре
источник
Я отказываюсь голосовать за этот ответ, так как думаю, что он упускает суть. Я думаю, что есть некоторое теоретическое обоснование для того, чтобы поставить нижнюю границу на энергопотребление любого алгоритма, основанного на принципе Ландауэра. Я считаю вопрос очень разумным.
Габго
@gabgoh Я боюсь, что любой нижний предел должен был бы делать предположения об однородности, которые бы победили цель. @TheMachineCharmer На самом деле, реальные процессоры могут иметь различный порядок команд по эффективности. Upvote, хотя ваш второй абзац смущает меня.
Рафаэль
4
αβαβαβ
1
@Konrad: Габго имеет в виду Рольфа Ландауэра, а не Льва Ландау.
Питер Шор
1
@Peter: спасибо за информацию. Для справки, я говорил об Эдмунде Ландау, изобретателе нотации big-O. Я подумал, что именно это Габго и называл «принципом Ландауэра».
Конрад Рудольф