中文
相关论文

相关论文: Minimizing LR(1) State Machines is NP-Hard

200 篇论文

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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

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)…

计算机科学中的逻辑 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

机器学习 · 计算机科学 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…

组合数学 · 数学 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…

数据结构与算法 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

离散数学 · 计算机科学 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…

数据结构与算法 · 计算机科学 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,…

机器学习 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

离散数学 · 计算机科学 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…

计算与语言 · 计算机科学 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…

组合数学 · 数学 2008-09-16 Sourav Chakraborty , Eldar Fischer , Arie Matsliah , Raphael Yuster