The group isomorphism problem consists in deciding whether two groups G and H given by their multiplication tables are isomorphic. An algorithm for group isomorphism attributed to Tarjan runs in time n, c.f. [Mil78]. Miller and Monk showed in [Mil79] that group isomorphism can be many-one reduced to isomorphism testing for directed graphs. For groups with n elements, the graphs have valence at ...

We investigate the relative complexity of the graph isomorphism problem (GI) and problems related to the reconstruction of a graph from its vertex-deleted or edge-deleted subgraphs (in particular, deck checking (DC) and legitimate deck (LD) problems). We show that these problems are closely related for all amounts c ≥ 1 of deletion: 1. GI ≡iso VDCc, GI ≡iso EDCc, GI ≤m LVDc, and GI ≡iso LEDc. 2...

let $l$ be a completely regular frame and $mathcal{r}l$ be the ringof continuous real-valued functions on $l$. we study the frame$mathfrak{o}(min(mathcal{r}l))$ of minimal prime ideals of$mathcal{r}l$ in relation to $beta l$. for $iinbeta l$, denoteby $textit{textbf{o}}^i$ the ideal${alphainmathcal{r}lmidcozalphain i}$ of $mathcal{r}l$. weshow that sending $i$ to the set of minimal prime ideals...

While in general it is not known whether there is a polynomial time algorithm to decide whether two given graphs are isomorphic, there are polynomial-time algorithms for certain subsets of graphs, including but not limited to planar graphs and graphs with bounded valence. In this thesis, we will give a brief introduction on the Graph Isomorphism Problem and its relations to complexity theory. W...

For any class C und closed under NC reductions, it is shown that all sets complete for C under first-order (equivalently, Dlogtimeuniform AC) reductions are isomorphic under first-order computable

In this paper we examine the hard problems underlying asymmetric pairings, their precise relationships and how they affect a number of existing protocols. Furthermore, we present a new model for the elliptic curve groups used in asymmetric pairings, which allows both an efficient pairing and an efficiently computable isomorphism.

We report the current state of the graph isomorphism problem from the practical point of view. After describing the general principles of the refinement-individualization paradigm and proving its validity, we explain how it is implemented in several of the key programs. In particular, we bring the description of the best known program nauty up to date and describe an innovative approach called ...

Introduction Millikan’s theory of content places great reliance on the existence of isomorphisms between a system of representations and the things in the world which they represent — “the mapping requirement for being intentional signs” (Millikan 2004, p. 106). This paper asks whether those isomorphisms are doing any substantive explanatory work. Millikan’s isomorphism requirement is deployed ...