{"id":"https://openalex.org/W4385396242","doi":"https://doi.org/10.1142/s0129054123470032","title":"PSPACE-Completeness of Reversible Deterministic Systems","display_name":"PSPACE-Completeness of Reversible Deterministic Systems","publication_year":2023,"publication_date":"2023-07-29","ids":{"openalex":"https://openalex.org/W4385396242","doi":"https://doi.org/10.1142/s0129054123470032"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054123470032","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054123470032","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083684609","display_name":"Erik D. Demaine","orcid":"https://orcid.org/0000-0003-3803-5703"},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erik D. Demaine","raw_affiliation_strings":["MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I126820664"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066969615","display_name":"Robert A. Hearn","orcid":"https://orcid.org/0000-0003-4499-9525"},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert A. Hearn","raw_affiliation_strings":["MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I126820664"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058171451","display_name":"Dylan Hendrickson","orcid":null},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dylan Hendrickson","raw_affiliation_strings":["MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I126820664"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083517445","display_name":"Jayson Lynch","orcid":"https://orcid.org/0000-0003-0801-1671"},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jayson Lynch","raw_affiliation_strings":["MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar Street, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I126820664"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5083517445"],"corresponding_institution_ids":["https://openalex.org/I126820664"],"apc_list":null,"apc_paid":null,"fwci":0.2014,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54005159,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"36","issue":"07","first_page":"1041","last_page":"1062"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9695000052452087,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.9486317038536072},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.6668932437896729},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6075869798660278},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6074555516242981},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6041603684425354},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4355655312538147},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2885393500328064},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23034068942070007},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.2292860448360443}],"concepts":[{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.9486317038536072},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.6668932437896729},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6075869798660278},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6074555516242981},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6041603684425354},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4355655312538147},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2885393500328064},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23034068942070007},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2292860448360443},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054123470032","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054123470032","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2127390095","https://openalex.org/W2154560238","https://openalex.org/W2293411184","https://openalex.org/W2774604086","https://openalex.org/W2930665417","https://openalex.org/W3023230561","https://openalex.org/W4214952174","https://openalex.org/W4251109627"],"related_works":["https://openalex.org/W2195657359","https://openalex.org/W2035788602","https://openalex.org/W4385396242","https://openalex.org/W2027440986","https://openalex.org/W2949387839","https://openalex.org/W1763969474","https://openalex.org/W2109895531","https://openalex.org/W4293138003","https://openalex.org/W106894730","https://openalex.org/W2998808137"],"abstract_inverted_index":{"We":[0,47],"prove":[1,61,110,162],"PSPACE-completeness":[2,111],"of":[3,23,90,112,131,164],"several":[4],"reversible,":[5],"fully":[6],"deterministic":[7,119,167],"systems.":[8,168],"At":[9],"the":[10,85,150],"core,":[11],"we":[12,60,78,109,135],"develop":[13],"a":[14,21,28,72,80,124,147],"framework":[15,29,51],"for":[16,30,84],"such":[17],"proofs":[18,138],"(building":[19],"on":[20],"result":[22],"Tsukiji":[24],"and":[25,27,92,123],"Hagiwara":[26],"motion":[31,114,141],"planning":[32,115,142],"through":[33],"gadgets),":[34],"showing":[35,56],"that":[36,39,62,139],"any":[37,117],"system":[38],"can":[40],"implement":[41],"three":[42],"basic":[43],"gadgets":[44],"is":[45,66,143],"PSPACE-complete.":[46],"then":[48],"apply":[49],"this":[50],"to":[52,161],"four":[53],"different":[54],"systems,":[55],"its":[57],"versatility.":[58],"First,":[59],"Deterministic":[63],"Constraint":[64],"Logic":[65],"PSPACE-complete,":[67],"fixing":[68],"an":[69],"error":[70],"in":[71,155],"previous":[73],"argument":[74],"from":[75,94],"2008.":[76],"Second,":[77],"give":[79,136],"new":[81],"PSPACE-hardness":[82,163],"proof":[83],"reversible":[86,118,166],"\u2018billiard":[87],"ball\u2019":[88],"model":[89],"Fredkin":[91],"Toffoli":[93],"40":[95],"years":[96],"ago,":[97],"newly":[98],"establishing":[99],"hardness":[100],"when":[101],"only":[102],"two":[103],"balls":[104],"move":[105],"at":[106],"once.":[107],"Third,":[108],"zero-player":[113,129,140],"with":[116,145],"interacting":[120],"k-tunnel":[121],"gadget":[122,127],"\u2018rotate":[125],"clockwise\u2019":[126],"(a":[128],"analog":[130],"branching":[132],"hallways).":[133],"Fourth,":[134],"simpler":[137],"PSPACE-complete":[144],"just":[146],"single":[148],"gadget,":[149],"3-spinner.":[151],"These":[152],"results":[153],"should":[154],"turn":[156],"make":[157],"it":[158],"even":[159],"easier":[160],"other":[165]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-08T23:21:52.890332","created_date":"2025-10-10T00:00:00"}