English
Related papers

Related papers: Reducing CMSO Model Checking to Highly Connected G…

200 papers

We develop efficient parameterized, with additive error, approximation algorithms for the (Connected) $r$-Domination problem and the (Connected) $p$-Center problem for unweighted and undirected graphs. Given a graph $G$, we show how to…

Data Structures and Algorithms · Computer Science 2017-06-26 Arne Leitert , Feodor F. Dragan

The Massively Parallel Computation (MPC) model is an emerging model which distills core aspects of distributed and parallel computation. It has been developed as a tool to solve (typically graph) problems in systems where the input is…

Data Structures and Algorithms · Computer Science 2020-02-20 Artur Czumaj , Peter Davies , Merav Parter

We study the complexity of the problems of finding, given a graph $G$, a largest induced subgraph of $G$ with all degrees odd (called an odd subgraph), and the smallest number of odd subgraphs that partition $V(G)$. We call these parameters…

Data Structures and Algorithms · Computer Science 2021-04-30 Rémy Belmonte , Ignasi Sau

We improve the running time of the general algorithmic technique known as Baker's approach (1994) on H-minor-free graphs from O(n^{f(|H|)}) to O(f(|H|) n^{O(1)}). The numerous applications include e.g. a 2-approximation for coloring and…

Data Structures and Algorithms · Computer Science 2015-05-18 Siamak Tazari

A vertex of a plane digraph is bimodal if all its incoming edges (and hence all its outgoing edges) are consecutive in the cyclic order around it. A plane digraph is bimodal if all its vertices are bimodal. Bimodality is at the heart of…

Data Structures and Algorithms · Computer Science 2023-08-31 Walter Didimo , Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Stephen Kobourov , Marie Diana Sieper

We present an efficient algorithm for a problem in the interface between clustering and graph embeddings. An embedding $\varphi:G\rightarrow M$ of a graph $G$ into a 2-manifold $M$ maps the vertices in $V(G)$ to distinct points and the…

Computational Geometry · Computer Science 2019-07-24 Hugo A. Akitaya , Radoslav Fulek , Csaba D. Tóth

For a finite set $\mathcal{F}$ of graphs, the $\mathcal{F}$-Hitting problem aims to compute, for a given graph $G$ (taken from some graph class $\mathcal{G}$) of $n$ vertices (and $m$ edges) and a parameter $k\in\mathbb{N}$, a set $S$ of…

Data Structures and Algorithms · Computer Science 2025-02-19 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Jie Xue , Meirav Zehavi

Let $G$ be a simple graph on the vertex set $\{v_1,\dots,v_n\}$ with edge set $E$. Let $K$ be a field. The graphical arrangement $\mathcal{A}_G$ in $K^n$ is the arrangement $x_i-x_j=0, v_iv_j \in E$. An arrangement $\mathcal{A}$ is…

Combinatorics · Mathematics 2015-02-02 Lili Mu , Richard P. Stanley

The $2$-admissibility of a graph is a promising measure to identify real-world networks which have an algorithmically favourable structure. In contrast to other related measures, like the weak/strong $2$-colouring numbers or the maximum…

Data Structures and Algorithms · Computer Science 2025-05-08 Christine Awofeso , Patrick Greaves , Oded Lachish , Felix Reidl

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

We show that the Maximum Weight Independent Set problem (MWIS) can be solved in quasi-polynomial time on $H$-free graphs (graphs excluding a fixed graph $H$ as an induced subgraph) for every $H$ whose every connected component is a path or…

Data Structures and Algorithms · Computer Science 2025-09-24 Peter Gartland , Daniel Lokshtanov , Tomáš Masařík , Marcin Pilipczuk , Michał Pilipczuk , Paweł Rzążewski

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the graph homomorphism problem, denoted by $Hom(H)$, the graph $H$ is fixed and we need to determine if there exists a homomorphism from…

Discrete Mathematics · Computer Science 2023-12-08 Carla Groenland , Isja Mannens , Jesper Nederlof , Marta Piecyk , Paweł Rzążewski

We study the knapsack problem with graph theoretic constraints. That is, we assume that there exists a graph structure on the set of items of knapsack and the solution also needs to satisfy certain graph theoretic properties on top of…

Data Structures and Algorithms · Computer Science 2024-01-25 Palash Dey , Sudeshna Kolay , Sipra Singh

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

We prove that a number of computational problems that ask for the largest sparse induced subgraph satisfying some property definable in CMSO2 logic, most notably Feedback Vertex Set, are polynomial-time solvable in the class of $P_6$-free…

Data Structures and Algorithms · Computer Science 2023-07-17 Maria Chudnovsky , Rose McCarty , Marcin Pilipczuk , Michał Pilipczuk , Paweł Rzążewski

For a graph $H$, a graph $G$ is an $H$-graph if it is an intersection graph of connected subgraphs of some subdivision of $H$. $H$-graphs naturally generalize several important graph classes like interval or circular-arc graph. This class…

Data Structures and Algorithms · Computer Science 2020-02-24 Fedor V. Fomin , Petr A. Golovach , Jean-Florent Raymond

The generic homomorphism problem, which asks whether an input graph $G$ admits a homomorphism into a fixed target graph $H$, has been widely studied in the literature. In this article, we provide a fine-grained complexity classification of…

Computational Complexity · Computer Science 2022-10-14 Robert Ganian , Thekla Hamm , Viktoriia Korchemna , Karolina Okrasa , Kirill Simonov

A disconnected cut of a connected graph is a vertex cut that itself also induces a disconnected subgraph. The decision problem whether a graph has a disconnected cut is called Disconnected Cut. This problem is closely related to several…

Data Structures and Algorithms · Computer Science 2018-03-13 Barnaby Martin , Daniel Paulusma , Erik Jan van Leeuwen

Tractability results for the model checking problem of logics yield powerful algorithmic meta theorems of the form: Every computational problem expressible in a logic $L$ can be solved efficiently on every class $\mathscr{C}$ of structures…

Logic in Computer Science · Computer Science 2024-11-26 Sebastian Siebertz , Alexandre Vigny

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
‹ Prev 1 3 4 5 6 7 10 Next ›