English
Related papers

Related papers: Capturing Polynomial Time using Modular Decomposit…

200 papers

We consider the problem of sampling and approximately counting an arbitrary given motif $H$ in a graph $G$, where access to $G$ is given via queries: degree, neighbor, and pair, as well as uniform edge sample queries. Previous algorithms…

Data Structures and Algorithms · Computer Science 2021-07-20 Amartya Shankha Biswas , Talya Eden , Ronitt Rubinfeld

The clique-width is a measure of complexity of decomposing graphs into certain tree-like structures. The class of graphs with bounded clique-width contains bounded tree-width graphs. We give a polynomial time graph isomorphism algorithm for…

Computational Complexity · Computer Science 2016-04-29 Bireswar Das , Murali Krishna Enduri , I. Vinod Reddy

Precedence constraints are inequalities used to model time dependencies. In 1958, Gallai proved that a finite system of precedence constraints admits solutions if and only if the corresponding precedence graph does not contain…

Systems and Control · Electrical Eng. & Systems 2025-04-08 Davide Zorzenon , Jörg Raisch

Coordination graph is a promising approach to model agent collaboration in multi-agent reinforcement learning. It conducts a graph-based value factorization and induces explicit coordination among agents to complete complicated tasks.…

Machine Learning · Computer Science 2022-09-20 Qianlan Yang , Weijun Dong , Zhizhou Ren , Jianhao Wang , Tonghan Wang , Chongjie Zhang

We construct a polynomial-time algorithm which given a graph $\Gamma$ finds the full set of non-equivalent Cayley representations of $\Gamma$ over the group $D\cong C_p\times C_{p^k}$, where $p\in\{2,3\}$ and $k\geq 1$. This result implies…

Combinatorics · Mathematics 2021-11-04 Grigory Ryabov

Time-varying graph signals are alternative representation of multivariate (or multichannel) signals in which a single time-series is associated with each of the nodes or vertex of a graph. Aided by the graph-theoretic tools, time-varying…

Signal Processing · Electrical Eng. & Systems 2023-01-10 Naveed ur Rehman

A decomposition of a graph is a set of subgraphs whose edges partition those of $G$. The 3-decomposition conjecture posed by Hoffmann-Ostenhof in 2011 states that every connected cubic graph can be decomposed into a spanning tree, a…

Combinatorics · Mathematics 2022-11-08 Oliver Bachtler , Sven O. Krumke

We introduce the concept of complete edge-colored permutation graphs as complete graphs that are the edge-disjoint union of "classical" permutation graphs. We show that a graph $G=(V,E)$ is a complete edge-colored permutation graph if and…

Combinatorics · Mathematics 2020-04-16 Tom Hartmann , Max Bannach , Martin Middendorf , Peter F. Stadler , Nicolas Wieseke , Marc Hellmuth

We study the classic problem of subgraph counting, where we wish to determine the number of occurrences of a fixed pattern graph $H$ in an input graph $G$ of $n$ vertices. Our focus is on bounded degeneracy inputs, a rich family of graph…

Data Structures and Algorithms · Computer Science 2025-03-05 Daniel Paul-Pena , C. Seshadhri

Unbreakable decomposition, introduced by Cygan et al. (SICOMP'19) and Cygan et al. (TALG'20), has proven to be one of the most powerful tools for parameterized graph cut problems in recent years. Unfortunately, all known constructions…

Data Structures and Algorithms · Computer Science 2024-08-20 Aditya Anand , Euiwoong Lee , Jason Li , Yaowei Long , Thatchaphol Saranurak

A graph is unipolar if it can be partitioned into a clique and a disjoint union of cliques, and a graph is a generalised split graph if it or its complement is unipolar. A unipolar partition of a graph can be used to find efficiently the…

Data Structures and Algorithms · Computer Science 2016-04-05 Colin McDiarmid , Nikola Yolov

We study computational and sample complexity of parameter and structure learning in graphical models. Our main result shows that the class of factor graphs with bounded factor size and bounded connectivity can be learned in polynomial time…

Machine Learning · Computer Science 2012-07-09 Pieter Abbeel , Daphne Koller , Andrew Y. Ng

Graph clustering involves the task of dividing nodes into clusters, so that the edge density is higher within clusters as opposed to across clusters. A natural, classic and popular statistical setting for evaluating solutions to this…

Machine Learning · Statistics 2016-11-17 Yudong Chen , Sujay Sanghavi , Huan Xu

An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii)…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

The modular decomposition of a graph $G=(V,E)$ does not contain prime modules if and only if $G$ is a cograph, that is, if no quadruple of vertices induces a simple connected path $P_4$. The cograph editing problem consists in inserting…

Discrete Mathematics · Computer Science 2019-09-11 Marc Hellmuth , Adrian Fritz , Nicolas Wieseke , Peter F. Stadler

To date, the best circle graph recognition algorithm runs in almost linear time as it relies on a split decomposition algorithm that uses the union-find data-structure. We show that in the case of circle graphs, the PC-tree data-structure…

Data Structures and Algorithms · Computer Science 2026-01-01 Christophe Paul , Ignaz Rutter

P-time event graphs are discrete event systems able to model cyclic production systems where tasks need to be performed within given time windows. Consistency is the property of admitting an infinite execution of such tasks that does not…

Logic in Computer Science · Computer Science 2026-02-10 Davide Zorzenon , Jörg Raisch

Enumerating minimal dominating sets with polynomial delay in bipartite graphs is a long-standing open problem. To date, even the subcase of chordal bipartite graphs is open, with the best known algorithm due to Golovach, Heggernes, Kant\'e,…

Data Structures and Algorithms · Computer Science 2025-08-05 Emanuel Castelo , Oscar Defrain , Guilherme C. M. Gomes

We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge…

Geometric Topology · Mathematics 2024-05-22 Stefan Friedl , Lars Munser , José Pedro Quintanilha , Yuri Santos Rego

We systematically investigate the complexity of counting subgraph patterns modulo fixed integers. For example, it is known that the parity of the number of $k$-matchings can be determined in polynomial time by a simple reduction to the…

Computational Complexity · Computer Science 2021-07-02 Radu Curticapean , Holger Dell , Thore Husfeldt