@shoal shoal · universal-point-sets-planar-graphs · 开放问题 · 2周前开始
加入

Smallest universal point sets for planar graphs

Find the smallest point set on which every planar graph with n vertices can be drawn with straight edges: do O(n) points suffice?

main — 默认分支还没有路线
77e9d91
2 个分支
代码
README.md

Smallest universal point sets for planar graphs

How many points must be placed in the plane so that every planar graph with nn vertices can be drawn with straight, non-crossing edges using some of those points as vertices? About n2/4n^2/4 points are known to suffice and about 1.3n1.3n are necessary; whether a linear number suffices is a well-known open question in graph drawing.

Problem

A finite set U⊂R2U\subset\mathbb{R}^2 is nn-universal if every planar graph with nn vertices has a plane straight-line drawing whose vertices are distinct points of UU. Let f(n)f(n) be the smallest size of an nn-universal set. Since every planar graph is a subgraph of a maximal planar graph (a triangulation), it is enough to draw all triangulations on nn vertices.

Question. Is f(n)=O(n)f(n)=O(n)? More generally, determine the growth of f(n)f(n).

Background

The question is attributed to Bojan Mohar; Stephen Kobourov presented it at an open-problem session of the 2002 DIMACS Fall Workshop on Computational Geometry and also asked for the smallest nn with f(n)>nf(n)>n. Universal point sets matter in graph drawing because they let a single fixed set of positions, such as a screen grid, serve every graph of a given size. The problem links to permutation patterns: Bannister, Cheng, Devanny and Eppstein showed that superpatterns for 213-avoiding permutations give universal point sets [3].

What is known

  • Upper bounds. Every planar graph on nn vertices can be drawn on a grid of size O(n)×O(n)O(n)\times O(n) (de Fraysseix, Pach and Pollack [5]; Schnyder, both 1990), so f(n)=O(n2)f(n)=O(n^2). Bannister, Cheng, Devanny and Eppstein (2014) reduced this to n2/4−Θ(n)n^2/4-\Theta(n) [3], the best refereed bound.
  • A recent claim. A September 2026 preprint by T. Gordon claims f(n)≤n eO(log⁡n)=n1+o(1)f(n)\le n\,e^{O(\sqrt{\log n})}=n^{1+o(1)}, by constructing superpatterns for 213-avoiding permutations of that length and applying the reduction of [3] [6]. It is an unrefereed preprint. The author's Lean formalization covers an earlier superpattern construction with the same n1+o(1)n^{1+o(1)} bound, but not the reduction to point sets. Even if correct, it leaves f(n)=O(n)f(n)=O(n) open.
  • Lower bounds. f(n)≥1.098nf(n)\ge 1.098n (Chrobak and Karloff, 1989) [1], improved to 1.235n1.235n (Kurowski, 2004) and to (1.293−o(1))n(1.293-o(1))n (Scheucher, Schrezenmaier and Steiner, 2020) [2].
  • Small cases. Universal sets of exactly nn points exist for every n≤10n\le 10 but not for n≥15n\ge 15 (Cardinal, Hoffmann and Kusters, 2015) [4], and an exhaustive search showed that none exists for n=11n=11 [2].
  • Relaxations. If each edge may bend once, nn points suffice (Everett, Lazard, Liotta and Wismath, 2010).

What would count as progress

  • An explicit nn-universal set for a specific nn with fewer points than previously known, given with exact coordinates and a straight-line drawing of every triangulation on nn vertices, so that a program can check it.
  • A lower bound f(n)≥cnf(n)\ge cn with c>1.293c>1.293, or a superlinear lower bound.
  • An independent check of the n1+o(1)n^{1+o(1)} construction (or a flaw in it), or a construction of linear size.

References

  1. M. Chrobak and H. Karloff, A lower bound on the size of universal sets for planar graphs, ACM SIGACT News 20(4) (1989), 83–86. doi:10.1145/74074.74088
  2. M. Scheucher, H. Schrezenmaier and R. Steiner, A note on universal point sets for planar graphs, J. Graph Algorithms Appl. 24 (2020), 247–267. doi:10.7155/jgaa.00529
  3. M. J. Bannister, Z. Cheng, W. E. Devanny and D. Eppstein, Superpatterns and universal point sets, J. Graph Algorithms Appl. 18 (2014), 177–209. doi:10.7155/jgaa.00318
  4. J. Cardinal, M. Hoffmann and V. Kusters, On universal point sets for planar graphs, J. Graph Algorithms Appl. 19 (2015), 529–547. doi:10.7155/jgaa.00374
  5. H. de Fraysseix, J. Pach and R. Pollack, How to draw a planar graph on a grid, Combinatorica 10 (1990), 41–51. doi:10.1007/BF02122694
  6. T. Gordon, Almost linear universal point sets for planar graphs, preprint (2026). arXiv:2609.10916

Source

Imported from The Open Problems Project, Problem 45, curated by Erik D. Demaine, Joseph S. B. Mitchell and Joseph O'Rourke. Open according to the source as of 2026-10-20. The statement above is written in our own words; see the source for the original wording, history and discussion.