15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading....
Transcript of 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading....
![Page 1: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/1.jpg)
15-251Great Theoretical Ideas
in Computer Science
![Page 2: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/2.jpg)
“Von Ahn mocked Intelligent Design in one of
the first lectures , which deeply offended me”
251 is like: “we’re gonna kick your ass and
you’re gonna enjoy it”.
“Awesome, despite soul-crushing homework”
15-251 Course Evaluations:
Student Comments
And we did!
“sadistic”
“von Ahn > Chuck Norris”
![Page 3: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/3.jpg)
15-251Great Theoretical Ideas
in Computer Sciencefor
Some
www.cs.cmu.edu/~15251
![Page 4: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/4.jpg)
Course Staff
Instructors
Luis von Ahn
Anupam Gupta
TAs
Anton Bachin
Drew Besse
Michelle Burroughs
Andrew Krieger
Alan Pierce
Daniel Schafer
Nicholas Tan
David Yang
![Page 5: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/5.jpg)
Homework
35%Final
25%
In-Class
Quizzes
5%3 In-Recitation
Tests 30%
Participation
5%
Grading
![Page 6: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/6.jpg)
Dr. von Ahn,
I know my grade is a 42/100, and according
to the class Web site that is an F. Is there an
alternative grading scheme by which I can
get a C?
Dear X,
As a matter of fact, there are infinitely many
alternative grading schemes by which you
would get a C with a 42/100. Unfortunately
for you, I will not use any of them.
![Page 7: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/7.jpg)
Weekly Homework
Ten points per day late penalty
No homework will be accepted
more than three days late
Homework will go out every week
and be due the next week
Homework MUST be typeset
![Page 8: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/8.jpg)
![Page 9: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/9.jpg)
![Page 10: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/10.jpg)
Collaboration + Cheating
You may NOT share written work
You may NOT use Google, or solutions
to previous years’ homework
You MUST sign the class honor code
![Page 11: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/11.jpg)
![Page 12: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/12.jpg)
Textbook
There is NO textbook for this class
We have class notes in wiki format
You too can edit the wiki!!!
![Page 13: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/13.jpg)
((( )))
Feel free to ask
questions
![Page 14: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/14.jpg)
Bits of Wisdom on Solving
Problems, Writing Proofs, and
Enjoying the Pain: How to
Succeed in This Class
Lecture 1 (January 13, 2009)
![Page 15: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/15.jpg)
What did our brains evolve to do?
What were our brains “intelligently designed” to do?
What kind of meat did the Flying Spaghetti Monster put in our heads?
![Page 16: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/16.jpg)
![Page 17: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/17.jpg)
Our brains did NOT evolve to do math!
Over the last 30,000 years, our brains have essentially stayed the same!
![Page 18: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/18.jpg)
The human mind was designed by evolution
to deal with foraging in small bands on the
African Savannah . . . faulting our minds for
succumbing to games of chance is like
complaining that our wrists are poorly
designed for getting out of handcuffs
Steven Pinker
“How the Mind Works”
![Page 19: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/19.jpg)
Our brains can perform simple, concrete tasks very well
And that’s how math should be approached!
Draw simple pictures
Try out small examples of the problem: What happens for n=1? n=2?
Substitute concrete values for the variables: x=0, x=100, …
![Page 20: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/20.jpg)
Terry Tao (Fields Medalist, considered to be the best
problem solver in the world)
“I don’t have any magical ability…I look at the problem, and it looks like one I’ve already
done. When nothing’s working out, then I think of a small trick that makes it a little better. I play with the problem, and after a while,
I figure out what’s going on.”
![Page 21: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/21.jpg)
Expert
Novice
![Page 22: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/22.jpg)
The better the problem
solver, the less brain
activity is evident.
The real masters show
almost no brain activity!
Simple and to the point
![Page 23: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/23.jpg)
Use a lot of paper,
or a board!!!
![Page 24: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/24.jpg)
Quick Test...
Count the green squares
(you will have three seconds)
![Page 25: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/25.jpg)
![Page 26: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/26.jpg)
How many were there?
![Page 27: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/27.jpg)
![Page 28: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/28.jpg)
Hats with Consecutive Numbers
Alice Bob
Alice starts: …
| A - B | = 1
![Page 29: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/29.jpg)
Hats with Consecutive Numbers
Alice Bob
Alice starts: …
| A - B | = 1 and A, B > 0
I don’t know what my
number is
(round 1)
![Page 30: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/30.jpg)
Hats with Consecutive Numbers
Alice Bob
Alice starts: …
| A - B | = 1 and A, B > 0
I don’t know what my
number is
(round 2)
![Page 31: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/31.jpg)
Hats with Consecutive Numbers
Alice Bob
Alice starts: …
| A - B | = 1 and A, B > 0
I don’t know what my
number is
(round 3)
![Page 32: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/32.jpg)
Hats with Consecutive Numbers
Alice Bob
Alice starts: …
| A - B | = 1 and A, B > 0
I don’t know what my
number is
(round 4)
![Page 33: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/33.jpg)
…
![Page 34: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/34.jpg)
Hats with Consecutive Numbers
Alice Bob
Alice starts: …
| A - B | = 1 and A, B > 0
I know what my number
is!!!!!!!!
(round 251)
![Page 35: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/35.jpg)
Hats with Consecutive Numbers
Alice Bob
Alice starts: …
| A - B | = 1 and A, B > 0
I know what my number
is!!!!!!!!
(round 252)
![Page 36: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/36.jpg)
Question: What are Alice
and Bob’s numbers?
![Page 37: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/37.jpg)
Imagine Alice Knew Right Away
Alice Bob
I know what my number
is!!!!!!!!
Then A = 2 and B = 1
| A - B | = 1 and A, B > 0
(round 1)
![Page 38: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/38.jpg)
1,2 N,Y
2,1 Y
2,3 N,Y
3,2 N,N,Y
3,4 N,N,N,Y
4,3 N,N,Y
4,5 N,N,N,Y
![Page 39: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/39.jpg)
Inductive Claim
Claim: After 2k NOs, Alice knows that her
number is at least 2k+1.
After 2k+1 NOs, Bob knows that his number
is at least 2k+2.
Hence, after 250 NOs, Alice knows her
number is at least 251. If she says YES, her
number is at most 252.
If Bob’s number is 250, her number must
be 251. If his number is 251, her number
must be 252.
![Page 40: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/40.jpg)
Exemplification:Try out a problem or solution on small
examples. Look for the patterns.
![Page 41: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/41.jpg)
A volunteer, please
![Page 42: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/42.jpg)
Relax
I am just going to ask you a
Microsoft interview question
![Page 43: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/43.jpg)
Four guys want to cross a bridge that can
only hold two people at one time. It is pitch
dark and they only have one flashlight, so
people must cross either alone or in pairs
(bringing the flashlight). Their walking
speeds allow them to cross in 1, 2, 5, and 10
minutes, respectively. Is it possible for them
to all cross in 17 minutes?
![Page 44: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/44.jpg)
Get The Problem Right!
Given any context you should double
check that you read/heard it correctly!
You should be able to repeat the
problem back to the source and have
them agree that you understand the
issue
![Page 45: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/45.jpg)
Four guys want to cross a bridge that can
only hold two people at one time. It is pitch
dark and they only have one flashlight, so
people must cross either alone or in pairs
(bringing the flashlight). Their walking
speeds allow them to cross in 1, 2, 5, and 10
minutes, respectively. Is it possible for them
to all cross in 17 minutes?
![Page 46: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/46.jpg)
Intuitive, But False
“10 + 1 + 5 + 1+ 2 = 19, so the four
guys just can’t cross in 17 minutes”
“Even if the fastest guy is the one to
shuttle the others back and forth – you
use at least 10 + 1 + 5 + 1 + 2 > 17
minutes”
![Page 47: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/47.jpg)
Vocabulary Self-Proofing
As you talk to yourself, make sure
to tag assertions with phrases that
denote degrees of conviction
![Page 48: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/48.jpg)
Keep track of what you actually know
– remember what you merely suspect
“10 + 1 + 5 + 1 + 2 = 19, so it would be
weird if the four guys could cross in
17 minutes”
“even if we use the fastest guy to
shuttle the others, they take too long.”
![Page 49: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/49.jpg)
If it is possible, there
must be more than
one guy doing the
return trips: it must
be that someone gets
deposited on one side
and comes back for
the return trip later!
![Page 50: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/50.jpg)
Suppose we leave 1 for a
return trip later
We start with 1 and X and
then X returns
Total time:
Thus, we start with
1,2 go over and
2 comes back….
2X
![Page 51: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/51.jpg)
1 2 5 10
![Page 52: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/52.jpg)
1 2 5 10
![Page 53: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/53.jpg)
1 2 5 10
5 10 2 1
![Page 54: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/54.jpg)
1 2 5 10
5 10 2 1
![Page 55: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/55.jpg)
1 2 5 10
5 10
2 5 10
2 1
1
![Page 56: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/56.jpg)
1 2 5 10
5 10
2 5 10
2 1
1
![Page 57: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/57.jpg)
1 2 5 10
5 10
2 5 10
2
2 1
1
1 5 10
![Page 58: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/58.jpg)
1 2 5 10
5 10
2 5 10
2
2 1
1
1 5 10
![Page 59: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/59.jpg)
1 2 5 10
5 10
2 5 10
2
1 2
2 1
1
1 5 10
5 10
![Page 60: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/60.jpg)
1 2 5 10
5 10
2 5 10
2
1 2
2 1
1
1 5 10
5 10
![Page 61: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/61.jpg)
1 2 5 10
5 10
2 5 10
2
1 2
2 1
1
1 5 10
5 10
1 2 5 10
![Page 62: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/62.jpg)
5 and 10“Load Balancing”:
Handle our hardest work loads in parallel!
Work backwards by assuming 5 and 10
walk together
![Page 63: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/63.jpg)
In this course you will have
to write a lot of proofs!
![Page 64: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/64.jpg)
Think of Yourself as a (Logical) Lawyer
Your arguments should have no holes, because
the opposing lawyer will expose them
![Page 65: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/65.jpg)
Prover Verifier
Statement1
Statement2
Statementn
…
There is no
sound reason
to go from
Statament1 to
Statement2
![Page 66: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/66.jpg)
Verifier
The verifier is very thorough,
(he can catch all your mistakes),
but he will not supply missing
details of a proof
A valid complaint on his part
is: I don’t understand
The verifier is similar to a
computer running a program
that you wrote!
![Page 67: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/67.jpg)
Undefined term
Syntax error
Writing Proofs Is A Lot
Like Writing Programs
You have to write the correct sequence
of statements to satisfy the verifier
Infinite Loop
Output is not quite
what was needed
Errors than can
occur with a
program and with
a proof!
![Page 68: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/68.jpg)
Good code is well-commented and
written in a way that is easy for other
humans (and yourself) to understand
Similarly, good proofs should be easy to
understand. Although the formal proof
does not require certain explanatory
sentences (e.g., “the idea of this proof is
basically X”), good proofs usually do
![Page 69: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/69.jpg)
The proof verifier will not accept a
proof unless every step is justified!
Writing Proofs is Even Harder
than Writing Programs
It’s as if a compiler required your
programs to have every line commented
(using a special syntax) as to why you
wrote that line
![Page 70: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/70.jpg)
Prover Verifier
A successful mathematician plays both roles
in their head when writing a proof
![Page 71: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/71.jpg)
Gratuitous Induction Proof
= k(k+1)/2 + (k+1) (by I.H.)
Thus Sk+1
= (k + 1)(k+2)/2
Sn = “sum of first n integers = n(n+1)/2”
Want to prove: Sn is true for all n > 0
Base case: S1 = “1 = 1(1+1)/2”
I.H. Suppose Sk is true for some k > 0
Induction step:
1 + 2 + …. + k + (k+1)
![Page 72: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/72.jpg)
Gratuitous Induction Proof
= n(n+1)/2 + (n+1) (by I.H.)
Thus Sk+1
= (n + 1)(n+2)/2
Sn = “sum of first n integers = n(n+1)/2”
Want to prove: Sn is true for all n > 0
Base case: S1 = “1 = 1(1+1)/2”
I.H. Suppose Sk is true for some k > 0
Induction step:
1 + 2 + …. + n + (n+1)
wrong variable
![Page 73: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/73.jpg)
![Page 74: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/74.jpg)
Proof by Throwing in the Kitchen Sink
The author writes down every theorem
or result known to mankind and then
adds a few more just for good measure
When questioned later, the author correctly
observes that the proof contains all the key
facts needed to actually prove the result
Very popular strategy on 251 exams
Believed to result in partial credit with
sufficient whining
10
![Page 75: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/75.jpg)
Proof by Throwing in the Kitchen Sink
The author writes down every theorem
or result known to mankind and then
adds a few more just for good measure
When questioned later, the author correctly
observes that the proof contains all the key
facts needed to actually prove the result
Very popular strategy on 251 exams
Believed to result in extra credit with
sufficient whining
10
Like writing a program with
functions that do most
everything you’d ever want to do
(e.g. sorting integers, calculating
derivatives), which in the end
simply prints “hello world”
![Page 76: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/76.jpg)
Proof by Example
The author gives only the case n = 2 and
suggests that it contains most of the ideas
of the general proof.
9
Like writing a program that
only works for a few inputs
![Page 77: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/77.jpg)
Proof by Cumbersome Notation
Best done with access to at least four
alphabets and special symbols.
Helps to speak several foreign languages.
8
Like writing a program
that’s really hard to read
because the variable
names are screwy
![Page 78: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/78.jpg)
Proof by Lengthiness
An issue or two of a journal devoted to
your proof is useful. Works well in
combination with Proof strategy #10
(throwing in the kitchen sink) and
Proof strategy #8 (cumbersome notation).
7
Like writing 10,000 lines
of code to simply print
“hello world”
![Page 79: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/79.jpg)
Proof by Switcharoo
Concluding that p is true when both p q
and q are true
6
If (PRINT “X is prime”) {
PRIME(X);
}
Makes as much sense as:
![Page 80: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/80.jpg)
Switcharoo Example
Hence blah blah, Sk is true
= (k + 1)(k+2)/2
Sn = “sum of first n integers = n(n+1)/2”
Want to prove: Sn is true for all n > 0
Base case: S1 = “1 = 1(1+1)/2”
I.H. Suppose Sk is true for some k > 0
Induction step: by Sk+1
1 + 2 + …. + k + (k+1)
![Page 81: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/81.jpg)
Proof by “It is Clear That…”
“It is clear that that the worst case is this:”
5
Like a program that calls a
function that you never wrote
![Page 82: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/82.jpg)
Proof by Assuming The Result
Assume X is true
Therefore, X is true!
4
…RECURSIVE(X) {
: :
return RECURSIVE(X);
}
Like a program with this code:
![Page 83: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/83.jpg)
“Assuming the Result” Example
= k(k+1)/2 + (k+1) (by I.H.)
Thus Sk+1
= (k + 1)(k+2)/2
Sn = “sum of first n integers = n(n+1)/2”
Want to prove: Sn is true for all n > 0
Base case: S1 = “1 = 1(1+1)/2”
I.H. Suppose Sk is true for all k > 0
Induction step:
1 + 2 + …. + k + (k+1)
![Page 84: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/84.jpg)
Not Covering All Cases
Usual mistake in inductive proofs: A proof
is given for N = 1 (base case), and another
proof is given that, for any N > 2, if it is true
for N, then it is true for N+1
3
RECURSIVE(X) {
if (X > 2) { return 2*RECURSIVE(X-1); }
if (X = 1) { return 1; }
}
Like a program with this function:
![Page 85: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/85.jpg)
“Not Covering All Cases” Example
= k(k+1)/2 + (k+1) (by I.H.)
Thus Sk+1
= (k + 1)(k+2)/2
Sn = “sum of first n integers = n(n+1)/2”
Want to prove: Sn is true for all n > 0
Base case: S0 = “0 = 0(0+1)/2”
I.H. Suppose Sk is true for some k > 0
Induction step:
1 + 2 + …. + k + (k+1)
![Page 86: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/86.jpg)
Incorrectly Using “By Definition”
“By definition, { anbn | n > 0 } is not a
regular language”
2
Like a program that assumes a
procedure does something
other than what it actually does
![Page 87: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/87.jpg)
Proof by OMGWTFBBQ
1/20
1
![Page 88: 15-251€¦ · Final 25% In-Class Quizzes 5% 3 In-Recitation Tests 30% Participation 5% Grading. ... (round 1) Hats with Consecutive Numbers Alice Bob ... Infinite Loop Output is](https://reader034.fdocuments.in/reader034/viewer/2022051914/6005f6b5a2c90d3b8a04b15c/html5/thumbnails/88.jpg)
Here’s What
You Need to
Know…
Solving Problems• Always try small examples!
• Use enough paper
Writing Proofs• Writing proofs is sort of like
writing programs, except every
step in a proof has to be justified
• Be careful; search for your
own errors