Orthogonal planarity testing of bounded treewidth graphs

2022 ◽  
Vol 125 ◽  
pp. 129-148
Author(s):  
Emilio Di Giacomo ◽  
Giuseppe Liotta ◽  
Fabrizio Montecchiani
Keyword(s):  
Bounded Treewidth

scholarly journals Metric Dimension Parameterized By Treewidth

Algorithmica ◽  
2021 ◽  
Author(s):  
Édouard Bonnet ◽  
Nidhi Purohit
Keyword(s):  
Computable Function ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Minimum Size ◽  
Metric Dimension ◽  
Resolving Set ◽  
Input Graph ◽  
Outerplanar Graphs ◽  
Bounded Treewidth ◽  
Fpt Algorithm

AbstractA resolving set S of a graph G is a subset of its vertices such that no two vertices of G have the same distance vector to S. The Metric Dimension problem asks for a resolving set of minimum size, and in its decision form, a resolving set of size at most some specified integer. This problem is NP-complete, and remains so in very restricted classes of graphs. It is also W[2]-complete with respect to the size of the solution. Metric Dimension has proven elusive on graphs of bounded treewidth. On the algorithmic side, a polynomial time algorithm is known for trees, and even for outerplanar graphs, but the general case of treewidth at most two is open. On the complexity side, no parameterized hardness is known. This has led several papers on the topic to ask for the parameterized complexity of Metric Dimension with respect to treewidth. We provide a first answer to the question. We show that Metric Dimension parameterized by the treewidth of the input graph is W[1]-hard. More refinedly we prove that, unless the Exponential Time Hypothesis fails, there is no algorithm solving Metric Dimension in time $$f(\text {pw})n^{o(\text {pw})}$$ f ( pw ) n o ( pw ) on n-vertex graphs of constant degree, with $$\text {pw}$$ pw the pathwidth of the input graph, and f any computable function. This is in stark contrast with an FPT algorithm of Belmonte et al. (SIAM J Discrete Math 31(2):1217–1243, 2017) with respect to the combined parameter $$\text {tl}+\Delta$$ tl + Δ , where $$\text {tl}$$ tl is the tree-length and $$\Delta$$ Δ the maximum-degree of the input graph.

scholarly journals C-Planarity Testing of Embedded Clustered Graphs with Bounded Dual Carving-Width

Algorithmica ◽  
2021 ◽  
Author(s):  
Giordano Da Lozzo ◽  
David Eppstein ◽  
Michael T. Goodrich ◽  
Siddharth Gupta
Keyword(s):  
Dual Graph ◽  
Graph Visualization ◽  
Closed Disk ◽  
Running Time ◽  
Planar Embedding ◽  
Bounded Treewidth ◽  
Fpt Algorithm ◽  
Vertex Set ◽  
The One ◽  
Clustered Planarity

AbstractFor a clustered graph, i.e, a graph whose vertex set is recursively partitioned into clusters, the C-Planarity Testing problem asks whether it is possible to find a planar embedding of the graph and a representation of each cluster as a region homeomorphic to a closed disk such that (1) the subgraph induced by each cluster is drawn in the interior of the corresponding disk, (2) each edge intersects any disk at most once, and (3) the nesting between clusters is reflected by the representation, i.e., child clusters are properly contained in their parent cluster. The computational complexity of this problem, whose study has been central to the theory of graph visualization since its introduction in 1995 [Feng, Cohen, and Eades, Planarity for clustered graphs, ESA’95], has only been recently settled [Fulek and Tóth, Atomic Embeddability, Clustered Planarity, and Thickenability, to appear at SODA’20]. Before such a breakthrough, the complexity question was still unsolved even when the graph has a prescribed planar embedding, i.e, for embedded clustered graphs. We show that the C-Planarity Testing problem admits a single-exponential single-parameter FPT (resp., XP) algorithm for embedded flat (resp., non-flat) clustered graphs, when parameterized by the carving-width of the dual graph of the input. These are the first FPT and XP algorithms for this long-standing open problem with respect to a single notable graph-width parameter. Moreover, the polynomial dependency of our FPT algorithm is smaller than the one of the algorithm by Fulek and Tóth. In particular, our algorithm runs in quadratic time for flat instances of bounded treewidth and bounded face size. To further strengthen the relevance of this result, we show that an algorithm with running time O(r(n)) for flat instances whose underlying graph has pathwidth 1 would result in an algorithm with running time O(r(n)) for flat instances and with running time $$O(r(n^2) + n^2)$$ O ( r ( n 2 ) + n 2 ) for general, possibly non-flat, instances.

Neighbor sum distinguishing total coloring of graphs with bounded treewidth

2018 ◽  
Vol 36 (1) ◽  
pp. 23-34
Author(s):  
Miaomiao Han ◽  
You Lu ◽  
Rong Luo ◽  
Zhengke Miao
Keyword(s):  
Total Coloring ◽  
Bounded Treewidth

scholarly journals The Complexity of Computing Maximin Share Allocations on Graphs

2020 ◽  
Vol 34 (02) ◽  
pp. 2006-2013
Author(s):  
Gianluigi Greco ◽  
Francesco Scarcello
Keyword(s):  
A Priori ◽  
Utility Functions ◽  
Indivisible Goods ◽  
Bounded Treewidth ◽  
Underlying Graph ◽  
Low Degree

Maximin share is a compelling notion of fairness proposed by Buddish as a relaxation of more traditional concepts for fair allocations of indivisible goods. In this paper we consider this notion within a setting where bundles of goods must induce connected subsets over an underlying graph. This setting received much attention in earlier literature, and our study answers a number of questions that were left open. First, we show that computing maximin share allocations is FΔ2P-complete, even when focusing on consistent scenarios, that is, where such allocations are a-priori guaranteed to exist. Moreover, the problem remains intractable if all agents have the same type, i.e., have the same utility functions, and if either the values returned by the utility functions are polynomially bounded, or the underlying graphs have a low degree of cyclicity (more precisely, have bounded treewidth). However, if these conditions hold all together, then computing maximin share allocations (or checking that none exists) becomes tractable. The result is established via machineries based on logspace alternating machines that use partial representations of connected bundles, which are interesting in their own.

scholarly journals (Star, k)-colourings of graphs with bounded treewidth

2020 ◽  
Author(s):  
C. A. Weffort-Santos ◽  
L. L. C. Pedrosa
Keyword(s):  
Open Problem ◽  
Time Algorithm ◽  
Graph Colouring ◽  
Bounded Treewidth ◽  
Colour Class

We study a generalization of graph colouring define as follows. Given a graph G, a (star, k)-colouring of G is a colouring c : V(G) → {1, ..., k} such that every colour class induces a star. We propose an O*(2^(O(tw))k^(tw)-time algorithm that decides whether a graph G of treewidth at most tw admits a (star, k)-colouring. This resolves an open problem posed by Angelini et al. in 2017. Our approach can be extended to other defective colouring models.

Time-Space Tradeoffs for Dynamic Programming Algorithms in Trees and Bounded Treewidth Graphs

2015 ◽  
pp. 349-360 ◽  
Author(s):  
Niranka Banerjee ◽  
Sankardeep Chakraborty ◽  
Venkatesh Raman ◽  
Sasanka Roy ◽  
Saket Saurabh
Keyword(s):  
Dynamic Programming ◽  
Bounded Treewidth ◽  
Time Space ◽  
Programming Algorithms

Efficient Alignments of Metabolic Networks with Bounded Treewidth

2013 ◽  
pp. 413-429
Author(s):  
Qiong Cheng ◽  
Piotr Berman ◽  
Robert W. Harrison ◽  
Alexander Zelikovsky
Keyword(s):  
Metabolic Networks ◽  
Bounded Treewidth

Algorithmic Aspects of Outer-Independent Total Roman Domination in Graphs

2021 ◽  
pp. 1-9
Author(s):  
Amit Sharma ◽  
P. Venkata Subba Reddy
Keyword(s):  
Linear Time ◽  
Domination Number ◽  
Chordal Graphs ◽  
Roman Domination ◽  
Induced Subgraph ◽  
Bounded Treewidth ◽  
Roman Domination Number ◽  
Vertex Set ◽  
Roman Dominating Function ◽  
Domination In Graphs

For a simple, undirected graph [Formula: see text], a function [Formula: see text] which satisfies the following conditions is called an outer-independent total Roman dominating function (OITRDF) of [Formula: see text] with weight [Formula: see text]. (C1) For all [Formula: see text] with [Formula: see text] there exists a vertex [Formula: see text] such that [Formula: see text] and [Formula: see text], (C2) The induced subgraph with vertex set [Formula: see text] has no isolated vertices and (C3) The induced subgraph with vertex set [Formula: see text] is independent. For a graph [Formula: see text], the smallest possible weight of an OITRDF of [Formula: see text] which is denoted by [Formula: see text], is known as the outer-independent total Roman domination number of [Formula: see text]. The problem of determining [Formula: see text] of a graph [Formula: see text] is called minimum outer-independent total Roman domination problem (MOITRDP). In this article, we show that the problem of deciding if [Formula: see text] has an OITRDF of weight at most [Formula: see text] for bipartite graphs and split graphs, a subclass of chordal graphs is NP-complete. We also show that MOITRDP is linear time solvable for connected threshold graphs and bounded treewidth graphs. Finally, we show that the domination and outer-independent total Roman domination problems are not equivalent in computational complexity aspects.

Sign in / Sign up

Export Citation Format

Share Document