Ангельский недетерминизм

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

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

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

Ссылки

Вирсинг, М.; Брой, М. (5 марта 1981 г.). «Об алгебраической спецификации недетерминированных языков программирования». Каап '81 . Конспекты лекций по информатике. 112 . Шпрингер, Берлин, Гейдельберг: 162–179. дои : 10.1007/3-540-10828-9_61 . ISBN 978-3-540-10828-3 .

Бодик, Растислав; Чандра, Сатиш; Галенсон, Джоэл; Кимельман, Дуг; Тунг, Николас; Барман, Шаон; Родармор, Кейси (2010). «Программирование с ангельским недетерминизмом». Уведомления SIGPLAN . 45 (1): 339–352. дои : 10.1145/1707801.1706339 . ISSN 0362-1340 .

П ≟ НП

Эта теоретической информатикой, статья, связанная с незавершена . Вы можете помочь Википедии, расширив ее .