Statements (106)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:contains |
all languages decidable by polynomial-size circuits
all context-free languages all languages in #P all languages in AC all languages in AM all languages in AWPP all languages in BPL all languages in BPP all languages in BQP all languages in C=P all languages in DQP all languages in DSPACE(poly) all languages in ELEMENTARY all languages in EXP all languages in EXPSPACE all languages in EXPTIME all languages in FewP all languages in IP all languages in L all languages in LOGCFL all languages in LWPP all languages in MA all languages in MIP all languages in MODP all languages in MODkP all languages in NC all languages in NEXP all languages in NEXPTIME all languages in NL all languages in NP all languages in P all languages in PH all languages in PL all languages in PP all languages in PSPACE all languages in QAC all languages in QAM all languages in QAWPP all languages in QBPL all languages in QBQP all languages in QC=P all languages in QDQP all languages in QFewP all languages in QIP all languages in QLOGCFL all languages in QLWPP all languages in QMA all languages in QMODP all languages in QMODkP all languages in QNC all languages in QP all languages in QPL all languages in QQAC all languages in QQAM all languages in QQAWPP all languages in QQBPL all languages in QQC=P all languages in QQDQP all languages in QQFewP all languages in QQIP all languages in QQLOGCFL all languages in QQLWPP all languages in QQMA all languages in QQMODP all languages in QQMODkP all languages in QQNC all languages in QQP all languages in QQPL all languages in QQQP all languages in QQRL all languages in QQSL all languages in QQSPP all languages in QQSZK all languages in QQTC all languages in QQUP all languages in QQWPP all languages in QQZPP all languages in QRL all languages in QSL all languages in QSPP all languages in QSZK all languages in QTC all languages in QUP all languages in QWPP all languages in QZPP all languages in R all languages in RE all languages in RL all languages in SL all languages in SPP all languages in SZK all languages in TC all languages in UP all languages in WPP all languages in ZPP all languages in coNP all regular languages all sparse languages |
| gptkbp:definedIn |
languages decidable by a polynomial-time Turing machine with polynomial-bounded advice
|
| https://www.w3.org/2000/01/rdf-schema#label |
PPoly
|
| gptkbp:introducedIn |
gptkb:Karp_and_Lipton,_1980
|
| gptkbp:relatedTo |
advice complexity
non-uniform complexity |
| gptkbp:bfsParent |
gptkb:scipy.interpolate
|
| gptkbp:bfsLayer |
7
|