Universality and complexity for globally noncrossing graphs restricted to {1} or {1,2} edge lengths
Determine, for globally noncrossing graphs whose edges are restricted to all unit length or to the set {1,2}, whether the class of drawable planar regions remains exactly the compact semialgebraic sets, whether realizability is ∃R‑complete, and whether rigidity and global rigidity are ∀R‑complete.
References
Table 1 settles most problems in this area, but a few interesting open problems remain. We could also consider additional graph types (rows) in Table 1. For example, we considered unit edge lengths and edge lengths in {1,2}, both when allowing crossings and when forbidding crossings, but we did not consider globally noncrossing graphs with edge lengths restricted to {1} or {1,2}. Do these linkages remain universal for compact semialgebraic sets? Is realizing them ∃R-complete? Is testing their rigidity and global rigidity ∀R-complete?