{"id":"https://openalex.org/W2275184243","doi":null,"title":"Fast algorithms for decomposable graphs","display_name":"Fast algorithms for decomposable graphs","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2275184243","mag":"2275184243"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.648.4533","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.4533","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://darwin.bth.rwth-aachen.de/opus3/volltexte/2013/4531/pdf/4531.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://publications.rwth-aachen.de/record/211874","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076092166","display_name":"Alexander Langer","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexander Langer","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5062653045","display_name":"Peter Rossmanith","orcid":"https://orcid.org/0000-0003-0177-8028","observed_orcids":["https://orcid.org/0000-0003-0177-8028"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Rossmanith","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0177-8028","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4039,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.59884454,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"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.9976000189781189,"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.9976000189781189,"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.0017000000225380063,"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":9.999999747378752e-05,"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/decomposable-graphs","display_name":"decomposable graphs","score":0.8949999809265137},{"id":"https://openalex.org/keywords/bounded-treewidth","display_name":"bounded treewidth","score":0.8130000233650208},{"id":"https://openalex.org/keywords/monadic-second-order-logic","display_name":"monadic second-order logic","score":0.9120000004768372},{"id":"https://openalex.org/keywords/courcelle-s-theorem","display_name":"Courcelle's theorem","score":0.9419999718666077},{"id":"https://openalex.org/keywords/linear-time-algorithms","display_name":"linear-time algorithms","score":0.9139999747276306},{"id":"https://openalex.org/keywords/graph-algorithms","display_name":"graph algorithms","score":0.5740000009536743},{"id":"https://openalex.org/keywords/np-hard-graph-problems","display_name":"NP-hard graph problems","score":0.7979999780654907}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.55315101146698},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5183147192001343},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.341728150844574},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3210374712944031}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.648.4533","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.4533","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://darwin.bth.rwth-aachen.de/opus3/volltexte/2013/4531/pdf/4531.pdf","raw_type":"text"},{"id":"pmh:oai:publications.rwth-aachen.de:211874","doi":null,"is_oa":true,"landing_page_url":"https://publications.rwth-aachen.de/record/211874","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Aachen : Publikationsserver der RWTH Aachen University XVI, 265 S. : graph. Darst. (2013). = Aachen, Techn. Hochsch., Diss., 2013","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:2275184243","doi":null,"is_oa":false,"landing_page_url":"http://publications.rwth-aachen.de/record/211874","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:publications.rwth-aachen.de:211874","doi":null,"is_oa":true,"landing_page_url":"https://publications.rwth-aachen.de/record/211874","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Aachen : Publikationsserver der RWTH Aachen University XVI, 265 S. : graph. Darst. (2013). = Aachen, Techn. Hochsch., Diss., 2013","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":145,"referenced_works":["https://openalex.org/W891461","https://openalex.org/W2517132","https://openalex.org/W10105891","https://openalex.org/W22683998","https://openalex.org/W59373101","https://openalex.org/W96963885","https://openalex.org/W98741451","https://openalex.org/W119394587","https://openalex.org/W136556473","https://openalex.org/W159295751","https://openalex.org/W189991083","https://openalex.org/W202626244","https://openalex.org/W653873681","https://openalex.org/W1481567709","https://openalex.org/W1482193060","https://openalex.org/W1486674860","https://openalex.org/W1492169292","https://openalex.org/W1492532842","https://openalex.org/W1510832574","https://openalex.org/W1511526676","https://openalex.org/W1517036688","https://openalex.org/W1517150411","https://openalex.org/W1517413638","https://openalex.org/W1524939943","https://openalex.org/W1525118263","https://openalex.org/W1527664624","https://openalex.org/W1538600190","https://openalex.org/W1542543925","https://openalex.org/W1542572884","https://openalex.org/W1560161199","https://openalex.org/W1570425181","https://openalex.org/W1571491222","https://openalex.org/W1573950445","https://openalex.org/W1575535126","https://openalex.org/W1579510955","https://openalex.org/W1585486594","https://openalex.org/W1596995530","https://openalex.org/W1598181219","https://openalex.org/W1638902303","https://openalex.org/W1649645444","https://openalex.org/W1651767865","https://openalex.org/W1676114313","https://openalex.org/W1781739513","https://openalex.org/W1818617877","https://openalex.org/W1836139326","https://openalex.org/W1843939751","https://openalex.org/W1965237160","https://openalex.org/W1966875984","https://openalex.org/W1976055110","https://openalex.org/W1976120600","https://openalex.org/W1982775314","https://openalex.org/W1983682288","https://openalex.org/W1984690838","https://openalex.org/W1984820433","https://openalex.org/W1989556004","https://openalex.org/W1992810975","https://openalex.org/W1993328543","https://openalex.org/W1993704152","https://openalex.org/W1993920925","https://openalex.org/W1994887153","https://openalex.org/W1995725694","https://openalex.org/W1996184580","https://openalex.org/W1998007106","https://openalex.org/W2003021478","https://openalex.org/W2005079828","https://openalex.org/W2008440715","https://openalex.org/W2011039300","https://openalex.org/W2011245187","https://openalex.org/W2011911122","https://openalex.org/W2013967419","https://openalex.org/W2015142920","https://openalex.org/W2016416699","https://openalex.org/W2020861083","https://openalex.org/W2029448190","https://openalex.org/W2031847131","https://openalex.org/W2033405938","https://openalex.org/W2034183528","https://openalex.org/W2034377062","https://openalex.org/W2035020702","https://openalex.org/W2035344492","https://openalex.org/W2038225707","https://openalex.org/W2042861896","https://openalex.org/W2043791970","https://openalex.org/W2053991811","https://openalex.org/W2056784365","https://openalex.org/W2059273723","https://openalex.org/W2063943888","https://openalex.org/W2065251436","https://openalex.org/W2066585576","https://openalex.org/W2067264828","https://openalex.org/W2069348040","https://openalex.org/W2069643240","https://openalex.org/W2070632872","https://openalex.org/W2073663206","https://openalex.org/W2075530391","https://openalex.org/W2078574265","https://openalex.org/W2078674325","https://openalex.org/W2081414924","https://openalex.org/W2085467680","https://openalex.org/W2085923075","https://openalex.org/W2087477484","https://openalex.org/W2087911394","https://openalex.org/W2088523331","https://openalex.org/W2094015401","https://openalex.org/W2097059220","https://openalex.org/W2100346402","https://openalex.org/W2105505307","https://openalex.org/W2111738185","https://openalex.org/W2115826669","https://openalex.org/W2115875516","https://openalex.org/W2118722432","https://openalex.org/W2119397055","https://openalex.org/W2124442576","https://openalex.org/W2125945272","https://openalex.org/W2126963663","https://openalex.org/W2126976589","https://openalex.org/W2132914818","https://openalex.org/W2133106928","https://openalex.org/W2135679477","https://openalex.org/W2140285470","https://openalex.org/W2142055019","https://openalex.org/W2144688537","https://openalex.org/W2148043549","https://openalex.org/W2152619617","https://openalex.org/W2153667368","https://openalex.org/W2155984879","https://openalex.org/W2160667281","https://openalex.org/W2165086965","https://openalex.org/W2166534810","https://openalex.org/W2170114629","https://openalex.org/W2170478756","https://openalex.org/W2171507355","https://openalex.org/W2181694500","https://openalex.org/W2402930032","https://openalex.org/W2471441392","https://openalex.org/W2500044873","https://openalex.org/W2736679073","https://openalex.org/W2751513393","https://openalex.org/W2798588639","https://openalex.org/W2803274716","https://openalex.org/W2803460775","https://openalex.org/W2913688336","https://openalex.org/W2914443076","https://openalex.org/W3032071526","https://openalex.org/W3134052810"],"related_works":["https://openalex.org/W2158543468","https://openalex.org/W2064796716","https://openalex.org/W7096777182","https://openalex.org/W7095353526","https://openalex.org/W2528769984","https://openalex.org/W2262031393","https://openalex.org/W1799657476","https://openalex.org/W7166845630","https://openalex.org/W7099915838","https://openalex.org/W1564936042"],"abstract_inverted_index":{"A":[0],"celebrated":[1],"theorem":[2],"by":[3,32,40],"Courcelle":[4,41],"states":[5],"that":[6,50,95,190,237,265],"every":[7,145],"problem":[8],"definable":[9],"in":[10,18,148,167,220],"monadic":[11],"second-order":[12],"logic":[13],"(MSO)":[14],"can":[15,56,119,140,192],"be":[16,57,120],"solved":[17,58],"linear":[19],"time":[20],"on":[21,53,60,179,204],"graphs":[22,55,255],"of":[23,82,100,133,208,216,228,247,256],"bounded":[24,130,257],"treewidth.":[25],"This":[26],"meta-theorem":[27],"along":[28],"with":[29],"its":[30],"extensions":[31],"Arnborg,":[33],"Lagergren,":[34],"and":[35,42,76,234,259],"Seese":[36],"as":[37,39,117,185],"well":[38],"Mosbah":[43],"explains,":[44],"why":[45],"many":[46],"important":[47],"graph":[48,103,106],"problems":[49,64,166,270],"are":[51],"NP-hard":[52],"general":[54],"efficiently":[59],"tree-decomposable":[61],"graphs.":[62],"Such":[63],"include,":[65],"for":[66,110,129,157,254,266],"instance,":[67],"Vertex":[68],"Cover,":[69],"Dominating":[70],"Set,":[71],"3-Colorability,":[72],"Steiner":[73],"Tree,":[74],"Max-Cut,":[75],"Hamiltonian":[77],"Cycle.":[78],"The":[79],"standard":[80],"proof":[81],"Courcelle's":[83],"Theorem":[84],"is":[85,107,132,273],"to":[86,122,277],"translate":[87],"the":[88,101,105,111,124,137,149,158,161,194,209,214,217,229,248],"MSO-formula":[89],"into":[90],"a":[91,97,108,153,175,199,205,225,235,274],"finite-state":[92],"tree":[93,98,126,206],"automaton":[94],"accepts":[96],"decomposition":[99,207],"input":[102,210],"iff":[104],"model":[109,180,195,231,251],"MSO-formula.":[112],"Existing,":[113],"optimized":[114],"software":[115],"such":[116],"MONA":[118],"used":[121],"construct":[123,193],"corresponding":[125],"automaton,":[127],"which":[128],"treewidth":[131,258],"constant":[134],"size.":[135],"Unfortunately,":[136],"constants":[138],"involved":[139],"become":[141],"extremely":[142],"large":[143],"-":[144],"quantifier":[146],"alternation":[147],"MSO":[150,250],"formula":[151],"requires":[152],"power":[154],"set":[155],"construction":[156],"automaton.":[159],"Here,":[160],"required":[162],"space":[163],"causes":[164],"severe":[165],"practical":[168,221],"applications.":[169],"In":[170],"this":[171],"thesis,":[172],"we":[173,223,238,243],"develop":[174],"novel":[176],"approach":[177,272],"based":[178],"checking":[181,196,232,252],"games,":[182],"also":[183],"known":[184],"Hintikka":[186],"games.":[187],"We":[188],"show":[189],"one":[191],"game":[197,233],"via":[198],"linear-time":[200],"dynamic":[201],"programming":[202],"algorithm":[203,253],"graph.":[211],"To":[212],"make":[213],"size":[215],"games":[218],"manageable":[219],"settings,":[222],"introduce":[224],"three-valued":[226],"extension":[227],"classical":[230],"technique":[236],"call":[239],"\"early":[240],"determinization.\"":[241],"Furthermore,":[242],"describe":[244],"our":[245,271],"implementation":[246],"resulting":[249],"present":[260],"experimental":[261],"results.":[262],"These":[263],"indicate":[264],"some":[267],"natural":[268],"optimization":[269],"suitable":[275],"alternative":[276],"Integer":[278],"Linear":[279],"Optimization.":[280]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}