English
Related papers

Related papers: Isomorphism Testing for Graphs of Bounded Rank Wid…

200 papers

In this paper, we show that computing canonical labelings of graphs of bounded rank-width is in $\textsf{TC}^{2}$. Our approach builds on the framework of K\"obler & Verbitsky (CSR 2008), who established the analogous result for graphs of…

Data Structures and Algorithms · Computer Science 2024-04-26 Michael Levet , Puck Rombach , Nicholas Sieger

We prove that for any fixed r>=2, the tree-width of graphs not containing K_r as a topological minor (resp. as a subgraph) is bounded by a linear (resp. polynomial) function of their rank-width. We also present refinements of our bounds for…

Combinatorics · Mathematics 2014-03-26 Fedor V. Fomin , Sang-il Oum , Dimitrios M. Thilikos

Let k be a natural number. Let G be a graph and let N_1,...,N_k be k independent sets in G. The graph G is k-probe distance hereditary if G can be embedded into a DH-graph by adding edges between vertices that are contained in the same…

Data Structures and Algorithms · Computer Science 2012-02-03 T. Kloks

In the recent years, several polynomial algorithms of a dynamical nature have been proposed to address the graph isomorphism problem. In this paper we propose a generalization of an approach exposed in cond-mat/0209112 and find that this…

Computational Complexity · Computer Science 2007-05-23 Marats Golovkins

A Cayley graph over a group G is said to be central if its connection set is a normal subset of G. It is proved that for any two central Cayley graphs over explicitly given almost simple groups of order n, the set of all isomorphisms from…

Combinatorics · Mathematics 2019-02-01 Ilia Ponomarenko , Andrey Vasil'ev

We consider combinatorial problems that can be solved in polynomial time for graphs of bounded treewidth but where the order of the polynomial that bounds the running time is expected to depend on the treewidth bound. First we review some…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Szeider

We initiate the study of property testing in arbitrary planar graphs. We prove that bipartiteness can be tested in constant time, improving on the previous bound of $\tilde{O}(\sqrt{n})$ for graphs on $n$ vertices. The constant-time…

Data Structures and Algorithms · Computer Science 2018-12-27 Artur Czumaj , Morteza Monemizadeh , Krzysztof Onak , Christian Sohler

Fixed parameter tractable (FPT) algorithms run in time f(p(x)) poly(|x|), where f is an arbitrary function of some parameter p of the input x and poly is some polynomial function. Treewidth, branchwidth, cliquewidth, NLC-width, rankwidth,…

Combinatorics · Mathematics 2018-02-20 Jakub Marecek

The problem of computing the chromatic number of a $P_5$-free graph is known to be NP-hard. In contrast to this negative result, we show that determining whether or not a $P_5$-free graph admits a $k$-colouring, for each fixed number of…

Data Structures and Algorithms · Computer Science 2016-08-14 Chính T. Hoàng , Marcin Kamiński , Vadim Lozin , J. Sawada , X. Shu

Lettericity is a graph parameter responsible for many attractive structural properties. In particular, graphs of bounded lettericity have bounded linear clique-width and they are well-quasi-ordered by induced subgraphs. The latter property…

Combinatorics · Mathematics 2024-02-21 Bogdan Alecu , Mamadou Moustapha Kanté , Vadim Lozin , Viktor Zamaraev

We study the design of fixed-parameter algorithms for problems already known to be solvable in polynomial time. The main motivation is to get more efficient algorithms for problems with unattractive polynomial running times. Here, we focus…

Computational Complexity · Computer Science 2021-01-06 Archontia C. Giannopoulou , George B. Mertzios , Rolf Niedermeier

We study the problem of finding a copy of a specific induced subgraph on inhomogeneous random graphs with infinite variance power-law degrees. We provide a fast algorithm that finds a copy of any connected graph $H$ on a fixed number of $k$…

Data Structures and Algorithms · Computer Science 2019-08-30 Ellen Cardinaels , Johan S. H. van Leeuwaarden , Clara Stegehuis

We study \emph{multiplicity equivalence} testing of automata over partially commutative monoids (pc monoids) and show efficient algorithms in special cases, exploiting the structure of the underlying non-commutation graph of the monoid.…

Formal Languages and Automata Theory · Computer Science 2020-06-02 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

We introduce the framework of Deep Weisfeiler Leman algorithms (DeepWL), which allows the design of purely combinatorial graph isomorphism tests that are more powerful than the well-known Weisfeiler-Leman algorithm. We prove that, as an…

Logic in Computer Science · Computer Science 2020-03-25 Martin Grohe , Pascal Schweitzer , Daniel Wiebking

Clique-width is an important graph parameter due to its algorithmic and structural properties. A graph class is hereditary if it can be characterized by a (not necessarily finite) set ${\cal H}$ of forbidden induced subgraphs. We initiate a…

Discrete Mathematics · Computer Science 2017-06-09 Alexandre Blanché , Konrad K. Dabrowski , Matthew Johnson , Vadim V. Lozin , Daniël Paulusma , Viktor Zamaraev

We extend the concept of graph isomorphisms to multilayer networks with any number of "aspects" (i.e., types of layering). In developing this generalization, we identify multiple types of isomorphisms. For example, in multilayer networks…

Physics and Society · Physics 2017-02-17 Mikko Kivelä , Mason A. Porter

An isomorphism between two graphs is a bijection between their vertices that preserves the edges. We consider the problem of determining whether two finite undirected weighted graphs are isomorphic, and finding an isomorphism relating them…

Optimization and Control · Mathematics 2016-11-03 Reza Takapoui , Stephen Boyd

In a paired threshold graph, each vertex has a weight, and two vertices are adjacent if their weight sum is large enough and their weight difference is small enough. It generalizes threshold graphs and unit interval graphs, both very well…

Data Structures and Algorithms · Computer Science 2019-10-01 Guozhen Rong , Yixin Cao , Jianxin Wang

We study the problem of computing the rank of a divisor on a finite graph, a quantity that arises in the Riemann-Roch theory on a finite graph developed by Baker and Norine (Advances of Mathematics, 215(2): 766-788, 2007). Our work consists…

Combinatorics · Mathematics 2011-12-01 Madhusudan Manjunath

We consider the problem of testing graph cluster structure: given access to a graph $G=(V, E)$, can we quickly determine whether the graph can be partitioned into a few clusters with good inner conductance, or is far from any such graph?…

Data Structures and Algorithms · Computer Science 2018-09-19 Ashish Chiplunkar , Michael Kapralov , Sanjeev Khanna , Aida Mousavifar , Yuval Peres