How to find the subgraph homeomorphic to K5 or K3,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 K5 or K3,3?
As per Kuratowski Theorem any Graph G is planar if and only if G has a subgraph homeomorphic to K5 or K3,3.
Is it possible to find the required subgraph using sagemath?