English
Related papers

Related papers: Efficient computation of generalized Ising polynom…

200 papers

For a finite collection of graphs ${\cal F}$, the \textsc{${\cal F}$-TM-Deletion} problem has as input an $n$-vertex graph $G$ and an integer $k$ and asks whether there exists a set $S \subseteq V(G)$ with $|S| \leq k$ such that $G…

Data Structures and Algorithms · Computer Science 2022-11-01 Petr A. Golovach , Giannos Stamoulis , Dimitrios M. Thilikos

In general, a graph modification problem is defined by a graph modification operation $\boxtimes$ and a target graph property ${\cal P}$. Typically, the modification operation $\boxtimes$ may be vertex removal}, edge removal}, edge…

Data Structures and Algorithms · Computer Science 2022-11-07 Fedor V. Fomin , Petr A. Golovach , Giannos Stamoulis , Dimitrios M. Thilikos

Dynamic programming on various graph decompositions is one of the most fundamental techniques used in parameterized complexity. Unfortunately, even if we consider concepts as simple as path or tree decompositions, such dynamic programming…

A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for…

Data Structures and Algorithms · Computer Science 2023-01-30 Monika Henzinger , Ami Paz , A. R. Sricharan

To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an…

Geometric Topology · Mathematics 2014-07-25 Benjamin A. Burton , William Pettersson

Many problems in static program analysis can be modeled as the context-free language (CFL) reachability problem on directed labeled graphs. The CFL reachability problem can be generally solved in time $O(n^3)$, where $n$ is the number of…

Formal Languages and Automata Theory · Computer Science 2023-08-21 Paraschos Koutris , Shaleen Deep

We prove that the class of $(K_t,sP_1+P_5)$-free graphs has bounded mim-width for every $s\geq 0$ and $t\geq 1$, and that there is a polynomial-time algorithm that, given a graph in the class, computes a branch decomposition of constant…

Data Structures and Algorithms · Computer Science 2020-04-27 Nick Brettell , Jake Horsfield , Daniel Paulusma

We present a new family of zero-field Ising models over $N$ binary variables/spins obtained by consecutive "gluing" of planar and $O(1)$-sized components and subsets of at most three vertices into a tree. The polynomial-time algorithm of…

Data Structures and Algorithms · Computer Science 2021-09-15 Valerii Likhosherstov , Yury Maximov , Michael Chertkov

We introduce a series of graph decompositions based on the modulator/target scheme of modification problems that enable several algorithmic applications that parametrically extend the algorithmic potential of planarity. In the core of our…

Data Structures and Algorithms · Computer Science 2025-10-17 Fedor V. Fomin , Petr A. Golovach , Laure Morelle , Dimitrios M. Thilikos

A graph operation that {\em contracts edges} is one of the fundamental operations in the theory of graph minors. Parameterized Complexity of editing to a family of graphs by contracting $k$ edges has recently gained substantial scientific…

Data Structures and Algorithms · Computer Science 2020-06-19 Spoorthy Gunda , Pallavi Jain , Daniel Lokshtanov , Saket Saurabh , Prafullkumar Tale

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on…

Discrete Mathematics · Computer Science 2019-05-31 Raphael Steiner , Sebastian Wiederrecht

The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems in finite model theory and database theory. Partial results…

Logic in Computer Science · Computer Science 2010-04-30 Martin Grohe

A bipartite graph $G=(A,B,E)$ is ${\cal H}$-convex, for some family of graphs ${\cal H}$, if there exists a graph $H\in {\cal H}$ with $V(H)=A$ such that the set of neighbours in $A$ of each $b\in B$ induces a connected subgraph of $H$.…

Data Structures and Algorithms · Computer Science 2024-02-06 Flavia Bonomo-Braberman , Nick Brettell , Andrea Munaro , Daniël Paulusma

In this paper we compare and illustrate the algorithmic use of graphs of bounded tree-width and graphs of bounded clique-width. For this purpose we give polynomial time algorithms for computing the four basic graph parameters independence…

Data Structures and Algorithms · Computer Science 2008-12-18 Frank Gurski

Many important combinatorial problems can be modeled as constraint satisfaction problems. Hence identifying polynomial-time solvable classes of constraint satisfaction problems has received a lot of attention. In this paper, we are…

Data Structures and Algorithms · Computer Science 2017-11-15 Martin Grohe , Dániel Marx

We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero…

Data Structures and Algorithms · Computer Science 2015-11-05 Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk , Saket Saurabh , Marcin Wrochna

We investigate a relaxation of the notion of fractional treewidth-fragility, namely fractional tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for meta-problems such as finding a…

Data Structures and Algorithms · Computer Science 2025-04-23 Esther Galby , Andrea Munaro , Shizhou Yang

Graph-modification problems, where we modify a graph by adding or deleting vertices or edges or contracting edges to obtain a graph in a {\it simpler} class, is a well-studied optimization problem in all algorithmic paradigms including…

Data Structures and Algorithms · Computer Science 2021-12-24 Ashwin Jacob , Jari J. H. de Kroon , Diptapriyo Majumdar , Venkatesh Raman

In this paper, we focus on the study of immanantal polynomials for linear combination matrices composed of the degree matrix and adjacency matrix of a graph. First, applying the concept of vertex orientation for general graphs, we provide a…

Combinatorics · Mathematics 2026-04-07 Xiangshuai Dong , Tingzeng Wu

A set of vertices in a graph forms a potential maximal clique if there exists a minimal chordal completion in which it is a maximal clique. Potential maximal cliques were first introduced as a key tool to obtain an efficient, though…

Data Structures and Algorithms · Computer Science 2025-05-15 Caroline Brosse , Alessio Conte , Vincent Limouzy , Giulia Punzi , Davide Rucci