A Randomized Parallel Algorithm for Planar Graph Isomorphism
We present a parallel randomized algorithm running on aCRCW PRAM, to determine whether two planar graphs are isomorphic, and if so to find the isomorphism. We assume that we have a tree of separators for each planar graph (which can be computed by known algorithms inO(log2n) time withn1+ϵprocessors,...
Uloženo v:
| Vydáno v: | Journal of algorithms Ročník 28; číslo 2; s. 290 - 314 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
San Diego, CA
Elsevier Inc
01.08.1998
Elsevier |
| Témata: | |
| ISSN: | 0196-6774, 1090-2678 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | We present a parallel randomized algorithm running on aCRCW PRAM, to determine whether two planar graphs are isomorphic, and if so to find the isomorphism. We assume that we have a tree of separators for each planar graph (which can be computed by known algorithms inO(log2n) time withn1+ϵprocessors, for any ϵ>0). Ifnis the number of vertices, our algorithm takesO(log(n)) time with processors and with a probability of failure of 1/nat most. The algorithm needs 2·log(m)−log(n)+O(log(n)) random bits. The number of random bits can be decreased toO(log(n)) by increasing the number of processors ton3/2+ϵ, for any ϵ>0. Our parallel algorithm has significantly improved processor efficiency, compared to the previous logarithmic time parallel algorithm of Miller and Reif (Siam J. Comput.20(1991), 1128–1147), which requiresn4randomized processors orn5deterministic processors. |
|---|---|
| ISSN: | 0196-6774 1090-2678 |
| DOI: | 10.1006/jagm.1998.0943 |