Есть разные способы изобразить один. Один, который я считаю полезным, это модель оракула. Вы когда-нибудь видели мультсериал «Дальняя сторона», где деривация на доске имеет «Здесь происходит чудо» как один из промежуточных шагов? В этой версии NDTM, когда вам нужно что-то выбрать, оракул записывает правильную версию в правой части ленты. (Это взято из Garey and Johnson, Computers and Intractability , их классической книги по NP-полным задачам.) Однако вы не можете предполагать, что у вас есть правильный вариант, и, возможно, нет будь правильным.
Поэтому, когда вы недетерминированно угадываете биекцию, вы получаете правильную биекцию для ваших целей, если она существует.
Это не является хорошей основой для алгоритма, поскольку сложность реализации недетерминированной машины Тьюринга в основном экспоненциальна в недетерминированных состояниях, и алгоритмический эквивалент недетерминированного предположения состоит в том, чтобы попробовать каждую возможную биекцию.
С теоретической точки зрения я бы перевел это как "Если существует биекция такая, что ...". С алгоритмической точки зрения найдите другую книгу или другую главу этой же книги, поскольку такой подход бесполезен даже для графиков средней величины.