English
Related papers

Related papers: Hard Problems That Quickly Become Very Easy

200 papers

We study a general family of problems that form a common generalization of classic hitting (also referred to as covering or transversal) and packing problems. An instance of X-HitPack asks: Can removing k (deletable) vertices of a graph G…

Data Structures and Algorithms · Computer Science 2024-02-26 Jacob Focke , Fabian Frei , Shaohua Li , Dániel Marx , Philipp Schepper , Roohani Sharma , Karol Węgrzycki

An upper dominating set in a graph is a minimal (with respect to set inclusion) dominating set of maximum cardinality. The problem of finding an upper dominating set is generally NP-hard. We study the complexity of this problem in classes…

Discrete Mathematics · Computer Science 2016-09-07 Hassan AbouEisha , Shahid Hussain , Vadim Lozin , Jérôme Monnot , Bernard Ries , Viktor Zamaraev

We consider the complexity of finding weighted homomorphisms from intersection graphs of curves (string graphs) with $n$ vertices to a fixed graph $H$. We provide a complete dichotomy for the problem: if $H$ has no two vertices sharing two…

Computational Complexity · Computer Science 2019-06-24 Karolina Okrasa , Paweł Rzążewski

A graph with degree sequence $\pi$ is a \emph{unigraph} if it is isomorphic to every graph that has degree sequence $\pi$. The class of unigraphs is not hereditary and in this paper we study the related hereditary class HCU, the hereditary…

Combinatorics · Mathematics 2023-08-24 Michael D. Barrus , Ann N. Trenk , Rebecca Whitman

For a graph $H$, the $H$-free Edge Deletion problem asks whether there exist at most $k$ edges whose deletion from the input graph $G$ results in a graph without any induced copy of $H$. We prove that $H$-free Edge Deletion is NP-complete…

Data Structures and Algorithms · Computer Science 2015-09-15 N. R. Aravind , R. B. Sandeep , Naveen Sivadasan

A graph is distance-hereditary if for any pair of vertices, their distance in every connected induced subgraph containing both vertices is the same as their distance in the original graph. The Distance-Hereditary Vertex Deletion problem…

Data Structures and Algorithms · Computer Science 2017-02-22 Eun Jung Kim , O-joung Kwon

A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness notion from algorithmic graph theory is essentially the…

Logic · Mathematics 2010-11-18 Hans Adler , Isolde Adler

Testing if a given graph $G$ contains the $k$-vertex path $P_k$ as a minor or as an induced minor is trivial for every fixed integer $k\geq 1$. However, the situation changes for the problem of checking if a graph can be modified into $P_k$…

Discrete Mathematics · Computer Science 2017-06-13 Konrad K. Dabrowski , Daniël Paulusma

We prove that it is NP-hard to decide whether a graph is the square of a 6-apex graph. This shows that the square root problem is not tractable for squares of sparse graphs (or even graphs from proper minor-closed classes).

Discrete Mathematics · Computer Science 2023-07-17 Zdeněk Dvořák , Benjamin Moore , Abhiruk Lahiri

For a graph $G$ and a hereditary property $\mathcal{P}$, let $\text{ex}(G,\mathcal{P})$ denote the maximum number of edges of a subgraph of $G$ that belongs to $\mathcal{P}$. We prove that for every non-trivial hereditary property…

Combinatorics · Mathematics 2024-05-16 Alexander Clifton , Hong Liu , Letícia Mattos , Michael Zheng

Let $G$ be a graph on $n$ vertices with adjacency matrix $A$, and let $\mathbf{1}$ be the all-ones vector. We call $G$ controllable if the set of vectors $\mathbf{1}, A\mathbf{1}, \dots, A^{n-1}\mathbf{1}$ spans the whole space…

Combinatorics · Mathematics 2023-09-12 Aida Abiad , Anuj Dawar , Octavio Zapata

A graph is split if there is a partition of its vertex set into a clique and an independent set. The present paper is devoted to the splitness of some graphs related to finite simple groups, namely, prime graphs and solvable graphs, and…

Group Theory · Mathematics 2022-07-07 Mark L. Lewis , J. Mirzajani , A. R. Moghaddamfar , A. V. Vasil'ev , M. A. Zvezdina

A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Kr\'al', Kratochv\'{\i}l, Tuza, and Woeginger initiated a study into the complexity of Colouring for…

Data Structures and Algorithms · Computer Science 2017-06-08 Alexandre Blanché , Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma

In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of…

Data Structures and Algorithms · Computer Science 2016-10-10 Athanasios Konstantinidis , Charis Papadopoulos

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

For a graph $H$, the $H$-free Edge Deletion problem asks whether there exist at most $k$ edges whose deletion from the input graph $G$ results in a graph without any induced copy of $H$. $H$-free Edge Completion and $H$-free Edge Editing…

Data Structures and Algorithms · Computer Science 2015-09-30 N. R. Aravind , R. B. Sandeep , Naveen Sivadasan

Given a hereditary graph property $\mathcal{P}$, consider distributions of random orderings of vertices of graphs $G\in\mathcal{P}$ that are preserved under isomorphisms and under taking induced subgraphs. We show that for many properties…

Probability · Mathematics 2015-06-11 Paul Balister , Béla Bollobás , Svante Janson

For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal…

Discrete Mathematics · Computer Science 2024-05-07 Vadim Lozin , Barnaby Martin , Sukanya Pandey , Daniel Paulusma , Mark Siggers , Siani Smith , Erik Jan van Leeuwen

Temporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the availability of edges can change with time. We consider the…

Logic in Computer Science · Computer Science 2024-01-30 Pete Austin , Sougata Bose , Patrick Totzke

We study the complexity of graph problems on graphs defined on groups, especially power graphs. We observe that an isomorphism invariant problem, such as Hamiltonian Path, Partition into Cliques, Feedback Vertex Set, Subgraph Isomorphism,…

Computational Complexity · Computer Science 2025-07-09 Bireswar Das , Dipan Dey , Jinia Ghosh