中文
相关论文

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

200 篇论文

Large language models (LLMs) have demonstrated impressive success in a wide range of natural language processing (NLP) tasks due to their extensive general knowledge of the world. Recent works discovered that the performance of LLMs is…

计算与语言 · 计算机科学 2024-11-25 Yuze Liu , Tingjie Liu , Tiehua Zhang , Youhua Xia , Jinze Wang , Zhishu Shen , Jiong Jin , Fei Richard Yu

The design of an LR parser based on interleaving the atomic symbol processing of a context-free backbone grammar with the full constraints of the underlying unification grammar is described. The parser employs a set of reduced constraints…

cmp-lg · 计算机科学 2008-02-03 Christer Samuelsson

The vertex coloring problem is a well-known NP-hard problem and has many applications in operations research and in scheduling. A conventional approach to the problem solves the k-colorability problem iteratively, decreasing k one by one.…

离散数学 · 计算机科学 2021-04-07 Yasutaka Uchida , Kaito Yajima , Kazuya Haraguchi

The interference imposes a significant negative impact on the performance of wireless networks. With the continuous deployment of larger and more sophisticated wireless networks, reducing interference in such networks is quickly being…

网络与互联网体系结构 · 计算机科学 2011-03-31 Maaly Awad Hassan , Andrew Chickadel

One of the fundamental and most-studied algorithmic problems in distributed computing on networks is graph coloring, both in bounded-degree and in general graphs. Recently, the study of this problem has been extended in two directions.…

分布式、并行与集群计算 · 计算机科学 2021-09-14 Nicolas Bousquet , Laurent Feuilloley , Marc Heinrich , Mikaël Rabie

We establish new algorithmic guarantees with matching hardness results for coloring and independent set problems in one-sided expanders and related classes of graphs. For example, given a $3$-colorable regular one-sided expander, we compute…

数据结构与算法 · 计算机科学 2025-11-24 Rares-Darius Buhai , Yiding Hua , David Steurer , Andor Vári-Kakas

This work studies certain aspects of graphs embedded on surfaces. Initially, a colored graph model for a map of a graph on a surface is developed. Then, a concept analogous to (and extending) planar graph is introduced in the same spirit as…

组合数学 · 数学 2007-05-23 Sostenes Lins

For large language models (LLMs), reasoning over graphs could help solve many problems. Prior work has tried to improve LLM graph reasoning by examining how best to serialize graphs as text and by combining GNNs and LLMs. However, the…

机器学习 · 计算机科学 2025-08-15 Sola Shirai , Kavitha Srinivas , Julian Dolby , Michael Katz , Horst Samulowitz , Shirin Sohrabi

We consider the following problem: for a given graph $G$ and two integers $k$ and $d$, can we apply a fixed graph operation at most $k$ times in order to reduce a given graph parameter $\pi$ by at least $d$? We show that this problem is…

组合数学 · 数学 2022-10-20 Felicia Lucke , Felix Mann

Message passing Graph Neural Networks (GNNs) are known to be limited in expressive power by the 1-WL color-refinement test for graph isomorphism. Other more expressive models either are computationally expensive or need preprocessing to…

机器学习 · 计算机科学 2024-02-01 Mohammed Haroon Dupty , Yanfei Dong , Wee Sun Lee

The first-fit coloring is a heuristic that assigns to each vertex, arriving in a specified order $\sigma$, the smallest available color. The problem Grundy Coloring asks how many colors are needed for the most adversarial vertex ordering…

计算复杂性 · 计算机科学 2020-01-14 Pierre Aboulker , Édouard Bonnet , Eun Jung Kim , Florian Sikora

Recent advances in natural language processing highlight two key factors for improving reasoning in large language models (LLMs): (i) allocating more test-time compute tends to help on harder problems but often introduces redundancy in the…

计算与语言 · 计算机科学 2025-11-04 Riccardo Alberghi , Elizaveta Demyanenko , Luca Biggio , Luca Saglietti

Given an edge-colored graph, the Maximum Rainbow Matching problem asks for a maximum-cardinality matching of the graph that contains at most one edge from each color. We provide the following complexity dichotomy for this problem based on…

离散数学 · 计算机科学 2026-04-24 Felix Hommelsheim , Pia Jehmlich , Moritz Mühlenthaler

A linearly ordered (LO) $k$-colouring of a hypergraph is a colouring of its vertices with colours $1, \dots, k$ such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO $k$-colouring with a fixed…

计算复杂性 · 计算机科学 2023-12-21 Marek Filakovský , Tamio-Vesa Nakajima , Jakub Opršal , Gianluca Tasinato , Uli Wagner

Computing a minimum-area planar straight-line drawing of a graph is known to be NP-hard for planar graphs, even when restricted to outerplanar graphs. However, the complexity question is open for trees. Only a few hardness results are known…

计算几何 · 计算机科学 2017-09-01 Therese Biedl , Debajyoti Mondal

Recently, neural network approaches for parsing have largely automated the combination of individual features, but still rely on (often a larger number of) atomic features created from human linguistic intuition, and potentially omitting…

计算与语言 · 计算机科学 2016-06-22 James Cross , Liang Huang

In this note, we present results for the colouring problem on small world graphs created by rewiring square, triangular, and two kinds of cubic (with coordination numbers 5 and 6) lattices. As the rewiring parameter p tends to 1, we find…

计算复杂性 · 计算机科学 2007-05-23 Pontus Svenson

Many complex systems and datasets are characterized by multiway interactions of different categories, and can be modeled as edge-colored hypergraphs. We focus on clustering such datasets using the NP-hard edge-colored clustering problem,…

数据结构与算法 · 计算机科学 2026-03-04 Seongjune Han , Nate Veldt

In an undirected graph, a proper (k,i)-coloring is an assignment of a set of k colors to each vertex such that any two adjacent vertices have at most i common colors. The (k,i)-coloring problem is to compute the minimum number of colors…

数据结构与算法 · 计算机科学 2020-09-14 Sriram Bhyravarapu , Saurabh Joshi , Subrahmanyam Kalyanasundaram , Anjeneya Swami Kare

Graph coloring, a classical and critical NP-hard problem, is the problem of assigning connected nodes as different colors as possible. However, we observe that state-of-the-art GNNs are less successful in the graph coloring problem. We…

机器学习 · 计算机科学 2022-08-22 Wei Li , Ruxuan Li , Yuzhe Ma , Siu On Chan , David Pan , Bei Yu