English
Related papers

Related papers: Dynamic Planar Graph Isomorphism is in DynFO

200 papers

Given a query graph that represents a pattern of interest, the emerging pattern detection problem can be viewed as a continuous query problem on a dynamic graph. We present an incremental algorithm for continuous query processing on dynamic…

Databases · Computer Science 2014-07-15 Sutanay Choudhury , Lawrence Holder , George Chin , Patrick Mackey , Khushbu Agarwal , John Feo

In this paper we study the dynamic versions of two basic graph problems: Minimum Dominating Set and its variant Minimum Connected Dominating Set. For those two problems, we present algorithms that maintain a solution under edge insertions…

Data Structures and Algorithms · Computer Science 2019-01-29 Niklas Hjuler , Giuseppe F. Italiano , Nikos Parotsidis , David Saulpic

Estimating the structure of directed acyclic graphs (DAGs) of features (variables) plays a vital role in revealing the latent data generation process and providing causal insights in various applications. Although there have been many…

Machine Learning · Computer Science 2024-03-06 Shaohua Fan , Shuyang Zhang , Xiao Wang , Chuan Shi

We devise a constant-factor approximation algorithm for the maximization version of the edge-disjoint paths problem if the supply graph together with the demand edges form a planar graph. By planar duality this is equivalent to packing cuts…

Data Structures and Algorithms · Computer Science 2021-12-14 Chien-Chung Huang , Mathieu Mari , Claire Mathieu , Kevin Schewior , Jens Vygen

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Subgraph Isomorphism uses a small graph as a pattern to identify within a larger graph a set of vertices that have matching edges. This paper addresses a logic program written in Prolog for a specific relatively complex graph pattern for…

Logic in Computer Science · Computer Science 2026-01-14 Claire Y. Yin , Peter M. Kogge

We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary…

Operator Algebras · Mathematics 2018-03-02 Sara E. Arklint , Søren Eilers , Efren Ruiz

In recent years there has been a rapid increase in classification methods on graph structured data. Both in graph kernels and graph neural networks, one of the implicit assumptions of successful state-of-the-art models was that…

Machine Learning · Computer Science 2019-11-01 Sergei Ivanov , Sergei Sviridov , Evgeny Burnaev

Finding coarse representations of large graphs is an important computational problem in the fields of scientific computing, large scale graph partitioning, and the reduction of geometric meshes. Of particular interest in all of these fields…

Discrete Mathematics · Computer Science 2022-04-26 Christopher Brissette , Andy Huang , George Slota

The notion of an upward plane graph in graph theory and that of a progressive plane graph (or plane string diagram) in category theory are essentially the same thing. In this paper, we combine the ideas in graph theory and category theory…

Category Theory · Mathematics 2020-10-23 Xuexing Lu

We describe an algorithm that morphs between two planar orthogonal drawings $\Gamma_I$ and $\Gamma_O$ of a connected graph $G$, while preserving planarity and orthogonality. Necessarily $\Gamma_I$ and $\Gamma_O$ share the same combinatorial…

Computational Geometry · Computer Science 2018-03-20 Arthur van Goethem , Kevin Verbeek

We study dynamic planar graphs with $n$ vertices, subject to edge deletion, edge contraction, edge insertion across a face, and the splitting of a vertex in specified corners. We dynamically maintain a combinatorial embedding of such a…

Data Structures and Algorithms · Computer Science 2022-09-29 Jacob Holm , Ivor van der Hoog , Eva Rotenberg

Finding structural similarities in graph data, like social networks, is a far-ranging task in data mining and knowledge discovery. A (conceptually) simple reduction would be to compute the automorphism group of a graph. However, this…

Social and Information Networks · Computer Science 2020-02-28 Stephan Doerfel , Tom Hanika , Gerd Stumme

Graph pattern matching algorithms to handle million-scale dynamic graphs are widely used in many applications such as social network analytics and suspicious transaction detections from financial networks. On the other hand, the computation…

Databases · Computer Science 2019-07-10 Hiroki Kanezashi , Toyotaro Suzumura , Dario Garcia-Gasulla , Min-hwan Oh , Satoshi Matsuoka

Graph isomorphism is an important problem as its worst-case time complexity is not yet fully understood. In this study, we try to draw parallels between a related optimization problem called point set registration. A graph can be…

Optimization and Control · Mathematics 2021-11-19 Yigit Oktar

Graph Neural Networks (GNNs) address two key challenges in applying deep learning to graph-structured data: they handle varying size input graphs and ensure invariance under graph isomorphism. While GNNs have demonstrated broad…

Artificial Intelligence · Computer Science 2026-02-20 Bernardo Cuenca Grau , Eva Feng , Przemysław Andrzej Wałęga

We adapt multilevel, force-directed graph layout techniques to visualizing dynamic graphs in which vertices and edges are added and removed in an online fashion (i.e., unpredictably). We maintain multiple levels of coarseness using a…

Graphics · Computer Science 2007-12-11 Todd L. Veldhuizen

The graph isomorphism problem is theoretically interesting and also has many practical applications. The best known classical algorithms for graph isomorphism all run in time super-polynomial in the size of the graph in the worst case. An…

Quantum Physics · Physics 2011-04-26 David Rosenbaum

The classic technique of Baker [J. ACM '94] is the most fundamental approach for designing approximation schemes on planar, or more generally topologically-constrained graphs, and it has been applied in a myriad of different variants and…

Data Structures and Algorithms · Computer Science 2023-11-01 Tuukka Korhonen , Wojciech Nadara , Michał Pilipczuk , Marek Sokołowski

Alamdari et al. showed that given two straight-line planar drawings of a graph, there is a morph between them that preserves planarity and consists of a polynomial number of steps where each step is a \emph{linear morph} that moves each…

Computational Geometry · Computer Science 2014-11-25 Fidel Barrera-Cruz , Penny Haxell , Anna Lubiw