For faster navigation, this Iframe is preloading the Wikiwand page for Трансвычислительная задача.

Трансвычислительная задача

Материал из Википедии — свободной энциклопедии

Трансвычисли́тельная зада́ча (англ. Transcomputational problem) — в теории сложности вычислений задача, для решения которой требуется обработка более чем 1093 бит информации[1]. Число 1093, представляет собой общее число бит, обрабатываемых гипотетическим компьютером массой с Землю, работающим с максимально возможной скоростью («Предел Бремерманна»), за период времени, равный общему времени существования Земли[1][2]. Термин «трансвычислительность» был предложен Бремерманном[3].

Примеры трансвычислительных проблем

[править | править код]

Задача коммивояжёра

[править | править код]

Задача коммивояжёра заключается в поиске пути обхода заданного списка городов, имеющего минимальную стоимость. Путь обхода должен посещать все города ровно по одному разу и возвращаться в исходный город. Если в списке n городов, то число возможных путей обхода равно n!. Поскольку 66! примерно равно 5,443449391×1092, а 67! ≈ 3,647111092×1094, задача проверки всех возможных путей становится трансвычислительной для n > 66.

Тестирование интегральных схем

[править | править код]

Полное тестирование всех комбинаций интегральной схемы с 308 входами и 1 выходом требует проверки 2308 комбинаций входных данных. Поскольку число 2308 является трансвычислительным, задача тестирования такой системы интегральных схем является трансвычислительной проблемой. Это означает, что отсутствует способ проверки схемы для всех входных данных методом грубой силы[1][4].

Распознавание узоров

[править | править код]

Рассмотрим массив размером q×q, представляющий узор, похожий на шахматную доску, в которой каждый квадрат может быть одного из k цветов. Общее число возможных узоров равно kn, где n = q2. Задача определения наилучшей классификации узоров по какому-либо выбранному критерию может быть решена перебором всех возможных цветовых узоров. Для 2 цветов такой поиск становится трансвычислительным при размере массива 18×18 и более. Для массива 10×10 задача становится трансвычислительной при числе цветов 9 и более[1] .

Данная задача имеет отношение к изучению физиологии сетчатки. Сетчатка состоит примерно из миллиона светочувствительных клеток. Даже если у клетки имеется всего 2 возможных состояния, обработка состояния сетчатки в целом требует обработки более чем 10300 000 бит информации. Это намного превосходит предел Бремерманна[1].

Проблема анализа систем

[править | править код]

Система из n переменных, каждая из которых может принимать k возможных состояний, может иметь kn возможных состояний. Анализ такой системы требует обработки как минимум kn бит информации. Задача становится трансвычислительной, если kn > 1093. Это происходит при следующих значениях k и n[1]:

k 2 3 4 5 6 7 8 9 10
n 308 194 154 133 119 110 102 97 93

Существование реальных трансвычислительных задач имеет своим следствием ограниченность компьютеров как средств обработки данных. Простым наращиванием вычислительных мощностей не удастся решить проблемы, требующие обработки огромного числа возможных ситуаций[2].

В научной фантастике

[править | править код]

В книге Дугласа Адамса «Автостопом по Галактике» была решена трансвычислительная задача, отвечающая на «Главный вопрос жизни, вселенной и всего такого» (ответ, как известно, 42).

Примечания

[править | править код]
  1. 1 2 3 4 5 6 Klir, George J. Facets of systems science (неопр.). — Springer[англ.], 1991. — С. 121—128. — ISBN 9780306439599.
  2. 1 2 Bremermann, H.J. (1962) Optimization through evolution and recombination Архивная копия от 18 декабря 2019 на Wayback Machine In: Self-Organizing systems 1962, edited M.C. Yovitts et al., Spartan Books, Washington, D.C. pp. 93-106.
  3. Heinz Muhlenbein Algorithms, data and hypotheses : Learning in open worlds. German National Research Center for Computer Science. Дата обращения: 3 мая 2011. Архивировано 8 сентября 2012 года.
  4. Miles, William Bremermann's Limit. Дата обращения: 1 мая 2011. Архивировано 8 сентября 2012 года.
{{bottomLinkPreText}} {{bottomLinkText}}
Трансвычислительная задача
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?