A linear time algorithm for finding tree-decompositions of small treewidth

From MaRDI portal
Publication:5248490

DOI10.1145/167088.167161zbMath1310.05194OpenAlexW2024291212WikidataQ59568000 ScholiaQ59568000MaRDI QIDQ5248490

Hans L. Bodlaender

Publication date: 7 May 2015

Published in: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/16670




Related Items (73)

Structural tractability of counting of solutions to conjunctive queriesSeeing Arboretum for the (partial k-) TreesImproved self-reduction algorithms for graphs with bounded treewidth\(k\)-NLC graphs and polynomial algorithmsEvaluating interval-valued influence diagramsDeleting edges to restrict the size of an epidemic: a new application for treewidthSequential and parallel algorithms for embedding problems on classes of partial k-treesA parallel algorithm for edge-coloring partial k-treesMemory requirements for table computations in partial k-tree algorithmsThe complexity of induced minors and related problemsOptimal parametric search on graphs of bounded tree-widthRegular-factors in the complements of partial k-treesThe Birth and Early Years of Parameterized ComplexityA Basic Parameterized Complexity PrimerDeleting Edges to Restrict the Size of an Epidemic: A New Application for TreewidthGeneralized coloring for tree-like graphsCharacterizations and algorithmic applications of chordal graph embeddingsDeleting edges to restrict the size of an epidemic in temporal networksOn algorithmic applications of the immersion order: An overview of ongoing work presented at the Third Slovenian International Conference on Graph TheorySpace saving by dynamic algebraization based on tree-depthSmall Resolution Proofs for QBF using Dependency TreewidthThe density maximization problem in graphsSecluded connectivity problemsOptimal node disjoint paths on partial 2-trees: A linear algorithm and polyhedral resultsSimplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversityPTAS for Sparse General-valued CSPsA new probabilistic constraint logic programming language based on a generalised distribution semanticsOn the complexity of the regenerator location problem treewidth and other parametersOn Interval Routing Schemes and treewidthOn graph contractions and induced minorsDecomposition width of matroidsDynamic algorithms for graphs with treewidth 2Efficient interprocedural data-flow analysis using treedepth and treewidthDomino treewidthA lower bound for treewidth and its consequencesRankings of graphsBounded tree-width and LOGCFLOn reduction algorithms for graphs with small treewidthOn Imperfect Recall in Multi-Agent Influence DiagramsAn efficient tree decomposition method for permanents and mixed discriminantsChannel assignment on graphs of bounded treewidthUnnamed ItemAn Upper Bound for Resolution Size: Characterization of Tractable SAT InstancesMax NP-completeness made easyParameterizing cut sets in a graph by the number of their componentsTractability of most probable explanations in multidimensional Bayesian network classifiersDAG-based attack and defense modeling: don't miss the forest for the attack treesLocating Facilities on a Network to Minimize Their Average Service RadiusRecoloring graphs of treewidth 2Computing cooperative solution concepts in coalitional skill gamesMaximum packing for \(k\)-connected partial \(k\)-trees in polynomial timeA simple linear-time algorithm for finding path-decompositions of small widthHow to use the minimal separators of a graph for its chordal triangulationShortest path queries in digraphs of small treewidthParallel algorithms with optimal speedup for bounded treewidthGeneralized dominators for structured programsA sufficiently fast algorithm for finding close to optimal clique treesUnnamed ItemUnnamed ItemA $c^k n$ 5-Approximation Algorithm for TreewidthImprovements to variable elimination and symbolic probabilistic inference for evaluating influence diagramsBounds and fixed-parameter algorithms for weighted improper coloringParameterized Complexity of Discrete Morse TheoryLearning tractable Bayesian networks in the space of elimination ordersLearning to Integrate Deduction and Search in Reasoning about Quantified Boolean FormulasConjunctive query containment revisitedA Linear-Time Parameterized Algorithm for Node Unique Label CoverThe parameterised complexity of computing the maximum modularity of a graphA Logical Approach to Constraint SatisfactionConjunctive-query containment and constraint satisfactionCapacitated domination: problem complexity and approximation algorithmsChannel Assignment on Nearly Bipartite and Bounded Treewidth GraphsThe \(k\)-separator problem: polyhedra, complexity and approximation results




This page was built for publication: A linear time algorithm for finding tree-decompositions of small treewidth