{"id":"https://openalex.org/W7224775357","doi":"https://doi.org/10.5281/zenodo.23793336","title":"Generative Structural Theory v1.87 \u2014 Beyond a Single Tree Path: Full-Tree Leaf Reattachment under Budget Two","display_name":"Generative Structural Theory v1.87 \u2014 Beyond a Single Tree Path: Full-Tree Leaf Reattachment under Budget Two","publication_year":2026,"publication_date":"2026-10-30","ids":{"openalex":"https://openalex.org/W7224775357","doi":"https://doi.org/10.5281/zenodo.23793336"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23793336","doi":"https://doi.org/10.5281/zenodo.23793336","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23793336","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.23793336","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.8637999892234802,"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.8637999892234802,"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.11069999635219574,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.003700000001117587,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/cut-sets","display_name":"cut sets","score":0.781000018119812},{"id":"https://openalex.org/keywords/leaf-reduction","display_name":"leaf reduction","score":0.8479999899864197},{"id":"https://openalex.org/keywords/combinatorics","display_name":"combinatorics","score":0.41600000858306885},{"id":"https://openalex.org/keywords/existence-conditions","display_name":"existence conditions","score":0.3059999942779541},{"id":"https://openalex.org/keywords/transit-nodes","display_name":"transit nodes","score":0.33000001311302185}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7861999869346619},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.7688999772071838},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7476999759674072},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.599399983882904},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5781999826431274},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5281999707221985},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47699999809265137},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4494999945163727},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.428600013256073},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.40230000019073486},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3346000015735626},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.3068999946117401},{"id":"https://openalex.org/C64331007","wikidata":"https://www.wikidata.org/wiki/Q831672","display_name":"Spanning tree","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C163797641","wikidata":"https://www.wikidata.org/wiki/Q2067937","display_name":"Tree structure","level":3,"score":0.28360000252723694}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23793336","doi":"https://doi.org/10.5281/zenodo.23793336","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23793336","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.23793337","doi":"https://doi.org/10.5281/zenodo.23793337","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23793337","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.23793336","doi":"https://doi.org/10.5281/zenodo.23793336","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23793336","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/W7224745158","https://openalex.org/W7224789857","https://openalex.org/W7224920298","https://openalex.org/W7224497172","https://openalex.org/W7224471633","https://openalex.org/W7224335457","https://openalex.org/W7224779389","https://openalex.org/W7224948240","https://openalex.org/W7224856906","https://openalex.org/W7224609995"],"abstract_inverted_index":{"This":[0],"version":[1],"studies":[2],"bidirected":[3,462],"reattachment":[4,162,463],"of":[5,20,37,49,71,84,163,170,252,276,305,308,327,338,352,365,376,384,404,418,423,455,470],"a":[6,60,69,72,81,89,112,141,161,197,201,218,360,382,431,437],"transit":[7,82,316],"leaf":[8,70,260,317,383,438],"using":[9],"pairs":[10,107,117],"from":[11,140,196],"the":[12,17,26,43,105,127,245,265,274,284,302,306,370,373,440,465,475],"whole":[13],"target":[14],"tree,":[15],"extending":[16,244],"tree-path":[18],"approach":[19],"v1.85":[21],"and":[22,29,65,90,93,122,142,181,198,269,406,421,474],"v1.86.":[23],"It":[24,39],"establishes":[25],"deletion-budget":[27],"obstruction":[28],"an":[30,54,249,325,444],"exact":[31],"existence":[32],"condition":[33,213,240],"for":[34,102,126,393,446,460,485],"this":[35,164,239],"form":[36,165],"reattachment.":[38],"does":[40],"not":[41,322,443],"settle":[42],"general":[44,476],"two-deletion":[45],"chain":[46,279],"question":[47,477],"(Q1)":[48,288,448,478],"v1.76.":[50],"Let":[51],"h":[52,85,103,204],"be":[53,68,96],"inclusion-minimal":[55,175,186,231],"strongly":[56,176,187,232],"connected":[57,177,188,233],"relation":[58,113,129],"on":[59,75,130,178,189,234,290],"finite":[61],"node":[62,83],"set":[63,219,251,362],"V,":[64],"let":[66,94],"l":[67,79,109,119],"tree":[73,98,367,466],"S":[74],"V.":[76],"Suppose":[77],"that":[78,226,271,287],"is":[80,138,174,185,194,217,230,410,434,457,487],"with":[86,104,341,359,391],"distinct":[87,139,195,319],"in-neighbour":[88],"out-neighbour":[91],"b,":[92,143,199],"p":[95,137,193],"its":[97],"neighbour.":[99,467],"Write":[100],"h0":[101,224,227],"two":[106,210],"at":[108,118,296,312,336,350,436,464],"removed.":[110],"For":[111],"x":[114,173],"whose":[115,318],"only":[116,182,459],"are":[120,321,428],"(p,l)":[121],"(l,p),":[123],"write":[124],"g":[125,184],"remaining":[128,413],"V\u2032":[131],"=":[132,150],"V":[133,179],"\u2216":[134,148,154,223],"{l}.":[135],"When":[136],"Lemma":[144,236],"\u03fd1":[145],"gives":[146],"|h":[147],"x|":[149],"2":[151],"+":[152],"|h0":[153],"g|.":[155],"Thus,":[156],"under":[157,208,283],"deletion":[158],"budget":[159,209],"two,":[160],"must":[166],"retain":[167],"every":[168],"pair":[169,368],"h0.":[171],"Moreover,":[172],"if":[180,183],"V\u2032.":[190,235],"Consequently,":[191],"when":[192,212],"such":[200,225,343],"step":[202],"inside":[203],"\u222a":[205,228],"P_S":[206,281],"exists":[207],"exactly":[211],"(C'')":[214,348,486],"holds:":[215],"there":[216],"B":[220,229,363],"\u2286":[221],"P_{S-l}":[222],"\u03fd2":[237],"characterises":[238],"by":[241,324],"cut":[242,246],"sets,":[243],"characterisation":[247],"to":[248,259,280],"arbitrary":[250],"candidate":[253],"pairs.":[254],"Theorem":[255],"\u03fd3":[256],"applies":[257],"it":[258],"reduction.":[261],"Corollary":[262],"\u03fd4":[263],"introduces":[264],"terminal":[266],"rule":[267],"X":[268],"proves":[270],"P_FGHJNX^first":[272,380],"preserves":[273],"successes":[275,398],"P_FGHJN^first.":[277,394],"A":[278],"follows":[282],"additional":[285,397],"assumption":[286],"holds":[289,349],"one":[291,314,366,401],"fewer":[292],"node.":[293],"Finite":[294],"checks":[295],"six":[297],"nodes":[298],"find":[299],"that,":[300],"among":[301],"1484":[303],"instances":[304,415],"population":[307,375],"v1.85,":[309],"482":[310,331],"have":[311],"least":[313],"closed":[315],"neighbours":[320],"joined":[323],"edge":[326],"S.":[328],"Of":[329],"these":[330,353],"instances,":[332,357,379,389],"372":[333],"satisfy":[334],"(C')":[335],"none":[337],"those":[339],"leaves,":[340,354],"542":[342],"leaves":[344],"in":[345,355,387],"total.":[346],"Condition":[347],"8":[351,356],"each":[358],"unique":[361],"consisting":[364],"outside":[369],"path.":[371],"On":[372],"fixed":[374],"21192":[377],"residual":[378],"reaches":[381],"cases":[385],"(i)\u2013(iii)":[386],"19688":[388],"compared":[390],"19680":[392],"All":[395],"eight":[396],"occur":[399],"through":[400],"initial":[402],"application":[403],"X,":[405],"no":[407],"previous":[408],"success":[409,433],"lost.":[411],"The":[412,452],"1504":[414],"comprise":[416],"26":[417],"class":[419,424],"I":[420],"1478":[422],"II.":[425],"These":[426],"counts":[427],"finite-enumeration":[429],"results;":[430],"counted":[432],"arrival":[435],"admitting":[439],"stated":[441],"reduction,":[442],"instance":[445],"which":[447],"has":[449],"been":[450],"proved.":[451],"second":[453],"half":[454],"(Q17)":[456],"answered":[458],"one-step":[461],"Other":[468],"forms":[469],"transformation,":[471],"preparatory":[472],"chains,":[473],"remain":[479],"open.":[480],"No":[481],"polynomial-time":[482],"decision":[483],"procedure":[484],"claimed.":[488]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2026-10-31T00:00:00"}