Криминальная хроника
На юго-западе Москвы совершено дерзкое ограбление. В результате перестрелки убит инкассатор Банка Данных. Нападавшие использовали недетерминированные конечные автоматы и скрылись на машине Тьюринга. Похищено 140 ТБайт информации. Суммарный ущерб оценивается в 10-12 человеко-лет работы. Ведется следствие.
Журналисты уже окрестили это происшествие как Millenium Problem и относят его к NP-сложным. Разрешившему это дело оперативнику достанется ACM Award.
ГУВД г. Москвы и Московский уголовный розыск направили лучшие команды оперативников на разрешение данного происшествия. Этими командами не более чем полгода назад были разрешены BPP-трудные происшествия “ограбление коммивояжера с рюкзаком на складе” и “труп китайского почтальона в кососимметричном графе”.
По оперативной информации, найдены гильзы от автомата с магазинной памятью и от недетерминированного конечного автомата калибра 6 ⁄ π2. Стрелявшие скрывались за B-деревом и за бором из деревьев Штейнера.
Судя по следу матрицы протектора, оставленного на непрерывно дифференцируемой поверхности, машина нападавших принадлежит классу универсальной машины Тьюринга, работающей на бесконечной ленте. Следы машины уходят в поле комплексных чисел в направлении мнимой части.
Свидетелям данного происшествия просьба обратиться по адресу 0xCF65E или 0x38F. Реверсивность гарантируется.