{"id":"https://openalex.org/W7224580716","doi":"https://doi.org/10.5281/zenodo.23758839","title":"Generative Structural Theory v1.80 \u2014 Structural Analysis of the Remaining Preparatory Cases","display_name":"Generative Structural Theory v1.80 \u2014 Structural Analysis of the Remaining Preparatory Cases","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224580716","doi":"https://doi.org/10.5281/zenodo.23758839"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23758839","doi":"https://doi.org/10.5281/zenodo.23758839","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23758839","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.23758839","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.9574999809265137,"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.9574999809265137,"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.008500000461935997,"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.005900000222027302,"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/strong-connectivity","display_name":"strong connectivity","score":0.5730000138282776},{"id":"https://openalex.org/keywords/graph-homomorphisms","display_name":"graph homomorphisms","score":0.4740000069141388},{"id":"https://openalex.org/keywords/counterexample-search","display_name":"counterexample search","score":0.41499999165534973},{"id":"https://openalex.org/keywords/graph-theory-problems","display_name":"graph theory problems","score":0.5519999861717224}],"concepts":[{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.8019999861717224},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.7509999871253967},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7405999898910522},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6330999732017517},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6312999725341797},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5996000170707703},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.512499988079071},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.47519999742507935},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46810001134872437},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.397599995136261},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C14103023","wikidata":"https://www.wikidata.org/wiki/Q11681459","display_name":"Pairing","level":3,"score":0.31130000948905945},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.273499995470047}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23758839","doi":"https://doi.org/10.5281/zenodo.23758839","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23758839","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.23758840","doi":"https://doi.org/10.5281/zenodo.23758840","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23758840","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.23758839","doi":"https://doi.org/10.5281/zenodo.23758839","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23758839","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/W7224471633","https://openalex.org/W7224609995","https://openalex.org/W7224608902","https://openalex.org/W7224497172","https://openalex.org/W7224335457","https://openalex.org/W7223709715","https://openalex.org/W7223695144","https://openalex.org/W7223816775","https://openalex.org/W7223673526","https://openalex.org/W7223249420"],"abstract_inverted_index":{"v1.79":[0,386],"left":[1],"44":[2,443,528],"cases":[3,40,397,462,497,529],"at":[4,150,240,244,271,436,468],"six":[5,437],"nodes,":[6],"among":[7],"the":[8,39,63,105,116,123,160,172,175,193,213,233,246,251,263,300,327,333,376,396,399,402,409,420,433,442,461,488,496,513,516,527,533,540],"residual":[9],"instances":[10],"of":[11,13,19,24,36,38,68,95,122,163,174,189,250,275,283,345,381,385,395,401,408,413,432,446,451,460,487,495],"(Q5)":[12],"v1.78,":[14,414],"that":[15,135,144,196,387],"have":[16],"no":[17,536],"preparation":[18,52],"one":[20,37,139,161,190,241,282,305,311,336,355,485],"or":[21,155,320,329],"two":[22,103,152,247,371,510],"steps":[23,106,380,445,511],"its":[25,45,99,277,284],"Lemmas":[26,447],"A_\u03e8":[27,448],"and":[28,42,109,143,262,293,297,310,384,404,419,449,471,502,509],"B_\u03e8":[29,450],"to":[30,62,338,362,389,483,492,503,532],"a":[31,34,50,55,60,93,132,178,184,187,198,203,256,272,287,317,321,339,358,390,393,455,458,493],"relation":[32,176,340,391,411,456],"with":[33,316,368,392,457],"leaf":[35,273,394,459,494],"(i)-(iv)":[41,463],"lie":[43],"outside":[44,291],"Theorem":[46,253,480],"H_\u03e8;":[47],"each":[48,91,466],"has":[49,149,286,303],"one-step":[51],"found":[53],"by":[54,98,521,539],"search,":[56],"so":[57],"none":[58],"is":[59,136,269,335,344,543],"counterexample":[61],"two-deletion":[64],"chain":[65,359],"question":[66],"(Q1)":[67,349],"v1.76.":[69],"This":[70],"text":[71],"does":[72,157],"not":[73,158],"settle":[74],"(Q1);":[75],"it":[76,231,292],"gives":[77,255],"partial":[78],"results.":[79],"Under":[80],"their":[81],"stated":[82],"hypotheses,":[83],"three":[84,469],"local":[85],"operations":[86,542],"preserve":[87],"inclusion-minimal":[88],"strong":[89],"connectivity,":[90],"deleting":[92,243],"number":[94,453],"pairs":[96,117,121,130,153,249],"fixed":[97],"data":[100],"(at":[101],"most":[102,245],"in":[104,208,280,289,341,405,441,464,473,499,506,512],"used":[107],"here),":[108],"stay":[110],"inside":[111,364],"h":[112,261,361,365],"\u222a":[113,366],"P_S":[114,363,367],"when":[115],"they":[118],"add":[119],"are":[120,228,530],"bidirected":[124,179,234],"tree":[125,264],"P_S.":[126],"Lemma":[127,169,218],"R_\u03ea":[128],"moves":[129],"between":[131],"node":[133,140,145,356,427],"w":[134,148,164],"entered":[137],"from":[138,258,299,360],"c":[141,156],"only":[142],"c,":[146,215],"provided":[147],"least":[151],"out":[154],"reach":[159,454],"out-neighbour":[162],"without":[165,230,324],"passing":[166,325],"through":[167,326],"w.":[168],"M_\u03ea":[170],"carries":[171],"part":[173,195],"beyond":[177],"pair":[180,199,306,312],"{c,":[181],"s}":[182],"onto":[183],"new":[185,489],"pair:":[186],"step":[188,204,337,486,520],"deletion":[191,369],"on":[192,205,212,260,354],"other":[194,294],"adds":[197],"(c,":[200],"d)":[201],"becomes":[202],"all":[206,475],"nodes":[207,285,438],"which":[209,342],"s":[210],"lies":[211,279],"path":[214,235,278],"s,":[216],"d.":[217],"E_\u03ea":[219],"re-hangs":[220],"an":[221,267],"ear":[222,268,301,328,334],"w_1,":[223,236],"...,":[224,237],"w_r":[225,238],"whose":[226],"ends":[227],"joined":[229],"as":[232],"hung":[239],"node,":[242],"end":[248],"ear.":[252],"K_\u03ea":[254,481],"construction":[257],"conditions":[259],"S:":[265],"if":[266,348],"closed":[270],"l":[274,302,343],"S,":[276,281],"neighbour":[288],"S":[290],"than":[295],"l,":[296,330],"apart":[298],"exactly":[304],"in,":[307],"(a,":[308],"l),":[309],"out,":[313],"(l,":[314],"b),":[315],"=":[318],"b":[319,323],"reaching":[322],"then":[331],"re-hanging":[332],"case":[346,406,504],"(i);":[347],"holds":[350],"for":[351,378,424,526],"every":[352],"instance":[353],"less,":[357],"bound":[370],"follows.":[372],"Corollary":[373],"\u03ea1":[374],"states":[375],"same":[377],"any":[379,452],"these":[382],"lemmas":[383,418,490],"lead":[388],"(i)-(iv),":[398],"existence":[400],"steps,":[403,470],"(iv)":[407,505],"auxiliary":[410],"k":[412],"being":[415,478],"hypotheses.":[416],"The":[417,523],"conditional":[421],"theorem":[422],"hold":[423],"arbitrary":[425],"finite":[426,430],"sets.":[428],"A":[429],"check":[431],"drafting":[434],"side":[435],"finds":[439],"that,":[440],"cases,":[444],"12,":[465,484],"first":[467],"never":[472],"32,":[474],"reachable":[476],"relations":[477],"examined;":[479],"applies":[482],"leads":[491],"(i)-(iii)":[498],"18":[500],"more":[501],"12":[507],"more,":[508],"last":[514],"2,":[515],"whole":[517],"chains":[518],"checked":[519],"step.":[522],"coverage":[524,538],"findings":[525],"restricted":[531],"six-node":[534],"enumeration;":[535],"universal":[537],"proposed":[541],"claimed.":[544]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-10-30T00:00:00"}