English
Related papers

Related papers: NP-complete variants of some classical graph probl…

200 papers

This article is devoted to propose some lower and upper bounds for the coupled-tasks scheduling problem in presence of compatibility constraints according to classical complexity hypothesis ($\mathcal{P} \neq \mathcal{NP}$,…

Computational Complexity · Computer Science 2017-06-08 Rodolphe Giroudeau , Jean-Claude König , Benoit Darties , Gilles Simonin

In this study we consider the problem of triangulated graphs. Precisely we give a necessary and sufficient condition for a graph to be triangulated. This give an alternative characterization of triangulated graphs. Our method is based on…

Combinatorics · Mathematics 2018-11-21 R. Gargouri , H. Najar

This paper proves the decidability of the emptiness problem for two models which recognize graphs: graph-walking automata, and tilings of graphs by star subgraphs (star automata). Furthermore, it is proved that the non-emptiness problem for…

Formal Languages and Automata Theory · Computer Science 2022-12-06 Olga Martynova

We consider the problem of transforming a given graph $G_s$ into a desired graph $G_t$ by applying a minimum number primitives from a particular set of local graph transformation primitives. These primitives are local in the sense that each…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-11 Christian Scheideler , Alexander Setzer

Given a 3-SAT formula, a graph can be constructed in polynomial time such that the graph is a point visibility graph if and only if the 3-SAT formula is satisfiable. This reduction establishes that the problem of recognition of point…

Computational Geometry · Computer Science 2016-05-05 Bodhayan Roy

We consider the problem of partitioning a graph into a non-fixed number of non-overlapping subgraphs of maximum density. The density of a partition is the sum of the densities of the subgraphs, where the density of a subgraph is its average…

Computational Complexity · Computer Science 2022-02-17 Cristina Bazgan , Katrin Casel , Pierre Cazals

Motivated by Chudnovsky's structure theorem of bull-free graphs, Abu-Khzam, Feghali, and M\"uller have recently proved that deciding if a graph has a vertex partition into disjoint cliques and a triangle-free graph is NP-complete for five…

Discrete Mathematics · Computer Science 2015-12-08 Marin Bougeret , Pascal Ochem

We study the problem of computing a minimum equivalent digraph (also known as the problem of computing a strong transitive reduction) and its maximum objective function variant, with two types of extensions. First, we allow to declare a set…

Computational Complexity · Computer Science 2008-09-02 Piotr Berman , Bhaskar DasGupta , Marek Karpinski

It is currently an unsolved problem to determine whether a $\triangle$-free planar graph $G$ contains an independent set $A$ such that $G[V_G\setminus A]$ is $2$-choosable. However, in this paper, we take a slightly different approach by…

Combinatorics · Mathematics 2023-05-22 Sounaka Mishra , Rohini S , Sagar S. Sawant

A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics…

Quantum Physics · Physics 2023-12-19 Jianan Wang , Chuixiong Wu , Fen Zuo

For both the edge deletion heuristic and the maximum-degree greedy heuristic, we study the problem of recognizing those graphs for which that heuristic can approximate the size of a minimum vertex cover within a constant factor of r, where…

Computational Complexity · Computer Science 2016-08-16 Edith Hemaspaandra , Jörg Rothe , Holger Spakowski

Testing whether there is an induced path in a graph spanning k given vertices is already NP-complete in general graphs when k=3. We show how to solve this problem in polynomial time on claw-free graphs, when k is not part of the input but…

Discrete Mathematics · Computer Science 2016-12-15 Jiri Fiala , Marcin Kaminski , Bernard Lidicky , Daniel Paulusma

Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and in independent work of Tirza Hirst and D. Harel from a…

Logic · Mathematics 2009-09-25 Jeffry L. Hirst , Steffen Lempp

We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that…

Optimization and Control · Mathematics 2018-08-21 Antoine Deza , Asaf Levin , Syed M. Meesum , Shmuel Onn

The presented material continues the previous article (arxiv:1007.1059) and also is devoted to the equivalent conversion between the graphs. The examining of the transformation of the vertex graphs into the edge graphs (together with the…

General Mathematics · Mathematics 2012-10-24 Leonid Malinin , Natalia Malinina

We introduce and study the general problem of finding a most "scale-free-like" spanning tree of a connected graph. It is motivated by a particular problem in epidemiology, and may be useful in studies of various dynamical processes in…

Combinatorics · Mathematics 2023-07-12 Yury Orlovich , Kirill Kukharenko , Volker Kaibel , Pavel Skums

In this note we introduce a notion of a generically (strongly generically) NP-complete problem and show that the randomized bounded version of the halting problem is strongly generically NP-complete.

Computational Complexity · Computer Science 2016-06-06 Alexei Miasnikov , Alexander Ushakov

Containing many classic optimization problems, the family of vertex deletion problems has an important position in algorithm and complexity study. The celebrated result of Lewis and Yannakakis gives a complete dichotomy of their complexity.…

Data Structures and Algorithms · Computer Science 2017-08-02 Yixin Cao , Yuping Ke , Yota Otachi , Jie You

Working with tree graphs is always easier than with loopy ones and spanning trees are the closest tree-like structures to a given graph. We find a correspondence between the solutions of random K-satisfiability problem and those of spanning…

Disordered Systems and Neural Networks · Physics 2009-11-11 A. Ramezanpour , S. Moghimi-Araghi

A pendant vertex is one of degree one and an isolated vertex has degree zero. A neighborhood star-free (NSF for short) graph is one in which every vertex is contained in a triangle except pendant vertices and isolated vertices. This class…

Discrete Mathematics · Computer Science 2024-04-09 Vinicius L. do Forte , Min Chih Lin , Abilio Lucena , Nelson Maculan , Veronica A. Moyano , Jayme L. Szwarcfiter