Outerplanarity Checker

outer face embedding

CheckersFreeNo Signup
4.3(752 reviews)
All Tools

Loading tool...

About Outerplanarity Checker

An outerplanarity checker testing if G can be drawn planar with all vertices on the outer face. Equivalent: no K_4 or K_{2,3} minor. O(n) recognition. Outerplanar → planar. Outerplanar → book thickness 1. Outerplanar → treewidth ≤ 2. Client-side.

Outerplanarity Checker Features

  • Outerplanar test
  • K₄,K_{2,3}-free
  • tw ≤ 2
  • bt = 1
  • O(n)
Outerplanar graph: planar embedding where all vertices lie on the outer face boundary. Equivalent: no K_4 or K_{2,3} minor. Strictly contained in planar graphs. O(n) recognition. Treewidth ≤ 2. Book thickness = 1. Many NP-hard problems become linear.

How to Use

Select graph:

  • Test: Outerplanar?
  • Minor: K₄, K_{2,3}
  • tw: Treewidth ≤ 2

Characterization

G is outerplanar iff (1) no K_4 minor and no K_{2,3} minor, (2) every biconnected component is a single edge or has a Hamiltonian face, (3) treewidth ≤ 2. Recognizable in O(n) time.

Algorithms

Because tw ≤ 2: many NP-hard problems become O(n). Maximum independent set, minimum dominating set, Hamiltonian cycle, vertex coloring — all linear on outerplanar graphs via tree decomposition DP.

Step-by-Step Instructions

  1. 1Select graph.
  2. 2Check outerplanar.
  3. 3Find minor obstruction.
  4. 4Compute treewidth.
  5. 5Apply DP.

Outerplanarity Checker — Frequently Asked Questions

What's the difference from planar?+

Planar: embeddable without crossings. Outerplanar: planar + all vertices on outer face. K_4 is planar but NOT outerplanar. Outerplanar ⊊ planar. Additional vertices 'inside' are forbidden.

Why treewidth ≤ 2?+

Outerplanar graphs have treewidth ≤ 2 (and vice versa for 2-connected graphs). This means tree decomposition with bags of size ≤ 3. Enables dynamic programming for almost all graph problems.

What's maximal outerplanar?+

An outerplanar graph where adding any edge makes it non-outerplanar. Always triangulated (inner faces are triangles). n vertices, 2n-3 edges. Every internal vertex has degree ≥ 2. Dual is a tree.

Share this tool: