English
Related papers

Related papers: An Algorithmic Meta-Theorem for Graph Modification…

200 papers

The graph isomorphism problem is considered. We assign modified $n$-variable characteristic polynomials for graphs and reduce the graph isomorphism problem to the problem of the polynomials isomorphism. It is required to find out, is there…

Discrete Mathematics · Computer Science 2024-10-18 Alexander Prolubnikov

We study the problem of graph clustering where the goal is to partition a graph into clusters, i.e. disjoint subsets of vertices, such that each cluster is well connected internally while sparsely connected to the rest of the graph. In…

Data Structures and Algorithms · Computer Science 2021-12-17 Thatchaphol Saranurak , Di Wang

We prove a complete complexity classification theorem for the planar eight-vertex model. For every parameter setting in ${\mathbb C}$ for the eight-vertex model, the partition function is either (1) computable in P-time for every graph, or…

Computational Complexity · Computer Science 2026-02-13 Austen Fan , Jin-Yi Cai , Shuai Shao , Zhuxiao Tang

We propose a fast methodology for encoding graphs with information-theoretically minimum numbers of bits. Specifically, a graph with property pi is called a pi-graph. If pi satisfies certain properties, then an n-node m-edge pi-graph G can…

Data Structures and Algorithms · Computer Science 2007-05-23 Xin He , Ming-Yang Kao , Hsueh-I Lu

A planar orthogonal drawing of a planar 4-graph G (i.e., a planar graph with vertex-degree at most four) is a crossing-free drawing that maps each vertex of G to a distinct point of the plane and each edge of $G$ to a sequence of horizontal…

Computational Geometry · Computer Science 2022-05-17 Walter Didimo , Michael Kaufmann , Giuseppe Liotta , Giacomo Ortali

Given a class of graphs $\mathcal{H}$, the problem $\oplus\mathsf{Sub}(\mathcal{H})$ is defined as follows. The input is a graph $H\in \mathcal{H}$ together with an arbitrary graph $G$. The problem is to compute, modulo $2$, the number of…

Computational Complexity · Computer Science 2023-10-12 Leslie Ann Goldberg , Marc Roth

It is well known [Lov\'asz, 67] that up to isomorphism a graph~$G$ is determined by the homomorphism counts $\hom(F, G)$, i.e., the number of homomorphisms from $F$ to $G$, where $F$ ranges over all graphs. Thus, in principle, we can answer…

Computational Complexity · Computer Science 2023-04-21 Yijia Chen , Jörg Flum , Mingjun Liu , Zhiyang Xun

Given a graph, when can we orient the edges to satisfy local constraints at the vertices, where each vertex specifies which local orientations of its incident edges are allowed? This family of graph orientation problems is a special kind of…

Computational Complexity · Computer Science 2026-03-05 MIT Hardness Group , Zachary Abel , Erik D. Demaine , Jenny Diomidova , Jeffery Li , Zixiang Zhou

We consider a variation of the spectral sparsification problem where we are required to keep a subgraph of the original graph. Formally, given a union of two weighted graphs $G$ and $W$ and an integer $k$, we are asked to find a $k$-edge…

Discrete Mathematics · Computer Science 2009-12-10 Alexandra Kolla , Yury Makarychev , Amin Saberi , Shanghua Teng

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

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

Graph Crossing Number is a fundamental problem with various applications. In this problem, the goal is to draw an input graph $G$ in the plane so as to minimize the number of crossings between the images of its edges. Despite extensive…

Data Structures and Algorithms · Computer Science 2021-01-12 Julia Chuzhoy , Sepideh Mahabadi , Zihan Tan

Bidimensionality is the most common technique to design subexponential-time parameterized algorithms on special classes of graphs, particularly planar graphs. The core engine behind it is a combinatorial lemma of Robertson, Seymour and…

Data Structures and Algorithms · Computer Science 2019-03-05 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

Subexponential parameterized algorithms are known for a wide range of natural problems on planar graphs, but the techniques are usually highly problem specific. The goal of this paper is to introduce a framework for obtaining…

Data Structures and Algorithms · Computer Science 2021-10-29 Dániel Marx , Pranabendu Misra , Daniel Neuen , Prafullkumar Tale

Counterfactual explanations promote explainability in machine learning models by answering the question "how should an input instance be perturbed to obtain a desired predicted label?". The comparison of this instance before and after…

Machine Learning · Computer Science 2022-11-09 Jing Ma , Ruocheng Guo , Saumitra Mishra , Aidong Zhang , Jundong Li

The dual of a planar graph $G$ is a planar graph $G^*$ that has a vertex for each face of $G$ and an edge for each pair of adjacent faces of $G$. The profound relationship between a planar graph and its dual has been the algorithmic basis…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-23 Yaseen Abd-Elhaleem , Michal Dory , Merav Parter , Oren Weimann

In this paper we study the computational complexity of the Upward Planarity Extension problem, which takes in input an upward planar drawing $\Gamma_H$ of a subgraph $H$ of a directed graph $G$ and asks whether $\Gamma_H$ can be extended to…

Data Structures and Algorithms · Computer Science 2019-02-19 Giordano Da Lozzo , Giuseppe Di Battista , Fabrizio Frati

We study how we can accelerate the spreading of information in temporal graphs via shifting operations; a problem that captures real-world applications varying from information flows to distribution schedules. In a temporal graph there is a…

Data Structures and Algorithms · Computer Science 2025-10-09 Argyrios Deligkas , Eduard Eiben , George Skretas

Near ubiquitous mobile computing has led to intense interest in dynamic graph theory. This provides a new and challenging setting for algorithmics and complexity theory. For any graph-based problem, the rapid evolution of a (possibly…

Computational Complexity · Computer Science 2012-02-20 Arnaud Casteigts , Bernard Mans , Luke Mathieson

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

The Path Contraction and Cycle Contraction problems take as input an undirected graph $G$ with $n$ vertices, $m$ edges and an integer $k$ and determine whether one can obtain a path or a cycle, respectively, by performing at most $k$ edge…

Data Structures and Algorithms · Computer Science 2024-03-12 R. Krithika , V. K. Kutty Malu , Prafullkumar Tale