f35-frosh-sem-satisfiability-handout

f35-frosh-sem-satisfiability-handout - + D + N + P = 22?...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
Apr. 2011 Satisfiability Handout Making Change: Ground Rules For the sake of the puzzles in this presentation: Coin means one of the pieces 1¢, 5¢, 10¢, 25¢ (no 50¢ or $1 coin) Bill means one of the denominations $1, $5, $10, $20, $50, $100 Warm-up puzzle: What is the largest sum of coins that you can have in your pocket without being able to make exact change for $1?
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Apr. 2011 Satisfiability Handout The Many Ways of Making Change Count the number of integer solutions to the equation 25 Q + 10 D + 5 N + P = 100 In how many distinct ways can you make change for $1? Diophantine equation
Background image of page 2
Apr. 2011 Satisfiability Handout Making Change with Constraints Is there a solution to 25 Q + 10 D + 5 N + P = 100 that satisfies the constraint Q
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: + D + N + P = 22? Can you make change for $1 using exactly 22 coins? Apr. 2011 Satisfiability Handout 7 8 9 8 9 2 9 3 8 7 3 5 5 7 8 8 2 7 2 5 4 9 8 1 2 4 9 6 6 6 The Satisfiability Game Pick one of the numbers shown in the table (say x ) Color all boxes containing x green (or circle it) and all boxes containing x red (or X it out) You win if every row has a green box (circle) You lose if some row has three red boxes (Xs) Play the satisfiability game on-line at the following website. The game has five difficulty levels. http://www.cril.univ-artois.fr/~roussel/satgame/satgame.php?level=1&lang=eng...
View Full Document

This note was uploaded on 12/28/2011 for the course ECE 1 taught by Professor Chen during the Fall '08 term at UCSB.

Page1 / 4

f35-frosh-sem-satisfiability-handout - + D + N + P = 22?...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online