中文
相关论文

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

200 篇论文

As a fundamental problem in pattern recognition, graph matching has applications in a variety of fields, from computer vision to computational biology. In graph matching, patterns are modeled as graphs and pattern recognition amounts to…

计算机视觉与模式识别 · 计算机科学 2008-06-19 Tiberio S. Caetano , Julian J. McAuley , Li Cheng , Quoc V. Le , Alex J. Smola

Combinatorial optimization algorithms for graph problems are usually designed afresh for each new problem with careful attention by an expert to the problem structure. In this work, we develop a new framework to solve any combinatorial…

A proper labeling of a graph is an assignment of integers to some elements of a graph, which may be the vertices, the edges, or both of them, such that we obtain a proper vertex coloring via the labeling subject to some conditions. The…

离散数学 · 计算机科学 2017-01-25 Ali Dehghan , Mohammad-Reza Sadeghi , Arash Ahadi

Model-driven software engineering is a suitable method for dealing with the ever-increasing complexity of software development processes. Graphs and graph transformations have proven useful for representing such models and changes to them.…

软件工程 · 计算机科学 2023-07-19 Alexander Lauer

Graph problems such as traveling salesman problem, or finding minimal Steiner trees are widely studied and used in data engineering and computer science. Typically, in real-world applications, the features of the graph tend to change over…

机器学习 · 计算机科学 2022-01-14 Udesh Gunarathna , Renata Borovica-Gajic , Shanika Karunasekara , Egemen Tanin

We focus on a conversational question answering task which combines the challenges of understanding questions in context and reasoning over evidence gathered from heterogeneous sources like text, knowledge graphs, tables, and infoboxes. Our…

计算与语言 · 计算机科学 2024-07-16 Parag Jain , Mirella Lapata

We study the separability problem for automatic relations (i.e., relations on finite words definable by synchronous automata) in terms of recognizable relations (i.e., finite unions of products of regular languages). This problem takes as…

形式语言与自动机理论 · 计算机科学 2023-08-03 Pablo Barceló , Diego Figueira , Rémi Morvan

Recent cognitive experiments have shown that the negative impact of an edge crossing on the human understanding of a graph drawing, tends to be eliminated in the case where the crossing angles are greater than 70 degrees. This motivated the…

数据结构与算法 · 计算机科学 2015-05-20 Evmorfia N. Argyriou , Michael A. Bekos , Antonios Symvonis

In a reconfiguration problem, we are given two feasible solutions of a combinatorial problem and our goal is to determine whether it is possible to reconfigure one into the other, with the steps dictated by specific reconfiguration rules.…

数据结构与算法 · 计算机科学 2025-01-27 Tatsuhiro Suga , Akira Suzuki , Yuma Tamura , Xiao Zhou

Graph model generation from natural language description is an important task with many applications in software engineering. With the rise of large language models (LLMs), there is a growing interest in using LLMs for graph model…

软件工程 · 计算机科学 2025-08-04 Boqi Chen , Ou Wei , Bingzhou Zheng , Gunter Mussbacher

The present paper studies local distributed graph problems in highly dynamic networks. Communication and changes of the graph happen in synchronous rounds and our algorithms always, i.e., in every round, satisfy non-trivial guarantees, no…

数据结构与算法 · 计算机科学 2018-12-10 Philipp Bamberger , Fabian Kuhn , Yannic Maus

Generative AI, particularly Large Language Models, increasingly integrates graph-based representations to enhance reasoning, retrieval, and structured decision-making. Despite rapid advances, there remains limited clarity regarding when,…

人工智能 · 计算机科学 2026-04-21 Hamed Jelodar , Samita Bai , Mohammad Meymani , Parisa Hamedi , Roozbeh Razavi-Far , Ali Ghorbani

Graph coloring is one of the most famous computational problems with applications in a wide range of areas such as planning and scheduling, resource allocation, and pattern matching. So far coloring problems are mostly studied on static…

离散数学 · 计算机科学 2019-06-12 George B. Mertzios , Hendrik Molter , Viktor Zamaraev

We consider the problem of graph searching with prediction recently introduced by Banerjee et al. (2022). In this problem, an agent, starting at some vertex $r$ has to traverse a (potentially unknown) graph $G$ to find a hidden goal node…

数据结构与算法 · 计算机科学 2024-03-19 Adela Frances DePavia , Erasmo Tani , Ali Vakilian

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

离散数学 · 计算机科学 2014-11-10 Pascal Schweitzer

Let $r \ge 2$ be a fixed constant and let $ {\mathcal H}$ be an $r$-uniform, $D$-regular hypergraph on $N$ vertices. Assume further that $ D \to \infty$ as $N \to \infty$ and that degrees of pairs of vertices in ${\mathcal H}$ are at most…

组合数学 · 数学 2019-10-09 Patrick Bennett , Tom Bohman

As Large Language Models (LLMs) become more powerful and autonomous, they increasingly face conflicts and dilemmas in many scenarios. We first summarize and taxonomize these diverse conflicts. Then, we model the LLM's preferences to make…

人工智能 · 计算机科学 2026-03-17 Zhenheng Tang , Xiang Liu , Qian Wang , Eunsol Choi , Bo Li , Xiaowen Chu

We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation is that it absorbs certain symmetries between conjunction and implication. We look at…

计算机科学中的逻辑 · 计算机科学 2022-08-08 Lucas Dixon

This paper formulates a novel problem on graphs: find the minimal subset of edges in a fully connected graph, such that the resulting graph contains all spanning trees for a set of specifed sub-graphs. This formulation is motivated by an…

离散数学 · 计算机科学 2017-07-18 Nicholas Harvey , Vahab Mirrokni , David Karger , Virginia Savova , Leonid Peshkin

In order to make more complex number-based strings from topological coding for defending against the intelligent attacks equipped with quantum computing and providing effective protection technology for the age of quantum computing, we will…

密码学与安全 · 计算机科学 2024-04-18 Bing Yao , Fei Ma