# Isomorphism Test for Digraphs with Weighted Edges

@inproceedings{Piperno2018IsomorphismTF, title={Isomorphism Test for Digraphs with Weighted Edges}, author={Adolfo Piperno}, booktitle={SEA}, year={2018} }

Colour refinement is at the heart of all the most efficient graph isomorphism software packages. In this paper we present a method for extending the applicability of refinement algorithms to directed graphs with weighted edges. We use {Traces} as a reference software, but the proposed solution is easily transferrable to any other refinement-based graph isomorphism tool in the literature. We substantiate the claim that the performances of the original algorithm remain substantially unchanged by…

## 4 Citations

### A Generic Framework for Engineering Graph Canonization Algorithms

- Computer ScienceALENEX
- 2018

This work presents an algorithmic software framework that facilitates implementation of heuristics as independent extensions to a common core algorithm, and finds that its implementation performs better than the current state-of-the-art tools.

### A systematic approach to random data augmentation on graph neural networks

- Computer Science
- 2021

A new comprehensive framework is proposed that captures all previous RDA techniques and formally proves that under natural conditions all instantiations of this framework are universal.

### Trainability for Universal GNNs Through Surgical Randomness

- Computer ScienceArXiv
- 2021

This work formally proves the claimed universality and corroborate experimentally—on synthetic benchmarks sets previously explicitly designed for that purpose—that IRNI overcomes the limitations of MPNNs, and establishes the practical efficacy of the approach on the standard benchmark data sets PROTEINS and NCI1.

### Emergence of Network Motifs in Deep Neural Networks

- Computer ScienceEntropy
- 2020

This article shows that network science tools can be successfully applied also to the study of artificial neural networks operating according to self-organizing (learning) principles, and suggests that non-trivial initialization strategies can make learning more effective by promoting the development of useful network motifs.

## References

SHOWING 1-10 OF 19 REFERENCES

### Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version)

- Computer ScienceArXiv
- 2008

The individualization-refinement paradigm for computing a canonical labeling and/or the automorphism group of a graph is investigated and a new partition refinement algorithm is proposed, together with graph invariants having a global nature.

### Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement

- MathematicsTheory of Computing Systems
- 2016

An O((m+n)log n) algorithm is given for finding a canonical version of a stable colouring, on graphs with n vertices and m edges, which captures all known colour refinement algorithms.

### Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs

- Computer ScienceALENEX
- 2007

Within the general framework of backtracking algorithms based on individualization and refinement, data structures, subroutines, and pruning heuristics especially for fast handling of large and sparse graphs are developed.

### Fast Algorithm for Graph Isomorphism Testing

- Computer Science, MathematicsSEA
- 2009

A novel approach to the graph isomorphism problem is presented, that tries to find a mapping between the two input graphs using backtracking, with a (possibly partial) automorphism precomputing that allows to prune the search tree.

### Conflict Propagation and Component Recursion for Canonical Labeling

- Computer ScienceTAPAS
- 2011

Two new search space pruning techniques, conflict propagation based on recorded failure information and recursion over nonuniformly joined components, are presented and Experimental results show that the techniques can result in substantial decrease in both search space sizes and run times.

### Conauto-2.0: Fast Isomorphism Testing and Automorphism Group Computation

- Computer Science, MathematicsArXiv
- 2011

It is proved that, under some circumstances, it is not only possible to prune the search space, but also to infer new generators without the need of explicitly finding an automorphism of the graph.

### Benchmark Graphs for Practical Graph Isomorphism

- Mathematics, Computer ScienceESA
- 2017

A construction to efficiently generate small instances for the graph isomorphism problem that are difficult or even infeasible for said solvers is described and it is possible to generate an abundance of instances of arbitrary size.

### An optimal lower bound on the number of variables for graph identification

- Mathematics30th Annual Symposium on Foundations of Computer Science
- 1989

It is shown that Omega (n) variables are needed for first-order logic with counting to identify graphs on n vertices and the lower bound is optimal up to multiplication by a constant.

### An Efficient Algorithm for Graph Isomorphism

- MathematicsJACM
- 1970

It is shown that the re ordered graphs form a sufficiency condition for isomorphism; namely, if the reordered graphs are identical, then the given graphs are isomorphic.