My Pastes
Public Pastes
Layout Width
Share Pastebin
Guest
Public paste!

Untitled

By: a guest | Mar 21st, 2010 | Syntax: OCaml | Size: 4.55 KB | Hits: 66 | Expires: Never
Download | Raw | Embed | Report abuse
This paste has a previous version, view the difference. Copy text to clipboard
  1. # let t = let l, _ = alphabeta g MInf PInf 2 in B l;;
  2. val t : tree =
  3.   B
  4.    [Node ((N 9, Dep ((3, 1), (3, 3))),
  5.      [Node ((N (-9), Dep ((3, 6), (3, 4))),
  6.        [Leaf (N 9, Dep ((2, 0), (5, 3))); Leaf (N 9, Dep ((2, 0), (4, 2)));
  7.         Leaf (N 7, Dep ((4, 1), (4, 3)))]);
  8.       Node ((N (-10), Dep ((6, 7), (5, 5))),
  9.        [Leaf (N 10, Dep ((2, 0), (4, 2))); Leaf (N 10, Dep ((2, 0), (5, 3)));
  10.         Leaf (N 8, Dep ((4, 1), (4, 3)))]);
  11.       Node ((N (-52), Dep ((4, 6), (4, 4))),
  12.        [Leaf (N 52, Dep ((3, 3), (4, 4))); Leaf (N 8, Dep ((2, 0), (5, 3)));
  13.         Leaf (N 8, Dep ((2, 0), (4, 2)))])]);
  14.     Node ((N 9, Dep ((4, 1), (4, 3))),
  15.      [Node ((N (-9), Dep ((4, 6), (4, 4))),
  16.        [Leaf (N 9, Dep ((5, 0), (2, 3))); Leaf (N 9, Dep ((5, 0), (3, 2)));
  17.         Leaf (N 6, Dep ((3, 1), (3, 3)))]);
  18.       Node ((N (-11), Dep ((6, 7), (5, 5))),
  19.        [Leaf (N 11, Dep ((5, 0), (3, 2))); Leaf (N 11, Dep ((5, 0), (2, 3)));
  20.         Leaf (N 8, Dep ((3, 1), (3, 3)))]);
  21.       Node ((N (-51), Dep ((3, 6), (3, 4))),
  22.        [Leaf (N 51, Dep ((4, 3), (3, 4))); Leaf ...]); ...]);
  23.      ...]
  24. # print_tree t;;
  25. |    Dep((3, 1), (3, 3)) : 9
  26. |    |    Dep((3, 6), (3, 4)) : -9
  27. |    |    |    Dep((2, 0), (5, 3)) : 9
  28. |    |    |    Dep((2, 0), (4, 2)) : 9
  29. |    |    |    Dep((4, 1), (4, 3)) : 7
  30. |    |    Dep((6, 7), (5, 5)) : -10
  31. |    |    |    Dep((2, 0), (4, 2)) : 10
  32. |    |    |    Dep((2, 0), (5, 3)) : 10
  33. |    |    |    Dep((4, 1), (4, 3)) : 8
  34. |    |    Dep((4, 6), (4, 4)) : -52
  35. |    |    |    Dep((3, 3), (4, 4)) : 52
  36. |    |    |    Dep((2, 0), (5, 3)) : 8
  37. |    |    |    Dep((2, 0), (4, 2)) : 8
  38. |    Dep((4, 1), (4, 3)) : 9
  39. |    |    Dep((4, 6), (4, 4)) : -9
  40. |    |    |    Dep((5, 0), (2, 3)) : 9
  41. |    |    |    Dep((5, 0), (3, 2)) : 9
  42. |    |    |    Dep((3, 1), (3, 3)) : 6
  43. |    |    Dep((6, 7), (5, 5)) : -11
  44. |    |    |    Dep((5, 0), (3, 2)) : 11
  45. |    |    |    Dep((5, 0), (2, 3)) : 11
  46. |    |    |    Dep((3, 1), (3, 3)) : 8
  47. |    |    Dep((3, 6), (3, 4)) : -51
  48. |    |    |    Dep((4, 3), (3, 4)) : 51
  49. |    |    |    Dep((5, 0), (3, 2)) : 10
  50. |    |    |    Dep((5, 0), (2, 3)) : 10
  51. |    Dep((6, 0), (5, 2)) : 6
  52. |    |    Dep((3, 6), (3, 4)) : -6
  53. |    |    |    Dep((4, 1), (4, 3)) : 6
  54. |    |    |    Dep((3, 1), (3, 3)) : 5
  55. |    |    |    Dep((5, 2), (4, 4)) : 5
  56. |    |    Dep((4, 6), (4, 4)) : -56
  57. |    |    |    Dep((5, 2), (4, 4)) : 56
  58. |    |    |    Dep((4, 1), (4, 3)) : 5
  59. |    |    |    Dep((3, 1), (3, 3)) : 4
  60. |    |    Dep((6, 7), (5, 5)) : 0
  61. - : unit = ()
  62. # let t' = let l, _ = alphabeta g MInf PInf 1 in B l;;
  63. val t' : tree =
  64.   B
  65.    [Node ((N 0, Dep ((4, 1), (4, 3))),
  66.      [Leaf (N 0, Dep ((4, 6), (4, 4))); Leaf (N (-1), Dep ((3, 6), (3, 4)));
  67.       Leaf (N (-2), Dep ((6, 7), (5, 5)))]);
  68.     Node ((N (-1), Dep ((3, 1), (3, 3))),
  69.      [Leaf (N 1, Dep ((4, 6), (4, 4))); Leaf (N 0, Dep ((3, 6), (3, 4)));
  70.       Leaf (N (-1), Dep ((6, 7), (5, 5)))]);
  71.     Node ((N (-2), Dep ((6, 0), (5, 2))),
  72.      [Leaf (N 2, Dep ((4, 6), (4, 4))); Leaf (N 1, Dep ((3, 6), (3, 4)));
  73.       Leaf (N 0, Dep ((6, 7), (5, 5)))])]
  74. # print_tree (prolonge_tree g MInf PInf 2 t');;
  75. |    Dep((3, 1), (3, 3)) : 9
  76. |    |    Dep((3, 6), (3, 4)) : -9
  77. |    |    |    Dep((2, 0), (5, 3)) : 9
  78. |    |    |    Dep((2, 0), (4, 2)) : 9
  79. |    |    |    Dep((4, 1), (4, 3)) : 7
  80. |    |    Dep((6, 7), (5, 5)) : -10
  81. |    |    |    Dep((2, 0), (4, 2)) : 10
  82. |    |    |    Dep((2, 0), (5, 3)) : 10
  83. |    |    |    Dep((4, 1), (4, 3)) : 8
  84. |    |    Dep((4, 6), (4, 4)) : -52
  85. |    |    |    Dep((3, 3), (4, 4)) : 52
  86. |    |    |    Dep((2, 0), (5, 3)) : 8
  87. |    |    |    Dep((2, 0), (4, 2)) : 8
  88. |    Dep((4, 1), (4, 3)) : 9
  89. |    |    Dep((4, 6), (4, 4)) : -9
  90. |    |    |    Dep((5, 0), (2, 3)) : 9
  91. |    |    |    Dep((5, 0), (3, 2)) : 9
  92. |    |    |    Dep((3, 1), (3, 3)) : 6
  93. |    |    Dep((6, 7), (5, 5)) : -11
  94. |    |    |    Dep((5, 0), (3, 2)) : 11
  95. |    |    |    Dep((5, 0), (2, 3)) : 11
  96. |    |    |    Dep((3, 1), (3, 3)) : 8
  97. |    |    Dep((3, 6), (3, 4)) : -51
  98. |    |    |    Dep((4, 3), (3, 4)) : 51
  99. |    |    |    Dep((5, 0), (3, 2)) : 10
  100. |    |    |    Dep((5, 0), (2, 3)) : 10
  101. |    Dep((6, 0), (5, 2)) : 6
  102. |    |    Dep((3, 6), (3, 4)) : -6
  103. |    |    |    Dep((4, 1), (4, 3)) : 6
  104. |    |    |    Dep((3, 1), (3, 3)) : 5
  105. |    |    |    Dep((5, 2), (4, 4)) : 5
  106. |    |    Dep((6, 7), (5, 5)) : -7
  107. |    |    |    Dep((4, 1), (4, 3)) : 7
  108. |    |    |    Dep((5, 2), (4, 4)) : 6
  109. |    |    |    Dep((3, 1), (3, 3)) : 6
  110. |    |    Dep((4, 6), (4, 4)) : -56
  111. |    |    |    Dep((5, 2), (4, 4)) : 56
  112. |    |    |    Dep((4, 1), (4, 3)) : 5
  113. |    |    |    Dep((3, 1), (3, 3)) : 4
create new paste | create new version of this paste RAW Paste Data