加载中…
We show that a nontrivial graph isomorphism problem of two undirected graphs, and more generally, the permutation similarity of two given matrices, is equivalent to equalities of volumes of the induced three convex bounded polytopes intersected with a given sequence of balls, centered at the origin with radii , where is an increasing sequence converging to . These polytopes are characterized by inequalities in at most variables. The existence of fpras for computing volumes of convex bodies gives rise to a semi-frpas of order at most to find if given two undirected graphs are isomorphic.

生成讲解博客的中文版本

生成AI智能校验的中文版本