{"id":"https://openalex.org/W7225816452","doi":"https://doi.org/10.5281/zenodo.24131492","title":"Generative Structural Theory v1.109 \u2014 Alternative Moves at Certified Local Obstructions under Deletion Budget Two","display_name":"Generative Structural Theory v1.109 \u2014 Alternative Moves at Certified Local Obstructions under Deletion Budget Two","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225816452","doi":"https://doi.org/10.5281/zenodo.24131492"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24131492","doi":"https://doi.org/10.5281/zenodo.24131492","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24131492","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","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24131492","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.7192000150680542,"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.7192000150680542,"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.10679999738931656,"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.027899999171495438,"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":[],"concepts":[{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.6593000292778015},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.551800012588501},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5102999806404114},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4871000051498413},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.460999995470047},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4553000032901764},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43479999899864197},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.36230000853538513},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.3343000113964081},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32850000262260437},{"id":"https://openalex.org/C163797641","wikidata":"https://www.wikidata.org/wiki/Q2067937","display_name":"Tree structure","level":3,"score":0.3172000050544739},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C204921945","wikidata":"https://www.wikidata.org/wiki/Q899689","display_name":"Side chain","level":3,"score":0.3052000105381012},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2827000021934509},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.2777000069618225},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2639000117778778}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24131492","doi":"https://doi.org/10.5281/zenodo.24131492","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24131492","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.24131493","doi":"https://doi.org/10.5281/zenodo.24131493","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24131493","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.24131492","doi":"https://doi.org/10.5281/zenodo.24131492","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24131492","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":[],"abstract_inverted_index":{"This":[0,244],"version":[1],"provides":[2],"explicit":[3],"complete":[4,81,281,325],"chains":[5,168,303],"for":[6,31,289,304],"two":[7,164,172,286,291,318],"fixed":[8,35,292],"eighteen-node":[9],"inputs,":[10,326],"M1":[11],"and":[12,27,98,103,119,124,153,157,201,253,276,330,334,344,357,379],"M12,":[13,107,220],"each":[14,32],"possessing":[15],"a":[16,21,68,80,87,91,108,112,175,280,345,374],"certified":[17,273],"local":[18,274],"obstruction":[19,66],"to":[20,135],"one-sided":[22],"leaf":[23,42,94,115,232,240],"move.":[24,268],"Versions":[25],"v1.107":[26],"v1.108":[28],"established":[29],"that,":[30],"of":[33,41,70,100,121,142,191,212,249,279],"twelve":[34],"candidate":[36,184],"records":[37],"M1\u2013M12,":[38],"the":[39,131,137,179,182,189,196,210,213,221,228,247,250,265,277,305,324,341,365,370],"choice":[40],"3,":[43,95,233],"side":[44,96,117,234,242],"1,":[45,116,241],"with":[46,54,90,111,349],"D":[47],"=":[48],"\u2205":[49],"has":[50],"an":[51,65,202],"undecided":[52],"stop":[53],"no":[55,225,261],"feasible":[56],"set,":[57],"first":[58],"detected":[59],"at":[60,93,114,162,231],"probing":[61],"depth":[62],"six.":[63],"Such":[64],"excludes":[67],"move":[69,92,113,230],"that":[71,260,272,315],"particular":[72],"form;":[73],"it":[74,256],"does":[75,257,295],"not":[76,215,258,296],"by":[77,171],"itself":[78],"exclude":[79],"chain":[82,88,109,128,226,262,282,311,328,352],"satisfying":[83],"(Q1).":[84],"For":[85,106,219],"M1,":[86],"starts":[89,110],"0":[97],"consists":[99,120],"12":[101],"states":[102,123,329],"11":[104],"transitions.":[105,126],"1":[118],"14":[122],"13":[125],"Each":[127],"runs":[129],"from":[130,181,227,239,264],"original":[132,183],"relation":[133,138],"h":[134,150],"P_S,":[136],"containing":[139],"both":[140],"directions":[141],"every":[143],"tree":[144],"edge.":[145],"Every":[146,159],"state":[147],"lies":[148],"within":[149,209],"\u222a":[151],"P_S":[152],"is":[154,319],"strongly":[155],"connected":[156],"inclusion-minimal.":[158],"transition":[160],"deletes":[161],"most":[163],"directed":[165],"edges.":[166],"Both":[167],"were":[169],"checked":[170],"implementations,":[173],"including":[174],"separate":[176],"implementation":[177],"reading":[178],"inputs":[180],"records.":[185,336],"Altered-chain":[186],"controls":[187],"test":[188],"detection":[190],"nonminimal":[192],"states,":[193],"edges":[194],"outside":[195],"allowed":[197],"relation,":[198],"excessive":[199],"deletions,":[200],"incorrect":[203],"endpoint.":[204],"These":[205],"are":[206,287],"computational":[207],"checks":[208],"preparation":[211],"work,":[214],"third-party":[216],"independent":[217],"verification.":[218],"limited":[222],"construction":[223,252],"found":[224,237],"initial":[229,267],"0,":[235],"but":[236],"one":[238],"1.":[243],"comparison":[245],"concerns":[246],"outcome":[248],"specified":[251],"witness-selection":[254],"rules;":[255],"establish":[259,301],"exists":[263],"former":[266],"The":[269,321,337,360],"result":[270],"establishes":[271],"infeasibility":[275],"existence":[278],"under":[283],"deletion":[284,316],"budget":[285,317],"compatible":[288],"these":[290],"inputs.":[293],"It":[294],"settle":[297],"(Q1)":[298],"in":[299],"general,":[300],"corresponding":[302],"other":[306],"ten":[307],"candidates,":[308],"prove":[309],"shortest":[310],"lengths,":[312],"or":[313],"show":[314],"necessary.":[320],"supplement":[322],"supplies":[323],"all":[327],"transitions,":[331],"verification":[332,347],"results,":[333],"SHA-256":[335],"accompanying":[338],"ZIP":[339],"contains":[340],"text":[342],"versions":[343],"self-contained":[346],"appendix":[348],"input":[350],"data,":[351],"files,":[353],"checking":[354,361],"scripts,":[355],"controls,":[356],"reproduction":[358],"instructions.":[359],"scripts":[362],"use":[363],"only":[364],"Python":[366],"3":[367],"standard":[368],"library;":[369],"documented":[371],"commands":[372],"assume":[373],"shell":[375],"providing":[376],"python3,":[377],"sha256sum,":[378],"mkdir.":[380]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}