About: List of PSPACE-complete problems

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: List of PSPACE-complete problems Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org:8891 associated with source document(s)
QRcode icon

http://dbpedia.org:8891/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FList_of_PSPACE-complete_problems

Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive.

Attributes	Values
rdfs:label	List of PSPACE-complete problems (en)
rdfs:comment	Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive. (en)
dcterms:subject	Lists of problems PSPACE-complete problems Mathematics-related lists
Wikipage page ID	9202993 (xsd:integer)
Wikipage revision ID	1116531072 (xsd:integer)
Link from a Wikipage to another Wikipage	Lists of problems Modal logic Nash equilibrium Nondeterministic finite automaton M,n,k-game Regular expression Reversi Decision problem Instant Insanity Integer circuit Intersection non-emptiness problem Intuitionistic logic PSPACE-complete Generalized game Generalized geography Equality (mathematics) Go (game) Graph coloring game Context-sensitive language Equivalence problem Ladder (Go) Lemke–Howson algorithm Lemmings (video game) Lexicographic order Stack automaton Emptiness problem Linear grammar Linear temporal logic First-order logic First-order theory Normal-form game Checkers Kayles List of NP-complete problems Regular language PSPACE-complete problems Pebble game Binary decision diagram Super Mario Bros. Hex (board game) Automated planning and scheduling Boolean algebra (structure) Border Gateway Protocol Sokoban Integer Konane Natural number Canadian traveller problem Mathematics-related lists Mahjong solitaire Wang tile Nondeterministic finite automata Regular grammar Ko rule Rush Hour (board game) Well-ordered set Langton's Ant Poset Game Linear bounded automata Quantified boolean formula Acyclic directed graph Amazons (game) Atomix (computer game) Binary string Type inhabitation problem dbr:River_Crossing dbr:Constraint_logic dbr:Dyson_Telescope_Game dbr:ET0L dbr:Node_Kayles dbr:Quasi-realtime_automata dbr:TipOver dbr:Tree_transducer_language dbr:Two-way_finite_state_automaton
Link from a Wikipage to an external page	https://arxiv.org/abs/math/9409225 http://www.ics.uci.edu/~eppstein/cgt/hard.html
sameAs	List of PSPACE-complete problems List of PSPACE-complete problems
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Div_col dbt:Div_col_end dbt:Dynamic_list dbt:Sfnp dbt:Short_description dbt:Use_mdy_dates
cs1-dates	ly (en)
date	September 2022 (en)
has abstract	Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive. (en)
gold:hypernym	PSPACE-complete
prov:wasDerivedFrom	wikipedia-en:List_of_PSPACE-complete_problems?oldid=1116531072&ns=0
page length (characters) of wiki page	18821 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:List_of_PSPACE-complete_problems
is Link from a Wikipage to another Wikipage of	Intersection non-emptiness problem

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 43 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software