{"id":"https://openalex.org/W7224497172","doi":"https://doi.org/10.5281/zenodo.23749112","title":"Generative Structural Theory v1.77 \u2014 Two-Deletion Chains: Leaf-Detachment Reduction and Sufficient Conditions for Budget-Two Reachability","display_name":"Generative Structural Theory v1.77 \u2014 Two-Deletion Chains: Leaf-Detachment Reduction and Sufficient Conditions for Budget-Two Reachability","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224497172","doi":"https://doi.org/10.5281/zenodo.23749112"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23749112","doi":"https://doi.org/10.5281/zenodo.23749112","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749112","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23749112","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135252223","display_name":"Koji Okino","orcid":"https://orcid.org/0009-0003-9273-9813","observed_orcids":["https://orcid.org/0009-0003-9273-9813"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Okino, Koji","raw_affiliation_strings":["SD Lab LLC"],"raw_orcid":"https://orcid.org/0009-0003-9273-9813","affiliations":[{"raw_affiliation_string":"SD Lab LLC","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5135252223"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9312000274658203,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9312000274658203,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.01489999983459711,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.012600000016391277,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/strongly-connected-digraphs","display_name":"strongly connected digraphs","score":0.5600000023841858},{"id":"https://openalex.org/keywords/growth-sequence","display_name":"growth sequence","score":0.4269999861717224}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8022000193595886},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7351999878883362},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.6384000182151794},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5325999855995178},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5108000040054321},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4846999943256378},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4571000039577484},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4465000033378601},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4341999888420105},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.40529999136924744},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.39980000257492065},{"id":"https://openalex.org/C38754835","wikidata":"https://www.wikidata.org/wiki/Q2003238","display_name":"Strongly connected component","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3718999922275543},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.328900009393692},{"id":"https://openalex.org/C86524685","wikidata":"https://www.wikidata.org/wiki/Q273037","display_name":"Hamiltonian path","level":3,"score":0.31310001015663147},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C42357961","wikidata":"https://www.wikidata.org/wiki/Q213363","display_name":"Open set","level":2,"score":0.27410000562667847},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C64331007","wikidata":"https://www.wikidata.org/wiki/Q831672","display_name":"Spanning tree","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.25609999895095825}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23749112","doi":"https://doi.org/10.5281/zenodo.23749112","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749112","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23749113","doi":"https://doi.org/10.5281/zenodo.23749113","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749113","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23749112","doi":"https://doi.org/10.5281/zenodo.23749112","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749112","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7224609995","https://openalex.org/W7224471633","https://openalex.org/W7224335457","https://openalex.org/W7223709715","https://openalex.org/W7224608902","https://openalex.org/W7224580716","https://openalex.org/W7223695144","https://openalex.org/W7223673526","https://openalex.org/W7223816775","https://openalex.org/W7223683013"],"abstract_inverted_index":{"v1.76":[0],"left":[1],"open":[2],"the":[3,41,71,75,157,168,187,203,209,232,259,269,271,274,277,331,335,346,352,386],"two-deletion":[4],"chain":[5,32,165,230],"question":[6],"(Q1):":[7],"for":[8,296,334],"every":[9,13,22,68,280,297,355,358],"finite":[10,180,343],"set":[11,27],"V,":[12,28],"minimal":[14,34,91,106,121],"strongly":[15,35,223],"connected":[16,36,224],"relation":[17,92,122,282],"h":[18,39,48,118,135,219],"on":[19,74,231,289,299,318,330],"V":[20],"and":[21,192,276,312,351,365,371],"tree":[23,43],"S":[24,149],"with":[25,51,132,302,315,327,360,369],"node":[26,172,181,264],"is":[29,150,154,184,205,213,222,339],"there":[30],"a":[31,114,120,141,160,164,170,229,263,266,303,319],"of":[33,78,97,127,145,148,159,162,189,195,208,262,279,305,307,345,354,378,385,388],"relations":[37,107],"from":[38,67,113,241],"to":[40,156,186,193,250,265],"bidirected":[42],"P_S,":[44,50],"each":[45,58],"contained":[46],"in":[47,215,239,340,357,366],"\u222a":[49],"at":[52,57,101,173,361,374],"most":[53,362],"two":[54,105],"pairs":[55,96,126,144,260],"deleted":[56],"step?":[59],"A":[60,90,211,342],"positive":[61],"answer":[62],"would":[63],"give":[64],"budget":[65,328],"2":[66,329],"start":[69],"under":[70],"condition":[72],"(AT)":[73],"class":[76,320],"\u03a6_I":[77],"v1.76.":[79],"This":[80],"text":[81],"does":[82],"not":[83,151],"settle":[84],"(Q1);":[85],"it":[86,183,221,251,294,313],"gives":[87],"partial":[88],"results.":[89],"that":[93,102,166,194,202],"holds":[94,288,295],"both":[95,125],"an":[98,128],"edge":[99,103,129],"splits":[100],"into":[104],"(Lemma":[108],"B_\u03e4);":[109],"so":[110,201],"no":[111,316,383],"step":[112,142,217],"directed":[115],"Hamiltonian":[116],"cycle":[117],"reaches":[119],"x":[123,133],"holding":[124],"{u,":[130],"v}":[131],"minus":[134],"\u2286":[136],"P_{u,v}":[137],"(Proposition":[138,176,199,225,252],"H_\u03e4),":[139],"while":[140],"adding":[143],"several":[146],"edges":[147],"excluded.":[152],"(Q1)":[153,287,350],"reduced":[155],"detachment":[158,188,353],"leaf":[161,169,191,198,212,304,356,384],"S,":[163],"makes":[167],"pendant":[171],"its":[174,236,242,245,379],"neighbour":[175,243],"R_\u03e4);":[177],"over":[178],"all":[179],"sets":[182],"equivalent":[185],"some":[190],"any":[196],"given":[197,228],"Q_\u03e4),":[200],"reduction":[204],"another":[206],"form":[207],"question.":[210],"detached":[214],"one":[216,306],"when":[218,235],"without":[220],"D_\u03e4)":[226],"and,":[227],"other":[233],"nodes,":[234,293],"only":[237,246],"pair":[238,247],"comes":[240],"or":[244],"out":[248,261],"goes":[249],"V_\u03e4,":[253],"through":[254],"Lemma":[255],"L_\u03e4,":[256],"which":[257],"moves":[258],"new":[267],"node),":[268],"minimality,":[270],"allowed":[272],"pairs,":[273],"deletions":[275],"end":[278],"intermediate":[281],"being":[283],"proved.":[284],"So,":[285],"if":[286],"m":[290,300],"-":[291],"1":[292],"instance":[298,338],"nodes":[301,364,376],"these":[308],"kinds":[309,387],"(Theorem":[310],"I_\u03e4),":[311],"holds,":[314],"search,":[317],"K":[321],"defined":[322],"by":[323],"recursion":[324],"(Corollary":[325],"\u03e43),":[326],"growth":[332],"sequences":[333],"starts":[336],"whose":[337],"K.":[341],"check":[344],"drafting":[347],"side":[348],"finds":[349],"case":[359],"six":[363,375],"random":[367],"samples":[368],"seven":[370],"eight":[372],"nodes;":[373],"21192":[377],"166896":[380],"cases":[381],"have":[382],"Theorem":[389],"I_\u03e4.":[390]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-10-30T00:00:00"}