English
Related papers

Related papers: Rule-Based Graph Programs Matching the Time Comple…

200 papers

In the graph stream model of computation, an algorithm processes the edges of an input graph in one or more sequential passes while using a memory sublinear in the input size. This model poses significant challenges for constructing long…

Data Structures and Algorithms · Computer Science 2025-08-25 Christian Konrad , Chhaya Trehan

It is well-known [KST93] that the complexity of the Graph Automorphism problem is characterized by a special case of Graph Isomorphism, where the input graphs satisfy the "promise" of being rigid (that is, having no nontrivial…

Computational Complexity · Computer Science 2018-04-03 Eric Allender , Joshua A. Grochow , Dieter van Melkebeek , Cristopher Moore , Andrew Morgan

Over the years, many multiprocessor locking protocols have been designed and analyzed. However, the performance of these protocols highly depends on how the tasks are partitioned and prioritized and how the resources are shared locally and…

Operating Systems · Computer Science 2018-09-11 Jian-Jia Chen , Georg von der Brüggen , Junjie Shi , Niklas Uete

Graph theory has been a powerful tool in solving difficult and complex problems arising in all disciplines. In particular, graph matching is a classical problem in pattern analysis with enormous applications. Many graph problems have been…

Data Structures and Algorithms · Computer Science 2024-06-13 Bahram Alidaee , Haibo Wang , Hugh Sloan

While graphs and abstract data structures can be large and complex, practical instances are often regular or highly structured. If the instance has sufficient structure, we might hope to compress the object into a more succinct…

Computational Complexity · Computer Science 2024-12-02 Shreya Gupta , Boyang Huang , Russell Impagliazzo , Stanley Woo , Christopher Ye

In the restricted shortest paths problem, we are given a graph $G$ whose edges are assigned two non-negative weights: lengths and delays, a source $s$, and a delay threshold $D$. The goal is to find, for each target $t$, the length of the…

Data Structures and Algorithms · Computer Science 2024-10-23 Vikrant Ashvinkumar , Aaron Bernstein , Adam Karczmarz

In this paper, we show that given a weighted, directed planar graph $G$, and any $\epsilon >0$, there exists a polynomial time and $O(n^{\frac{1}{2}+\epsilon})$ space algorithm that computes the shortest path between two fixed vertices in…

Computational Complexity · Computer Science 2015-02-10 Diptarka Chakraborty , Raghunath Tewari

Graph similarity computation is one of the core operations in many graph-based applications, such as graph similarity search, graph database analysis, graph clustering, etc. Since computing the exact distance/similarity between two graphs…

Machine Learning · Computer Science 2021-05-18 Yunsheng Bai , Hao Ding , Yizhou Sun , Wei Wang

General factors are a generalization of matchings. Given a graph $G$ with a set $\pi(v)$ of feasible degrees, called a degree constraint, for each vertex $v$ of $G$, the general factor problem is to find a (spanning) subgraph $F$ of $G$…

Discrete Mathematics · Computer Science 2024-05-24 Shuai Shao , Stanislav Živný

In recent years, there has been growing interest in understanding neural architectures' ability to learn to execute discrete algorithms, a line of work often referred to as neural algorithmic reasoning. The goal is to integrate algorithmic…

Machine Learning · Computer Science 2026-02-16 Solveig Wittig , Antonis Vasileiou , Robert R. Nerem , Timo Stoll , Floris Geerts , Yusu Wang , Christopher Morris

There has been intensive work on the parameterized complexity of the typically NP-hard task to edit undirected graphs into graphs fulfilling certain given vertex degree constraints. In this work, we lift the investigations to the case of…

Discrete Mathematics · Computer Science 2018-02-01 Robert Bredereck , Vincent Froese , Marcel Koseler , Marcelo Garlet Millani , André Nichterlein , Rolf Niedermeier

This work proposes an algorithmic framework to learn time-varying graphs from online data. The generality offered by the framework renders it model-independent, i.e., it can be theoretically analyzed in its abstract formulation and then…

Machine Learning · Computer Science 2022-05-25 Alberto Natali , Elvin Isufi , Mario Coutino , Geert Leus

Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes…

Discrete Mathematics · Computer Science 2021-05-27 Arnaud Casteigts , Anne-Sophie Himmel , Hendrik Molter , Philipp Zschoche

This paper considers a natural fault-tolerant shortest paths problem: for some constant integer $f$, given a directed weighted graph with no negative cycles and two fixed vertices $s$ and $t$, compute (either explicitly or implicitly) for…

Data Structures and Algorithms · Computer Science 2022-09-16 Virginia Vassilevska Williams , Eyob Woldeghebriel , Yinzhan Xu

A {\em parametric weighted graph} is a graph whose edges are labeled with continuous real functions of a single common variable. For any instantiation of the variable, one obtains a standard edge-weighted graph. Parametric weighted graph…

Computational Complexity · Computer Science 2010-02-03 Eldar Fischer , Oded Lachish , Raphael Yuster

Graph databases have been the subject of significant research and development. Problems such as modularity, centrality, alignment, and clustering have been formalized and solved in various application contexts. In this paper, we focus on…

Social and Information Networks · Computer Science 2019-08-09 Vikram Ravindra , Huda Nassar , David F. Gleich , Ananth Grama

Reducing the running time of graph algorithms is vital for tackling real-world problems such as shortest paths and matching in large-scale graphs, where path information plays a crucial role. To address this critical challenge, this paper…

Data Structures and Algorithms · Computer Science 2026-04-14 Akshar Chavan , Sanaz Rabinia , Daniel Grosu , Marco Brocanelli

Given a graph where every vertex has exactly one labeled token, how can we most quickly execute a given permutation on the tokens? In (sequential) token swapping, the goal is to use the shortest possible sequence of swaps, each of which…

Graph pattern matching is often defined in terms of subgraph isomorphism, an NP-complete problem. To lower its complexity, various extensions of graph simulation have been considered instead. These extensions allow pattern matching to be…

Databases · Computer Science 2012-01-04 Shuai Ma , Yang Cao , Wenfei Fan , Jinpeng Huai , Tianyu Wo

Graph matching refers to finding node correspondence between graphs, such that the corresponding node and edge's affinity can be maximized. In addition with its NP-completeness nature, another important challenge is effective modeling of…

Computer Vision and Pattern Recognition · Computer Science 2020-12-01 Runzhong Wang , Junchi Yan , Xiaokang Yang