Testing Mutual Duality of Planar Graphs

We introduce and study the problem MUTUAL PLANAR DUALITY, which asks for two planar graphs G1 and G2 whether G1 can be embedded such that its dual is isomorphic to G2. Our algorithmic main result is an NP-completeness proof for the general case and a linear-time algorithm for biconnected graphs. To shed light onto the combinatorial structure of the duals of a planar graph, we consider the common dual relation ∼, where G1 ∼ G2 if and only if they have a common dual. While ∼ is generally not transitive, we show that the restriction to biconnected graphs is an equivalence relation. In this case, being dual to each other carries over to the equivalence classes, i.e., two graphs are dual to each other if and only if any two elements of their respective equivalence classes are dual to each other. To achieve the efficient testing algorithm for MUTUAL PLANAR DUALITY on biconnected graphs, we devise a succinct representation of the equivalence class of a biconnected planar graph. It is similar to SPQR-trees and represents exactly the graphs that are contained in the equivalence class. The testing algorithm then works by testing in linear time whether two such representations are isomorphic. We note that a special case of MUTUAL PLANAR DUALITY is testing whether a graphG is self-dual. Our algorithm handles the case where G is biconnected and our NP-hardness proof extends to testing self-duality of general planar graphs and also to testing map self-duality, where a graph G is map selfdual if it admits a planar embedding G such that G is isomorphic to G, and additionally the embedding induced by G on G is G. ar X iv :1 30 3. 16 40 v1 [ cs .D S] 7 M ar 2 01 3