us (293B)
1 # US 2 3 https://complexityzoo.net/Complexity_Zoo:U#us 4 5 The [complexity_time_class] of [decision_problems] definable with a [nondeterministic_PTIME_Turing_machine] that accepts when there is precisely one [accepting_run] 6 7 It is a superset of [UP] 8 9 Up: [complexity_time_classes] 10 11 See also: [XNFA]