Dynamic planar graph isomorphism is maintainable in DynFO via FO formulas and polynomial auxiliary data.
On the hardness of graph isomorphism
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
AC³ isomorphism tests for coprime Abelian extensions and central-radical groups with elementary Abelian radical, plus an AC circuit bound for arbitrary central-radical groups.
SeQuant introduces a graph-theoretic tensor network canonicalizer for efficient symbolic manipulation and numerical evaluation of tensors over commutative and non-commutative rings, with support for noncovariant and nested tensors.
citing papers explorer
-
Dynamic Planar Graph Isomorphism is in DynFO
Dynamic planar graph isomorphism is maintainable in DynFO via FO formulas and polynomial auxiliary data.
-
Parallel Algorithms for Group Isomorphism via Code Equivalence
AC³ isomorphism tests for coprime Abelian extensions and central-radical groups with elementary Abelian radical, plus an AC circuit bound for arbitrary central-radical groups.
-
SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
SeQuant introduces a graph-theoretic tensor network canonicalizer for efficient symbolic manipulation and numerical evaluation of tensors over commutative and non-commutative rings, with support for noncovariant and nested tensors.