English
Related papers

Related papers: Minimizing LR(1) State Machines is NP-Hard

200 papers

The Minimum Coloring Cut Problem is defined as follows: given a connected graph G with colored edges, find an edge cut E' of G (a minimal set of edges whose removal renders the graph disconnected) such that the number of colors used by the…

Data Structures and Algorithms · Computer Science 2017-04-10 Augusto Bordini , Fábio Protti

Reinforcement learning for LLM reasoning has rapidly emerged as a prominent research area, marked by a significant surge in related studies on both algorithmic innovations and practical applications. Despite this progress, several critical…

We introduce a new notion of resilience for constraint satisfaction problems, with the goal of more precisely determining the boundary between NP-hardness and the existence of efficient algorithms for resilient instances. In particular, we…

Computational Complexity · Computer Science 2014-06-13 Jeremy Kun , Lev Reyzin

In this paper we consider a variation of a recoloring problem, called the Color-Fixing. Let us have some non-proper $r$-coloring $\varphi$ of a graph $G$. We investigate the problem of finding a proper $r$-coloring of $G$, which is "the…

Discrete Mathematics · Computer Science 2017-11-15 Valentin Garnero , Konstanty Junosza-Szaniawski , Mathieu Liedloff , Pedro Montealegre , Paweł Rzążewski

The focus of this paper is two fold. Firstly, we present a logical approach to graph modification problems such as minimum node deletion, edge deletion, edge augmentation problems by expressing them as an expression in first order (FO)…

Logic in Computer Science · Computer Science 2017-11-09 Kona Harshita , Sounaka Mishra , Renjith. P , N. Sadagopan

Can one reduce the size of a graph without significantly altering its basic properties? The graph reduction problem is hereby approached from the perspective of restricted spectral approximation, a modification of the spectral similarity…

Data Structures and Algorithms · Computer Science 2019-01-01 Andreas Loukas

Graph problems are fundamentally challenging for large language models (LLMs). While LLMs excel at processing unstructured text, graph tasks require reasoning over explicit structure, permutation invariance, and computationally complex…

Machine Learning · Computer Science 2026-04-23 Angelo Zangari , Peyman Baghershahi , Sourav Medya

Node coloring is the task of assigning colors to the nodes of a graph such that no two adjacent nodes have the same color, while using as few colors as possible. It is the most widely studied instance of graph coloring and of central…

Combinatorics · Mathematics 2026-01-09 Knut Vanderbush , Melanie Weber

The graph coloring problem is a classical combinatorial optimization problem with important applications such as register allocation and task scheduling, and it has been extensively studied for decades. However, near-real-time algorithms…

Data Structures and Algorithms · Computer Science 2025-09-30 Chenghao Zhu , Yi Zhou

The low-rank matrix approximation problem with respect to the component-wise $\ell_1$-norm ($\ell_1$-LRA), which is closely related to robust principal component analysis (PCA), has become a very popular tool in data mining and machine…

Machine Learning · Computer Science 2018-12-19 Nicolas Gillis , Stephen A. Vavasis

Large language models (LLMs) have recently achieved remarkable success in various reasoning tasks in the field of natural language processing. This success of LLMs has also motivated their use in graph-related tasks. Among others, recent…

Machine Learning · Computer Science 2024-09-27 Konstantinos Skianis , Giannis Nikolentzos , Michalis Vazirgiannis

Using the algebraic approach to promise constraint satisfaction problems, we establish complexity classifications of three natural variants of hypergraph colourings: standard nonmonochromatic colourings, conflict-free colourings, and…

Discrete Mathematics · Computer Science 2026-05-01 Tamio-Vesa Nakajima , Zephyr Verwimp , Marcin Wrochna , Stanislav Živný

In the Colored Clustering problem, one is asked to cluster edge-colored (hyper-)graphs whose colors represent interaction types. More specifically, the goal is to select as many edges as possible without choosing two edges that share an…

Data Structures and Algorithms · Computer Science 2023-02-02 Leon Kellerhals , Tomohiro Koana , Pascal Kunz , Rolf Niedermeier

We propose a new deep recurrent neural network (RNN) architecture for sequential signal reconstruction. Our network is designed by unfolding the iterations of the proximal gradient method that solves the l1-l1 minimization problem. As such,…

Machine Learning · Computer Science 2019-02-19 Hung Duy Le , Huynh Van Luong , Nikos Deligiannis

Bounded expansion and nowhere-dense classes of graphs capture the theoretical tractability for several important algorithmic problems. These classes of graphs can be characterized by the so-called weak coloring numbers of graphs, which…

Data Structures and Algorithms · Computer Science 2022-09-27 Alexander Dobler , Manuel Sorge , Anaïs Villedieu

We study the problem of finding a maximum cardinality minimal separator of a graph. This problem is known to be NP-hard even for bipartite graphs. In this paper, we strengthen this hardness by showing that for planar bipartite graphs, the…

Data Structures and Algorithms · Computer Science 2020-09-28 Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi , Tsuyoshi Yagita

Colour refinement is a basic algorithmic routine for graph isomorphism testing, appearing as a subroutine in almost all practical isomorphism solvers. It partitions the vertices of a graph into "colour classes" in such a way that all…

Data Structures and Algorithms · Computer Science 2014-05-01 Martin Grohe , Kristian Kersting , Martin Mladenov , Erkal Selman

An edge-colored graph $G$ is said to be rainbow connected if between each pair of vertices there exists a path which uses each color at most once. The rainbow connection number, denoted by $rc(G)$, is the minimum number of colors needed to…

Discrete Mathematics · Computer Science 2015-10-14 Eduard Eiben , Robert Ganian , Juho Lauri

Zero-shot reasoning on text-rich networks (TRNs) remains a challenging frontier, as models must integrate textual semantics with relational structure without task-specific supervision. While graph neural networks rely on fixed label spaces…

Computation and Language · Computer Science 2026-04-22 Yilun Liu , Ruihong Qiu , Zi Huang

An edge-colored graph $G$ is {\em rainbow connected} if any two vertices are connected by a path whose edges have distinct colors. The {\em rainbow connection} of a connected graph $G$, denoted $rc(G)$, is the smallest number of colors that…

Combinatorics · Mathematics 2008-09-16 Sourav Chakraborty , Eldar Fischer , Arie Matsliah , Raphael Yuster