English
Related papers

Related papers: Constructing Hard Examples for Graph Isomorphism

200 papers

A graph is said to be circular-arc if the vertices can be associated with arcs of a circle so that two vertices are adjacent if and only if the corresponding arcs overlap. It is proved that the isomorphism of circular-arc graphs can be…

Data Structures and Algorithms · Computer Science 2019-07-15 Roman Nedela , Ilia Ponomarenko , Peter Zeman

We investigate the problem of drawing graphs in 2D and 3D such that their edges (or only their vertices) can be covered by few lines or planes. We insist on straight-line edges and crossing-free drawings. This problem has many connections…

Computational Geometry · Computer Science 2016-09-02 Steven Chaplick , Krzysztof Fleszar , Fabian Lipp , Alexander Ravsky , Oleg Verbitsky , Alexander Wolff

We propose a novel model for generating graphs similar to a given example graph. Unlike standard approaches that compute features of graphs in Euclidean space, our approach obtains features on a surface of a hypersphere. We then utilize a…

Social and Information Networks · Computer Science 2011-05-20 Dalton Lunga , Sergey Kirshner

The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension…

Discrete Mathematics · Computer Science 2019-04-16 Martin Grohe , Sandra Kiefer

The Mapper algorithm is a popular tool for visualization and data exploration in topological data analysis. We investigate an inverse problem for the Mapper algorithm: Given a dataset $X$ and a graph $G$, does there exist a set of Mapper…

The interactions between the components of complex networks are often directed. Proper modeling of such systems frequently requires the construction of ensembles of digraphs with a given sequence of in- and out-degrees. As the number of…

Physics and Society · Physics 2015-05-30 H. Kim , C. I. Del Genio , K. E. Bassler , Z. Toroczkai

Given graphs $H$ and $G$, possibly with vertex-colors, a homomorphism is a function $f:V(H)\to V(G)$ that preserves colors and edges. Many interesting counting problems (e.g., subgraph and induced subgraph counts) are finite linear…

Computational Complexity · Computer Science 2023-05-09 Radu Curticapean

We study three mixing properties of a graph: large algebraic connectivity, large Cheeger constant (isoperimetric number) and large spectral gap from 1 for the second largest eigenvalue of the transition probability matrix of the random walk…

Combinatorics · Mathematics 2013-12-17 Mikhail Isaev , K. V Isaeva

Computing the number of realizations of a minimally rigid graph is a notoriously difficult problem. Towards this goal, for graphs that are minimally rigid in the plane, we take advantage of a recently published algorithm, which is the…

Combinatorics · Mathematics 2018-04-12 Georg Grasegger , Christoph Koutschan , Elias Tsigaridas

Consider the setting of \emph{randomly weighted graphs}, namely, graphs whose edge weights are chosen independently according to probability distributions with finite support over the non-negative reals. Under this setting, properties of…

Data Structures and Algorithms · Computer Science 2010-03-30 Yuval Emek , Amos Korman , Yuval Shavitt

The rise of graph analytic systems has created a need for ways to measure and compare the capabilities of these systems. Graph analytics present unique scalability difficulties. The machine learning, high performance computing, and visual…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-07 Siddharth Samsi , Vijay Gadepally , Michael Hurley , Michael Jones , Edward Kao , Sanjeev Mohindra , Paul Monticciolo , Albert Reuther , Steven Smith , William Song , Diane Staheli , Jeremy Kepner

For every integer $g$, isomorphism of graphs of Euler genus at most $g$ can be decided in linear time. This improves previously known algorithms whose time complexity is $n^{O(g)}$ (shown in early 1980's), and in fact, this is the first…

Data Structures and Algorithms · Computer Science 2015-11-10 Ken-ichi Kawarabayashi

Hypergraphs are structures that can be decomposed or described; in other words they are recursively countable. Here, we get exact and asymptotic enumeration results on hypergraphs by means of exponential generating functions. The number of…

Discrete Mathematics · Computer Science 2008-06-20 Tsiriniaina Andriamampianina

An isogeny graph is a graph whose vertices are principally polarized abelian varieties and whose edges are isogenies between these varieties. In his thesis, Kohel described the structure of isogeny graphs for elliptic curves and showed that…

Number Theory · Mathematics 2019-02-20 Sorina Ionica , Emmanuel Thomé

Quantifying the complexity of large graphs requires measures that extend beyond predefined structural features and scale efficiently with graph size. This work adopts a generative perspective, modeling large networks as exchangeable graphs…

Information Theory · Computer Science 2025-03-14 Anda Skeja , Sofia C. Olhede

Large real-life complex networks are often modeled by various random graph constructions and hundreds of further references therein. In many cases it is not at all clear how the modeling strength of differently generated random graph model…

Data Structures and Algorithms · Computer Science 2020-09-01 András Faragó , Rupei Xu

It is important to have fast and effective methods for simplifying 3-manifold triangulations without losing any topological information. In theory this is difficult: we might need to make a triangulation super-exponentially more complex…

Geometric Topology · Mathematics 2011-06-16 Benjamin A. Burton

We consider the following problem closely related to graph isomorphism. In a simplified version, the task is to compute the automorphism group of a given set family (or a hypergraph), that is, the group of all automorphisms of the given…

Discrete Mathematics · Computer Science 2022-06-29 Deniz Ağaoğlu Çağırıcı , Petr Hliněný

An isomorphism between two graphs is a bijection between their vertices that preserves the edges. We consider the problem of determining whether two finite undirected weighted graphs are isomorphic, and finding an isomorphism relating them…

Optimization and Control · Mathematics 2016-11-03 Reza Takapoui , Stephen Boyd

Recently there has been increased interest in fitting generative graph models to real-world networks. In particular, Bl\"asius et al. have proposed a framework for systematic evaluation of the expressivity of random graph models. We extend…

Social and Information Networks · Computer Science 2024-05-14 Benjamin Dayan , Marc Kaufmann , Ulysse Schaller