mirror of
https://github.com/Smaug123/vizing-theorem
synced 2025-10-07 12:58:39 +00:00
4367 lines
192 KiB
Mathematica
4367 lines
192 KiB
Mathematica
(* Content-type: application/vnd.wolfram.mathematica *)
|
|
|
|
(*** Wolfram Notebook File ***)
|
|
(* http://www.wolfram.com/nb *)
|
|
|
|
(* CreatedBy='Mathematica 10.1' *)
|
|
|
|
(*CacheID: 234*)
|
|
(* Internal cache information:
|
|
NotebookFileLineBreakTest
|
|
NotebookFileLineBreakTest
|
|
NotebookDataPosition[ 158, 7]
|
|
NotebookDataLength[ 196045, 4358]
|
|
NotebookOptionsPosition[ 189532, 4245]
|
|
NotebookOutlinePosition[ 189869, 4260]
|
|
CellTagsIndexPosition[ 189826, 4257]
|
|
WindowFrame->Normal*)
|
|
|
|
(* Beginning of Notebook Content *)
|
|
Notebook[{
|
|
|
|
Cell[CellGroupData[{
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"neighbourhood", "[",
|
|
RowBox[{"vertex_", ",", "graph_"}], "]"}], ":=",
|
|
RowBox[{
|
|
RowBox[{"Cases", "[",
|
|
RowBox[{
|
|
RowBox[{"EdgeList", "[", "graph", "]"}], ",",
|
|
RowBox[{
|
|
RowBox[{"_", "\[UndirectedEdge]", "vertex"}], "|",
|
|
RowBox[{"vertex", "\[UndirectedEdge]", "_"}]}]}], "]"}], "/.",
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"x_", "\[UndirectedEdge]", "vertex"}], "\[RuleDelayed]", "x"}],
|
|
",",
|
|
RowBox[{
|
|
RowBox[{"vertex", "\[UndirectedEdge]", "x_"}], "\[RuleDelayed]",
|
|
"x"}]}], "}"}]}]}]], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.6419140373887777`*^9, 3.641914163984193*^9}, {
|
|
3.641914568458837*^9, 3.6419145774784937`*^9}, {3.641914766200101*^9,
|
|
3.641914770279442*^9}, 3.641918389883415*^9},
|
|
CellLabel->"In[17]:=",ExpressionUUID->"c8457522-6ac8-4f29-955b-6091a22c1dc3"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"findColoursAtVertex", "[",
|
|
RowBox[{"vertex_", ",", "graph_"}], "]"}], ":=",
|
|
RowBox[{"With", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"neighbours", "=",
|
|
RowBox[{"neighbourhood", "[",
|
|
RowBox[{"vertex", ",", "graph"}], "]"}]}], "}"}], ",",
|
|
"\[IndentingNewLine]",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"DeleteDuplicates", "@",
|
|
RowBox[{"Flatten", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"graph", ",",
|
|
RowBox[{"vertex", "\[UndirectedEdge]", "#"}]}], "}"}], ",",
|
|
"EdgeStyle"}], "]"}], ",",
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"graph", ",",
|
|
RowBox[{"#", "\[UndirectedEdge]", "vertex"}]}], "}"}], ",",
|
|
"EdgeStyle"}], "]"}]}], "}"}], "/.",
|
|
RowBox[{"$Failed", "\[Rule]",
|
|
RowBox[{"{", "}"}]}]}], "]"}]}], "&"}], "/@", "neighbours"}], "//",
|
|
"Flatten"}]}], "\[IndentingNewLine]", "]"}]}]], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641913883866151*^9, 3.641913894195654*^9}, {
|
|
3.64191418933782*^9, 3.64191436111477*^9}, {3.6419145370017*^9,
|
|
3.641914543221648*^9}, {3.641914674055319*^9, 3.6419146999682617`*^9}, {
|
|
3.64191525619497*^9, 3.641915257078401*^9}, 3.6419183898835583`*^9},
|
|
CellLabel->"In[3]:=",ExpressionUUID->"16799764-62d3-45b2-82ad-c6007dfa5cb6"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"findAdjacentVertexWithColour", "[",
|
|
RowBox[{"vertex_", ",", "graph_", ",", "colour_"}], "]"}], ":=",
|
|
RowBox[{"With", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"neighbours", "=",
|
|
RowBox[{"neighbourhood", "[",
|
|
RowBox[{"vertex", ",", "graph"}], "]"}]}], "}"}], ",",
|
|
"\[IndentingNewLine]",
|
|
RowBox[{
|
|
RowBox[{"Select", "[",
|
|
RowBox[{"neighbours", ",",
|
|
RowBox[{
|
|
RowBox[{"MemberQ", "[",
|
|
RowBox[{
|
|
RowBox[{"Flatten", "@",
|
|
RowBox[{"{",
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"graph", ",",
|
|
RowBox[{"vertex", "\[UndirectedEdge]", "#"}]}], "}"}], ",",
|
|
"EdgeStyle"}], "]"}], "}"}]}], ",", "colour"}], "]"}], "&"}]}],
|
|
"]"}], "[",
|
|
RowBox[{"[", "1", "]"}], "]"}]}], "\[IndentingNewLine]",
|
|
"]"}]}]], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.6419152259347982`*^9, 3.641915297608275*^9}, {
|
|
3.641915500547505*^9, 3.641915504131398*^9}, 3.641918389883671*^9, {
|
|
3.6419771408234777`*^9, 3.641977182410489*^9}},
|
|
CellLabel->"In[4]:=",ExpressionUUID->"bd5c3d1f-12c6-45ca-8977-0d3e96bf464c"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{"vertex_", ",", "graph_"}], "]"}], ":=",
|
|
RowBox[{
|
|
RowBox[{"Complement", "[",
|
|
RowBox[{"colours", ",",
|
|
RowBox[{"findColoursAtVertex", "[",
|
|
RowBox[{"vertex", ",", "graph"}], "]"}]}], "]"}], "[",
|
|
RowBox[{"[", "1", "]"}], "]"}]}]], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641914368498934*^9, 3.641914388867749*^9},
|
|
3.641918389883757*^9},
|
|
CellLabel->"In[5]:=",ExpressionUUID->"b9a98f69-f16e-4ef4-a96d-d14988917bba"],
|
|
|
|
Cell[BoxData[{
|
|
RowBox[{
|
|
RowBox[{"fixColours", "[", "g_", "]"}], ":=",
|
|
RowBox[{"Fold", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",",
|
|
RowBox[{"VertexStyle", "\[Rule]",
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{"#2", ",", "#1"}], "]"}]}]}], "]"}], "&"}], ",", "g", ",",
|
|
RowBox[{"VertexList", "[", "g", "]"}]}], "]"}]}], "\[IndentingNewLine]",
|
|
RowBox[{
|
|
RowBox[{"fixColours", "[", "]"}], ":=",
|
|
RowBox[{"Scan", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"(",
|
|
RowBox[{
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"g", ",", "#"}], "}"}], ",", "VertexStyle"}], "]"}], "=",
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{"#", ",", "g"}], "]"}]}], ")"}], "&"}], ",", "vertices"}],
|
|
"]"}]}]}], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.6419165173250637`*^9, 3.641916577483082*^9}, {
|
|
3.641916614245903*^9, 3.641916615428648*^9}, 3.641918389883871*^9, {
|
|
3.641919226269885*^9, 3.641919234465294*^9}},
|
|
CellLabel->"In[6]:=",ExpressionUUID->"144382f1-a71c-4a2e-880e-93a89002655f"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"transparentComponent", "[",
|
|
RowBox[{"vertex_", ",", "graph_"}], "]"}], ":=",
|
|
RowBox[{"First", "@",
|
|
RowBox[{"ConnectedComponents", "[",
|
|
RowBox[{
|
|
RowBox[{"Graph", "[",
|
|
RowBox[{
|
|
RowBox[{"VertexList", "[", "graph", "]"}], ",",
|
|
RowBox[{"Select", "[",
|
|
RowBox[{
|
|
RowBox[{"EdgeList", "[", "graph", "]"}], ",",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"graph", ",", "#"}], "}"}], ",", "EdgeStyle"}], "]"}], "=!=",
|
|
"Transparent"}], "&"}]}], "]"}]}], "]"}], ",",
|
|
RowBox[{"{", "vertex", "}"}]}], "]"}]}]}]], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641918049602726*^9, 3.641918062526968*^9},
|
|
3.641918549888404*^9, {3.641919155225065*^9, 3.6419191623051243`*^9}, {
|
|
3.6419192136217613`*^9, 3.641919216280903*^9}},
|
|
CellLabel->"In[8]:=",ExpressionUUID->"d6e23e66-f465-479b-bffc-4f89cb8682bf"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"edgesBetweenVertices", "[",
|
|
RowBox[{"vertexlist_", ",", "g_"}], "]"}], ":=",
|
|
RowBox[{"Select", "[",
|
|
RowBox[{
|
|
RowBox[{"EdgeList", "[", "g", "]"}], ",",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"MemberQ", "[",
|
|
RowBox[{"vertexlist", ",",
|
|
RowBox[{"#", "[",
|
|
RowBox[{"[", "1", "]"}], "]"}]}], "]"}], "&&",
|
|
RowBox[{"MemberQ", "[",
|
|
RowBox[{"vertexlist", ",",
|
|
RowBox[{"#", "[",
|
|
RowBox[{"[", "2", "]"}], "]"}]}], "]"}]}], "&"}]}], "]"}]}]], "Input",\
|
|
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.6419181335152187`*^9, 3.641918165215446*^9},
|
|
3.6419185498885317`*^9},
|
|
CellLabel->"In[9]:=",ExpressionUUID->"d892129f-3d2c-43e4-8607-21ed4ea45eba"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"swapColoursOnComponent", "[",
|
|
RowBox[{
|
|
"vertex_", ",", "coloursToSwap_", ",", "coloursForComponent_", ",",
|
|
"graph_"}], "]"}], ":=",
|
|
RowBox[{"With", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"transp", "=",
|
|
RowBox[{"components", "[",
|
|
RowBox[{"graph", ",", "coloursForComponent"}], "]"}]}], "}"}], ",",
|
|
RowBox[{"Fold", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]",
|
|
RowBox[{"If", "[",
|
|
RowBox[{
|
|
RowBox[{"MemberQ", "[",
|
|
RowBox[{"coloursToSwap", ",",
|
|
RowBox[{"First", "@",
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",", "EdgeStyle"}],
|
|
"]"}]}]}], "]"}], ",",
|
|
RowBox[{
|
|
RowBox[{"First", "@",
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",", "EdgeStyle"}],
|
|
"]"}]}], "/.",
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"coloursToSwap", "[",
|
|
RowBox[{"[", "1", "]"}], "]"}], "\[Rule]",
|
|
RowBox[{"coloursToSwap", "[",
|
|
RowBox[{"[", "2", "]"}], "]"}]}], ",",
|
|
RowBox[{
|
|
RowBox[{"coloursToSwap", "[",
|
|
RowBox[{"[", "2", "]"}], "]"}], "\[Rule]",
|
|
RowBox[{"coloursToSwap", "[",
|
|
RowBox[{"[", "1", "]"}], "]"}]}]}], "}"}]}], ",",
|
|
RowBox[{"First", "@",
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",", "EdgeStyle"}],
|
|
"]"}]}]}], "]"}]}]}], "]"}], "&"}], ",", "graph", ",",
|
|
RowBox[{"edgesBetweenVertices", "[",
|
|
RowBox[{
|
|
RowBox[{"transparentComponent", "[",
|
|
RowBox[{"vertex", ",", "transp"}], "]"}], ",", "transp"}], "]"}]}],
|
|
"]"}]}], "]"}]}]], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.64191893825977*^9, 3.641919012191132*^9}, {
|
|
3.641919049991363*^9, 3.641919056222921*^9}, {3.641919275381912*^9,
|
|
3.641919277693385*^9}, {3.641919314339457*^9, 3.641919324428132*^9},
|
|
3.641924072539407*^9},
|
|
CellLabel->"In[10]:=",ExpressionUUID->"cd5b974e-f03c-4875-8916-7b16fd50864e"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"components", "[",
|
|
RowBox[{"graph_", ",", "colours_"}], "]"}], ":=",
|
|
RowBox[{"Fold", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]",
|
|
RowBox[{"If", "[",
|
|
RowBox[{
|
|
RowBox[{"MemberQ", "[",
|
|
RowBox[{"colours", ",",
|
|
RowBox[{"First", "@",
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",", "EdgeStyle"}],
|
|
"]"}]}]}], "]"}], ",",
|
|
RowBox[{"First", "@",
|
|
RowBox[{"PropertyValue", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",", "#2"}], "}"}], ",", "EdgeStyle"}], "]"}]}],
|
|
",", "Transparent"}], "]"}]}]}], "]"}], "&"}], ",", "graph", ",",
|
|
RowBox[{"EdgeList", "[", "graph", "]"}]}], "]"}]}]], "Input",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641918862331538*^9, 3.6419188989094887`*^9},
|
|
3.6419240725395393`*^9},
|
|
CellLabel->"In[11]:=",ExpressionUUID->"812df581-fbf7-42ff-b6c0-7d0359b07396"]
|
|
}, Open ]],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"vertices", "=",
|
|
RowBox[{"Join", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
"x", ",", "a", ",", "b", ",", "c", ",", "d", ",", "e", ",", "f"}],
|
|
"}"}], ",",
|
|
RowBox[{"r", "/@",
|
|
RowBox[{"Range", "[", "5", "]"}]}]}], "]"}]}], ";"}]], "Input",
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641913753295739*^9, 3.6419137533566523`*^9}, {
|
|
3.641916922263157*^9, 3.64191692234076*^9}},
|
|
CellLabel->"In[12]:=",ExpressionUUID->"a3da52de-6763-48a6-8f30-abc0e229fd1a"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"edges", "=",
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{"x", "\[UndirectedEdge]", "a"}], ",",
|
|
RowBox[{"x", "\[UndirectedEdge]", "b"}], ",",
|
|
RowBox[{"x", "\[UndirectedEdge]", "c"}], ",",
|
|
RowBox[{"x", "\[UndirectedEdge]", "d"}], ",",
|
|
RowBox[{"x", "\[UndirectedEdge]", "e"}], ",",
|
|
RowBox[{"d", "\[UndirectedEdge]", "e"}], ",",
|
|
RowBox[{"x", "\[UndirectedEdge]", "f"}], ",",
|
|
RowBox[{
|
|
RowBox[{"r", "[", "1", "]"}], "\[UndirectedEdge]", "a"}], ",",
|
|
RowBox[{
|
|
RowBox[{"r", "[", "2", "]"}], "\[UndirectedEdge]", "d"}], ",",
|
|
RowBox[{
|
|
RowBox[{"r", "[", "3", "]"}], "\[UndirectedEdge]", "d"}], ",",
|
|
RowBox[{
|
|
RowBox[{"r", "[", "3", "]"}], "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "2", "]"}]}], ",",
|
|
RowBox[{"d", "\[UndirectedEdge]", "c"}], ",",
|
|
RowBox[{"b", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "1", "]"}]}], ",",
|
|
RowBox[{"d", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "4", "]"}]}], ",",
|
|
RowBox[{"b", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "3", "]"}]}], ",",
|
|
RowBox[{"a", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "5", "]"}]}]}], "}"}]}], ";"}]], "Input",
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641913408835017*^9, 3.641913425799755*^9}, {
|
|
3.641913604407116*^9, 3.641913631628772*^9}, {3.6419137548210278`*^9,
|
|
3.6419137555259657`*^9}, {3.6419163060529137`*^9, 3.64191630808564*^9}, {
|
|
3.641916917468886*^9, 3.641916920349887*^9}, 3.641917362739428*^9},
|
|
CellLabel->"In[13]:=",ExpressionUUID->"70f35818-4be0-4038-a879-241514ec7fe7"],
|
|
|
|
Cell["Take our graph with degree 6.", "Text",
|
|
CellChangeTimes->{{3.641913386264468*^9,
|
|
3.6419133927035418`*^9}},ExpressionUUID->"e4da2e41-52f2-4749-82e7-\
|
|
9326bf09c031"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"Graph", "[",
|
|
RowBox[{"vertices", ",", "edges", ",",
|
|
RowBox[{"VertexLabels", "\[Rule]", "\"\<Name\>\""}]}], "]"}]], "Input",
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641913427755754*^9, 3.641913436377656*^9}},
|
|
CellLabel->"In[14]:=",ExpressionUUID->"ecfef14e-860c-4245-8559-ee3cdf14e765"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
VertexLabels -> {"Name"}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{Hue[0.6, 0.7, 0.5], Opacity[0.7], LineBox[CompressedData["
|
|
1:eJxTTMoPSmVmYGAQAGImKPY6+z1xeTuTw7ui7etnC3y2dzvlJBB3k8eh7uPO
|
|
DAPHV/bo8kXdCuvf+jA7rPjB9nF16mEM+UNPxOP3/f1pP32RU/5Rti8Y8o7z
|
|
E0Xfun20Xyd/tHDGtzcY8tfUF8Q65n+3V+YT8q3g+4Mhf2LTjXrnfDaHwk2f
|
|
Fm+0ZnRAd++nI6l/93zhcmCAAnR5vUpxIc/ZQg67Cp7u9nzxGsM/6PrR5aVc
|
|
9rxd9PqrvcNchUZ37gkY/kX3Hzof3X/o8svE0288MHhsz/DtAuMLy3UY8uj2
|
|
o8vD3L1Kl+2Z4YlPGOah6wcAEv32AA==
|
|
"]]},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[
|
|
0.7]}], {
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023],
|
|
InsetBox["x",
|
|
Offset[{2, 2}, {2.3572551755807027, 1.2325726738050988}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023],
|
|
InsetBox["a",
|
|
Offset[{2, 2}, {3.647154392865343, 0.8614756032548253}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023],
|
|
InsetBox["b",
|
|
Offset[{2, 2}, {2.453580671115477, 0.1925582221069094}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023],
|
|
InsetBox["c",
|
|
Offset[{2, 2}, {1.6654670801861131, 1.2926710817579439}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023],
|
|
InsetBox["d", Offset[{2, 2}, {1.120833893905393, 0.946119937726933}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023],
|
|
InsetBox["e", Offset[{2, 2}, {1.5056798966788552, 1.79455064646878}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023],
|
|
InsetBox["f", Offset[{2, 2}, {2.845345913329607, 2.195165365656779}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{2, 2}, {3.410519044192457, 0.04101794969072023}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{2, 2}, {0.6407345392956058, 0.10005348952923518}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{2, 2}, {1.4110463774384099, 0.05668597685929075}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{2, 2}, {0.04101794969072023, 1.2148936616389}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{2, 2}, {4.692663879678341, 0.9131234212873102}],
|
|
ImageScaled[{0, 0}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FormatType->TraditionalForm,
|
|
FrameTicks->None]], "Output",
|
|
CellChangeTimes->{{3.641913430376021*^9, 3.641913436627304*^9}, {
|
|
3.6419136068074827`*^9, 3.641913632723791*^9}, 3.641913758216096*^9,
|
|
3.641916309518113*^9, 3.641916923698254*^9, 3.641917504124198*^9,
|
|
3.6419767097098083`*^9, 3.641977453847726*^9, 3.78724995707856*^9},
|
|
CellLabel->"Out[14]=",ExpressionUUID->"c41db016-54f0-44d9-9af0-19f6f96e2aff"]
|
|
}, Open ]],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"colours", "=",
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
"Green", ",", "Blue", ",", "Red", ",", "Orange", ",", "Purple", ",",
|
|
"Pink", ",", "Black"}], "}"}]}], ";"}]], "Input",
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641913231573592*^9, 3.641913248264348*^9}, {
|
|
3.64191354272902*^9, 3.6419135502154512`*^9}},
|
|
CellLabel->"In[15]:=",ExpressionUUID->"64bed0a3-f802-4850-9d2b-264478bef4d5"],
|
|
|
|
Cell[TextData[{
|
|
"Let\[CloseCurlyQuote]s suppose for induction we have a 7-edge-colouring of \
|
|
the graph if we remove the edge ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{"x", "\[UndirectedEdge]", "a"}], TraditionalForm]],ExpressionUUID->
|
|
"2166ff5e-6ffa-473a-a339-31c040d4c24c"],
|
|
":"
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641913442974901*^9, 3.6419134769083967`*^9}, {
|
|
3.64191377278927*^9,
|
|
3.641913773092958*^9}},ExpressionUUID->"7bfa439d-9389-447f-a569-\
|
|
d7684b85214d"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"g", "=",
|
|
RowBox[{"Graph", "[",
|
|
RowBox[{"vertices", ",",
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"x", "\[UndirectedEdge]", "a"}], ",", "Dashed"}], "]"}], ",",
|
|
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"x", "\[UndirectedEdge]", "b"}], ",", "Green"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"x", "\[UndirectedEdge]", "c"}], ",", "Blue"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"x", "\[UndirectedEdge]", "d"}], ",", "Orange"}], "]"}], ",",
|
|
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"x", "\[UndirectedEdge]", "e"}], ",", "Red"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"d", "\[UndirectedEdge]", "e"}], ",", "Black"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"x", "\[UndirectedEdge]", "f"}], ",", "Pink"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"r", "[", "1", "]"}], "\[UndirectedEdge]", "a"}], ",",
|
|
"Black"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"r", "[", "2", "]"}], "\[UndirectedEdge]", "d"}], ",",
|
|
"Purple"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"r", "[", "3", "]"}], "\[UndirectedEdge]", "d"}], ",",
|
|
"Green"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"r", "[", "3", "]"}], "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "2", "]"}]}], ",", "Blue"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"d", "\[UndirectedEdge]", "c"}], ",", "Pink"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"b", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "1", "]"}]}], ",", "Orange"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"d", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "4", "]"}]}], ",", "Blue"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"b", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "3", "]"}]}], ",", "Black"}], "]"}], ",",
|
|
RowBox[{"Style", "[",
|
|
RowBox[{
|
|
RowBox[{"a", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "5", "]"}]}], ",", "Blue"}], "]"}]}], "}"}], ",",
|
|
RowBox[{"VertexLabels", "\[Rule]",
|
|
RowBox[{"Table", "[",
|
|
RowBox[{
|
|
RowBox[{"i", "\[Rule]",
|
|
RowBox[{"Placed", "[",
|
|
RowBox[{"i", ",", "Below"}], "]"}]}], ",",
|
|
RowBox[{"{",
|
|
RowBox[{"i", ",", "vertices"}], "}"}]}], "]"}]}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]", "Gray"}], ",",
|
|
RowBox[{"ImagePadding", "\[Rule]", "10"}]}], "]"}]}]], "Input",
|
|
InitializationCell->True,
|
|
CellChangeTimes->{{3.641913587934973*^9, 3.6419135956254177`*^9}, {
|
|
3.6419136400064898`*^9, 3.6419136522033577`*^9}, {3.6419137020273848`*^9,
|
|
3.641913761901661*^9}, {3.641914404916464*^9, 3.64191440500662*^9}, {
|
|
3.6419148639944677`*^9, 3.6419148645384207`*^9}, {3.641916316078533*^9,
|
|
3.64191632329858*^9}, {3.6419169309179707`*^9, 3.641916940451589*^9}},
|
|
CellLabel->"In[16]:=",ExpressionUUID->"a9dfc4ce-a45e-4e28-ab42-c2aa1c1cfc2a"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`x, $CellContext`c] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`d, $CellContext`c] -> {
|
|
RGBColor[1, 0.5, 0.5]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
LineBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}}]},
|
|
{RGBColor[0, 1, 0],
|
|
LineBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}}]},
|
|
{RGBColor[0, 0, 1],
|
|
LineBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}}]},
|
|
{RGBColor[1, 0.5, 0],
|
|
LineBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}}]},
|
|
{RGBColor[1, 0, 0],
|
|
LineBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}}]},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
LineBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}}]},
|
|
{GrayLevel[0],
|
|
LineBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}]},
|
|
{RGBColor[0, 0, 1],
|
|
LineBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}}]},
|
|
{RGBColor[1, 0.5, 0],
|
|
LineBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}]},
|
|
{GrayLevel[0],
|
|
LineBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}}]},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
LineBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}}]},
|
|
{GrayLevel[0],
|
|
LineBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}}]},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
LineBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}}]},
|
|
{RGBColor[0, 1, 0],
|
|
LineBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}}]},
|
|
{RGBColor[0, 0, 1],
|
|
LineBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}]},
|
|
{RGBColor[0, 0, 1],
|
|
LineBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}}]}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[
|
|
0.7]}], {
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023],
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023],
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023],
|
|
InsetBox["b",
|
|
Offset[{0, -2}, {2.4125627214247567, 0.11052232272546894}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023],
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023],
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023],
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023],
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, {3.3695010945017367, -0.04101794969072023}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, {0.5997165896048855, 0.01801759014779472}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, {1.3700284277476897, -0.02534992252214971}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023], InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FormatType->TraditionalForm,
|
|
FrameTicks->None,
|
|
ImagePadding->10]], "Output",
|
|
CellChangeTimes->{
|
|
3.641913404220427*^9, 3.641913469098545*^9, 3.641913596293048*^9,
|
|
3.641913652419249*^9, {3.6419137101128798`*^9, 3.641913725904921*^9},
|
|
3.641913762151383*^9, 3.641914405379139*^9, 3.641914864807267*^9,
|
|
3.641915200840414*^9, 3.641915363723514*^9, 3.6419161620107937`*^9,
|
|
3.641916323490848*^9, 3.6419165968590727`*^9, {3.6419169374300222`*^9,
|
|
3.641916940623955*^9}, 3.6419172519095078`*^9, 3.64191750560956*^9,
|
|
3.641918514053461*^9, 3.641918601121574*^9, 3.6419210320459948`*^9,
|
|
3.6419767097985153`*^9, 3.641977453893668*^9, 3.7872499572511463`*^9},
|
|
CellLabel->"Out[16]=",ExpressionUUID->"94a0675f-4eda-42b1-935d-35666ba5a15f"]
|
|
}, Open ]],
|
|
|
|
Cell[TextData[{
|
|
"We want to colour the edge ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{"x", "\[UndirectedEdge]", "a"}], TraditionalForm]],ExpressionUUID->
|
|
"f97bafb0-4e0c-4bb4-a688-0ef9d9186789"],
|
|
". (The obvious choice here is to colour it black, but \
|
|
we\[CloseCurlyQuote]ll walk through the algorithm.)"
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641913493517816*^9, 3.641913507303299*^9}, {
|
|
3.641913561480109*^9, 3.641913570328783*^9}, {3.641913782037243*^9,
|
|
3.641913787717304*^9}},ExpressionUUID->"5af22b63-b3f7-45c3-8626-\
|
|
f0d759b5bf2a"],
|
|
|
|
Cell["\<\
|
|
Each vertex has a colour missing from its neighbourhood, because there are at \
|
|
least as many colours as the maximum degree. Display that colour on the node.\
|
|
\
|
|
\>", "Text",
|
|
CellChangeTimes->{{3.641913510147052*^9, 3.641913535600339*^9}, {
|
|
3.78725001980389*^9,
|
|
3.787250028780004*^9}},ExpressionUUID->"a3eee9f9-f2b0-457d-b856-\
|
|
d6a7dc377208"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"fixColours", "[", "]"}], ";", "g"}]], "Input",
|
|
CellChangeTimes->{{3.641916586790875*^9, 3.641916589579959*^9}, {
|
|
3.641916625311976*^9,
|
|
3.641916630204689*^9}},ExpressionUUID->"9f72cf33-a0fd-4d04-b81d-\
|
|
d619acee73c6"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]}, UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`c] -> {
|
|
RGBColor[1, 0.5, 0.5]}, UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[$CellContext`x, $CellContext`c] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`d, $CellContext`e] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below]},
|
|
VertexStyle -> {$CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[4] -> GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`r[2] -> GrayLevel[0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`a ->
|
|
RGBColor[0, 1, 0], $CellContext`x -> GrayLevel[0], $CellContext`e ->
|
|
RGBColor[0, 0, 1], $CellContext`d ->
|
|
RGBColor[1, 0, 0], $CellContext`c -> GrayLevel[0], $CellContext`r[5] ->
|
|
GrayLevel[0]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, {2.4125627214247567, 0.11052232272546894}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, {3.3695010945017367, -0.04101794969072023}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, {0.5997165896048855, 0.01801759014779472}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, {1.3700284277476897, -0.02534992252214971}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10]], "Output",
|
|
CellChangeTimes->{3.641916630588419*^9, 3.641916947042595*^9,
|
|
3.641917254689271*^9, 3.641917511442853*^9, 3.6419185156456413`*^9,
|
|
3.6419186027513447`*^9},ExpressionUUID->"f81117be-9ef3-4b8d-b8b8-\
|
|
8e8cd4c0d94b"]
|
|
}, Open ]],
|
|
|
|
Cell[TextData[{
|
|
"Let ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["y", "1"], TraditionalForm]],ExpressionUUID->
|
|
"fa538d24-52f2-4558-b9dc-e0cf91cabc52"],
|
|
" be the vertex at the end of the missing edge, and let ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "1"], TraditionalForm]],ExpressionUUID->
|
|
"aedb8087-daa6-4f88-bb38-abae254248e8"],
|
|
" be its missing colour."
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641914816202401*^9,
|
|
3.641914876752737*^9}},ExpressionUUID->"f0b3d91a-0f5e-4e5d-9903-\
|
|
7e02e86203fe"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"y", "[", "1", "]"}], "=", "a"}], ";"}]], "Input",
|
|
CellChangeTimes->{{3.641914878331935*^9, 3.6419148869719*^9}, {
|
|
3.641916957419199*^9, 3.641916957974929*^9}, {3.6419184295387297`*^9,
|
|
3.64191843313134*^9}},ExpressionUUID->"ae04e9f0-612e-404d-a8b9-\
|
|
4938d132e2e0"],
|
|
|
|
Cell[TextData[{
|
|
"Let ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["y", "2"], TraditionalForm]],ExpressionUUID->
|
|
"7d373228-1b3c-481a-bc14-c21ce7644e32"],
|
|
" be a vertex connected to ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["y", "1"], TraditionalForm]],ExpressionUUID->
|
|
"8f0b3b1a-d5d3-4d57-a886-abe519a17029"],
|
|
" which has ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "1"], TraditionalForm]],ExpressionUUID->
|
|
"8e395fdd-6536-4f19-85a5-4584976bf4db"],
|
|
" as the ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{"x", "\[UndirectedEdge]",
|
|
SubscriptBox["y", "2"]}], TraditionalForm]],ExpressionUUID->
|
|
"cb2781c9-bf6d-4d81-b900-048c569859c0"],
|
|
" edge colour:"
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641914900015126*^9, 3.641914941595429*^9}, {
|
|
3.78725004723164*^9,
|
|
3.787250048239428*^9}},ExpressionUUID->"0c55582e-7589-49c4-830e-\
|
|
75f848a84341"],
|
|
|
|
Cell[BoxData[{
|
|
RowBox[{
|
|
RowBox[{"y", "[", "i_", "]"}], ":=",
|
|
RowBox[{"findAdjacentVertexWithColour", "[",
|
|
RowBox[{"x", ",", "g", ",",
|
|
RowBox[{"c", "[",
|
|
RowBox[{"i", "-", "1"}], "]"}]}], "]"}]}], "\[IndentingNewLine]",
|
|
RowBox[{
|
|
RowBox[{"c", "[", "i_", "]"}], ":=",
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{
|
|
RowBox[{"y", "[", "i", "]"}], ",", "g"}], "]"}]}]}], "Input",
|
|
CellChangeTimes->{{3.641915216311998*^9, 3.641915217347378*^9}, {
|
|
3.641915303767949*^9, 3.641915334722228*^9},
|
|
3.641915445239555*^9},ExpressionUUID->"a3742cac-e63c-4323-99bf-\
|
|
3a86be2e5ebf"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{"y", "[", "2", "]"}], ",",
|
|
RowBox[{"c", "[", "2", "]"}]}], "}"}]], "Input",
|
|
CellChangeTimes->{{3.641915347873995*^9, 3.641915348163835*^9}, {
|
|
3.641915512309907*^9,
|
|
3.641915535635784*^9}},ExpressionUUID->"843350da-84a6-4892-a904-\
|
|
51a78c5bbd00"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"{",
|
|
RowBox[{"b", ",",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{RGBColor[0, 0, 1], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->RGBColor[0., 0., 0.6666666666666666],
|
|
FrameTicks->None,
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"RGBColor[0, 0, 1]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = RGBColor[0, 0, 1];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["RGBColorValueSelector"], {0, {Left, Bottom}}, {
|
|
Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
RGBColor[0, 0, 1],
|
|
Editable->False,
|
|
Selectable->False]}], "}"}]], "Output",
|
|
CellChangeTimes->{
|
|
3.641915348697834*^9, 3.641915452505191*^9, {3.64191550929666*^9,
|
|
3.6419155358515387`*^9}, 3.641916964898629*^9, {3.641918416277275*^9,
|
|
3.6419184357498302`*^9}},ExpressionUUID->"b175cc4d-bcc9-4639-9c30-\
|
|
241ba1edf9e2"]
|
|
}, Open ]],
|
|
|
|
Cell[TextData[{
|
|
"Repeat, terminating if ever any ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{
|
|
SubscriptBox["c", "i"], "=",
|
|
SubscriptBox["c", "j"]}], TraditionalForm]],ExpressionUUID->
|
|
"fd837eb8-4d20-4ef5-9e74-217ba7c5505e"],
|
|
" or the colour ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "k"], TraditionalForm]],ExpressionUUID->
|
|
"a5be9e4d-fe44-4a10-a309-b760f4eaa337"],
|
|
" is missing from ",
|
|
Cell[BoxData[
|
|
FormBox["x", TraditionalForm]],ExpressionUUID->
|
|
"864d7be7-1068-4843-ba9d-072d6c0a9af5"],
|
|
". We wrap this up into a NestWhileList."
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641914958599778*^9, 3.64191498455688*^9}, {
|
|
3.641915028422683*^9, 3.641915028879019*^9}, {3.641916025778633*^9,
|
|
3.641916030825903*^9}},ExpressionUUID->"c3403122-30a0-449b-a214-\
|
|
ebe08d5dd085"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"NestWhileList", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"With", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"y", "=",
|
|
RowBox[{"findAdjacentVertexWithColour", "[",
|
|
RowBox[{"x", ",", "g", ",",
|
|
RowBox[{"#", "[", "\"\<c\>\"", "]"}]}], "]"}]}], "}"}], ",",
|
|
RowBox[{"<|",
|
|
RowBox[{
|
|
RowBox[{"\"\<y\>\"", "\[Rule]", "y"}], ",",
|
|
RowBox[{"\"\<c\>\"", "\[Rule]",
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{"y", ",", "g"}], "]"}]}]}], "|>"}]}], "]"}], "&"}], ",",
|
|
RowBox[{"<|",
|
|
RowBox[{
|
|
RowBox[{"\"\<y\>\"", "\[Rule]", "a"}], ",",
|
|
RowBox[{"\"\<c\>\"", "\[Rule]",
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{"a", ",", "g"}], "]"}]}]}], "|>"}], ",",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"DeleteDuplicates", "[",
|
|
RowBox[{"Last", "/@",
|
|
RowBox[{"Tally", "[",
|
|
RowBox[{"Lookup", "[",
|
|
RowBox[{
|
|
RowBox[{"{", "##", "}"}], ",", "\"\<c\>\""}], "]"}], "]"}]}], "]"}],
|
|
"===",
|
|
RowBox[{"{", "1", "}"}]}], "&"}], ",", "All"}], "]"}]], "Input",
|
|
CellChangeTimes->{{3.6419155650009203`*^9, 3.641915767439713*^9}, {
|
|
3.64191699594203*^9, 3.641916999214409*^9}, {3.64191723580147*^9,
|
|
3.641917243996312*^9}},ExpressionUUID->"83602dde-aff9-4fc4-b123-\
|
|
12c1111af3c2"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
StyleBox[
|
|
RowBox[{"Part", "::", "partw"}], "MessageName"], ":",
|
|
" ", "\<\"Part \[NoBreak]\\!\\(1\\)\[NoBreak] of \[NoBreak]\\!\\({}\\)\
|
|
\[NoBreak] does not exist. \\!\\(\\*ButtonBox[\\\"\[RightSkeleton]\\\", \
|
|
ButtonStyle->\\\"Link\\\", ButtonFrame->None, \
|
|
ButtonData:>\\\"paclet:ref/message/General/partw\\\", ButtonNote -> \
|
|
\\\"Part::partw\\\"]\\)\"\>"}]], "Message", "MSG",
|
|
CellChangeTimes->{3.64191725819138*^9,
|
|
3.6419175164423656`*^9},ExpressionUUID->"fc134831-c1e9-4a93-bbd0-\
|
|
139963e3b625"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{"\[LeftAssociation]",
|
|
RowBox[{
|
|
RowBox[{"\<\"y\"\>", "\[Rule]", "a"}], ",",
|
|
RowBox[{"\<\"c\"\>", "\[Rule]",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{RGBColor[0, 1, 0], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->RGBColor[0., 0.6666666666666666, 0.],
|
|
FrameTicks->None,
|
|
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"RGBColor[0, 1, 0]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = RGBColor[0, 1, 0];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["RGBColorValueSelector"], {
|
|
0, {Left, Bottom}}, {Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
RGBColor[0, 1, 0],
|
|
Editable->False,
|
|
Selectable->False]}]}], "\[RightAssociation]"}], ",",
|
|
RowBox[{"\[LeftAssociation]",
|
|
RowBox[{
|
|
RowBox[{"\<\"y\"\>", "\[Rule]", "b"}], ",",
|
|
RowBox[{"\<\"c\"\>", "\[Rule]",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{RGBColor[0, 0, 1], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->RGBColor[0., 0., 0.6666666666666666],
|
|
FrameTicks->None,
|
|
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"RGBColor[0, 0, 1]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = RGBColor[0, 0, 1];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["RGBColorValueSelector"], {
|
|
0, {Left, Bottom}}, {Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
RGBColor[0, 0, 1],
|
|
Editable->False,
|
|
Selectable->False]}]}], "\[RightAssociation]"}], ",",
|
|
RowBox[{"\[LeftAssociation]",
|
|
RowBox[{
|
|
RowBox[{"\<\"y\"\>", "\[Rule]", "c"}], ",",
|
|
RowBox[{"\<\"c\"\>", "\[Rule]",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{GrayLevel[0], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->GrayLevel[0.],
|
|
FrameTicks->None,
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"GrayLevel[0]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = GrayLevel[0];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["GrayLevelColorValueSelector"], {
|
|
0, {Left, Bottom}}, {Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
GrayLevel[0],
|
|
Editable->False,
|
|
Selectable->False]}]}], "\[RightAssociation]"}], ",",
|
|
RowBox[{"\[LeftAssociation]",
|
|
RowBox[{
|
|
RowBox[{"\<\"y\"\>", "\[Rule]",
|
|
RowBox[{
|
|
RowBox[{"{", "}"}], "\[LeftDoubleBracket]", "1",
|
|
"\[RightDoubleBracket]"}]}], ",",
|
|
RowBox[{"\<\"c\"\>", "\[Rule]",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{GrayLevel[0], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->GrayLevel[0.],
|
|
FrameTicks->None,
|
|
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"GrayLevel[0]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = GrayLevel[0];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["GrayLevelColorValueSelector"], {
|
|
0, {Left, Bottom}}, {Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
GrayLevel[0],
|
|
Editable->False,
|
|
Selectable->False]}]}], "\[RightAssociation]"}]}], "}"}]], "Output",
|
|
CellChangeTimes->{{3.641915684875847*^9, 3.641915697325706*^9}, {
|
|
3.6419157631646557`*^9, 3.641915767689608*^9}, {3.641915900182033*^9,
|
|
3.641915914620718*^9}, 3.641915965400028*^9, 3.6419160113102417`*^9, {
|
|
3.641916353938162*^9, 3.641916379708398*^9}, 3.641916643992807*^9,
|
|
3.641916968067234*^9, 3.641916999595058*^9, {3.641917244214416*^9,
|
|
3.641917258200042*^9},
|
|
3.641917516483066*^9},ExpressionUUID->"c2ee57d5-5e33-4c2e-a81b-\
|
|
e703ab83e530"]
|
|
}, Open ]],
|
|
|
|
Cell[TextData[{
|
|
"If the colour ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "i"], TraditionalForm]],ExpressionUUID->
|
|
"b824b060-b406-4f50-b7dd-2600e64c6e54"],
|
|
" is missing from ",
|
|
Cell[BoxData[
|
|
FormBox["x", TraditionalForm]],ExpressionUUID->
|
|
"3d89ae9f-45bd-40f2-8ed1-69d32c687d07"],
|
|
": we\[CloseCurlyQuote]re done straight away by colouring ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{"x", "\[UndirectedEdge]",
|
|
SubscriptBox["y", "i"]}], TraditionalForm]],ExpressionUUID->
|
|
"14fb9759-e51b-4052-a005-cf885725d161"],
|
|
" with colour ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "i"], TraditionalForm]],ExpressionUUID->
|
|
"d950c385-104c-48fb-9e7c-a622170a25e1"],
|
|
" for all ",
|
|
Cell[BoxData[
|
|
FormBox["i", TraditionalForm]],ExpressionUUID->
|
|
"1379fd2f-3d22-45ea-b6fc-79d9405c4f2e"],
|
|
". Drag the slider below to see the colours appear as we walk along the path:"
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641914993125896*^9, 3.641915040484866*^9}, {
|
|
3.787250068087694*^9,
|
|
3.787250097648696*^9}},ExpressionUUID->"54ffcf63-829c-4da4-9473-\
|
|
789fdfd1082a"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{
|
|
RowBox[{"FoldList", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"fixColours", "@",
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"#1", ",",
|
|
RowBox[{
|
|
RowBox[{"#2", "[", "\"\<y\>\"", "]"}], "\[UndirectedEdge]",
|
|
"x"}]}], "}"}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]",
|
|
RowBox[{"#2", "[", "\"\<c\>\"", "]"}]}]}], "]"}]}], "&"}], ",", "g",
|
|
",",
|
|
RowBox[{"Reverse", "@",
|
|
RowBox[{"Most", "[", "%", "]"}]}]}], "]"}], "//",
|
|
"ListAnimate"}]], "Input",
|
|
CellChangeTimes->{{3.641915804503331*^9, 3.641915823563961*^9}, {
|
|
3.6419158686719418`*^9, 3.64191596222826*^9}, {3.64191600307093*^9,
|
|
3.641916009575115*^9}, {3.64191637272398*^9, 3.6419163753237553`*^9}, {
|
|
3.64191663918233*^9,
|
|
3.641916640374176*^9}},ExpressionUUID->"de9ec7c5-a31d-4ec5-a372-\
|
|
3fa951a3dd71"],
|
|
|
|
Cell[BoxData[
|
|
TagBox[
|
|
StyleBox[
|
|
DynamicModuleBox[{$CellContext`i3$$ = 1, Typeset`show$$ = True,
|
|
Typeset`bookmarkList$$ = {
|
|
"\"min\"" :> {$CellContext`i3$$ = 1},
|
|
"\"max\"" :> {$CellContext`i3$$ = 4}}, Typeset`bookmarkMode$$ = "Menu",
|
|
Typeset`animator$$, Typeset`animvar$$ = 1, Typeset`name$$ =
|
|
"\"untitled\"", Typeset`specs$$ = {{{
|
|
Hold[$CellContext`i3$$], 1, ""}, 1, 4, 1}}, Typeset`size$$ = Automatic,
|
|
Typeset`update$$ = 0, Typeset`initDone$$, Typeset`skipInitDone$$ =
|
|
True, $CellContext`i3$845$$ = 0},
|
|
PaneBox[
|
|
PanelBox[
|
|
DynamicWrapperBox[GridBox[{
|
|
{
|
|
ItemBox[
|
|
ItemBox[
|
|
TagBox[
|
|
StyleBox[GridBox[{
|
|
{"\<\"\"\>",
|
|
AnimatorBox[Dynamic[$CellContext`i3$$], {1, 4, 1},
|
|
AnimationRate->Automatic,
|
|
AnimationRunTime->0.,
|
|
AnimationRunning->False,
|
|
AnimationTimeIndex->0.,
|
|
|
|
AppearanceElements->{
|
|
"ProgressSlider", "PlayPauseButton", "FasterSlowerButtons",
|
|
"DirectionButton"},
|
|
AutoAction->False,
|
|
DisplayAllSteps->True]}
|
|
},
|
|
AutoDelete->False,
|
|
|
|
GridBoxAlignment->{
|
|
"Columns" -> {Right, {Left}}, "ColumnsIndexed" -> {},
|
|
"Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
|
|
|
|
GridBoxItemSize->{
|
|
"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}],
|
|
"ListAnimateLabel",
|
|
StripOnInput->False],
|
|
{"ControlArea", Top}],
|
|
Alignment->{Automatic, Inherited},
|
|
StripOnInput->False],
|
|
Background->None,
|
|
StripOnInput->False]},
|
|
{
|
|
ItemBox[
|
|
TagBox[
|
|
StyleBox[
|
|
PaneBox[
|
|
TagBox[
|
|
PaneSelectorBox[{1->
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, \
|
|
$CellContext`c, $CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1,
|
|
7}, {8, 2}, {9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5,
|
|
11}, {3, 10}, {2, 12}}}, {EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]}, UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`c] -> {
|
|
RGBColor[1, 0.5, 0.5]}, UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] -> {
|
|
GrayLevel[0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below]},
|
|
VertexStyle -> {$CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`r[2] ->
|
|
GrayLevel[0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`a ->
|
|
RGBColor[0, 1, 0], $CellContext`x ->
|
|
GrayLevel[0], $CellContext`e ->
|
|
RGBColor[0, 0, 1], $CellContext`d ->
|
|
RGBColor[1, 0, 0], $CellContext`c ->
|
|
GrayLevel[0], $CellContext`r[5] -> GrayLevel[0]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[
|
|
0.7]}], {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, \
|
|
{2.4125627214247567, 0.11052232272546894}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, \
|
|
{3.3695010945017367, -0.04101794969072023}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, \
|
|
{0.5997165896048855, 0.01801759014779472}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, \
|
|
{1.3700284277476897, -0.02534992252214971}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor ->
|
|
Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10], 2->
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, \
|
|
$CellContext`c, $CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1,
|
|
7}, {8, 2}, {9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5,
|
|
11}, {3, 10}, {2, 12}}}, {EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] ->
|
|
GrayLevel[0], UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`c] -> {
|
|
RGBColor[1, 0.5, 0.5]}, UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x ->
|
|
RGBColor[0, 0, 1], $CellContext`c ->
|
|
RGBColor[0, 0, 1], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] ->
|
|
GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[2] ->
|
|
GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`a ->
|
|
RGBColor[0, 1, 0], $CellContext`e ->
|
|
RGBColor[0, 0, 1], $CellContext`d ->
|
|
RGBColor[1, 0, 0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[
|
|
0.7]}], {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, \
|
|
{2.4125627214247567, 0.11052232272546894}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, \
|
|
{3.3695010945017367, -0.04101794969072023}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, \
|
|
{0.5997165896048855, 0.01801759014779472}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, \
|
|
{1.3700284277476897, -0.02534992252214971}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor ->
|
|
Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10], 3->
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, \
|
|
$CellContext`c, $CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1,
|
|
7}, {8, 2}, {9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5,
|
|
11}, {3, 10}, {2, 12}}}, {EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] ->
|
|
GrayLevel[0], UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`c] -> {
|
|
RGBColor[1, 0.5, 0.5]}, UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] ->
|
|
RGBColor[0, 0, 1], UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x ->
|
|
RGBColor[0, 1, 0], $CellContext`c ->
|
|
RGBColor[0, 0, 1], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] ->
|
|
GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 1, 0], $CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`r[2] ->
|
|
GrayLevel[0], $CellContext`a ->
|
|
RGBColor[0, 1, 0], $CellContext`e ->
|
|
RGBColor[0, 0, 1], $CellContext`d ->
|
|
RGBColor[1, 0, 0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[
|
|
0.7]}], {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x", Offset[{0, -2},
|
|
{2.3162372258899824, 1.1505367744236585}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, \
|
|
{2.4125627214247567, 0.11052232272546894}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, \
|
|
{3.3695010945017367, -0.04101794969072023}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, \
|
|
{0.5997165896048855, 0.01801759014779472}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, \
|
|
{1.3700284277476897, -0.02534992252214971}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor ->
|
|
Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10], 4->
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, \
|
|
$CellContext`c, $CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1,
|
|
7}, {8, 2}, {9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5,
|
|
11}, {3, 10}, {2, 12}}}, {EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] ->
|
|
GrayLevel[0], UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`c] -> {
|
|
RGBColor[1, 0.5, 0.5]}, UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] ->
|
|
RGBColor[0, 1, 0],
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] ->
|
|
RGBColor[0, 0, 1], UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x ->
|
|
RGBColor[0.5, 0, 0.5], $CellContext`c ->
|
|
RGBColor[0, 0, 1], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] ->
|
|
GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 1, 0], $CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[2] ->
|
|
GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`a ->
|
|
RGBColor[0.5, 0, 0.5], $CellContext`e ->
|
|
RGBColor[0, 0, 1], $CellContext`d ->
|
|
RGBColor[1, 0, 0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[
|
|
0.7]}], {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, \
|
|
{2.4125627214247567, 0.11052232272546894}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, \
|
|
{3.3695010945017367, -0.04101794969072023}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, \
|
|
{0.5997165896048855, 0.01801759014779472}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, \
|
|
{1.3700284277476897, -0.02534992252214971}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]},
|
|
InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor ->
|
|
Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10]}, Dynamic[$CellContext`i3$$],
|
|
Alignment->Automatic,
|
|
ImageSize->All,
|
|
TransitionDirection->Horizontal,
|
|
TransitionDuration->0.5,
|
|
TransitionEffect->Automatic],
|
|
Identity,
|
|
Editable->True,
|
|
Selectable->True],
|
|
ImageMargins->10],
|
|
Deployed->False,
|
|
StripOnInput->False,
|
|
ScriptLevel->0,
|
|
GraphicsBoxOptions->{PreserveImageOptions->True},
|
|
Graphics3DBoxOptions->{PreserveImageOptions->True}],
|
|
Identity,
|
|
Editable->False,
|
|
Selectable->False],
|
|
Alignment->{Left, Center},
|
|
Background->GrayLevel[1],
|
|
Frame->1,
|
|
FrameStyle->GrayLevel[0, 0.2],
|
|
ItemSize->Automatic,
|
|
StripOnInput->False]}
|
|
},
|
|
AutoDelete->False,
|
|
GridBoxAlignment->{
|
|
"Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Top}},
|
|
"RowsIndexed" -> {}},
|
|
GridBoxDividers->{
|
|
"Columns" -> {{False}}, "ColumnsIndexed" -> {}, "Rows" -> {{False}},
|
|
"RowsIndexed" -> {}},
|
|
GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}},
|
|
GridBoxSpacings->{"Columns" -> {
|
|
Offset[0.7], {
|
|
Offset[0.5599999999999999]},
|
|
Offset[0.7]}, "ColumnsIndexed" -> {}, "Rows" -> {
|
|
Offset[0.4], {
|
|
Offset[0.8]},
|
|
Offset[0.4]}, "RowsIndexed" -> {}}], If[
|
|
CurrentValue["SelectionOver"],
|
|
Manipulate`Dump`ReadControllerState[
|
|
Map[Manipulate`Dump`updateOneVar[#,
|
|
CurrentValue["PreviousFormatTime"],
|
|
CurrentValue["CurrentFormatTime"]]& , {
|
|
|
|
Manipulate`Dump`controllerLink[{$CellContext`i3$$, \
|
|
$CellContext`i3$845$$}, "X1",
|
|
If["DefaultAbsolute", True, "JB1"], False, {1, 4, 1}, 4, 1.]}],
|
|
CurrentValue[{
|
|
"ControllerData", {
|
|
"Gamepad", "Joystick", "Multi-Axis Controller"}}], {}]],
|
|
ImageSizeCache->{393., {121.384033203125, 127.115966796875}}],
|
|
DefaultBaseStyle->{},
|
|
FrameMargins->{{5, 5}, {5, 5}}],
|
|
BaselinePosition->Automatic,
|
|
ImageMargins->0],
|
|
Deinitialization:>None,
|
|
DynamicModuleValues:>{},
|
|
SynchronousInitialization->True,
|
|
UndoTrackedVariables:>{Typeset`show$$, Typeset`bookmarkMode$$},
|
|
UnsavedVariables:>{Typeset`initDone$$},
|
|
UntrackedVariables:>{Typeset`size$$}], "ListAnimate",
|
|
Deployed->True,
|
|
StripOnInput->False],
|
|
Manipulate`InterpretManipulate[1]]], "Output",
|
|
CellChangeTimes->{{3.6419159014710283`*^9, 3.641915915567976*^9}, {
|
|
3.641915963150084*^9, 3.641915966394824*^9}, {3.641916009944386*^9,
|
|
3.641916012920595*^9}, {3.641916359476516*^9, 3.6419163807281923`*^9}, {
|
|
3.6419166424598494`*^9, 3.641916645549389*^9}, 3.641917007745536*^9,
|
|
3.641917259808034*^9,
|
|
3.6419175194937067`*^9},ExpressionUUID->"825705dd-edfb-4505-a207-\
|
|
367e4f34e0d6"]
|
|
}, Open ]],
|
|
|
|
Cell[TextData[{
|
|
"Now let\[CloseCurlyQuote]s show an example where this doesn\
|
|
\[CloseCurlyQuote]t fall out so neatly. Let\[CloseCurlyQuote]s take a \
|
|
different colouring, where instead of terminating because ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "k"], TraditionalForm]],ExpressionUUID->
|
|
"fab03ec7-420a-4334-8720-7b8f85f5d5dd"],
|
|
" is missing from ",
|
|
Cell[BoxData[
|
|
FormBox["x", TraditionalForm]],ExpressionUUID->
|
|
"81a3a73c-bd49-40fc-ba4b-53f0c3869e30"],
|
|
", we terminate because some ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{
|
|
SubscriptBox["c", "i"], "=",
|
|
SubscriptBox["c", "j"]}], TraditionalForm]],ExpressionUUID->
|
|
"22d9193e-bc7d-4df4-85c2-5084242eba19"],
|
|
"."
|
|
}], "Text",
|
|
CellChangeTimes->{{3.6419160426271067`*^9, 3.641916070835239*^9}, {
|
|
3.641916205455433*^9, 3.6419162066706877`*^9}, {3.641916701623662*^9,
|
|
3.641916742008667*^9}, {3.6419170697316*^9, 3.641917069923462*^9}, {
|
|
3.7872501016726522`*^9,
|
|
3.7872501152490396`*^9}},ExpressionUUID->"b0444ab1-2534-46d1-82ed-\
|
|
c54f67e5caad"],
|
|
|
|
Cell[BoxData[{
|
|
RowBox[{
|
|
RowBox[{"gAlt", "=",
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"g", ",",
|
|
RowBox[{"c", "\[UndirectedEdge]", "d"}]}], "}"}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]", "Black"}]}], "]"}]}],
|
|
";"}], "\[IndentingNewLine]",
|
|
RowBox[{
|
|
RowBox[{"gAlt", "=",
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"gAlt", ",",
|
|
RowBox[{"d", "\[UndirectedEdge]", "e"}]}], "}"}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]", "Pink"}]}], "]"}]}],
|
|
";"}], "\[IndentingNewLine]",
|
|
RowBox[{
|
|
RowBox[{"gAlt", "=",
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"gAlt", ",",
|
|
RowBox[{"b", "\[UndirectedEdge]",
|
|
RowBox[{"r", "[", "1", "]"}]}]}], "}"}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]", "Purple"}]}], "]"}]}],
|
|
";"}], "\[IndentingNewLine]",
|
|
RowBox[{
|
|
RowBox[{"gAlt", "=",
|
|
RowBox[{"fixColours", "[", "gAlt", "]"}]}], ";"}]}], "Input",
|
|
CellChangeTimes->{{3.6419160870488167`*^9, 3.6419161800499573`*^9},
|
|
3.6419162109755173`*^9, {3.641916249602421*^9, 3.641916283471133*^9}, {
|
|
3.641916666681334*^9, 3.641916666736454*^9}, {3.6419170625587883`*^9,
|
|
3.641917063275887*^9}, {3.6419186106819572`*^9, 3.641918617857608*^9}, {
|
|
3.6419187814319153`*^9,
|
|
3.641918783344489*^9}},ExpressionUUID->"e12c3918-8d7e-417b-9f98-\
|
|
7a72872b6fc3"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData["gAlt"], "Input",
|
|
CellChangeTimes->{
|
|
3.641916145870661*^9, {3.641918620170003*^9,
|
|
3.641918620409832*^9}},ExpressionUUID->"3db62f7e-393c-415f-bda2-\
|
|
bbb6b03ec75b"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`d, $CellContext`c] ->
|
|
GrayLevel[0], UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] ->
|
|
RGBColor[1, 0.5, 0.5], UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> RGBColor[0.5, 0, 0.5],
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x -> GrayLevel[0], $CellContext`c ->
|
|
RGBColor[0, 1, 0], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] -> GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[2] -> GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`a -> RGBColor[0, 1, 0], $CellContext`e ->
|
|
GrayLevel[0], $CellContext`d -> RGBColor[1, 0, 0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, {2.4125627214247567, 0.11052232272546894}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, {3.3695010945017367, -0.04101794969072023}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, {0.5997165896048855, 0.01801759014779472}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, {1.3700284277476897, -0.02534992252214971}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10]], "Output",
|
|
CellChangeTimes->{
|
|
3.6419161460541553`*^9, 3.641916181033893*^9, 3.641916284440242*^9,
|
|
3.641916390516068*^9, 3.6419166685589533`*^9, {3.641917046734787*^9,
|
|
3.64191706437376*^9}, 3.641917267360475*^9, 3.64191752425211*^9, {
|
|
3.64191850688878*^9, 3.641918523159594*^9}, 3.641918620593876*^9,
|
|
3.641918785661046*^9, 3.641919064984177*^9,
|
|
3.641919253996276*^9},ExpressionUUID->"c34ab1b1-9824-4980-89e6-\
|
|
d7961d79b21a"]
|
|
}, Open ]],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"NestWhileList", "[",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"With", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"y", "=",
|
|
RowBox[{"findAdjacentVertexWithColour", "[",
|
|
RowBox[{"x", ",", "gAlt", ",",
|
|
RowBox[{"#", "[", "\"\<c\>\"", "]"}]}], "]"}]}], "}"}], ",",
|
|
RowBox[{"<|",
|
|
RowBox[{
|
|
RowBox[{"\"\<y\>\"", "\[Rule]", "y"}], ",",
|
|
RowBox[{"\"\<c\>\"", "\[Rule]",
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{"y", ",", "gAlt"}], "]"}]}]}], "|>"}]}], "]"}], "&"}], ",",
|
|
|
|
RowBox[{"<|",
|
|
RowBox[{
|
|
RowBox[{"\"\<y\>\"", "\[Rule]",
|
|
RowBox[{"y", "[", "1", "]"}]}], ",",
|
|
RowBox[{"\"\<c\>\"", "\[Rule]",
|
|
RowBox[{"findMissingColour", "[",
|
|
RowBox[{
|
|
RowBox[{"y", "[", "1", "]"}], ",", "gAlt"}], "]"}]}]}], "|>"}], ",",
|
|
RowBox[{
|
|
RowBox[{
|
|
RowBox[{"DeleteDuplicates", "[",
|
|
RowBox[{"Last", "/@",
|
|
RowBox[{"Tally", "[",
|
|
RowBox[{"Lookup", "[",
|
|
RowBox[{
|
|
RowBox[{"{", "##", "}"}], ",", "\"\<c\>\""}], "]"}], "]"}]}], "]"}],
|
|
"===",
|
|
RowBox[{"{", "1", "}"}]}], "&"}], ",", "All"}], "]"}]], "Input",
|
|
CellChangeTimes->{{3.641917089302258*^9, 3.6419170907884073`*^9}, {
|
|
3.641917216174037*^9, 3.641917222507267*^9}, {3.641918499352338*^9,
|
|
3.641918501798525*^9}, {3.641918625186743*^9,
|
|
3.6419186296427727`*^9}},ExpressionUUID->"08221c59-0bd3-44d5-b2d4-\
|
|
21e3eaba2a17"],
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"{",
|
|
RowBox[{
|
|
RowBox[{"\[LeftAssociation]",
|
|
RowBox[{
|
|
RowBox[{"\<\"y\"\>", "\[Rule]", "a"}], ",",
|
|
RowBox[{"\<\"c\"\>", "\[Rule]",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{RGBColor[0, 1, 0], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->RGBColor[0., 0.6666666666666666, 0.],
|
|
FrameTicks->None,
|
|
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"RGBColor[0, 1, 0]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = RGBColor[0, 1, 0];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["RGBColorValueSelector"], {
|
|
0, {Left, Bottom}}, {Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
RGBColor[0, 1, 0],
|
|
Editable->False,
|
|
Selectable->False]}]}], "\[RightAssociation]"}], ",",
|
|
RowBox[{"\[LeftAssociation]",
|
|
RowBox[{
|
|
RowBox[{"\<\"y\"\>", "\[Rule]", "b"}], ",",
|
|
RowBox[{"\<\"c\"\>", "\[Rule]",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{RGBColor[0, 0, 1], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->RGBColor[0., 0., 0.6666666666666666],
|
|
FrameTicks->None,
|
|
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"RGBColor[0, 0, 1]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = RGBColor[0, 0, 1];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["RGBColorValueSelector"], {
|
|
0, {Left, Bottom}}, {Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
RGBColor[0, 0, 1],
|
|
Editable->False,
|
|
Selectable->False]}]}], "\[RightAssociation]"}], ",",
|
|
RowBox[{"\[LeftAssociation]",
|
|
RowBox[{
|
|
RowBox[{"\<\"y\"\>", "\[Rule]", "c"}], ",",
|
|
RowBox[{"\<\"c\"\>", "\[Rule]",
|
|
InterpretationBox[
|
|
ButtonBox[
|
|
TooltipBox[
|
|
GraphicsBox[{
|
|
{GrayLevel[0], RectangleBox[{0, 0}]},
|
|
{GrayLevel[0], RectangleBox[{1, -1}]},
|
|
{RGBColor[0, 1, 0], RectangleBox[{0, -1}, {2, 1}]}},
|
|
AspectRatio->1,
|
|
Frame->True,
|
|
FrameStyle->RGBColor[0., 0.6666666666666666, 0.],
|
|
FrameTicks->None,
|
|
|
|
ImageSize->
|
|
Dynamic[{
|
|
Automatic,
|
|
1.35 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[
|
|
Magnification])}],
|
|
PlotRangePadding->None],
|
|
"RGBColor[0, 1, 0]"],
|
|
Appearance->None,
|
|
BaseStyle->{},
|
|
BaselinePosition->Baseline,
|
|
ButtonFunction:>With[{Typeset`box$ = EvaluationBox[]},
|
|
If[
|
|
Not[
|
|
AbsoluteCurrentValue["Deployed"]],
|
|
SelectionMove[Typeset`box$, All, Expression];
|
|
FrontEnd`Private`$ColorSelectorInitialAlpha = 1;
|
|
FrontEnd`Private`$ColorSelectorInitialColor = RGBColor[0, 1, 0];
|
|
FrontEnd`Private`$ColorSelectorUseMakeBoxes = True;
|
|
MathLink`CallFrontEnd[
|
|
FrontEnd`AttachCell[Typeset`box$,
|
|
FrontEndResource["RGBColorValueSelector"], {
|
|
0, {Left, Bottom}}, {Left, Top},
|
|
"ClosingActions" -> {
|
|
"SelectionDeparture", "ParentChanged", "EvaluatorQuit"}]]]],
|
|
DefaultBaseStyle->{},
|
|
Evaluator->Automatic,
|
|
Method->"Preemptive"],
|
|
RGBColor[0, 1, 0],
|
|
Editable->False,
|
|
Selectable->False]}]}], "\[RightAssociation]"}]}], "}"}]], "Output",
|
|
CellChangeTimes->{
|
|
3.641916196562036*^9, 3.6419163951690474`*^9, 3.641916747180719*^9, {
|
|
3.64191704853761*^9, 3.641917091348631*^9}, 3.6419172232960176`*^9,
|
|
3.641917272640559*^9, 3.641917525822534*^9, {3.641918503558304*^9,
|
|
3.641918528777129*^9}, 3.641918630233994*^9, 3.64191878870078*^9,
|
|
3.6419190674678698`*^9},ExpressionUUID->"6f61dd31-74a7-4d19-b8fd-\
|
|
3fdfd0c112b0"]
|
|
}, Open ]],
|
|
|
|
Cell[TextData[{
|
|
"Now we\[CloseCurlyQuote]ve terminated because we\[CloseCurlyQuote]ve hit \
|
|
green again, so we can\[CloseCurlyQuote]t just use the missing colour and \
|
|
chase it back: it\[CloseCurlyQuote]s already in use at the other end of the \
|
|
chain. Considering just the black-green components of the graph, ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{"x", ",",
|
|
SubscriptBox["y", "1"], ",",
|
|
SubscriptBox["y", "3"]}], TraditionalForm]],ExpressionUUID->
|
|
"d016ae88-42d1-403f-9e9c-cfb3f69fccdb"],
|
|
" all have degree 1 (since black or green is missing at all of them), but no \
|
|
vertex in the components can have degree more than 2 (because we\
|
|
\[CloseCurlyQuote]re only allowing black or green edges, so only two possible \
|
|
edges can go into any given vertex). Hence some ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["y", "1"], TraditionalForm]],ExpressionUUID->
|
|
"2105ff21-171c-4c20-8294-87324b9ffdc4"],
|
|
" or ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["y", "3"], TraditionalForm]],ExpressionUUID->
|
|
"b2f68ee6-2d61-4d5b-8555-e10479204615"],
|
|
" is disconnected from ",
|
|
Cell[BoxData[
|
|
FormBox["x", TraditionalForm]],ExpressionUUID->
|
|
"5efd12aa-f0dc-4b1a-833f-5ec99724a29e"],
|
|
" in that component. (In this case, both are: recall ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{
|
|
RowBox[{"c", "=",
|
|
SubscriptBox["y", "3"]}], ",",
|
|
RowBox[{"a", "=",
|
|
SubscriptBox["y", "1"]}]}], TraditionalForm]],ExpressionUUID->
|
|
"26d9535c-8d50-4ea5-a431-223141da3bf5"],
|
|
".)"
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641916404380842*^9, 3.641916482095039*^9}, {
|
|
3.641917082421741*^9, 3.641917201294134*^9}, {3.641917624681591*^9,
|
|
3.641917637097352*^9}, {3.787250126859424*^9,
|
|
3.787250175744115*^9}},ExpressionUUID->"8475c4d4-6929-4325-8d8b-\
|
|
333a3a96008d"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"components", "[",
|
|
RowBox[{"gAlt", ",",
|
|
RowBox[{"{",
|
|
RowBox[{"Green", ",", "Black"}], "}"}]}], "]"}]], "Input",
|
|
CellChangeTimes->{{3.641917344465158*^9, 3.641917349541675*^9}, {
|
|
3.6419175309729357`*^9, 3.641917572699438*^9}, {3.6419178356023493`*^9,
|
|
3.641917837801902*^9}, {3.641918633906784*^9, 3.641918634154868*^9}, {
|
|
3.6419189113269672`*^9,
|
|
3.641918916976817*^9}},ExpressionUUID->"29bde95b-4922-4fe2-9b75-\
|
|
39592c71ba8a"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`x, $CellContext`d] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] -> GrayLevel[0, 0],
|
|
UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> RGBColor[0, 1, 0],
|
|
UndirectedEdge[$CellContext`x, $CellContext`e] -> GrayLevel[0, 0],
|
|
UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`d, $CellContext`c] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`x, $CellContext`f] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> GrayLevel[0, 0],
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] -> RGBColor[0, 1, 0],
|
|
UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> GrayLevel[0, 0],
|
|
UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> GrayLevel[0],
|
|
UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> GrayLevel[0]}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x -> GrayLevel[0], $CellContext`c ->
|
|
RGBColor[0, 1, 0], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] -> GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[2] -> GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`a -> RGBColor[0, 1, 0], $CellContext`e ->
|
|
GrayLevel[0], $CellContext`d -> RGBColor[1, 0, 0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0], Opacity[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, {2.4125627214247567, 0.11052232272546894}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, {3.3695010945017367, -0.04101794969072023}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, {0.5997165896048855, 0.01801759014779472}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, {1.3700284277476897, -0.02534992252214971}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10]], "Output",
|
|
CellChangeTimes->{3.6419176091480103`*^9, 3.641917838390628*^9,
|
|
3.6419185336840553`*^9, 3.641918634621058*^9, 3.641918789761085*^9,
|
|
3.6419189172089853`*^9, 3.6419190689047117`*^9, 3.6419190997389383`*^9,
|
|
3.641919173139587*^9,
|
|
3.641919258264428*^9},ExpressionUUID->"003386b5-1592-49bf-86ae-\
|
|
a70778cfe22c"]
|
|
}, Open ]],
|
|
|
|
Cell[TextData[{
|
|
"If ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{
|
|
SubscriptBox["y", "1"], "=", "a"}], TraditionalForm]],ExpressionUUID->
|
|
"a6aa8576-ab8e-45ea-9934-61246bbd5f82"],
|
|
" is disconnected from ",
|
|
Cell[BoxData[
|
|
FormBox["x", TraditionalForm]],ExpressionUUID->
|
|
"0751e431-c132-4437-9b61-9906ad6358c8"],
|
|
" in the black-green component, we may swap ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "1"], TraditionalForm]],ExpressionUUID->
|
|
"ed419fcc-74ee-413e-8eeb-c361c7d46a7c"],
|
|
"for ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "x"], TraditionalForm]],ExpressionUUID->
|
|
"b879cffb-5e92-400e-997d-ce0af9900a0d"],
|
|
" on the ",
|
|
Cell[BoxData[
|
|
FormBox["a", TraditionalForm]],ExpressionUUID->
|
|
"809f2e85-85b6-4ed0-9b76-7249549eb0e3"],
|
|
"-component, then colour ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
RowBox[{"x", "\[UndirectedEdge]", "a"}], TraditionalForm]],ExpressionUUID->
|
|
"dcb6e580-6116-4338-be2d-df445a4a10d7"],
|
|
" in colour ",
|
|
Cell[BoxData[
|
|
FormBox[
|
|
SubscriptBox["c", "x"], TraditionalForm]],ExpressionUUID->
|
|
"53c194a8-ba0e-48f4-aeab-18fde5159a5e"],
|
|
"."
|
|
}], "Text",
|
|
CellChangeTimes->{{3.641916879164568*^9, 3.641916893292358*^9}, {
|
|
3.641917275140098*^9, 3.641917281732461*^9}, {3.641917645270216*^9,
|
|
3.641917684891663*^9}},ExpressionUUID->"7ba9380d-1a3a-489e-9822-\
|
|
0ad3f98d46fd"],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData["gAlt"], "Input",
|
|
CellChangeTimes->{{3.6419192858965883`*^9,
|
|
3.641919286425708*^9}},ExpressionUUID->"91541b68-3fee-4e83-9a86-\
|
|
1e01dee8ff64"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`d, $CellContext`c] ->
|
|
GrayLevel[0], UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] ->
|
|
RGBColor[1, 0.5, 0.5], UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> RGBColor[0.5, 0, 0.5],
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x -> GrayLevel[0], $CellContext`c ->
|
|
RGBColor[0, 1, 0], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] -> GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[2] -> GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`a -> RGBColor[0, 1, 0], $CellContext`e ->
|
|
GrayLevel[0], $CellContext`d -> RGBColor[1, 0, 0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, {2.4125627214247567, 0.11052232272546894}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, {3.3695010945017367, -0.04101794969072023}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, {0.5997165896048855, 0.01801759014779472}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, {1.3700284277476897, -0.02534992252214971}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10]], "Output",
|
|
CellChangeTimes->{3.641919286578751*^9,
|
|
3.641919325980955*^9},ExpressionUUID->"a11db334-50ca-46f3-9a7c-\
|
|
b50c315aa913"]
|
|
}, Open ]],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[
|
|
RowBox[{"gAlt", "=",
|
|
RowBox[{
|
|
RowBox[{"swapColoursOnComponent", "[",
|
|
RowBox[{"a", ",",
|
|
RowBox[{"{",
|
|
RowBox[{"Green", ",", "Black"}], "}"}], ",",
|
|
RowBox[{"{",
|
|
RowBox[{"Green", ",", "Black"}], "}"}], ",", "gAlt"}], "]"}], "//",
|
|
"fixColours"}]}]], "Input",
|
|
CellChangeTimes->{{3.6419190736476917`*^9, 3.6419190900076523`*^9}, {
|
|
3.641919337916753*^9, 3.641919339040348*^9}, {3.641919389375827*^9,
|
|
3.64191938993543*^9}},ExpressionUUID->"f0e82393-1838-41cb-a923-\
|
|
5c5cb0ccbdc4"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`d, $CellContext`c] ->
|
|
GrayLevel[0], UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> {
|
|
Dashing[{Small, Small}]},
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] ->
|
|
RGBColor[1, 0.5, 0.5], UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> RGBColor[0.5, 0, 0.5],
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> RGBColor[0, 1, 0],
|
|
UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x -> GrayLevel[0], $CellContext`c ->
|
|
RGBColor[0, 1, 0], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] -> GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`r[1] -> GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`r[2] -> GrayLevel[0], $CellContext`a ->
|
|
GrayLevel[0], $CellContext`e -> GrayLevel[0], $CellContext`d ->
|
|
RGBColor[1, 0, 0], $CellContext`r[3] -> RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{Dashing[{Small, Small}],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, {2.4125627214247567, 0.11052232272546894}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, {3.3695010945017367, -0.04101794969072023}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, {0.5997165896048855, 0.01801759014779472}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, {1.3700284277476897, -0.02534992252214971}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10]], "Output",
|
|
CellChangeTimes->{
|
|
3.6419190902870617`*^9, 3.641919188485182*^9, {3.641919261254608*^9,
|
|
3.641919279586417*^9}, {3.641919327989955*^9, 3.641919339381897*^9},
|
|
3.641919391502396*^9},ExpressionUUID->"11df7ce5-9266-4cb9-bcb1-\
|
|
58226280eae1"]
|
|
}, Open ]],
|
|
|
|
Cell[CellGroupData[{
|
|
|
|
Cell[BoxData[{
|
|
RowBox[{
|
|
RowBox[{"gAlt", "=",
|
|
RowBox[{"SetProperty", "[",
|
|
RowBox[{
|
|
RowBox[{"{",
|
|
RowBox[{"gAlt", ",",
|
|
RowBox[{"x", "\[UndirectedEdge]", "a"}]}], "}"}], ",",
|
|
RowBox[{"EdgeStyle", "\[Rule]", "cx"}]}], "]"}]}],
|
|
";"}], "\[IndentingNewLine]",
|
|
RowBox[{"fixColours", "[", "gAlt", "]"}]}], "Input",
|
|
CellChangeTimes->{{3.6419182911328382`*^9, 3.6419183031531343`*^9}, {
|
|
3.641918652756613*^9, 3.641918655802988*^9}, {3.641919374235784*^9,
|
|
3.641919386135269*^9}, {3.641920440191348*^9,
|
|
3.6419204402493877`*^9}},ExpressionUUID->"1013608f-34c9-45b9-b264-\
|
|
cdfafb617bb3"],
|
|
|
|
Cell[BoxData[
|
|
GraphicsBox[
|
|
NamespaceBox["NetworkGraphics",
|
|
DynamicModuleBox[{Typeset`graph = HoldComplete[
|
|
Graph[{$CellContext`x, $CellContext`a, $CellContext`b, $CellContext`c, \
|
|
$CellContext`d, $CellContext`e, $CellContext`f,
|
|
$CellContext`r[1],
|
|
$CellContext`r[2],
|
|
$CellContext`r[3],
|
|
$CellContext`r[4],
|
|
$CellContext`r[5]}, {
|
|
Null, {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}, {5, 6}, {1, 7}, {8, 2}, {
|
|
9, 5}, {10, 5}, {10, 9}, {5, 4}, {3, 8}, {5, 11}, {3, 10}, {2, 12}}}, {
|
|
EdgeStyle -> {
|
|
GrayLevel[0.5], UndirectedEdge[$CellContext`a,
|
|
$CellContext`r[5]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`d] -> {
|
|
RGBColor[1, 0.5, 0]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`c] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[
|
|
$CellContext`r[3], $CellContext`d] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[$CellContext`x, $CellContext`e] -> {
|
|
RGBColor[1, 0, 0]}, UndirectedEdge[
|
|
$CellContext`r[3],
|
|
$CellContext`r[2]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`d, $CellContext`c] ->
|
|
GrayLevel[0], UndirectedEdge[$CellContext`d,
|
|
$CellContext`r[4]] -> {
|
|
RGBColor[0, 0, 1]}, UndirectedEdge[$CellContext`x, $CellContext`f] -> {
|
|
RGBColor[1, 0.5, 0.5]},
|
|
UndirectedEdge[$CellContext`x, $CellContext`a] -> GrayLevel[0],
|
|
UndirectedEdge[$CellContext`d, $CellContext`e] ->
|
|
RGBColor[1, 0.5, 0.5], UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[1]] -> RGBColor[0.5, 0, 0.5],
|
|
UndirectedEdge[$CellContext`x, $CellContext`b] -> {
|
|
RGBColor[0, 1, 0]}, UndirectedEdge[
|
|
$CellContext`r[2], $CellContext`d] -> {
|
|
RGBColor[0.5, 0, 0.5]}, UndirectedEdge[
|
|
$CellContext`r[1], $CellContext`a] -> {
|
|
GrayLevel[0]}, UndirectedEdge[$CellContext`b,
|
|
$CellContext`r[3]] -> {
|
|
GrayLevel[0]}}, ImagePadding -> 10,
|
|
VertexLabels -> {$CellContext`r[3] -> Placed[
|
|
$CellContext`r[3], Below], $CellContext`b ->
|
|
Placed[$CellContext`b, Below], $CellContext`f ->
|
|
Placed[$CellContext`f, Below], $CellContext`r[2] -> Placed[
|
|
$CellContext`r[2], Below], $CellContext`e ->
|
|
Placed[$CellContext`e, Below], $CellContext`r[4] -> Placed[
|
|
$CellContext`r[4], Below], $CellContext`r[1] -> Placed[
|
|
$CellContext`r[1], Below], $CellContext`d ->
|
|
Placed[$CellContext`d, Below], $CellContext`x ->
|
|
Placed[$CellContext`x, Below], $CellContext`r[5] -> Placed[
|
|
$CellContext`r[5], Below], $CellContext`c ->
|
|
Placed[$CellContext`c, Below], $CellContext`a ->
|
|
Placed[$CellContext`a, Below]},
|
|
VertexStyle -> {$CellContext`x ->
|
|
RGBColor[0.5, 0, 0.5], $CellContext`c ->
|
|
RGBColor[0, 1, 0], $CellContext`r[4] ->
|
|
GrayLevel[0], $CellContext`r[5] -> GrayLevel[0], $CellContext`b ->
|
|
RGBColor[0, 0, 1], $CellContext`r[1] ->
|
|
RGBColor[0, 0, 1], $CellContext`r[2] -> GrayLevel[0], $CellContext`f ->
|
|
GrayLevel[0], $CellContext`a -> RGBColor[0, 1, 0], $CellContext`e ->
|
|
GrayLevel[0], $CellContext`d -> RGBColor[1, 0, 0], $CellContext`r[3] ->
|
|
RGBColor[0.5, 0, 0.5]}}]]},
|
|
TagBox[GraphicsGroupBox[{
|
|
{GrayLevel[0.5], Opacity[0.7],
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
3.6061364431746226`, 0.820457653564105}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.4125627214247567`, 0.15154027241618917`}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.624449130495393, 1.2516531320672237`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.3162372258899824`, 1.1915547241143787`}, {
|
|
2.8043279636388867`, 2.1541474159660585`}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{3.6061364431746226`, 0.820457653564105}, {
|
|
4.651645929987621, 0.8721054715965899}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
3.3695010945017367`, 0.}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{2.4125627214247567`, 0.15154027241618917`}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{GrayLevel[0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.624449130495393, 1.2516531320672237`}, {
|
|
1.0798159442146729`, 0.9051019880362128}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[1, 0.5, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.464661946988135, 1.7535326967780598`}}, 0.04101794969072023]}},
|
|
{RGBColor[0.5, 0, 0.5],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
0.5997165896048855, 0.05903553983851495}},
|
|
0.04101794969072023]}},
|
|
{RGBColor[0, 1, 0],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {
|
|
1.3700284277476897`, 0.01566802716857052}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{1.0798159442146729`, 0.9051019880362128}, {0.,
|
|
1.1738757119481797`}}, 0.04101794969072023]}},
|
|
{RGBColor[0, 0, 1],
|
|
{Arrowheads[0.],
|
|
ArrowBox[{{0.5997165896048855, 0.05903553983851495}, {
|
|
1.3700284277476897`, 0.01566802716857052}},
|
|
0.04101794969072023]}}},
|
|
{Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{2.3162372258899824, 1.1915547241143787},
|
|
0.04101794969072023]},
|
|
InsetBox["x",
|
|
Offset[{0, -2}, {2.3162372258899824, 1.1505367744236585}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{3.6061364431746226, 0.820457653564105},
|
|
0.04101794969072023]},
|
|
InsetBox["a",
|
|
Offset[{0, -2}, {3.6061364431746226, 0.7794397038733848}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{2.4125627214247567, 0.15154027241618917},
|
|
0.04101794969072023]},
|
|
InsetBox["b",
|
|
Offset[{0, -2}, {2.4125627214247567, 0.11052232272546894}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 1, 0],
|
|
DiskBox[{1.624449130495393, 1.2516531320672237},
|
|
0.04101794969072023]},
|
|
InsetBox["c",
|
|
Offset[{0, -2}, {1.624449130495393, 1.2106351823765036}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[1, 0, 0],
|
|
DiskBox[{1.0798159442146729, 0.9051019880362128},
|
|
0.04101794969072023]},
|
|
InsetBox["d",
|
|
Offset[{0, -2}, {1.0798159442146729, 0.8640840383454925}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{1.464661946988135, 1.7535326967780598},
|
|
0.04101794969072023]},
|
|
InsetBox["e",
|
|
Offset[{0, -2}, {1.464661946988135, 1.7125147470873396}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{2.8043279636388867, 2.1541474159660585},
|
|
0.04101794969072023]},
|
|
InsetBox["f",
|
|
Offset[{0, -2}, {2.8043279636388867, 2.113129466275338}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0, 0, 1],
|
|
DiskBox[{3.3695010945017367, 0.}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "1", ")"}],
|
|
Offset[{0, -2}, {3.3695010945017367, -0.04101794969072023}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0.5997165896048855, 0.05903553983851495},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "2", ")"}],
|
|
Offset[{0, -2}, {0.5997165896048855, 0.01801759014779472}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{RGBColor[0.5, 0, 0.5],
|
|
DiskBox[{1.3700284277476897, 0.01566802716857052},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "3", ")"}],
|
|
Offset[{0, -2}, {1.3700284277476897, -0.02534992252214971}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{0., 1.1738757119481797}, 0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "4", ")"}],
|
|
Offset[{0, -2}, {0., 1.1328577622574596}], ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}, {
|
|
{GrayLevel[0],
|
|
DiskBox[{4.651645929987621, 0.8721054715965899},
|
|
0.04101794969072023]}, InsetBox[
|
|
RowBox[{"r", "(", "5", ")"}],
|
|
Offset[{0, -2}, {4.651645929987621, 0.8310875219058697}],
|
|
ImageScaled[{0.5, 1}],
|
|
BaseStyle->"Graphics"]}}}],
|
|
MouseAppearanceTag["NetworkGraphics"]],
|
|
AllowKernelInitialization->False]],
|
|
DefaultBaseStyle->{
|
|
"NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]},
|
|
FrameTicks->None,
|
|
GridLinesStyle->Directive[
|
|
GrayLevel[0.5, 0.4]],
|
|
ImagePadding->10]], "Output",
|
|
CellChangeTimes->{3.641918303767446*^9, 3.641918656029922*^9,
|
|
3.641918795367406*^9, 3.6419193940426893`*^9,
|
|
3.64192404226779*^9},ExpressionUUID->"bd5a5159-c21f-457c-aa84-fc904925cd10"]
|
|
}, Open ]],
|
|
|
|
Cell["And this completes the colouring.", "Text",
|
|
CellChangeTimes->{{3.787250197704564*^9,
|
|
3.787250200591619*^9}},ExpressionUUID->"c4c18240-2d00-41c1-93e4-\
|
|
05c4158d710f"]
|
|
},
|
|
WindowSize->{734, 710},
|
|
WindowMargins->{{102, Automatic}, {4, Automatic}},
|
|
FrontEndVersion->"12.0 for Mac OS X x86 (64-bit) (April 8, 2019)",
|
|
StyleDefinitions->"Default.nb"
|
|
]
|
|
(* End of Notebook Content *)
|
|
|
|
(* Internal cache information *)
|
|
(*CellTagsOutline
|
|
CellTagsIndex->{}
|
|
*)
|
|
(*CellTagsIndex
|
|
CellTagsIndex->{}
|
|
*)
|
|
(*NotebookFileOutline
|
|
Notebook[{
|
|
Cell[CellGroupData[{
|
|
Cell[580, 22, 960, 24, 89, "Input",ExpressionUUID->"c8457522-6ac8-4f29-955b-6091a22c1dc3",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[1543, 48, 1642, 40, 173, "Input",ExpressionUUID->"16799764-62d3-45b2-82ad-c6007dfa5cb6",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[3188, 90, 1299, 33, 152, "Input",ExpressionUUID->"bd5c3d1f-12c6-45ca-8977-0d3e96bf464c",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[4490, 125, 585, 14, 68, "Input",ExpressionUUID->"b9a98f69-f16e-4ef4-a96d-d14988917bba",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[5078, 141, 1260, 33, 152, "Input",ExpressionUUID->"144382f1-a71c-4a2e-880e-93a89002655f",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[6341, 176, 1076, 26, 131, "Input",ExpressionUUID->"d6e23e66-f465-479b-bffc-4f89cb8682bf",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[7420, 204, 807, 22, 89, "Input",ExpressionUUID->"d892129f-3d2c-43e4-8607-21ed4ea45eba",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[8230, 228, 2655, 66, 257, "Input",ExpressionUUID->"cd5b974e-f03c-4875-8916-7b16fd50864e",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True],
|
|
Cell[10888, 296, 1270, 33, 173, "Input",ExpressionUUID->"812df581-fbf7-42ff-b6c0-7d0359b07396",
|
|
CellGroupingRules->{GroupTogetherGrouping, 10000.},
|
|
InitializationCell->True]
|
|
}, Open ]],
|
|
Cell[12173, 332, 533, 14, 46, "Input",ExpressionUUID->"a3da52de-6763-48a6-8f30-abc0e229fd1a",
|
|
InitializationCell->True],
|
|
Cell[12709, 348, 1615, 35, 68, "Input",ExpressionUUID->"70f35818-4be0-4038-a879-241514ec7fe7",
|
|
InitializationCell->True],
|
|
Cell[14327, 385, 173, 3, 35, "Text",ExpressionUUID->"e4da2e41-52f2-4749-82e7-9326bf09c031"],
|
|
Cell[CellGroupData[{
|
|
Cell[14525, 392, 326, 6, 46, "Input",ExpressionUUID->"ecfef14e-860c-4245-8559-ee3cdf14e765",
|
|
InitializationCell->True],
|
|
Cell[14854, 400, 4792, 102, 197, "Output",ExpressionUUID->"c41db016-54f0-44d9-9af0-19f6f96e2aff"]
|
|
}, Open ]],
|
|
Cell[19661, 505, 431, 10, 46, "Input",ExpressionUUID->"64bed0a3-f802-4850-9d2b-264478bef4d5",
|
|
InitializationCell->True],
|
|
Cell[20095, 517, 470, 12, 35, "Text",ExpressionUUID->"7bfa439d-9389-447f-a569-d7684b85214d"],
|
|
Cell[CellGroupData[{
|
|
Cell[20590, 533, 3325, 84, 194, "Input",ExpressionUUID->"a9dfc4ce-a45e-4e28-ab42-c2aa1c1cfc2a",
|
|
InitializationCell->True],
|
|
Cell[23918, 619, 9442, 193, 204, "Output",ExpressionUUID->"94a0675f-4eda-42b1-935d-35666ba5a15f"]
|
|
}, Open ]],
|
|
Cell[33375, 815, 539, 12, 58, "Text",ExpressionUUID->"5af22b63-b3f7-45c3-8626-f0d759b5bf2a"],
|
|
Cell[33917, 829, 357, 8, 58, "Text",ExpressionUUID->"a3eee9f9-f2b0-457d-b856-d6a7dc377208"],
|
|
Cell[CellGroupData[{
|
|
Cell[34299, 841, 256, 6, 30, "Input",ExpressionUUID->"9f72cf33-a0fd-4d04-b81d-d619acee73c6"],
|
|
Cell[34558, 849, 10797, 229, 204, "Output",ExpressionUUID->"f81117be-9ef3-4b8d-b8b8-8e8cd4c0d94b"]
|
|
}, Open ]],
|
|
Cell[45370, 1081, 511, 15, 35, "Text",ExpressionUUID->"f0b3d91a-0f5e-4e5d-9903-7e02e86203fe"],
|
|
Cell[45884, 1098, 316, 7, 30, "Input",ExpressionUUID->"ae04e9f0-612e-404d-a8b9-4938d132e2e0"],
|
|
Cell[46203, 1107, 852, 27, 35, "Text",ExpressionUUID->"0c55582e-7589-49c4-830e-75f848a84341"],
|
|
Cell[47058, 1136, 603, 15, 52, "Input",ExpressionUUID->"a3742cac-e63c-4323-99bf-3a86be2e5ebf"],
|
|
Cell[CellGroupData[{
|
|
Cell[47686, 1155, 305, 8, 30, "Input",ExpressionUUID->"843350da-84a6-4892-a904-51a78c5bbd00"],
|
|
Cell[47994, 1165, 1776, 48, 34, "Output",ExpressionUUID->"b175cc4d-bcc9-4639-9c30-241ba1edf9e2"]
|
|
}, Open ]],
|
|
Cell[49785, 1216, 788, 22, 61, "Text",ExpressionUUID->"c3403122-30a0-449b-a214-ebe08d5dd085"],
|
|
Cell[CellGroupData[{
|
|
Cell[50598, 1242, 1343, 36, 115, "Input",ExpressionUUID->"83602dde-aff9-4fc4-b123-12c1111af3c2"],
|
|
Cell[51944, 1280, 535, 11, 24, "Message",ExpressionUUID->"fc134831-c1e9-4a93-bbd0-139963e3b625"],
|
|
Cell[52482, 1293, 7585, 196, 37, "Output",ExpressionUUID->"c2ee57d5-5e33-4c2e-a81b-e703ab83e530"]
|
|
}, Open ]],
|
|
Cell[60082, 1492, 1067, 30, 58, "Text",ExpressionUUID->"54ffcf63-829c-4da4-9473-789fdfd1082a"],
|
|
Cell[CellGroupData[{
|
|
Cell[61174, 1526, 898, 24, 52, "Input",ExpressionUUID->"de9ec7c5-a31d-4ec5-a372-3fa951a3dd71"],
|
|
Cell[62075, 1552, 58320, 1116, 281, "Output",ExpressionUUID->"825705dd-edfb-4505-a207-367e4f34e0d6"]
|
|
}, Open ]],
|
|
Cell[120410, 2671, 1027, 26, 61, "Text",ExpressionUUID->"b0444ab1-2534-46d1-82ed-c54f67e5caad"],
|
|
Cell[121440, 2699, 1397, 38, 94, "Input",ExpressionUUID->"e12c3918-8d7e-417b-9f98-7a72872b6fc3"],
|
|
Cell[CellGroupData[{
|
|
Cell[122862, 2741, 182, 4, 30, "Input",ExpressionUUID->"3db62f7e-393c-415f-bda2-bbb6b03ec75b"],
|
|
Cell[123047, 2747, 10995, 232, 204, "Output",ExpressionUUID->"c34ab1b1-9824-4980-89e6-d7961d79b21a"]
|
|
}, Open ]],
|
|
Cell[CellGroupData[{
|
|
Cell[134079, 2984, 1475, 40, 115, "Input",ExpressionUUID->"08221c59-0bd3-44d5-b2d4-21e3eaba2a17"],
|
|
Cell[135557, 3026, 5729, 147, 37, "Output",ExpressionUUID->"6f61dd31-74a7-4d19-b8fd-3fdfd0c112b0"]
|
|
}, Open ]],
|
|
Cell[141301, 3176, 1764, 43, 150, "Text",ExpressionUUID->"8475c4d4-6929-4325-8d8b-333a3a96008d"],
|
|
Cell[CellGroupData[{
|
|
Cell[143090, 3223, 471, 10, 30, "Input",ExpressionUUID->"29bde95b-4922-4fe2-9b75-39592c71ba8a"],
|
|
Cell[143564, 3235, 10809, 226, 204, "Output",ExpressionUUID->"003386b5-1592-49bf-86ae-a70778cfe22c"]
|
|
}, Open ]],
|
|
Cell[154388, 3464, 1316, 40, 58, "Text",ExpressionUUID->"7ba9380d-1a3a-489e-9822-0ad3f98d46fd"],
|
|
Cell[CellGroupData[{
|
|
Cell[155729, 3508, 158, 3, 30, "Input",ExpressionUUID->"91541b68-3fee-4e83-9a86-1e01dee8ff64"],
|
|
Cell[155890, 3513, 10684, 227, 204, "Output",ExpressionUUID->"a11db334-50ca-46f3-9a7c-b50c315aa913"]
|
|
}, Open ]],
|
|
Cell[CellGroupData[{
|
|
Cell[166611, 3745, 533, 13, 52, "Input",ExpressionUUID->"f0e82393-1838-41cb-a923-5c5cb0ccbdc4"],
|
|
Cell[167147, 3760, 10784, 228, 204, "Output",ExpressionUUID->"11df7ce5-9266-4cb9-bcb1-58226280eae1"]
|
|
}, Open ]],
|
|
Cell[CellGroupData[{
|
|
Cell[177968, 3993, 623, 15, 52, "Input",ExpressionUUID->"1013608f-34c9-45b9-b264-cdfafb617bb3"],
|
|
Cell[178594, 4010, 10744, 227, 204, "Output",ExpressionUUID->"bd5a5159-c21f-457c-aa84-fc904925cd10"]
|
|
}, Open ]],
|
|
Cell[189353, 4240, 175, 3, 35, "Text",ExpressionUUID->"c4c18240-2d00-41c1-93e4-05c4158d710f"]
|
|
}
|
|
]
|
|
*)
|
|
|