The Partial Visibility Representation Extension Problem

For a graph G, a function \(\psi \) is called a bar visibility representation of G when for each vertex \(v \in V(G)\), \(\psi (v)\) is a horizontal line segment (bar) and \(uv \in E(G)\) iff there is an unobstructed, vertical, \(\varepsilon \)-wide line of sight between \(\psi (u)\) and \(\psi (v)\). Graphs admitting such representations are well understood (via simple characterizations) and recognizable in linear time. For a directed graph G, a bar visibility representation \(\psi \) of G, additionally, for each directed edge (u, v) of G, puts the bar \(\psi (u)\) strictly below the bar \(\psi (v)\). We study a generalization of the recognition problem where a function \(\psi '\) defined on a subset \(V'\) of V(G) is given and the question is whether there is a bar visibility representation \(\psi \) of G with \(\psi |V' = \psi '\). We show that for undirected graphs this problem together with closely related problems are \(\mathsf {NP}\)-complete, but for certain cases involving directed graphs it is solvable in polynomial time.

[1]  Roberto Tamassia,et al.  On-Line Planarity Testing , 1989, SIAM J. Comput..

[2]  Paul Dorbec,et al.  Contact Representations of Planar Graphs: Extending a Partial Representation is Hard , 2014, WG.

[3]  Jan Kratochvíl,et al.  Testing planarity of partially embedded graphs , 2010, SODA '10.

[4]  Chak-Kuen Wong,et al.  A note on visibility graphs , 1987, Discret. Math..

[5]  Roberto Tamassia,et al.  Algorithms for Plane Representations of Acyclic Digraphs , 1988, Theor. Comput. Sci..

[6]  Yahya Ould Hamidoune,et al.  Representing a planar graph by vertical lines joining different levels , 1983, Discret. Math..

[7]  Mark de Berg,et al.  Optimal Binary Space Partitions in the Plane , 2010, COCOON.

[8]  R. Tamassia,et al.  Upward planarity testing , 1995 .

[9]  Maurizio Patrignani On Extending a Partial Straight-line Drawing , 2006, Int. J. Found. Comput. Sci..

[10]  Roberto Tamassia,et al.  On the Computational Complexity of Upward and Rectilinear Planarity Testing , 1994, SIAM J. Comput..

[11]  Roberto Tamassia,et al.  A unified approach to visibility representations of planar graphs , 1986, Discret. Comput. Geom..

[12]  Stephen K. Wismath,et al.  Characterizing bar line-of-sight graphs , 1985, SCG '85.

[13]  Subir Kumar Ghosh,et al.  Unsolved problems in visibility graphs of points, segments, and polygons , 2010, ACM Comput. Surv..

[14]  Giuseppe Liotta,et al.  The Partial Visibility Representation Extension Problem , 2017, Algorithmica.

[15]  Thomas Andreae Some Results on Visibility Graphs , 1992, Discret. Appl. Math..