commit 723c34a941acf682fb7902fe97dc7df2b3b1f73a
parent b9a00746f8419a5f2a5099726263fcbeb6d43ce5
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 20 Sep 2026 14:50:11 +0200
commit with codex
Diffstat:
4 files changed, 22 insertions(+), 0 deletions(-)
diff --git a/dynamic_planarity_testing b/dynamic_planarity_testing
@@ -0,0 +1,7 @@
+# Dynamic planarity testing
+
+[holm2020fully], under [edge_addition] and [edge_deletion], in [polylogarithmic] time
+
+It is also in [DynFO], cf [datta2023dynamic]
+
+Up: [planar_graph], [dynamic_data]
diff --git a/graph_minor_testing b/graph_minor_testing
@@ -8,4 +8,6 @@ Special cases:
- [planarity_testing]
- [disjoint_paths]
+[graph_minor_testing_dynamic]
+
Up: [computational_problem], [graph_minor]
diff --git a/planar_graph b/planar_graph
@@ -37,6 +37,10 @@ Generalizations:
- [single_crossing_graph]
- [1_planar_graph]
+Variants:
+
+- [upward_planar]
+
See also: [graph_drawing], [planar_separator_theorem], [grid_embedding]
Up: [graph]
diff --git a/upward_planar b/upward_planar
@@ -0,0 +1,9 @@
+# Upward planar
+
+A notion of [planar_graph] for [directed_graphs]
+
+Discussed in [vandenhoog2024dynamic]
+
+Up: [planar_graph]
+
+Aliases: upward planar graph, upward planar graphs
