A digraph D=(V,A) is called spherical, if it has an upward embedding on the round sphere which is an embedding of D on the round sphere so that all edges are monotonic arcs and all point to a fixed direction, say to the north pole. It is easy to see that [S.M. Hashemi, Digraph embedding, Discrete Math. 233 (2001) 321-328] for upward embedding, plane and sphere are not equivalent, which is in contrast with the fact that they are equivalent for undirected graphs. On the other hand, it has been proved that sphericity testing for digraphs is an NP-complete problem [S.M. Hashemi, A. Kisielewicz, I. Rival, The complexity of upward drawings on spheres, Order 14 (1998) 327-363]. In this work we study sphericity testing of the single source digraphs. In particular, we shall present a polynomial time algorithm for sphericity testing of three connected single source digraphs.
[1]
H. Whitney.
A Set of Topological Invariants for Graphs
,
1933
.
[2]
Ravindra K. Ahuja,et al.
Network Flows: Theory, Algorithms, and Applications
,
1993
.
[3]
S. Mehdi Hashemi.
Digraph embedding
,
2001,
Discret. Math..
[4]
Leon Glass,et al.
A combinatorial analog of the Poincaré Index Theorem
,
1973
.
[5]
Carlo Mannino,et al.
Optimal Upward Planarity Testing of Single-Source Digraphs
,
1993,
ESA.
[6]
Carlo Mannino,et al.
Upward drawings of triconnected digraphs
,
2005,
Algorithmica.
[7]
C. Thomassen.
Planar acyclic oriented graphs
,
1989
.
[8]
Andrzej Kisielewicz,et al.
The Complexity of Upward Drawings on Spheres
,
1997
.
[9]
MICHAEL D. HUTTON,et al.
Upward planar drawing of single source acyclic digraphs
,
1991,
SODA '91.