中文
相关论文

相关论文: Regular Intersection Emptiness of Graph Problems: …

200 篇论文

For a given graph $\mathcal{G}$ of order $n$ with $m$ edges, and a real symmetric matrix associated to the graph, $M\left(\mathcal{G}\right)\in\mathbb{R}^{n\times n}$, the interlacing graph reduction problem is to find a graph…

谱理论 · 数学 2020-08-11 Noam Leiter , Daniel Zelazo

By the Road Coloring Theorem (Trahtman, 2008), the edges of any aperiodic directed multigraph with a constant out-degree can be colored such that the resulting automaton admits a reset word. There may also be a need for a particular reset…

形式语言与自动机理论 · 计算机科学 2014-12-03 Vojtěch Vorel , Adam Roman

There is a well-documented research programme on graph operators which addresses questions such as `Which graphs appear as images of graphs?'; `Which graphs are fixed under the operator?'; `What happens if the operator is iterated?' In this…

组合数学 · 数学 2023-03-14 Christo Kriel , Eunice Mphako-Banda

A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u…

We consider two natural problems about nondeterministic finite automata. First, given such an automaton M of n states, and a length l, does M accept a word of length l? We show that the classic problem of triangle-free graph recognition…

形式语言与自动机理论 · 计算机科学 2018-02-14 Aaron Potechin , Jeffrey Shallit

In recent years, there has been a growing interest in using learning-based approaches for solving combinatorial problems, either in an end-to-end manner or in conjunction with traditional optimization algorithms. In both scenarios, the…

机器学习 · 计算机科学 2024-03-14 Léo Boisvert , Hélène Verhaeghe , Quentin Cappart

Consider a graph whose vertices are colored in one of two colors, say black or white. A white vertex is called integrated if it has at least as many black neighbors as white neighbors, and similarly for a black vertex. The coloring as a…

组合数学 · 数学 2025-06-10 Charles Burnette , Broden Caton , Olivia Coward , Julian Davis , Austin Teter

Graph transformation systems have the potential to be realistic models of chemistry, provided a comprehensive collection of reaction rules can be extracted from the body of chemical knowledge. A first key step for rule learning is the…

离散数学 · 计算机科学 2016-04-22 Christoph Flamm , Daniel Merkle , Peter F. Stadler , Uffe Thorsen

Several popular language models represent local contexts in an input text $x$ as bags of words. Such representations are naturally encoded by a sequence graph whose vertices are the distinct words occurring in $x$, with edges representing…

数据结构与算法 · 计算机科学 2025-07-14 Sammy Khalife , Yann Ponty , Laurent Bulteau

We study a variant of the classical membership problem in automata theory, which consists of deciding whether a given input word is accepted by a given automaton. We do so under a different perspective, that is, we consider a dynamic…

形式语言与自动机理论 · 计算机科学 2020-02-18 Alejandro Grez , Filip Mazowiecki , Michał Pilipczuk , Gabriele Puppis , Cristian Riveros

Existing approaches to solving combinatorial optimization problems on graphs suffer from the need to engineer each problem algorithmically, with practical problems recurring in many instances. The practical side of theoretical computer…

机器学习 · 计算机科学 2020-07-15 Natalia Vesselinova , Rebecca Steinert , Daniel F. Perez-Ramirez , Magnus Boman

In graph modification problems, one is given a graph G and the goal is to apply a minimum number of modification operations (such as edge deletions) to G such that the resulting graph fulfills a certain property. For example, the Cluster…

数据结构与算法 · 计算机科学 2016-06-13 Christian Komusiewicz , André Nichterlein , Rolf Niedermeier

Many combinatorial optimization problems can be phrased in the language of constraint satisfaction problems. We introduce a graph neural network architecture for solving such optimization problems. The architecture is generic; it works for…

人工智能 · 计算机科学 2020-02-12 Jan Toenshoff , Martin Ritzert , Hinrikus Wolf , Martin Grohe

Recently, ''pre-training and fine-tuning'' has been adopted as a standard workflow for many graph tasks since it can take general graph knowledge to relieve the lack of graph annotations from each application. However, graph tasks with node…

社会与信息网络 · 计算机科学 2023-12-19 Xiangguo Sun , Hong Cheng , Jia Li , Bo Liu , Jihong Guan

We study graphs that are formed by independently-positioned needles (i.e., line segments) in the unit square. To mathematically characterize the graph structure, we derive the probability that two line segments intersect and determine…

软凝聚态物质 · 物理学 2020-10-29 Lucas Böttcher

Let H be a graph, and let C_H(G) be the number of (subgraph isomorphic) copies of H contained in a graph G. We investigate the fundamental problem of estimating C_H(G). Previous results cover only a few specific instances of this general…

数据结构与算法 · 计算机科学 2019-02-20 Martin Furer , Shiva Prasad Kasiviswanathan

We study graph classes modeled by families of non-crossing (NC) connected sets. Two classic graph classes in this context are disk graphs and proper interval graphs. We focus on the cases when the sets are paths and the host is a tree…

离散数学 · 计算机科学 2020-08-18 Steven Chaplick

In the recent years, several polynomial algorithms of a dynamical nature have been proposed to address the graph isomorphism problem. In this paper we propose a generalization of an approach exposed in cond-mat/0209112 and find that this…

计算复杂性 · 计算机科学 2007-05-23 Marats Golovkins

This paper discusses the graph covering problem in which a set of edges in an edge- and node-weighted graph is chosen to satisfy some covering constraints while minimizing the sum of the weights. In this problem, because of the large…

数据结构与算法 · 计算机科学 2014-04-17 Takuro Fukunaga

Two of the most fundamental distributed symmetry-breaking problems are that of finding a maximal independent set (MIS) and a maximal matching (MM) in a graph. It is a major open question whether these problems can be solved in constant…

分布式、并行与集群计算 · 计算机科学 2025-03-03 Keren Censor-Hillel , Tomer Even , Maxime Flin , Magnús M. Halldórsson