{"id":"https://openalex.org/W2091425587","doi":"https://doi.org/10.1137/s0097539703431019","title":"On the Frame--Stewart Conjecture about the Towers of Hanoi","display_name":"On the Frame--Stewart Conjecture about the Towers of Hanoi","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2091425587","doi":"https://doi.org/10.1137/s0097539703431019","mag":"2091425587"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539703431019","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539703431019","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5100373670","display_name":"Xiao Chen","orcid":"https://orcid.org/0000-0001-5278-858X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiao Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5110129322","display_name":"Jian Qi Shen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jian Shen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.584,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.8869863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"33","issue":"3","first_page":"584","last_page":"589"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9950000047683716,"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/T11567","display_name":"semigroups and automata theory","score":0.9925000071525574,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6923729181289673},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6763537526130676},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6105568408966064},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5700073838233948},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.531050980091095},{"id":"https://openalex.org/keywords/transfer","display_name":"Transfer (computing)","score":0.512092113494873},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4678540825843811},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3577989339828491},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2595992088317871},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.09047168493270874},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.06622621417045593}],"concepts":[{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6923729181289673},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6763537526130676},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6105568408966064},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5700073838233948},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.531050980091095},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.512092113494873},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4678540825843811},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3577989339828491},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2595992088317871},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.09047168493270874},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.06622621417045593},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/s0097539703431019","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539703431019","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1571867543","https://openalex.org/W1658550553","https://openalex.org/W1965106165","https://openalex.org/W2001456233","https://openalex.org/W2324651233","https://openalex.org/W3215274301","https://openalex.org/W4230408327","https://openalex.org/W4235496696"],"related_works":["https://openalex.org/W3008380943","https://openalex.org/W2115206405","https://openalex.org/W4387718383","https://openalex.org/W1528986568","https://openalex.org/W2500746363","https://openalex.org/W3194471551","https://openalex.org/W2804199312","https://openalex.org/W4375956809","https://openalex.org/W1581373162","https://openalex.org/W2347954438"],"abstract_inverted_index":{"The":[0,41,74,159],"multipeg":[1],"Towers":[2,150,174],"of":[3,7,18,32,43,70,76,92,109,114,131,151,168,175,212,214],"Hanoi":[4,152,176],"problem":[5,45,78,108,153,177],"consists":[6],"k":[8],"pegs":[9],"mounted":[10],"on":[11,26,68,155],"a":[12,53,63,71,194],"board":[13],"together":[14],"with":[15,35,88],"n":[16],"disks":[17,23,47,84],"different":[19],"sizes.":[20],"Initially":[21],"these":[22],"are":[24],"placed":[25,67],"one":[27,51,56],"peg":[28,57,87],"in":[29,126],"the":[30,36,39,44,77,83,89,107,111,128,149,166,173,179,187,209,219,226],"order":[31,211],"their":[33],"size,":[34],"largest":[37],"at":[38,52],"bottom.":[40],"rules":[42],"allow":[46],"to":[48,58,80,85,147,171,224],"be":[49],"moved":[50],"time":[54],"from":[55],"another":[59,86],"as":[60,62],"long":[61],"disk":[64],"is":[65,79,165],"never":[66],"top":[69],"smaller":[72],"disk.":[73],"goal":[75],"transfer":[81],"all":[82],"minimum":[90],"number":[91,167],"moves,":[93],"denoted":[94,162],"by":[95,163],"H(n,k).":[96],"An":[97],"easy":[98],"recursive":[99],"argument":[100],"shows":[101],"that":[102,203],"H(n,3)=":[103],"2n":[104],"-1.":[105],"However,":[106],"computing":[110],"exact":[112],"value":[113],"H(n,k)":[115,206],"for":[116],"$k":[117],"\\ge":[118],"4$":[119],"has":[120,133,192],"been":[121,134],"open":[122,135,196],"since":[123,136],"1939,":[124],"and":[125,141,205],"particular,":[127],"special":[129],"case":[130],"H(n,4)":[132],"1907.":[137],"In":[138,198],"1941,":[139],"Frame":[140],"Stewart":[142],"each":[143],"gave":[144],"an":[145,156],"algorithm":[146],"solve":[148,172],"based":[154],"unproved":[157],"assumption.":[158],"Frame--Stewart":[160,182,188,227],"number,":[161],"FS(n,k),":[164],"moves":[169],"needed":[170],"using":[178],"\"presumed":[180],"optimal\"":[181],"algorithm.":[183],"Since":[184],"then,":[185],"proving":[186],"conjecture":[189],"FS(n,k)":[190,204],"=H(n,k)":[191],"become":[193],"notorious":[195],"problem.":[197],"this":[199],"paper,":[200],"we":[201],"prove":[202],"both":[207],"have":[208],"same":[210],"magnitude":[213],"$2^{(1\\pm":[215],"o(1))(n(k-2)!)^{1/(k-2)}}$.":[216],"This":[217],"provides":[218],"strongest":[220],"evidence":[221],"so":[222],"far":[223],"support":[225],"conjecture.":[228]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}