{"id":"https://openalex.org/W2154560238","doi":"https://doi.org/10.3390/a4010001","title":"Recognizing the Repeatable Configurations of Time-Reversible Generalized Langton\u2019s Ant Is PSPACE-Hard","display_name":"Recognizing the Repeatable Configurations of Time-Reversible Generalized Langton\u2019s Ant Is PSPACE-Hard","publication_year":2011,"publication_date":"2011-01-28","ids":{"openalex":"https://openalex.org/W2154560238","doi":"https://doi.org/10.3390/a4010001","mag":"2154560238"},"language":"en","primary_location":{"id":"doi:10.3390/a4010001","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a4010001","pdf_url":"https://www.mdpi.com/1999-4893/4/1/1/pdf?version=1296210138","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1999-4893/4/1/1/pdf?version=1296210138","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001456359","display_name":"Tatsuie Tsukiji","orcid":"https://orcid.org/0000-0002-7997-6633"},"institutions":[{"id":"https://openalex.org/I165522056","display_name":"Tokyo Denki University","ror":"https://ror.org/01pa62v70","country_code":"JP","type":"education","lineage":["https://openalex.org/I165522056"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Tatsuie Tsukiji","raw_affiliation_strings":["Department of Information Science, Tokyo Denki University, Saitama 350-0394, Hatoyama, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Information Science, Tokyo Denki University, Saitama 350-0394, Hatoyama, Japan","institution_ids":["https://openalex.org/I165522056"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003293325","display_name":"Takeo Hagiwara","orcid":null},"institutions":[{"id":"https://openalex.org/I165522056","display_name":"Tokyo Denki University","ror":"https://ror.org/01pa62v70","country_code":"JP","type":"education","lineage":["https://openalex.org/I165522056"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takeo Hagiwara","raw_affiliation_strings":["Department of Information Science, Tokyo Denki University, Saitama 350-0394, Hatoyama, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Information Science, Tokyo Denki University, Saitama 350-0394, Hatoyama, Japan","institution_ids":["https://openalex.org/I165522056"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001456359"],"corresponding_institution_ids":["https://openalex.org/I165522056"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.3138,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.62567521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"4","issue":"1","first_page":"1","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9995999932289124,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9995999932289124,"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/T13664","display_name":"Genome Rearrangement Algorithms","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/square","display_name":"Square (algebra)","score":0.7708585262298584},{"id":"https://openalex.org/keywords/square-tiling","display_name":"Square tiling","score":0.7213643789291382},{"id":"https://openalex.org/keywords/ant-colony-optimization-algorithms","display_name":"Ant colony optimization algorithms","score":0.6020903587341309},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.5172596573829651},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5065053701400757},{"id":"https://openalex.org/keywords/ant","display_name":"ANT","score":0.49994921684265137},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4575809836387634},{"id":"https://openalex.org/keywords/ant-colony","display_name":"Ant colony","score":0.4502404034137726},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.42743873596191406},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4225991368293762},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.3921358585357666},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3566271662712097},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3308946490287781},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.28864431381225586},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.11046263575553894}],"concepts":[{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.7708585262298584},{"id":"https://openalex.org/C178650486","wikidata":"https://www.wikidata.org/wiki/Q1128619","display_name":"Square tiling","level":3,"score":0.7213643789291382},{"id":"https://openalex.org/C40128228","wikidata":"https://www.wikidata.org/wiki/Q460851","display_name":"Ant colony optimization algorithms","level":2,"score":0.6020903587341309},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.5172596573829651},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5065053701400757},{"id":"https://openalex.org/C97467695","wikidata":"https://www.wikidata.org/wiki/Q295802","display_name":"ANT","level":2,"score":0.49994921684265137},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4575809836387634},{"id":"https://openalex.org/C60891933","wikidata":"https://www.wikidata.org/wiki/Q796575","display_name":"Ant colony","level":3,"score":0.4502404034137726},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.42743873596191406},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4225991368293762},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.3921358585357666},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3566271662712097},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3308946490287781},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.28864431381225586},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.11046263575553894},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/a4010001","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a4010001","pdf_url":"https://www.mdpi.com/1999-4893/4/1/1/pdf?version=1296210138","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:8ae6aa3bde7f4accafe29b14fc7c997d","is_oa":true,"landing_page_url":"https://doaj.org/article/8ae6aa3bde7f4accafe29b14fc7c997d","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Algorithms, Vol 4, Iss 1, Pp 1-15 (2011)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1999-4893/4/1/1/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/a4010001","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Algorithms; Volume 4; Issue 1; Pages: 1-15","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/a4010001","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a4010001","pdf_url":"https://www.mdpi.com/1999-4893/4/1/1/pdf?version=1296210138","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2154560238.pdf","grobid_xml":"https://content.openalex.org/works/W2154560238.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W1996518248","https://openalex.org/W2001024377","https://openalex.org/W2011039300","https://openalex.org/W2048353762","https://openalex.org/W2069074647","https://openalex.org/W2078627071","https://openalex.org/W2081278343","https://openalex.org/W2135125906","https://openalex.org/W2323517384","https://openalex.org/W2476096155","https://openalex.org/W2485662820","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4237535716","https://openalex.org/W2110363036","https://openalex.org/W2347951034","https://openalex.org/W2388326823","https://openalex.org/W2366876790","https://openalex.org/W2071981049","https://openalex.org/W2381829748","https://openalex.org/W2244460820","https://openalex.org/W2109336245","https://openalex.org/W2061313076"],"abstract_inverted_index":{"Chris":[0],"Langton":[1],"proposed":[2],"a":[3,20,23,81,111,135],"model":[4],"of":[5,22,39,71,84,115,130],"an":[6,13,58],"artificial":[7],"life":[8],"that":[9,17,57,108],"he":[10],"named":[11],"\u201cant\u201d:":[12],"agent-":[14],"called":[15],"ant-":[16],"is":[18,44,61,119,123],"over":[19],"square":[21,41,48],"grid":[24],"moves":[25],"by":[26,79],"turning":[27],"to":[28,34,101],"the":[29,40,47,72,76,87,93,128,131],"left":[30],"(or":[31,36],"right)":[32],"accordingly":[33],"black":[35],"white)":[37],"color":[38,85,94],"where":[42,86],"it":[43],"heading,":[45],"and":[46,54,92],"then":[49],"reverses":[50],"its":[51],"color.":[52],"Bunimovich":[53],"Troubetzkoy":[55],"proved":[56],"ant\u2019s":[59,73,132],"trajectory":[60],"always":[62],"unbounded,":[63],"or":[64,121],"equivalently,":[65],"there":[66],"exists":[67],"no":[68],"repeatable":[69,97,120],"configuration":[70,114],"system.":[74],"On":[75],"other":[77],"hand,":[78],"introducing":[80],"new":[82],"type":[83],"ant":[88,118],"goes":[89],"straight":[90],"ahead":[91],"never":[95],"changes,":[96],"configurations":[98],"are":[99],"known":[100],"exist.":[102],"In":[103],"this":[104],"paper,":[105],"we":[106],"prove":[107,127],"determining":[109],"whether":[110],"given":[112],"finite":[113],"generalized":[116],"Langton\u2019s":[117],"not":[122],"PSPACE-hard.":[124],"We":[125],"also":[126],"PSPACE-hardness":[129],"problem":[133],"on":[134],"hexagonal":[136],"grid.":[137]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}