A Fixed-Parameter Algorithm for Extending Upward Planar Drawings

2026-07-26

AI Summary

This work addresses the problem of efficiently extending a partial upward planar drawing of a directed acyclic graph to a complete upward planar drawing of the entire graph. To handle instances with many missing edges, the authors propose a fixed-parameter algorithm parameterized by the vertex- and edge-deletion distance to the given partial drawing. A key contribution is a novel characterization of “canonical” sets of missing edges, which overcomes the limitations of prior approaches that were restricted to cases with only few missing edges. By integrating techniques from parameterized algorithm design, upward planarity theory, and combinatorial structure analysis, this approach substantially broadens the class of instances that can be solved efficiently.

Abstract

An upward planar drawing of a directed acyclic graph is a planar drawing where every edge is pointed upward from its tail to head. Upward planar drawings are among the most natural drawing styles of directed graphs and have been researched in a variety of different settings, recently including that of drawing extension. In the drawing extension setting, one asks: given a graph $G$ and a (typically connected) subgraph $H$ of $G$ with a drawing $Γ(H)$, can we complete $Γ(H)$ to a drawing of $G$? Drawing extension problems have been studied for numerous drawing styles; the vast majority of these are NP-hard and a typical approach aimed at circumventing their intractability is to design parameterized algorithms where the parameter measures "how much" of $G$ is still missing from the pre-drawn graph $H$. Most algorithms obtained within this framework require only a small number of edges to be missing from $H$ in order to remain efficient. In this article, we present a fixed-parameter algorithm for extending upward planar drawings which overcomes this drawback by using the $\textit{vertex+edge deletion distance}$ as the parameter, thus achieving tractability even for instances with many missing edges. A key ingredient towards our result is a novel characterization of "canonical" sets of missing edges which cross a horizontal line segment in the drawing.

Problem

• upward planar drawing
• drawing extension
• directed acyclic graph
• parameterized algorithm
• vertex+edge deletion distance

Innovation

• fixed-parameter algorithm
• upward planar drawing
• drawing extension
• vertex+edge deletion distance
• canonical edge sets