Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

How to find the subgraph homeomorphic to $K_5$ or $K_{3,3}$?

Given a graph $ G$ it is easy to check whether the Graph is planar or not using the command "$G$.is_planar()"

However I am stuck on the following :

Given a non-planar graph $G$ is it possible to find a subgraph of $G$ which is homeomorphic to $K_5$ or $K_{3,3}$?

As per Kuratowski Theorem any Graph $G$ is planar if and only if $G$ has a subgraph homeomorphic to $K_5$ or $K_{3,3}$.

Is it possible to find the required subgraph using sagemath?