22:
386:
269:
429:
312:
632:
465:
problem. Because determined effort has yet to find a polynomial-time solution to any of these problems, it is suspected to be difficult to show
994:
105:
625:
39:
119:
43:
86:
58:
489:
173:
if and only if a given answer can be verified by a deterministic machine in polynomial time. Similarly, a language is in
1029:
618:
817:
65:
1010:
143:
572:
999:
72:
451:
32:
953:
54:
948:
943:
517:
458:
938:
329:
212:
177:
if a given answer can be verified in polynomial time, and the verifier machine only accepts at most
581:
958:
599:
393:
276:
922:
812:
744:
734:
641:
591:
135:
131:
847:
79:
917:
907:
864:
854:
837:
827:
785:
780:
759:
739:
717:
712:
707:
695:
690:
685:
680:
506:
158:
139:
912:
800:
722:
675:
547:
152:
567:
1023:
790:
700:
542:
462:
21:
902:
727:
595:
568:"Unambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets"
603:
897:
892:
887:
832:
655:
882:
500:, which means that there is a randomized reduction from any problem in
842:
989:
984:
859:
610:
586:
979:
974:
795:
807:
665:
614:
822:
754:
749:
670:
660:
15:
181:
answer for each problem instance. More formally, a language
189:
if there exists a two-input polynomial-time algorithm
396:
332:
279:
215:
967:
931:
875:
768:
648:
46:. Unsourced material may be challenged and removed.
423:
380:
306:
263:
566:Hemaspaandra, Lane A.; Rothe, Jörg (June 1997).
146:with at most one accepting path for each input.
626:
128:unambiguous non-deterministic polynomial-time
8:
633:
619:
611:
585:
395:
369:
364:
355:
341:
333:
331:
278:
252:
247:
238:
224:
216:
214:
205:, then there exists a unique certificate
106:Learn how and when to remove this message
534:
7:
44:adding citations to reliable sources
551:. UP: Unambiguous Polynomial-Time.
14:
995:Probabilistically checkable proof
20:
31:needs additional citations for
412:
400:
381:{\displaystyle |y|=O(|x|^{c})}
375:
365:
356:
352:
342:
334:
295:
283:
264:{\displaystyle |y|=O(|x|^{c})}
258:
248:
239:
235:
225:
217:
1:
169:states that a language is in
1046:
1011:List of complexity classes
322:, there is no certificate
165:A common reformulation of
144:unambiguous Turing machine
1008:
596:10.1137/S0097539794261970
573:SIAM Journal on Computing
516:is not known to have any
1000:Interactive proof system
490:Valiant–Vazirani theorem
424:{\displaystyle A(x,y)=1}
307:{\displaystyle A(x,y)=1}
954:Arithmetical hierarchy
425:
382:
308:
265:
949:Grzegorczyk hierarchy
944:Exponential hierarchy
876:Considered infeasible
459:integer factorization
426:
383:
309:
266:
939:Polynomial hierarchy
769:Suspected infeasible
394:
330:
277:
213:
156:and is contained in
55:"UP" complexity
40:improve this article
968:Families of classes
649:Considered feasible
457:) contain both the
443:in polynomial time.
1030:Complexity classes
642:Complexity classes
421:
378:
304:
261:
1017:
1016:
959:Boolean hierarchy
932:Class hierarchies
136:decision problems
120:complexity theory
116:
115:
108:
90:
1037:
635:
628:
621:
612:
607:
589:
553:
552:
539:
504:to a problem in
496:is contained in
432:
430:
428:
427:
422:
387:
385:
384:
379:
374:
373:
368:
359:
345:
337:
315:
313:
311:
310:
305:
270:
268:
267:
262:
257:
256:
251:
242:
228:
220:
132:complexity class
111:
104:
100:
97:
91:
89:
48:
24:
16:
1045:
1044:
1040:
1039:
1038:
1036:
1035:
1034:
1020:
1019:
1018:
1013:
1004:
963:
927:
871:
865:PSPACE-complete
764:
644:
639:
565:
562:
557:
556:
541:
540:
536:
531:
526:
392:
391:
389:
363:
328:
327:
318:if x is not in
275:
274:
272:
246:
211:
210:
193:and a constant
140:polynomial time
112:
101:
95:
92:
49:
47:
37:
25:
12:
11:
5:
1043:
1041:
1033:
1032:
1022:
1021:
1015:
1014:
1009:
1006:
1005:
1003:
1002:
997:
992:
987:
982:
977:
971:
969:
965:
964:
962:
961:
956:
951:
946:
941:
935:
933:
929:
928:
926:
925:
920:
915:
910:
905:
900:
895:
890:
885:
879:
877:
873:
872:
870:
869:
868:
867:
857:
852:
851:
850:
840:
835:
830:
825:
820:
815:
810:
805:
804:
803:
801:co-NP-complete
798:
793:
788:
778:
772:
770:
766:
765:
763:
762:
757:
752:
747:
742:
737:
732:
731:
730:
720:
715:
710:
705:
704:
703:
693:
688:
683:
678:
673:
668:
663:
658:
652:
650:
646:
645:
640:
638:
637:
630:
623:
615:
609:
608:
580:(3): 634–653.
561:
558:
555:
554:
548:Complexity Zoo
533:
532:
530:
527:
525:
522:
445:
444:
433:
420:
417:
414:
411:
408:
405:
402:
399:
377:
372:
367:
362:
358:
354:
351:
348:
344:
340:
336:
316:
303:
300:
297:
294:
291:
288:
285:
282:
260:
255:
250:
245:
241:
237:
234:
231:
227:
223:
219:
114:
113:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
1042:
1031:
1028:
1027:
1025:
1012:
1007:
1001:
998:
996:
993:
991:
988:
986:
983:
981:
978:
976:
973:
972:
970:
966:
960:
957:
955:
952:
950:
947:
945:
942:
940:
937:
936:
934:
930:
924:
921:
919:
916:
914:
911:
909:
906:
904:
901:
899:
896:
894:
891:
889:
886:
884:
881:
880:
878:
874:
866:
863:
862:
861:
858:
856:
853:
849:
846:
845:
844:
841:
839:
836:
834:
831:
829:
826:
824:
821:
819:
816:
814:
811:
809:
806:
802:
799:
797:
794:
792:
789:
787:
784:
783:
782:
779:
777:
774:
773:
771:
767:
761:
758:
756:
753:
751:
748:
746:
743:
741:
738:
736:
733:
729:
726:
725:
724:
721:
719:
716:
714:
711:
709:
706:
702:
699:
698:
697:
694:
692:
689:
687:
684:
682:
679:
677:
674:
672:
669:
667:
664:
662:
659:
657:
654:
653:
651:
647:
643:
636:
631:
629:
624:
622:
617:
616:
613:
605:
601:
597:
593:
588:
583:
579:
575:
574:
569:
564:
563:
559:
550:
549:
544:
538:
535:
528:
523:
521:
519:
515:
511:
509:
508:
503:
499:
495:
491:
486:
484:
480:
476:
472:
468:
464:
460:
456:
453:
449:
442:
438:
434:
418:
415:
409:
406:
403:
397:
370:
360:
349:
346:
338:
325:
321:
317:
301:
298:
292:
289:
286:
280:
253:
243:
232:
229:
221:
208:
204:
200:
199:
198:
196:
192:
188:
184:
180:
176:
172:
168:
163:
161:
160:
155:
154:
149:
145:
141:
137:
133:
129:
125:
121:
110:
107:
99:
88:
85:
81:
78:
74:
71:
67:
64:
60:
57: –
56:
52:
51:Find sources:
45:
41:
35:
34:
29:This article
27:
23:
18:
17:
775:
577:
571:
546:
537:
513:
512:
505:
501:
497:
493:
492:states that
487:
482:
478:
474:
470:
466:
461:problem and
454:
447:
446:
440:
436:
323:
319:
206:
202:
194:
190:
186:
182:
178:
174:
170:
166:
164:
157:
151:
147:
138:solvable in
127:
123:
117:
102:
93:
83:
76:
69:
62:
50:
38:Please help
33:verification
30:
848:#P-complete
786:NP-complete
701:NL-complete
463:parity game
197:such that
185:belongs to
96:August 2018
903:ELEMENTARY
728:P-complete
587:cs/9907033
524:References
520:problems.
507:Promise-UP
473:, or even
452:complement
435:algorithm
388:such that
271:such that
66:newspapers
898:2-EXPTIME
604:0097-5397
529:Citations
450:(and its
439:verifies
150:contains
130:) is the
1024:Category
893:EXPSPACE
888:NEXPTIME
656:DLOGTIME
518:complete
201:if x in
883:EXPTIME
791:NP-hard
560:Sources
431:
390:
314:
273:
80:scholar
990:NSPACE
985:DSPACE
860:PSPACE
602:
142:on an
82:
75:
68:
61:
53:
980:NTIME
975:DTIME
796:co-NP
582:arXiv
483:co-UP
455:co-UP
326:with
209:with
87:JSTOR
73:books
808:TFNP
600:ISSN
488:The
59:news
923:ALL
823:QMA
813:FNP
755:APX
750:BQP
745:BPP
735:ZPP
666:ACC
592:doi
543:"U"
485:).
179:one
134:of
118:In
42:by
1026::
918:RE
908:PR
855:IP
843:#P
838:PP
833:⊕P
828:PH
818:AM
781:NP
776:UP
760:FP
740:RP
718:CC
713:SC
708:NC
696:NL
691:FL
686:RL
681:SL
671:TC
661:AC
598:.
590:.
578:26
576:.
570:.
545:.
514:UP
510:.
502:NP
498:RP
494:NP
481:∩
479:UP
477:=(
471:UP
448:UP
187:UP
175:UP
171:NP
167:NP
162:.
159:NP
148:UP
124:UP
122:,
913:R
723:P
676:L
634:e
627:t
620:v
606:.
594::
584::
475:P
469:=
467:P
441:L
437:A
419:1
416:=
413:)
410:y
407:,
404:x
401:(
398:A
376:)
371:c
366:|
361:x
357:|
353:(
350:O
347:=
343:|
339:y
335:|
324:y
320:L
302:1
299:=
296:)
293:y
290:,
287:x
284:(
281:A
259:)
254:c
249:|
244:x
240:|
236:(
233:O
230:=
226:|
222:y
218:|
207:y
203:L
195:c
191:A
183:L
153:P
126:(
109:)
103:(
98:)
94:(
84:·
77:·
70:·
63:·
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.