Problem Instructions
User Manual:
Open the PDF directly: View PDF
.
Page Count: 4

1
1. Quizzle (120 pts)
Below are four instances of “quizzle,” a logic puzzle. For each puzzle, you are provided with a backstory and
clues, and you must piece together deductions in order to ultimately assign a unique value for each category.
We encourage you to visit the site and attempt to solve some puzzles on your own, by going through the
clues consecutively and eliminating the set of incompatible combinations of category values.
You will solve each puzzle using two different approaches and compare their performances. You are free to
use any approach/combination of approaches you would like. We suggest that you use a CSP approach and
integer linear programming approach (another good option could be logical inference). For these
approaches, you can use built-in libraries from Python as the solvers. You would then need to create the
models for the problems to be input to the solvers. This would involve describing the variables, the possible
values for each variable, and the set of constraints. Note that if you use the two approaches we suggest, then
you would just be creating the models, but not implementing solving algorithms yourself. We also encourage
you to create your own solving algorithms for extra credit.
For each problem instance answer the following questions:
(a) Describe the two approaches you are using. What do the variables and values represent? What arethe
constraints? How many variables and constraints are there?
(b) What are the resulting outputs of program? What are the running times of the two approaches?Which
one is more efficient? Would the same be true for larger instances?
For 20 points extra credit, you can implement a new different algorithm that runs faster than CSP and ILP
approaches. You must describe the algorithm and report the running times. Puzzle instances:
Figure 1: Quizzle 1 (60 pts).

2
Figure 2: Quizzle 2 (60 pts).

3
Figure 3: Quizzle 3 (10 pts of extra credit).

4
Figure 4: Quizzle 4 (20 pts of extra credit).