暂无描述

graph_test.go 6.6KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298
  1. package graph
  2. import (
  3. "fmt"
  4. "testing"
  5. )
  6. func edgeDebugString(edge *Edge) string {
  7. debug := ""
  8. debug += fmt.Sprintf("\t\tSrc: %p\n", edge.Src)
  9. debug += fmt.Sprintf("\t\tDest: %p\n", edge.Dest)
  10. debug += fmt.Sprintf("\t\tResidual: %t\n", edge.Residual)
  11. debug += fmt.Sprintf("\t\tInline: %t\n", edge.Inline)
  12. return debug
  13. }
  14. func edgeMapsDebugString(in, out EdgeMap) string {
  15. debug := ""
  16. debug += "In Edges:\n"
  17. for parent, edge := range in {
  18. debug += fmt.Sprintf("\tParent: %p\n", parent)
  19. debug += edgeDebugString(edge)
  20. }
  21. debug += "Out Edges:\n"
  22. for child, edge := range out {
  23. debug += fmt.Sprintf("\tChild: %p\n", child)
  24. debug += edgeDebugString(edge)
  25. }
  26. return debug
  27. }
  28. func graphDebugString(graph *Graph) string {
  29. debug := ""
  30. for i, node := range graph.Nodes {
  31. debug += fmt.Sprintf("Node %d: %p\n", i, node)
  32. }
  33. for i, node := range graph.Nodes {
  34. debug += "\n"
  35. debug += fmt.Sprintf("=== Node %d: %p ===\n", i, node)
  36. debug += edgeMapsDebugString(node.In, node.Out)
  37. }
  38. return debug
  39. }
  40. func expectedNodesDebugString(Expected []ExpectedNode) string {
  41. debug := ""
  42. for i, node := range Expected {
  43. debug += fmt.Sprintf("Node %d: %p\n", i, node.Node)
  44. }
  45. for i, node := range Expected {
  46. debug += "\n"
  47. debug += fmt.Sprintf("=== Node %d: %p ===\n", i, node.Node)
  48. debug += edgeMapsDebugString(node.In, node.Out)
  49. }
  50. return debug
  51. }
  52. // Checks if two edges are equal
  53. func edgesEqual(this, that *Edge) bool {
  54. return this.Src == that.Src && this.Dest == that.Dest &&
  55. this.Residual == that.Residual && this.Inline == that.Inline
  56. }
  57. // Checks if all the edges in this equal all the edges in that.
  58. func edgeMapsEqual(this, that EdgeMap) bool {
  59. if len(this) != len(that) {
  60. return false
  61. }
  62. for node, thisEdge := range this {
  63. if !edgesEqual(thisEdge, that[node]) {
  64. return false
  65. }
  66. }
  67. return true
  68. }
  69. // Check if node is equal to Expected
  70. func nodesEqual(node *Node, Expected ExpectedNode) bool {
  71. return node == Expected.Node && edgeMapsEqual(node.In, Expected.In) &&
  72. edgeMapsEqual(node.Out, Expected.Out)
  73. }
  74. // Check if the graph equals the one templated by Expected.
  75. func graphsEqual(graph *Graph, Expected []ExpectedNode) bool {
  76. if len(graph.Nodes) != len(Expected) {
  77. return false
  78. }
  79. ExpectedSet := make(map[*Node]ExpectedNode)
  80. for i := range Expected {
  81. ExpectedSet[Expected[i].Node] = Expected[i]
  82. }
  83. for _, node := range graph.Nodes {
  84. ExpectedNode, found := ExpectedSet[node]
  85. if !found || !nodesEqual(node, ExpectedNode) {
  86. return false
  87. }
  88. }
  89. return true
  90. }
  91. type ExpectedNode struct {
  92. Node *Node
  93. In, Out EdgeMap
  94. }
  95. type TrimTreeTestCase struct {
  96. Initial *Graph
  97. Expected []ExpectedNode
  98. Keep NodeSet
  99. }
  100. // Makes the edge from parent to child residual
  101. func makeExpectedEdgeResidual(parent, child ExpectedNode) {
  102. parent.Out[child.Node].Residual = true
  103. child.In[parent.Node].Residual = true
  104. }
  105. // Creates a directed edges from the parent to each of the children
  106. func createEdges(parent *Node, children ...*Node) {
  107. for _, child := range children {
  108. edge := &Edge{
  109. Src: parent,
  110. Dest: child,
  111. }
  112. parent.Out[child] = edge
  113. child.In[parent] = edge
  114. }
  115. }
  116. // Creates a node without any edges
  117. func createEmptyNode() *Node {
  118. return &Node{
  119. In: make(EdgeMap),
  120. Out: make(EdgeMap),
  121. }
  122. }
  123. // Creates an array of ExpectedNodes from nodes.
  124. func createExpectedNodes(nodes ...*Node) ([]ExpectedNode, NodeSet) {
  125. Expected := make([]ExpectedNode, len(nodes))
  126. Keep := NodeSet{
  127. Ptr: make(map[*Node]bool, len(nodes)),
  128. }
  129. for i, node := range nodes {
  130. Expected[i] = ExpectedNode{
  131. Node: node,
  132. In: make(EdgeMap),
  133. Out: make(EdgeMap),
  134. }
  135. Keep.Ptr[node] = true
  136. }
  137. return Expected, Keep
  138. }
  139. // Creates a directed edges from the parent to each of the children
  140. func createExpectedEdges(parent ExpectedNode, children ...ExpectedNode) {
  141. for _, child := range children {
  142. edge := &Edge{
  143. Src: parent.Node,
  144. Dest: child.Node,
  145. }
  146. parent.Out[child.Node] = edge
  147. child.In[parent.Node] = edge
  148. }
  149. }
  150. // The first test case looks like:
  151. // 0
  152. // |
  153. // 1
  154. // / \
  155. // 2 3
  156. //
  157. // After Keeping 0, 2, 3. We should see:
  158. // 0
  159. // / \
  160. // 2 3
  161. func createTestCase1() TrimTreeTestCase {
  162. // Create Initial graph
  163. graph := &Graph{make(Nodes, 4)}
  164. nodes := graph.Nodes
  165. for i := range nodes {
  166. nodes[i] = createEmptyNode()
  167. }
  168. createEdges(nodes[0], nodes[1])
  169. createEdges(nodes[1], nodes[2], nodes[3])
  170. // Create Expected graph
  171. Expected, Keep := createExpectedNodes(nodes[0], nodes[2], nodes[3])
  172. createExpectedEdges(Expected[0], Expected[1], Expected[2])
  173. makeExpectedEdgeResidual(Expected[0], Expected[1])
  174. makeExpectedEdgeResidual(Expected[0], Expected[2])
  175. return TrimTreeTestCase{
  176. Initial: graph,
  177. Expected: Expected,
  178. Keep: Keep,
  179. }
  180. }
  181. // This test case looks like:
  182. // 3
  183. // |
  184. // 1
  185. // |
  186. // 2
  187. // |
  188. // 0
  189. // |
  190. // 4
  191. //
  192. // After Keeping 3 and 4. We should see:
  193. // 3
  194. // |
  195. // 4
  196. func createTestCase2() TrimTreeTestCase {
  197. // Create Initial graph
  198. graph := &Graph{make(Nodes, 5)}
  199. nodes := graph.Nodes
  200. for i := range nodes {
  201. nodes[i] = createEmptyNode()
  202. }
  203. createEdges(nodes[3], nodes[1])
  204. createEdges(nodes[1], nodes[2])
  205. createEdges(nodes[2], nodes[0])
  206. createEdges(nodes[0], nodes[4])
  207. // Create Expected graph
  208. Expected, Keep := createExpectedNodes(nodes[3], nodes[4])
  209. createExpectedEdges(Expected[0], Expected[1])
  210. makeExpectedEdgeResidual(Expected[0], Expected[1])
  211. return TrimTreeTestCase{
  212. Initial: graph,
  213. Expected: Expected,
  214. Keep: Keep,
  215. }
  216. }
  217. // If we trim an empty graph it should still be empty afterwards
  218. func createTestCase3() TrimTreeTestCase {
  219. graph := &Graph{make(Nodes, 0)}
  220. Expected, Keep := createExpectedNodes()
  221. return TrimTreeTestCase{
  222. Initial: graph,
  223. Expected: Expected,
  224. Keep: Keep,
  225. }
  226. }
  227. // This test case looks like:
  228. // 0
  229. //
  230. // After Keeping 0. We should see:
  231. // 0
  232. func createTestCase4() TrimTreeTestCase {
  233. graph := &Graph{make(Nodes, 1)}
  234. nodes := graph.Nodes
  235. for i := range nodes {
  236. nodes[i] = createEmptyNode()
  237. }
  238. Expected, Keep := createExpectedNodes(nodes[0])
  239. return TrimTreeTestCase{
  240. Initial: graph,
  241. Expected: Expected,
  242. Keep: Keep,
  243. }
  244. }
  245. func createTrimTreeTestCases() []TrimTreeTestCase {
  246. caseGenerators := []func() TrimTreeTestCase{
  247. createTestCase1,
  248. createTestCase2,
  249. createTestCase3,
  250. createTestCase4,
  251. }
  252. cases := make([]TrimTreeTestCase, len(caseGenerators))
  253. for i, gen := range caseGenerators {
  254. cases[i] = gen()
  255. }
  256. return cases
  257. }
  258. func TestTrimTree(t *testing.T) {
  259. tests := createTrimTreeTestCases()
  260. for _, test := range tests {
  261. graph := test.Initial
  262. graph.TrimTree(test.Keep)
  263. if !graphsEqual(graph, test.Expected) {
  264. t.Fatalf("Graphs do not match.\nExpected: %s\nFound: %s\n",
  265. expectedNodesDebugString(test.Expected),
  266. graphDebugString(graph))
  267. }
  268. }
  269. }