1 12687dd9 2023-08-04 jrmu ;; The first three lines of this file were inserted by DrScheme. They record metadata
2 12687dd9 2023-08-04 jrmu ;; about the language level of this file in a form that our tools can easily process.
3 12687dd9 2023-08-04 jrmu #reader(lib "htdp-advanced-reader.ss" "lang")((modname |32.3|) (read-case-sensitive #t) (teachpacks ((lib "draw.ss" "teachpack" "htdp") (lib "arrow.ss" "teachpack" "htdp") (lib "gui.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #t #t none #f ((lib "draw.ss" "teachpack" "htdp") (lib "arrow.ss" "teachpack" "htdp") (lib "gui.ss" "teachpack" "htdp")))))
4 12687dd9 2023-08-04 jrmu ;A solitaire board (board) is a (vectorof (vectorof booleans)), where true represents a filled square, false an empty square. In particular, for any given board, the n-th element is a vector containing n booleans. We call a triangular board with n-pegs to a side a size-n triangle. For example, the representation of a size-4 equilaterial triangular board:
6 12687dd9 2023-08-04 jrmu ;(vector (vector false)
7 12687dd9 2023-08-04 jrmu ; (vector true true)
8 12687dd9 2023-08-04 jrmu ; (vector true true true)
9 12687dd9 2023-08-04 jrmu ; (vector true true true true))
11 12687dd9 2023-08-04 jrmu ;enabled? : posn board -> boolean
12 12687dd9 2023-08-04 jrmu ;Determines whether or not the peg specified by aposn is enabled in aboard (enabled means that the peg is capable of jumping). The top position of the board has the index (make-posn 1 1). The vertical axis is denoted by y, the horizontal by x.
14 12687dd9 2023-08-04 jrmu ;next-peg-x represents the x-index where the peg will jump to if it jumps to the right
15 12687dd9 2023-08-04 jrmu ;next-peg-y represents the y-index where the peg will jump to if it jumps down
16 12687dd9 2023-08-04 jrmu ;prev-peg-x represents the x-index ... if the peg jumps to the left
17 12687dd9 2023-08-04 jrmu ;prev-peg-x represents the y-index ... if the peg jumps up
18 12687dd9 2023-08-04 jrmu ;need-length-x represents the necessary horizontal length of the board to jump to the right
19 12687dd9 2023-08-04 jrmu ;need-length-y represents the necessary vertical length of the board to jump down
20 12687dd9 2023-08-04 jrmu ;next-peg-x-removes represents the x-index of the peg that will be removed if the peg is jumped, etc.
22 12687dd9 2023-08-04 jrmu (define (enabled? aposn aboard)
23 12687dd9 2023-08-04 jrmu (local ((define peg-x (sub1 (posn-x aposn)))
24 12687dd9 2023-08-04 jrmu (define peg-y (sub1 (posn-y aposn)))
25 12687dd9 2023-08-04 jrmu (define next-peg-x-removes (+ peg-x 1))
26 12687dd9 2023-08-04 jrmu (define next-peg-y-removes (+ peg-y 1))
27 12687dd9 2023-08-04 jrmu (define prev-peg-x-removes (- peg-x 1))
28 12687dd9 2023-08-04 jrmu (define prev-peg-y-removes (- peg-y 1))
29 12687dd9 2023-08-04 jrmu (define next-peg-x (+ peg-x 2))
30 12687dd9 2023-08-04 jrmu (define next-peg-y (+ peg-y 2))
31 12687dd9 2023-08-04 jrmu (define prev-peg-x (- peg-x 2))
32 12687dd9 2023-08-04 jrmu (define prev-peg-y (- peg-y 2))
33 12687dd9 2023-08-04 jrmu (define need-length-x (+ peg-x 3))
34 12687dd9 2023-08-04 jrmu (define need-length-y (+ peg-y 3)))
36 12687dd9 2023-08-04 jrmu ;;is there even a peg?
37 12687dd9 2023-08-04 jrmu [(not (vector-ref (vector-ref aboard peg-y) peg-x)) false]
38 12687dd9 2023-08-04 jrmu ;;jumping down
39 12687dd9 2023-08-04 jrmu [(and (>= (vector-length aboard) need-length-y)
40 12687dd9 2023-08-04 jrmu (not (vector-ref (vector-ref aboard next-peg-y) peg-x))
41 12687dd9 2023-08-04 jrmu (vector-ref (vector-ref aboard next-peg-y-removes) peg-x)) true]
42 12687dd9 2023-08-04 jrmu ;;jumping right
43 12687dd9 2023-08-04 jrmu [(and (>= (vector-length (vector-ref aboard peg-y)) need-length-x)
44 12687dd9 2023-08-04 jrmu (not (vector-ref (vector-ref aboard peg-y) next-peg-x))
45 12687dd9 2023-08-04 jrmu (vector-ref (vector-ref aboard peg-y) next-peg-x-removes)) true]
46 12687dd9 2023-08-04 jrmu ;;jumping up
47 12687dd9 2023-08-04 jrmu [(and (not (negative? prev-peg-y))
48 12687dd9 2023-08-04 jrmu (not (vector-ref (vector-ref aboard prev-peg-y) peg-x))
49 12687dd9 2023-08-04 jrmu (vector-ref (vector-ref aboard prev-peg-y-removes) peg-x)) true]
50 12687dd9 2023-08-04 jrmu ;;jumping left
51 12687dd9 2023-08-04 jrmu [(and (not (negative? prev-peg-x))
52 12687dd9 2023-08-04 jrmu (not (vector-ref (vector-ref aboard peg-y) prev-peg-x))
53 12687dd9 2023-08-04 jrmu (vector-ref (vector-ref aboard peg-y) prev-peg-x-removes)) true]
54 12687dd9 2023-08-04 jrmu ;;jumping diagonal (up)
55 12687dd9 2023-08-04 jrmu [(and (not (negative? prev-peg-x))
56 12687dd9 2023-08-04 jrmu (not (negative? prev-peg-y))
57 12687dd9 2023-08-04 jrmu (not (vector-ref (vector-ref aboard prev-peg-y) prev-peg-x))
58 12687dd9 2023-08-04 jrmu (vector-ref (vector-ref aboard prev-peg-y-removes) prev-peg-x-removes)) true]
59 12687dd9 2023-08-04 jrmu ;;jumping diagonal (down)
60 12687dd9 2023-08-04 jrmu [(and (>= (vector-length aboard) need-length-y)
61 12687dd9 2023-08-04 jrmu (>= (vector-length (vector-ref aboard next-peg-y)) need-length-x)
62 12687dd9 2023-08-04 jrmu (not (vector-ref (vector-ref aboard next-peg-y) next-peg-x))
63 12687dd9 2023-08-04 jrmu (vector-ref (vector-ref aboard next-peg-y-removes) next-peg-x-removes)) true]
64 12687dd9 2023-08-04 jrmu [else false])))
66 12687dd9 2023-08-04 jrmu (define trueboard (list (vector (vector true)
67 12687dd9 2023-08-04 jrmu (vector true true)
68 12687dd9 2023-08-04 jrmu (vector true true true)
69 12687dd9 2023-08-04 jrmu (vector true true true true)
70 12687dd9 2023-08-04 jrmu (vector true true true true true)
71 12687dd9 2023-08-04 jrmu (vector true true true true true true)
72 12687dd9 2023-08-04 jrmu (vector true true false true true true true))
73 12687dd9 2023-08-04 jrmu (vector (vector true)
74 12687dd9 2023-08-04 jrmu (vector true true)
75 12687dd9 2023-08-04 jrmu (vector true true true)
76 12687dd9 2023-08-04 jrmu (vector true true true true)
77 12687dd9 2023-08-04 jrmu (vector true true true true false)
78 12687dd9 2023-08-04 jrmu (vector true true true true true true)
79 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
80 12687dd9 2023-08-04 jrmu (vector (vector true)
81 12687dd9 2023-08-04 jrmu (vector true true)
82 12687dd9 2023-08-04 jrmu (vector true true true)
83 12687dd9 2023-08-04 jrmu (vector true true true true)
84 12687dd9 2023-08-04 jrmu (vector false true true true true)
85 12687dd9 2023-08-04 jrmu (vector true true true true true true)
86 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
87 12687dd9 2023-08-04 jrmu (vector (vector true)
88 12687dd9 2023-08-04 jrmu (vector true true)
89 12687dd9 2023-08-04 jrmu (vector true true false)
90 12687dd9 2023-08-04 jrmu (vector true true true true)
91 12687dd9 2023-08-04 jrmu (vector true true true true true)
92 12687dd9 2023-08-04 jrmu (vector true true true true true true)
93 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
94 12687dd9 2023-08-04 jrmu (vector (vector true)
95 12687dd9 2023-08-04 jrmu (vector true true)
96 12687dd9 2023-08-04 jrmu (vector true true true)
97 12687dd9 2023-08-04 jrmu (vector true true true true)
98 12687dd9 2023-08-04 jrmu (vector true true true true true)
99 12687dd9 2023-08-04 jrmu (vector true true true true true true)
100 12687dd9 2023-08-04 jrmu (vector true true true true false true true))
101 12687dd9 2023-08-04 jrmu (vector (vector true)
102 12687dd9 2023-08-04 jrmu (vector true true)
103 12687dd9 2023-08-04 jrmu (vector false true true)
104 12687dd9 2023-08-04 jrmu (vector true true true true)
105 12687dd9 2023-08-04 jrmu (vector true true true true true)
106 12687dd9 2023-08-04 jrmu (vector true true true true true true)
107 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
108 12687dd9 2023-08-04 jrmu (vector (vector true)
109 12687dd9 2023-08-04 jrmu (vector true true)
110 12687dd9 2023-08-04 jrmu (vector false true true)
111 12687dd9 2023-08-04 jrmu (vector true false false true)
112 12687dd9 2023-08-04 jrmu (vector true false true false false)
113 12687dd9 2023-08-04 jrmu (vector true false true true true true)
114 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
115 12687dd9 2023-08-04 jrmu (vector (vector true)
116 12687dd9 2023-08-04 jrmu (vector true true)
117 12687dd9 2023-08-04 jrmu (vector false true true)
118 12687dd9 2023-08-04 jrmu (vector true false false true)
119 12687dd9 2023-08-04 jrmu (vector true false true true false)
120 12687dd9 2023-08-04 jrmu (vector true true true false true true)
121 12687dd9 2023-08-04 jrmu (vector false false true false false false true))))
123 12687dd9 2023-08-04 jrmu (define falseboard (list (vector (vector true)
124 12687dd9 2023-08-04 jrmu (vector true true)
125 12687dd9 2023-08-04 jrmu (vector true true true)
126 12687dd9 2023-08-04 jrmu (vector true true true true)
127 12687dd9 2023-08-04 jrmu (vector true true false true true)
128 12687dd9 2023-08-04 jrmu (vector true true true true true true)
129 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
130 12687dd9 2023-08-04 jrmu (vector (vector true)
131 12687dd9 2023-08-04 jrmu (vector true true)
132 12687dd9 2023-08-04 jrmu (vector true true true)
133 12687dd9 2023-08-04 jrmu (vector true true true true)
134 12687dd9 2023-08-04 jrmu (vector true true false true true)
135 12687dd9 2023-08-04 jrmu (vector true true true true true true)
136 12687dd9 2023-08-04 jrmu (vector true true false true true true true))
137 12687dd9 2023-08-04 jrmu (vector (vector true)
138 12687dd9 2023-08-04 jrmu (vector true true)
139 12687dd9 2023-08-04 jrmu (vector true true true)
140 12687dd9 2023-08-04 jrmu (vector true true true true)
141 12687dd9 2023-08-04 jrmu (vector true false true true true)
142 12687dd9 2023-08-04 jrmu (vector true true true true true true)
143 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
144 12687dd9 2023-08-04 jrmu (vector (vector true)
145 12687dd9 2023-08-04 jrmu (vector true true)
146 12687dd9 2023-08-04 jrmu (vector true true true)
147 12687dd9 2023-08-04 jrmu (vector true true true true)
148 12687dd9 2023-08-04 jrmu (vector true true true true true)
149 12687dd9 2023-08-04 jrmu (vector true true true true true true)
150 12687dd9 2023-08-04 jrmu (vector true false true true true true true))
151 12687dd9 2023-08-04 jrmu (vector (vector true)
152 12687dd9 2023-08-04 jrmu (vector true true)
153 12687dd9 2023-08-04 jrmu (vector true true true)
154 12687dd9 2023-08-04 jrmu (vector true true true true)
155 12687dd9 2023-08-04 jrmu (vector true true true true true)
156 12687dd9 2023-08-04 jrmu (vector true false true true true true)
157 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
158 12687dd9 2023-08-04 jrmu (vector (vector true)
159 12687dd9 2023-08-04 jrmu (vector true true)
160 12687dd9 2023-08-04 jrmu (vector false true true)
161 12687dd9 2023-08-04 jrmu (vector true false false true)
162 12687dd9 2023-08-04 jrmu (vector true false true true true)
163 12687dd9 2023-08-04 jrmu (vector true true true true true true)
164 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
165 12687dd9 2023-08-04 jrmu (vector (vector true)
166 12687dd9 2023-08-04 jrmu (vector true true)
167 12687dd9 2023-08-04 jrmu (vector false true true)
168 12687dd9 2023-08-04 jrmu (vector true false false true)
169 12687dd9 2023-08-04 jrmu (vector true false true true true)
170 12687dd9 2023-08-04 jrmu (vector true false true true true true)
171 12687dd9 2023-08-04 jrmu (vector false false true true true true true))
172 12687dd9 2023-08-04 jrmu (vector (vector true)
173 12687dd9 2023-08-04 jrmu (vector true true)
174 12687dd9 2023-08-04 jrmu (vector false true true)
175 12687dd9 2023-08-04 jrmu (vector true false false true)
176 12687dd9 2023-08-04 jrmu (vector true false true false false)
177 12687dd9 2023-08-04 jrmu (vector true false false true true true)
178 12687dd9 2023-08-04 jrmu (vector false false true true true true true))
179 12687dd9 2023-08-04 jrmu (vector (vector true)
180 12687dd9 2023-08-04 jrmu (vector true true)
181 12687dd9 2023-08-04 jrmu (vector false true true)
182 12687dd9 2023-08-04 jrmu (vector true false false true)
183 12687dd9 2023-08-04 jrmu (vector true false true false false)
184 12687dd9 2023-08-04 jrmu (vector true false false false true true)
185 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
186 12687dd9 2023-08-04 jrmu (vector (vector true)
187 12687dd9 2023-08-04 jrmu (vector true true)
188 12687dd9 2023-08-04 jrmu (vector false true true)
189 12687dd9 2023-08-04 jrmu (vector true false false true)
190 12687dd9 2023-08-04 jrmu (vector true false true false false)
191 12687dd9 2023-08-04 jrmu (vector true true false false true true)
192 12687dd9 2023-08-04 jrmu (vector false false true false false false true))))
193 12687dd9 2023-08-04 jrmu (map (lambda (b) (enabled? (make-posn 3 5) b)) trueboard)
194 12687dd9 2023-08-04 jrmu (map (lambda (b) (not (enabled? (make-posn 3 5) b))) falseboard)
