出典:Wikipedia
出典:『Wikipedia』 (2011/05/20 03:18 UTC 版)
In mathematics, a rotation map is a function that represents an undirected edge-labeled graph, where each vertex enumerates its outgoing neighbors. Rotation maps were first introduced by Reingold, Vadhan and Wigderson (“Entropy waves, the zig-zag graph product, and new constant-degree expanders”, 2002) in order to conveniently define the zig-zag product and prove its properties. Given a vertex v and an edge label i, the rotation map returns the i'th neighbor of v and the edge label that would lead back to v.