It is currently Wed Apr 23, 2025 9:18 pm

All times are UTC - 8 hours [ DST ]




Post new topic Reply to topic  [ 108 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6  Next
Author Message
Offline
 Post subject: Re: Logical puzzles
Post #61 Posted: Thu Dec 02, 2010 11:52 am 
Lives in gote

Posts: 414
Location: Durham, UK
Liked others: 96
Was liked: 15
Rank: KGS 9k
KGS: robinz
hyperpape wrote:
entropi wrote:
They agree on something such that everyone survives with a probabilty of 99,5%. What is the idea?


Isn't it the case that the probability that they all survive is 50%? The last 99 are guaranteed to survive, the first has even odds. Perhaps you meant that the expected number of surviving villagers is 99.5? Or did I misread something?


Yes, there's only a 50% probability of everyone surviving, but each individual has a 99.5% probability, coming from 50% if they are asked first and 100% otherwise. I think it's one valid way of reading hyperpape's statement.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #62 Posted: Thu Dec 02, 2010 1:23 pm 
Lives in gote

Posts: 493
Liked others: 80
Was liked: 71
Rank: sdk
GD Posts: 175
hyperpape wrote:
entropi wrote:
They agree on something such that everyone survives with a probabilty of 99,5%. What is the idea?


Isn't it the case that the probability that they all survive is 50%? The last 99 are guaranteed to survive, the first has even odds. Perhaps you meant that the expected number of surviving villagers is 99.5? Or did I misread something?


What I meant is that every individual villager has a surviving probability of 99,5%. It is not the probability of 100 villagers surviving. According to the solution, that would be 50 % of course. Sorry for the unclarity in problem statement.

_________________
If you say no, Elwood and I will come here for breakfast, lunch, and dinner every day of the week.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #63 Posted: Thu Dec 02, 2010 2:13 pm 
Lives in gote

Posts: 493
Liked others: 80
Was liked: 71
Rank: sdk
GD Posts: 175
tj86430 wrote:
Did you calculate the probability of success? I feel it is lower than in my solution, but I'm not sure
It seems not so easy to calculate, unless I am overlooking something obvious. Therefore I chose to be lazy an wait for the answer, if it is correct or similar then calculate ;-)

Your solution makes sense for sure, like in the case of two boxes. But I feel (just feel, no reasoning) that there should be a way of making better use of the information that comes from the fact that the previous prisoners could find their names. But maybe you are right my solution may even be worse than that. :scratch: curious about the answer

_________________
If you say no, Elwood and I will come here for breakfast, lunch, and dinner every day of the week.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #64 Posted: Thu Dec 02, 2010 2:44 pm 
Tengen

Posts: 4382
Location: Caldas da Rainha, Portugal
Liked others: 499
Was liked: 733
Rank: AGA 3k
GD Posts: 65
OGS: Hyperpape 4k
@entropi @robinz Of course. Thanks for setting me straight on what it meant.

_________________
Occupy Babel!

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #65 Posted: Thu Dec 02, 2010 5:23 pm 
Gosei
User avatar

Posts: 2011
Location: Groningen, NL
Liked others: 202
Was liked: 1087
Rank: Dutch 4D
GD Posts: 645
Universal go server handle: herminator
Not really a hint, but a more an additional piece of information, regarding the cruel bandit puzzle:

The right strategy will make their probability of all surviving:

Greater than 30%

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #66 Posted: Thu Dec 02, 2010 5:35 pm 
Lives in sente

Posts: 758
Liked others: 114
Was liked: 916
Rank: maybe 2d
While we're at it, I'll throw another puzzle on to the queue. Although maybe this one is too technical. It's cute, though, for those who have the math background.

One particularly powerful overlord has amassed a collection of infinitely many prisoners. The prisoners are labeled 1, 2, 3, 4,... going on forever, one prisoner for each positive integer. Tomorrow, the prisoners will all be lined up in numerical order, such that that every prisoner can see every other prisoner. Then, the overlord will place a red or black hat on each prisoner's head. Every prisoner will be able to see the colors of the hats of all prisoners except for his own. All simultaneously, with no further information, every prisoner must then guess his own hat color. If only finitely many prisoners guess incorrectly, all will be freed. Tonight, the prisoners are allowed to confer on a strategy.

Show that there exists a strategy for the prisoners such that no matter what colors of hats the overlord chooses, only finitely many prisoners will guess incorrectly. You may also assume that the prisoners are all capable of making an infinite number of observations of other prisoners' hat colors in order to make their own decision.

And you may assume the axiom of choice.
http://en.wikipedia.org/wiki/Axiom_of_choice

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #67 Posted: Thu Dec 02, 2010 11:14 pm 
Oza
User avatar

Posts: 2659
Liked others: 310
Was liked: 631
Rank: kgs 6k
lightvector wrote:
One particularly powerful overlord has amassed a collection of infinitely many prisoners.


Didn't we do this one in the math puzzle thread? I'm still not satisfied with the solution offered there, though, so hopefully someone will take another crack at it. :)

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #68 Posted: Thu Dec 02, 2010 11:27 pm 
Lives in sente

Posts: 758
Liked others: 114
Was liked: 916
Rank: maybe 2d
jts wrote:
lightvector wrote:
One particularly powerful overlord has amassed a collection of infinitely many prisoners.


Didn't we do this one in the math puzzle thread? I'm still not satisfied with the solution offered there, though, so hopefully someone will take another crack at it. :)


Oh, wow, I guess they did. Didn't see that thread.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #69 Posted: Fri Dec 03, 2010 1:16 am 
Lives in sente
User avatar

Posts: 924
Location: Pittsburgh
Liked others: 45
Was liked: 103
Rank: lazy
KGS: redundant/silchas
Tygem: redundant
Wbaduk: redundant
DGS: redundant
OGS: redundant
jts wrote:
lightvector wrote:
One particularly powerful overlord has amassed a collection of infinitely many prisoners.


Didn't we do this one in the math puzzle thread? I'm still not satisfied with the solution offered there, though, so hopefully someone will take another crack at it. :)


Don't worry about not being satisfied; the solution is just a hack using the axiom of choice. Choice leads to many rather unsatisfactory results.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #70 Posted: Fri Dec 03, 2010 7:12 am 
Lives with ko
User avatar

Posts: 295
Location: Linz, Austria
Liked others: 21
Was liked: 44
Rank: EGF 4 kyu
GD Posts: 627
HermanHiddema wrote:
Not really a hint, but a more an additional piece of information, regarding the cruel bandit puzzle:

The right strategy will make their probability of all surviving:

Greater than 30%


I think I can prove that this is not possible (which probably just means that I'm missing something crucial ;)).

First of all, the first prisoner (let's call him A) can't have a better chance than 50%, since there is no information available at the beginning.
Also, since the puzzle is symmetrical with respect to the numbering of the boxes, it doesn't really matter which boxes the first prisoner opens, so we can just assume without loss of generality that he opens the first 50 boxes.

What strategic decisions can the second prisoner (let's call him B) make?
The only information he has available is which boxes prisoner A opened. So when B decides which boxes to open, he can decide to open a number of boxes from 1..50 (let's say N boxes), and the other 50-N boxes from 51..100.

Now let's assume that the name of B is in one of the boxes 1..50. The probability of this happening is 49/99, since we know A is in 1..50 for sure. Under that assumption, the probability that B finds his name is N/50.
Assuming the name of B is in one of the boxes 51..100 (probability 50/99), the probability that B finds his name is (50-N)/50.

Thus, the total probability of B finding his name is:
49/99 * N/50 + 50/99 * (50-N)/50
That simplifies to 50/99 - N/(99*50).

N can be from 0 to 50, so the probability that B succeeds lies between 49/99 and 50/99. Multiply that with the 1/2 probability of A succeeding, and you're already below 30% for every strategy that B can possibly choose, and that's assuming the other 98 prisoners have a perfect strategy available.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #71 Posted: Fri Dec 03, 2010 7:33 am 
Gosei
User avatar

Posts: 2011
Location: Groningen, NL
Liked others: 202
Was liked: 1087
Rank: Dutch 4D
GD Posts: 645
Universal go server handle: herminator
flOvermind wrote:
HermanHiddema wrote:
Not really a hint, but a more an additional piece of information, regarding the cruel bandit puzzle:

The right strategy will make their probability of all surviving:

Greater than 30%


I think I can prove that this is not possible (which probably just means that I'm missing something crucial ;)).



This is not an easy puzzle, and I never did solve it. It seemed quite impossible to me. Defeated, I looked at the answer. :oops:

I then verified the answer through a computer simulation, and it is correct. :)

Some hints you may or may not wish to see:
In those cases that the strategy fails the prisoners, it is guaranteed that more than half of them will fail to find their name.

An independent observer, aware of the distribution of the names over the boxes and of the strategy of the prisoners, can predict perfectly which prisoners will fail, and which will succeed.

There is a small but significant chance of ~1%, using this strategy, that all prisoners will fail to find their name.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #72 Posted: Fri Dec 03, 2010 8:08 am 
Lives in gote
User avatar

Posts: 499
Location: Germany
Liked others: 213
Was liked: 96
Rank: Fox 3D
GD Posts: 325
Since lightvector's puzzle seems to be more of a math puzzle than a logical one, let me provide one more. (Herman's puzzle is too hard for me.)

You like simple looking puzzles that turn out to be nerve-wracking? Those that keep your head real busy and make you feel stupid? Here you go:

The teacher tells his kids: "We are going to write a test next week. On the day before the test, you will not know that you will write the test on the following day."

Now Bill thinks: If only I knew for what day the test has been scheduled. Well, it can't be Friday. As this is the last day of the week, we would know on Thursay that the test will be written the following day. It can't be scheduled for Friday, it must be either Monday, Tuesday, Wednesday or Thursday. Could it be scheduled for Thursday then? Well, then we would know on Wednesday, because we already found out it can't be Friday. So Thursday is out, too. With the same logic, Bill rules out all the other days of the week.

What's going on here? Is there a flaw in Bill's reasoning or does the teacher not tell the truth, or what?

_________________
Stay out of my territory! (W. White, aka Heisenberg)

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #73 Posted: Fri Dec 03, 2010 8:18 am 
Gosei
User avatar

Posts: 2011
Location: Groningen, NL
Liked others: 202
Was liked: 1087
Rank: Dutch 4D
GD Posts: 645
Universal go server handle: herminator
SpongeBob wrote:
The teacher tells his kids: "We are going to write a test next week. On the day before the test, you will not know that you will write the test on the following day."

Now Bill thinks: If only I knew for what day the test has been scheduled. Well, it can't be Friday. As this is the last day of the week, we would know on Thursay that the test will be written the following day. It can't be scheduled for Friday, it must be either Monday, Tuesday, Wednesday or Thursday. Could it be scheduled for Thursday then? Well, then we would know on Wednesday, because we already found out it can't be Friday. So Thursday is out, too. With the same logic, Bill rules out all the other days of the week.

What's going on here? Is there a flaw in Bill's reasoning or does the teacher not tell the truth, or what?


AFAIK, the surprise test paradox is unsolved?

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #74 Posted: Fri Dec 03, 2010 10:12 am 
Lives with ko
User avatar

Posts: 295
Location: Linz, Austria
Liked others: 21
Was liked: 44
Rank: EGF 4 kyu
GD Posts: 627
SpongeBob wrote:
Since lightvector's puzzle seems to be more of a math puzzle than a logical one, let me provide one more. (Herman's puzzle is too hard for me.)

You like simple looking puzzles that turn out to be nerve-wracking? Those that keep your head real busy and make you feel stupid? Here you go:

The teacher tells his kids: "We are going to write a test next week. On the day before the test, you will not know that you will write the test on the following day."

Now Bill thinks: If only I knew for what day the test has been scheduled. Well, it can't be Friday. As this is the last day of the week, we would know on Thursay that the test will be written the following day. It can't be scheduled for Friday, it must be either Monday, Tuesday, Wednesday or Thursday. Could it be scheduled for Thursday then? Well, then we would know on Wednesday, because we already found out it can't be Friday. So Thursday is out, too. With the same logic, Bill rules out all the other days of the week.

What's going on here? Is there a flaw in Bill's reasoning or does the teacher not tell the truth, or what?


After Bill ruled out all days, he assumes that the teacher can't be telling the truth. Next week, there is a test on Tuesday, and Bill is very surprised ;)

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #75 Posted: Fri Dec 03, 2010 11:14 am 
Lives in sente

Posts: 758
Liked others: 114
Was liked: 916
Rank: maybe 2d
HermanHiddema wrote:
SpongeBob wrote:
The teacher tells his kids: "We are going to write a test next week. On the day before the test, you will not know that you will write the test on the following day."

Now Bill thinks: If only I knew for what day the test has been scheduled. Well, it can't be Friday. As this is the last day of the week, we would know on Thursay that the test will be written the following day. It can't be scheduled for Friday, it must be either Monday, Tuesday, Wednesday or Thursday. Could it be scheduled for Thursday then? Well, then we would know on Wednesday, because we already found out it can't be Friday. So Thursday is out, too. With the same logic, Bill rules out all the other days of the week.

What's going on here? Is there a flaw in Bill's reasoning or does the teacher not tell the truth, or what?


AFAIK, the surprise test paradox is unsolved?


I think calling it unsolved is a bit strong. Although the wikipedia page seems to indicate many schools of thought, here is my attempted analysis:

The induction over the days of the week is a red herring. The real issue is a construction sort of like the liar paradox, but predicated on the student's knowledge, so that the paradox only applies for the student and not for the teacher or an outside observer.

This becomes more evident when there is only a single day, rather than a week.

That is, the teacher says
(1) We are going to have a test tomorrow.
(2) But today, you do not/will not know that we will have a test tomorrow.

This boils down to
(1): TeacherTruthful -> Test
(2): TeacherTruthful -> not Knows(Test)

We interpret "Knows" to mean "student can consistently deduce", and from the student's perspective alone, this boils down to the axiom Knows(x) <-> x. Let's say the student can apply this axiom but he cannot in general decide the specific truth value of Knows(x) for arbitrary x because he cannot simulate a copy of himself to determine whether he would ultimately ever be able to deduce x.

What is the poor student able to conclude here? From the student's perspective:

Assume TeacherTruthful. Then, Test and not Knows(Test). By axiom, Knows(Test) <-> Test. Hence, Test and not Test. Contradiction. Therefore, not TeacherTruthful.

Yet, we as outside observers can prove (with some work) that the student, continuing from the assumption "not TeacherTruthful", will never be able to consistently deduce Test. Indeed, intuitively he has no reason to believe so, because he thinks the teacher is lying. Therefore, as outside observers, we know that "not Knows(Test)" is true. Therefore, if the teacher actually decides to have a test, then everything works out. It is consistent (from our outside perspective) that Test and not Knows(Test) and TeacherTruthful, but the student can never know this.

We can in fact simplify further. Consider the statement "This statement is true but you cannot consistently deduce this fact". Indeed, you cannot consistently deduce this fact, because any deduction of truth from you is contradictory. So, it is consistent that the statement is true. But you just can't know it without being inconsistent. It's actually the same thing as Godel's second incompleteness theorem.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #76 Posted: Fri Dec 03, 2010 3:10 pm 
Lives in sente
User avatar

Posts: 801
Location: Amsterdam (NL)
Liked others: 353
Was liked: 107
Rank: KGS 7 kyu forever
GD Posts: 460
I am getting confused so I close my topic ;)

_________________
I think I am so I think I am.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #77 Posted: Fri Dec 03, 2010 3:11 pm 
Lives in sente
User avatar

Posts: 801
Location: Amsterdam (NL)
Liked others: 353
Was liked: 107
Rank: KGS 7 kyu forever
GD Posts: 460
I am getting more confused so I close my topic once more ;)

_________________
I think I am so I think I am.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #78 Posted: Sat Dec 04, 2010 1:39 pm 
Gosei
User avatar

Posts: 2116
Location: Silicon Valley
Liked others: 152
Was liked: 330
Rank: 2d AGA
GD Posts: 1193
KGS: lavalamp
Tygem: imapenguin
IGS: lavalamp
OGS: daniel_the_smith
HermanHiddema wrote:
Not really a hint, but a more an additional piece of information, regarding the cruel bandit puzzle:

The right strategy will make their probability of all surviving:

Greater than 30%


Can you double-check the problem statement? :scratch: It was driving me nuts, so I've written a program to brute force it (obviously only for small values of N) and it has not come up with anything better than what people have proposed so far. I'm going to extend my program to try a random sampling of the permutations for larger values of N (using some subset of possible choices), but I don't expect it to come up with anything new.

For N = 4, 6, or 8 (instead of 100) the first N/2 prisoners should open the first N/2 boxes; the second half of the prisoners open the rest of the boxes.

For N=4, the prisoners survive ~16% of the time, for N=6 it's ~3.3% of the time, for N=8 it's ~1.4%. I will let it do N=10 here in a minute but I expect that to take a while.

EDIT: corrected n=6 above. Also, I realized I didn't let N=8 run to completion, there are ~37771564359352320000000 combination so that won't be happening any time soon. It happens that (what I believe to be) the best case gets examined almost immediately, so I believe the number above is correct anyway.

_________________
That which can be destroyed by the truth should be.
--
My (sadly neglected, but not forgotten) project: http://dailyjoseki.com

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #79 Posted: Sat Dec 04, 2010 7:21 pm 
Gosei
User avatar

Posts: 2011
Location: Groningen, NL
Liked others: 202
Was liked: 1087
Rank: Dutch 4D
GD Posts: 645
Universal go server handle: herminator
daniel_the_smith wrote:
Can you double-check the problem statement? :scratch:


I've reread it, and the problem statement is correct.

Quote:
It was driving me nuts, so I've written a program to brute force it (obviously only for small values of N) and it has not come up with anything better than what people have proposed so far. I'm going to extend my program to try a random sampling of the permutations for larger values of N (using some subset of possible choices), but I don't expect it to come up with anything new.

For N = 4, 6, or 8 (instead of 100) the first N/2 prisoners should open the first N/2 boxes; the second half of the prisoners open the rest of the boxes.

For N=4, the prisoners survive ~16% of the time, for N=6 it's ~3.3% of the time, for N=8 it's ~1.4%. I will let it do N=10 here in a minute but I expect that to take a while.

EDIT: corrected n=6 above. Also, I realized I didn't let N=8 run to completion, there are ~37771564359352320000000 combination so that won't be happening any time soon. It happens that (what I believe to be) the best case gets examined almost immediately, so I believe the number above is correct anyway.


Your program needs to know the prisoners' strategy, just brute forcing all combinations won't help.

Top
 Profile  
 
Offline
 Post subject: Re: Logical puzzles
Post #80 Posted: Sat Dec 04, 2010 7:35 pm 
Honinbo

Posts: 10905
Liked others: 3651
Was liked: 3374
SpongeBob wrote:
Since lightvector's puzzle seems to be more of a math puzzle than a logical one, let me provide one more. (Herman's puzzle is too hard for me.)

You like simple looking puzzles that turn out to be nerve-wracking? Those that keep your head real busy and make you feel stupid? Here you go:

The teacher tells his kids: "We are going to write a test next week. On the day before the test, you will not know that you will write the test on the following day."

Now Bill thinks: If only I knew for what day the test has been scheduled. Well, it can't be Friday. As this is the last day of the week, we would know on Thursay that the test will be written the following day. It can't be scheduled for Friday, it must be either Monday, Tuesday, Wednesday or Thursday. Could it be scheduled for Thursday then? Well, then we would know on Wednesday, because we already found out it can't be Friday. So Thursday is out, too. With the same logic, Bill rules out all the other days of the week.

What's going on here? Is there a flaw in Bill's reasoning or does the teacher not tell the truth, or what?


The teacher is lying.

But that does not mean that the teacher is not telling the truth. ;)

_________________
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.

Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 108 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6  Next

All times are UTC - 8 hours [ DST ]


Who is online

Users browsing this forum: No registered users and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group