NOTE: Problems with PlanarGraphQ
From GraphData
From GraphData
In[]:=
GraphData["Planar"]
Out[]=
In[]:=
GraphData/@Take[%,6]
Out[]=
From “House of Graphs”
From “House of Graphs”
In[]:=
Import["https://hog.grinvin.org/data/planar/planar_graphs/planar_conn.5.g6"]
Out[]=
In[]:=
GetPlanarGraphs[n_Integer]:=Import[StringTemplate["https://hog.grinvin.org/data/planar/planar_graphs/planar_conn.``.g6"][n]]
In[]:=
GetPlanarGraphs[2]
Out[]=
In[]:=
GetPlanarGraphs[3]
Out[]=
,
In[]:=
GetPlanarGraphs[4]
Out[]=
In[]:=
EdgeList
Out[]=
{12,13,14,23,24,34}
In[]:=
AllReversals[g_Graph]:=With[{e=List@@@EdgeList[g]},MapThread[Construct,{#,e}]&/@Tuples[{Identity,Reverse},Length[e]]]
In[]:=
AllReversals
Out[]=
(Should also check termination; check there was an update)
In[]:=
WolframModel[{{x,y}}{{x,z},{y,z},{z,z}},#,1,"FinalState"]&/@%23
Out[]=
Testing Code
Testing Code
Working around a PlanarGraphQ crash bug:
2,2 3,2 rules
2,2 3,2 rules
1,2 3,2
1,2 3,2
1,2 2,2
1,2 2,2