Клас ви пропонуєте, ймовірно , НЕ N P . (Якщо C = N P , то кожна мова N P мала б свідчення лінійного розміру, що означало б, що кожен N P ⊆ T I M E [ 2 O ( n ) ] та N P ≠ E X P , крім іншого) .CNPC=NPNPNP⊆TIME[2O(n)]NP≠EXP
Дуже природно розглядати такі заняття; вони виникають у кількох налаштуваннях. У цій статті , Рахул Сантани (неявно) запропонували позначення для часу - т ( п ) обчислення з г ( п ) -guess біт. Звідси C = ⋃ k T I G U ( n k , k n ) . У цій роботіTIGU(t(n),g(n))t(n)g(n)C=⋃kTIGU(nk,kn), Я визначив аналогічний клас . (NTIBI означає «недетермінований час і біти».) Також Цай і Чень назвали б ваш клас G C ( O ( n ) , P ) (GC означає «Вгадай і перевіри», пор .: L. Cai та J. Chen Про кількість недетермінізму та потужність перевірки. SIAM Journal on Computing, 1996). Нарешті, якщо ви шукаєте "обмежений недетермінізм", ви можете знайти ще три позначення цього ж класу ...NTIBI[t(n),b(n)]GC(O(n),P)