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.

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 On Structural Parameterizations of the Edge Disjoint Paths Problem

Algorithmica ◽  
2021 ◽  
Author(s):  
Robert Ganian ◽  
Sebastian Ordyniak ◽  
M. S. Ramanujan
Keyword(s):  
Polynomial Time ◽  
Disjoint Paths ◽  
Structural Parameter ◽  
Input Graph ◽  
Feedback Vertex Set ◽  
Fpt Algorithms ◽  
Edge Disjoint ◽  
Fpt Algorithm ◽  
Vertex Set ◽  
Terminal Pair

AbstractIn this paper we revisit the classical edge disjoint paths (EDP) problem, where one is given an undirected graph G and a set of terminal pairs P and asks whether G contains a set of pairwise edge-disjoint paths connecting every terminal pair in P. Our focus lies on structural parameterizations for the problem that allow for efficient (polynomial-time or FPT) algorithms. As our first result, we answer an open question stated in Fleszar et al. (Proceedings of the ESA, 2016), by showing that the problem can be solved in polynomial time if the input graph has a feedback vertex set of size one. We also show that EDP parameterized by the treewidth and the maximum degree of the input graph is fixed-parameter tractable. Having developed two novel algorithms for EDP using structural restrictions on the input graph, we then turn our attention towards the augmented graph, i.e., the graph obtained from the input graph after adding one edge between every terminal pair. In constrast to the input graph, where EDP is known to remain -hard even for treewidth two, a result by Zhou et al. (Algorithmica 26(1):3--30, 2000) shows that EDP can be solved in non-uniform polynomial time if the augmented graph has constant treewidth; we note that the possible improvement of this result to an FPT-algorithm has remained open since then. We show that this is highly unlikely by establishing the [1]-hardness of the problem parameterized by the treewidth (and even feedback vertex set) of the augmented graph. Finally, we develop an FPT-algorithm for EDP by exploiting a novel structural parameter of the augmented graph.

scholarly journals The Tutte polynomial of symmetric hyperplane arrangements

2020 ◽  
Vol 29 (03) ◽  
pp. 2050004
Author(s):  
Hery Randriamaro
Keyword(s):  
Hyperplane Arrangement ◽  
Dual Graph ◽  
Tutte Polynomial ◽  
Hyperplane Arrangements ◽  
Weyl Groups ◽  
Reflection Groups ◽  
Tutte Polynomials ◽  
One Year ◽  
The One ◽  
Definition Of

The Tutte polynomial is originally a bivariate polynomial which enumerates the colorings of a graph and of its dual graph. Ardila extended in 2007 the definition of the Tutte polynomial on the real hyperplane arrangements. He particularly computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups. Those associated to the exceptional Weyl groups were computed by De Concini and Procesi one year later. This paper has two objectives: On the one side, we extend the Tutte polynomial computing to the complex hyperplane arrangements. On the other side, we introduce a wider class of hyperplane arrangements which is that of the symmetric hyperplane arrangements. Computing the Tutte polynomial of a symmetric hyperplane arrangement permits us to deduce the Tutte polynomials of some hyperplane arrangements, particularly of those associated to the imprimitive reflection groups.

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.

An O(2 O(k) n 3) FPT Algorithm for the Undirected Feedback Vertex Set Problem

2005 ◽  
pp. 859-869 ◽  
Author(s):  
Frank Dehne ◽  
Michael Fellows ◽  
Michael A. Langston ◽  
Frances Rosamond ◽  
Kim Stevens
Keyword(s):  
Feedback Vertex Set ◽  
Fpt Algorithm ◽  
Vertex Set ◽  
Feedback Vertex Set Problem

Automorphism group of the one-divisor graph over the semigroup of upper triangular matrices

2020 ◽  
pp. 2150214
Author(s):  
Xinlei Wang ◽  
Dein Wong ◽  
Fenglei Tian
Keyword(s):  
Automorphism Group ◽  
Zero Divisor ◽  
Symmetric Groups ◽  
Directed Edge ◽  
Triangular Matrices ◽  
Upper Triangular Matrices ◽  
Zero Divisor Graph ◽  
Vertex Set ◽  
The One ◽  
Definition Of

Let [Formula: see text] be a finite field with [Formula: see text] elements, [Formula: see text] a positive integer, [Formula: see text] the semigroup of all [Formula: see text] upper triangular matrices over [Formula: see text] under matrix multiplication, [Formula: see text] the group of all invertible matrices in [Formula: see text], [Formula: see text] the quotient group of [Formula: see text] by its center. The one-divisor graph of [Formula: see text], written as [Formula: see text], is defined to be a directed graph with [Formula: see text] as vertex set, and there is a directed edge from [Formula: see text] to [Formula: see text] if and only if [Formula: see text], i.e. [Formula: see text] and [Formula: see text] are, respectively, a left divisor and a right divisor of a rank one matrix in [Formula: see text]. The definition of [Formula: see text] is motivated by the definition of zero-divisor graph [Formula: see text] of [Formula: see text], which has vertex set of all nonzero zero-divisors in [Formula: see text] and there is a directed edge from a vertex [Formula: see text] to a vertex [Formula: see text] if and only if [Formula: see text], i.e. [Formula: see text]. The automorphism group of zero-divisor graph [Formula: see text] of [Formula: see text] was recently determined by Wang [A note on automorphisms of the zero-divisor graph of upper triangular matrices, Lin. Alg. Appl. 465 (2015) 214–220.]. In this paper, we characterize the automorphism group of one-divisor graph [Formula: see text] of [Formula: see text], proving that [Formula: see text], where [Formula: see text] is the automorphism group of field [Formula: see text], [Formula: see text] is a direct product of some symmetric groups. Besides, an application of automorphisms of [Formula: see text] is given in this paper.

scholarly journals One-Shot Learning for Long-Tail Visual Relation Detection

2020 ◽  
Vol 34 (07) ◽  
pp. 12225-12232
Author(s):  
Weitao Wang ◽  
Meng Wang ◽  
Sen Wang ◽  
Guodong Long ◽  
Lina Yao ◽  
...  
Keyword(s):  
Question Answering ◽  
Dual Graph ◽  
Image Captioning ◽  
Long Tail ◽  
Training Scheme ◽  
Training Samples ◽  
Latent Features ◽  
The One ◽  
Novel Model ◽  
Conventional Detection

The aim of visual relation detection is to provide a comprehensive understanding of an image by describing all the objects within the scene, and how they relate to each other, in < object-predicate-object > form; for example, < person-lean on-wall > . This ability is vital for image captioning, visual question answering, and many other applications. However, visual relationships have long-tailed distributions and, thus, the limited availability of training samples is hampering the practicability of conventional detection approaches. With this in mind, we designed a novel model for visual relation detection that works in one-shot settings. The embeddings of objects and predicates are extracted through a network that includes a feature-level attention mechanism. Attention alleviates some of the problems with feature sparsity, and the resulting representations capture more discriminative latent features. The core of our model is a dual graph neural network that passes and aggregates the context information of predicates and objects in an episodic training scheme to improve recognition of the one-shot predicates and then generate the triplets. To the best of our knowledge, we are the first to center on the viability of one-shot learning for visual relation detection. Extensive experiments on two newly-constructed datasets show that our model significantly improved the performance of two tasks PredCls and SGCls from 2.8% to 12.2% compared with state-of-the-art baselines.

An FPT Algorithm for the Correlation Clustering Problem

2011 ◽  
Vol 474-476 ◽  
pp. 924-927 ◽  
Author(s):  
Xiao Xin
Keyword(s):  
Approximation Algorithms ◽  
Polynomial Time ◽  
Undirected Graph ◽  
Fixed Parameter Tractable ◽  
Correlation Clustering ◽  
Time Approximation ◽  
Running Time ◽  
Clustering Problem ◽  
Fpt Algorithm ◽  
Fixed Parameter

Given an undirected graph G=(V, E) with real nonnegative weights and + or – labels on its edges, the correlation clustering problem is to partition the vertices of G into clusters to minimize the total weight of cut + edges and uncut – edges. This problem is APX-hard and has been intensively studied mainly from the viewpoint of polynomial time approximation algorithms. By way of contrast, a fixed-parameter tractable algorithm is presented that takes treewidth as the parameter, with a running time that is linear in the number of vertices of G.

An O(2O(k)n3) FPT Algorithm for the Undirected Feedback Vertex Set Problem

2007 ◽  
Vol 41 (3) ◽  
pp. 479-492 ◽  
Author(s):  
Frank Dehne ◽  
Michael Fellows ◽  
Michael Langston ◽  
Frances Rosamond ◽  
Kim Stevens
Keyword(s):  
Feedback Vertex Set ◽  
Fpt Algorithm ◽  
Vertex Set ◽  
Feedback Vertex Set Problem

scholarly journals Implementation and Analysis Zhu-Takaoka Algorithm and Knuth-Morris-Pratt Algorithm for Dictionary of Computer Application Based on Android

2017 ◽  
Vol 1 (1) ◽  
pp. 8 ◽  
Author(s):  
Handrizal Handrizal ◽  
Andri Budiman ◽  
Desy Rahayu Ardani
Keyword(s):  
Teaching And Learning ◽  
Learning Model ◽  
Learning Activities ◽  
Computer Application ◽  
Learning Resource ◽  
Matching Algorithm ◽  
Running Time ◽  
Text Types ◽  
Word Search ◽  
The One

The string matching algorithm is the one of the most important parts in the various processes related to data and text types, which is the word search on computer dictionary. Computers have a basic role in the field of education, especially in teaching and learning activities. So that the classical learning model, that is by using the book as learning resource can be boring. To make it easier for users who searching words, we made an offline dictionary application based on Android by applying Zhu-Takaoka algorithm and Knuth-Morris-Pratt algorithm. The performance of Zhu-Takaoka is doing a search starts from the end of pattern that is tailored to the text, but in Knuth-Morris-Pratt algorithm starts from the beginning of pattern till match which the pattern used is word searched. The result of this research indicates that the Zhu-Takaoka algorithm is faster than the Knuth-Morris-Pratt algorithm which showed the running time of each algorithm.

Sign in / Sign up

Export Citation Format

Share Document