{"id":"https://openalex.org/W7224920298","doi":"https://doi.org/10.5281/zenodo.23790446","title":"Generative Structural Theory v1.86 \u2014 Beyond Condition (C): Cut Conditions for Tree-Path Leaf Reattachment","display_name":"Generative Structural Theory v1.86 \u2014 Beyond Condition (C): Cut Conditions for Tree-Path Leaf Reattachment","publication_year":2026,"publication_date":"2026-10-30","ids":{"openalex":"https://openalex.org/W7224920298","doi":"https://doi.org/10.5281/zenodo.23790446"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23790446","doi":"https://doi.org/10.5281/zenodo.23790446","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23790446","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.23790446","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.8241999745368958,"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.8241999745368958,"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/T11567","display_name":"semigroups and automata theory","score":0.028999999165534973,"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.02199999988079071,"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/cut-sets","display_name":"cut sets","score":0.6309999823570251},{"id":"https://openalex.org/keywords/leaf-reduction","display_name":"leaf reduction","score":0.6069999933242798},{"id":"https://openalex.org/keywords/automata-theory","display_name":"automata theory","score":0.4189999997615814},{"id":"https://openalex.org/keywords/formal-grammars","display_name":"formal grammars","score":0.33500000834465027},{"id":"https://openalex.org/keywords/formal-syntax","display_name":"formal syntax","score":0.7689999938011169},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.9110000133514404}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8378000259399414},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7634999752044678},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.7099000215530396},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.6295999884605408},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4472000002861023},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4438000023365021},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4260999858379364},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.40560001134872437},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.38530001044273376},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3799000084400177},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C188521023","wikidata":"https://www.wikidata.org/wiki/Q6795644","display_name":"Maximal set","level":3,"score":0.2818000018596649},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C64331007","wikidata":"https://www.wikidata.org/wiki/Q831672","display_name":"Spanning tree","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.2563999891281128}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23790446","doi":"https://doi.org/10.5281/zenodo.23790446","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23790446","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.23790447","doi":"https://doi.org/10.5281/zenodo.23790447","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23790447","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.23790446","doi":"https://doi.org/10.5281/zenodo.23790446","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23790446","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7224789857","https://openalex.org/W7224794235","https://openalex.org/W7224775357","https://openalex.org/W7224745158","https://openalex.org/W7224608902","https://openalex.org/W7224856906","https://openalex.org/W7224471633","https://openalex.org/W7224335457","https://openalex.org/W7224779389","https://openalex.org/W7224609995"],"abstract_inverted_index":{"(Q17)":[0],"of":[1,17,27,37,42,45,61,69,79,83,100,106,125,128,156,163,171,178,185,191,194,202,209,228,230,252,257,274,278,313,339,389,401,414,429,433,436,452,458,473,493,499,514,528,533,544,556,577,593],"v1.85":[2,38,84,319,402],"asks,":[3],"in":[4,50,197,233,254,280,335,417,460,464,497,505],"its":[5,30,89,306,562],"first":[6],"half,":[7],"for":[8,152,175,182,407,584],"structural":[9],"conditions":[10],"under":[11],"which":[12,336,585],"a":[13,18,40,77,97,103,107,115,119,131,153,159,176,242,246,261,265,296,323,353,365,381,387,397,440,491,541,575],"closed":[14,297,441],"transit":[15,104,298,442,538],"leaf":[16,92,98,299,388,398,443,482,492,539,576],"tree":[19,307,555],"S":[20,28,101,129],"can":[21],"be":[22,102],"re-hung":[23],"along":[24],"the":[25,34,43,46,53,58,71,80,123,126,135,140,144,168,189,192,255,258,268,272,311,340,361,371,390,430,434,467,494,500,507,515,519,578,594],"path":[26,47,127],"between":[29],"two":[31,145,333],"neighbours":[32,445],"when":[33,222],"condition":[35,81,205],"(C)":[36,287,374,454,476],"fails,":[39],"part":[41],"pairs":[44,60,124,146,193,229,251],"being":[48],"put":[49],"so":[51],"that":[52,165,199],"relation":[54,111,141,325,547],"left":[55],"keeps":[56],"all":[57,510],"other":[59,136],"h.":[62],"This":[63],"text":[64],"does":[65],"not":[66,196,232,447,581,597],"settle":[67],"(Q1)":[68,348,586],"v1.76,":[70],"two-deletion":[72],"chain":[73,354,382],"question;":[74],"it":[75,384],"gives":[76,244,264,379],"characterisation":[78],"(C')":[82,223,377,463,470,565],"by":[85,248,267,310,318,449,511],"cut":[86,150,179,210],"sets,":[87,180],"and":[88,116,138,260,286,292,315,344,346,376,393,462,466,475,483,524,531,553,564],"application":[90],"to":[91,132,173,355,550],"reduction.":[93],"Lemma":[94,320],"\u03fe1:":[95],"let":[96],"l":[99,303,314,337],"node":[105,351,410],"minimal":[108,239,324,546],"strongly":[109,216],"connected":[110,217],"h,":[112],"with":[113,212,235,300,330,347,357,364,469,540,548],"in-neighbour":[114],"out-neighbour":[117],"b,":[118,121,133],"\u2260":[120,542],"A":[122,149,195,231,567],"from":[130,271,561],"V'":[134,164],"nodes":[137,269,426,552],"h0":[139,157,172,198,213,234,236,279],"h":[142,327],"without":[143],"at":[147,295,305,331,370,386,395,424,456,471,477,490,518,574],"l.":[148],"set":[151,190,226,262,485],"pair":[154,170,184,276],"e":[155,166,277],"is":[158,167,188,338,420,571,587],"nonempty":[160],"proper":[161],"subset":[162],"only":[169],"leave;":[174],"family":[177,208,243,266],"one":[181,350,457,472,480,484,512,554],"each":[183,275,557],"h0,":[186],"B_U":[187,215,253],"leave":[200],"none":[201,478,522],"them.":[203],"The":[204],"(D),":[206,301,559],"some":[207,225],"sets":[211],"\u222a":[214,237,282,328],"on":[218,240,349],"V',":[219],"holds":[220,455],"exactly":[221],"holds,":[224,378],"B":[227,238,247,263,486],"V';":[241],"such":[245,380,396,481],"taking":[249],"out":[250],"order":[256],"path,":[259],"reached":[270],"tail":[273],"(h0":[281],"B)":[283],"minus":[284],"{e};":[285],"implies":[288],"(D).":[289],"Theorem":[290],"\u03fe2":[291],"Corollary":[293],"\u03fe3:":[294],"hanging":[302],"again":[304],"neighbour":[308],"p":[309,316],"2-cycle":[312],"gives,":[317],"\u03d21":[321],"(c),":[322],"inside":[326],"P_S":[329,356],"most":[332],"deletions":[334],"cases":[341,391,495,579],"(i),":[342],"(ii)":[343],"(iii),":[345],"less":[352],"deletion":[358],"bound":[359],"two;":[360],"procedure":[362],"P_FGHJN^first,":[363],"new":[366],"terminal":[367],"rule":[368,516],"N":[369,517],"leaves":[372,525],"where":[373],"fails":[375],"whenever":[383],"ends":[385,394,489],"(i)-(iii),":[392,580],"wherever":[399],"P_FGHJ^first":[400],"does.":[403],"These":[404,589],"statements":[405],"hold":[406],"every":[408,537,545],"finite":[409],"set;":[411],"no":[412],"way":[413],"deciding":[415],"(D)":[416],"polynomial":[418],"time":[419],"claimed.":[421],"Finite":[422],"checks":[423],"six":[425,551],"find":[427],"that,":[428],"1484":[431],"instances":[432,503],"population":[435],"v1.85,":[437],"482":[438],"have":[439,479],"whose":[444],"are":[446,591],"joined":[448],"an":[450,572,582],"edge":[451],"S,":[453],"them":[459,474],"98":[461],"110,":[465],"12":[468,508],"each.":[487],"P_FGHJN^first":[488],"(i)-(iii)":[496],"19680":[498],"21192":[501],"residual":[502],"(P_FGHJ^first":[504],"19668;":[506],"gained":[509],"step":[513],"initial":[520],"relation,":[521],"lost)":[523],"1512,":[526],"26":[527],"class":[529,534],"I":[530],"1486":[532],"II.":[535],"At":[536],"b":[543],"three":[549],"shape,":[558],"decided":[560],"definition,":[563],"agree.":[566],"success":[568],"counted":[569],"here":[570],"arrival":[573],"instance":[583],"proved.":[588],"numbers":[590],"findings":[592],"six-node":[595],"enumeration,":[596],"general":[598],"statements.":[599]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2026-10-31T00:00:00"}