# Tag Info

63

If you really want to know what led Neil Robertson and me to tree-width, it wasn't algorithms at all. We were trying to solve Wagner's conjecture that in any infinite set of graphs, one of them is a minor of another, and we were right at the beginning. We knew it was true if we restricted to graphs with no k-vertex path; let me explain why. We knew all such ...

17

You can recursively decompose each triangle into a smaller triangle and a trapezoid, and each trapezoid into two smaller triangles. The corresponding tree decomposition (whose bags contain the corners of a triangle at one level of the decomposition and a triangle or trapezoid at the next or previous level) has five vertices per bag and therefore has width ...

16

Most algorithms for graphs of bounded treewidth are based on some form of dynamic programming. For these algorithms to be efficient, we need to bound the number of states in the dynamic programming table: if you want a polynomial-time algorithm, then you need a polynomial number of states (e.g., n^tw), if you want to show that the problem is FPT, you usually ...

16

It is indeed true that every graph $G$ with no $K_{1,k}$ minor has treewidth at most $k-1$. We prove this below, first a few definitions: Let $tw(G)$ be the treewidth of $G$ and $\omega(G)$ be the maximum size of a clique in $G$. A graph $H$ is a triangulation of $G$ if $G$ is a subgraph of $H$ and $H$ is chordal (i.e has no induced cycles on at least $4$ ...

16

Treewidth is NP-hard to compute on co-bipartite graphs, indeed the original NP-hardness proof of treewidth of Arnborg et al. shows this. Additionally, Bodlaender and Thilikos showed that it is NP-hard to compute the treewidth of graphs of maximum degree $9$. Finally, for any graph of treewidth at least $2$, subdividing an edge (i.e, replacing the edge by a ...

15

An (optimal) $r$-domination for $G$ is an (optimal) domination for the $r$th power $G^r$ and vice versa ($G^r$ is obtained from $G$ by adding new edges between distinct vertices of distance at most $r$). The following facts are well known: (1) All powers of a strongly chordal graph are strongly chordal (A. Lubiw, Master thesis; see also Dahlhaus & ...

14

I believe that the universal graphs for trees constructed by Chung and Graham 1983 have treewidth $\Theta(\log n)$. Or for a slightly simpler but similar example consider the transitive closures of balanced binary trees. However, there's a negative result here, too. All the examples you give of interesting graph families are minor-closed, or very closely ...

14

See the paper by Julia Chuzhoy and myself on Treewidth sparsifiers. We show that one can obtain a subgraph of degree at most 3 with treewidth $\Omega(k/polylog(k))$ where $k$ is the treewidth of $G$. https://arxiv.org/abs/1410.1016 The proof is shorter than the one for grid minors but it is still not that that easy and builds on several previous tools. ...

13

You don't need to calculate the variance to prove the concentration of tw(G(n,p)) around its expectation. If two graphs G' and G differ by one vertex then their treewidth differs by at most one. You can use the standard method, the Hoeffding-Azuma inequality applied to the vertex exposure martingale to show, for example, $\mathbb{P}( | tw(G(n,p)) - \mathbb{... 13 As far as I know the NP-completeness of computing the treewidth of a planar graph is still open. The most recent reference I know is a survey by Bodlaender from 2012 called Fixed-Parameter Tractability of Treewidth and Pathwidth' that appeared in the festschrift for Mike Fellows' 65th birthday. The problem is listed in the conclusion of the survey. 11 The concept of exploiting properties that a graph possesses locally can be taken even further. Dawar, Grohe and Kreutzer in Locally Excluding a Minor considered classes of graphs that locally exclude a minor and Dvorak, Kral and Thomas in Deciding first-order properties for sparse graphs considered classes of graphs that have (locally) bounded expansion. ... 11 My suggestion would be to look carefully at Courcelle's theorem, that problems expressible in (certain extensions of) monadic second order logic have FPT algorithms when parameterized by treewidth. My suspicion is that this covers many or most of the known examples of FPT problems for these graphs. In this view, your local/global distinction seems to be ... 10 On this page a theorem is mentioned that provides such classes: Theorem (Scheffler [1]) If$G$is the intersection graph of connected subgraphs of another graph$H$, then$tw(G)\leq tw(H)\omega(G)-1$. This generalizes the bound for chordal graphs (for which$H$is a tree) and also applies to circular-arc graphs (then$H$is a cycle). I do not know if other ... 10 Not really an answer but the closest references I am aware of. There are results available for branch-width. Also, there is at least one empirical study of treewidth of industrial instances. Discovering treewidth, H. Bodlaender, 2005. Gives algorithms to compute bounds on treewidth. Treewidth in Industrial SAT Benchmarks, R. Mateescu, 2011. Uses variations ... 10 See "Decomposition by clique separators", Robert E. Tarjan, Discrete Mathematics 55 (2): 221–232, 1985. If I understand correctly, your notion of width is essentially the size of the largest piece in Tarjan's decomposition. 10 Indeed, using the resultss in Elberfeld-Jakoby-Tantau-2010 one can show that SAT can be decided in logspace on formulas whose incidence graph has bounded treewidth. Here is a sketch of how the main steps of the proof of this claim go. The notions of tree-decomposition and treewidth can be generalized to arbitrary relational structures. See for instance ... 10 The intersection graph of interior disjoint balls in$\mathbb{R}^d$, should have treewidth$O(n^{1-1/d})$, if there is justice in the universe (let me think about it - yep - there is). The treewidth should be$\Theta(n^{1-1/d})$. This family of graphs is contained in the family of graphs of low density graphs in$\mathbb{R}^d$. I have a paper (with Kent ... 9 Dawar and Kreutzer have shown that the problem is fixed-parameter tractable on nowhere dense classes of graphs, which includes the planar graphs, the graphs of bounded (local) tree-width and all classes with (locally) excluded minors. Dvorak has shown that there is a polynomial time constant factor approximation for classes of bounded expansion, which ... 9 It is quite easy to do dynamic programming on graphs of treewidth$k$for this problem. One can keep for each vertex in a bag the shortest distance to some vertex in the partial solution and the distance to future solution needed to dominate the undominated vertices. This in total gives a table size of$O(r^k)$so for fixed$r$this problem is FPT ... 9 We now understand that for any fixed bound$k \in \mathbb{N}$on the treewidth, we can convert any Boolean circuit of treewidth less than$k$to a so-called d-SDNNF circuit, in linear time and with the dependency on$k$being singly exponential. The so-called d-SDNNFs are circuits satisfying conditions on the use of negation (only at the leaves), ... 9 Your parameter "naive treewidth" is known as tree-partition-width in the literature. It is known that if a graph has constant treewidth and constant maximum degree, then it has constant tree-partition-width. See [Wood 2009]. Note that your example in the update actually has pathwidth 2. [Wood 2009] David R. Wood. On tree-partition-width. European Journal ... 8 A simple cycle is a connected set where every vertex has degree 2. Then you have a formula SC(X) stating X (a set of edges) is a simple cycle. You can see many versions of Courcelle's theorem for listing and counting. You can refer to this book or this paper 7 Answering half of Samir's question. Let$G=(V,E)$be a DAG and$V_1,V_2\subseteq V$be two subsets of vertices of$G$. We denote by$E(V_1,V_2)$the set of all edges in$G$with one endpoint in$V_1$and other endpoint in$V_2$. If$\omega = (v_1,...,v_n)$is a total ordering of the vertices of$G$then we let$$\mathbf{ow}(G,\omega) = \max_{i}\; |E(\{... 7 If$n \sim 10$and$k$is fixed, then you can even afford to go with an XP algorithm like the one we implemented for our Android app. The source code is here: TreewidthInspector, and for instance with$n \leq 13$and$k \leq 4$it terminates in less than a second. It's approximately 170 lines of code and it's GPL (or MIT or BSD or whatever you should need).... 7 In general one would not expect random instances of SAT to have bounded treewidth, even if they are easy. Here is an example: A random k-SAT instance on$n$variables where each variable occurs in$3$clauses will be an expander graph, and therefore have treewidth$\theta(n)$with high probability. This holds in the model where we fix an n and an m (with ... 7 There are bounded degree (in fact even cubic i.e. 3-regular) expanders on$m$vertices with treewidth at least$\epsilon \cdot m$, for some constant$\epsilon > 0$. See Section 2 in: Martin Grohe, Dániel Marx: On tree width, bramble size, and expansion. J. Comb. Theory, Ser. B 99(1): 218-228 (2009) Basically, they prove something much stronger: large ... 6 This does not answer directly your Max-SAT problem but the references may guide you to the complete answer. Szeider showed that Satisfiability is ﬁxed-parameter tractable when parameterized by the treewidth of the incidence graph. Samer and Szeider gave an eﬃcient dynamic programming algorithm. References S. Szeider. On ﬁxed-parameter tractable ... 6 Theorem (6.4 in [1]): If$G$has no pan and no even hole as an induced subgraph, then$tw(G)\leq 3\omega(G)/2-2$. Theorem (5.4 in [2]): If$G$is odd-signable, has no clique cutset and has no cap nor any 4-cycle as an induced subgraph, then$tw(G)\leq 6\omega(G)-1$. (In particular, this holds if$G$has no clique cutset and has no cap and no even hole as an ... 6 For question$1$: any bidimensional parameter has this property on general graphs. A parameter$s(G)$is bidimensional if the value of$s(G) \geq s(H)$for every minor$H$of$G$, and if$s\$ is `large'' on grids. In applications to PTASes, sub exponential algorithms and kernels on minor-free classes of graphs, "large" means that there exists a ...

Only top voted, non community-wiki answers of a minimum length are eligible