
Content Count
1733 
Joined

Last visited

Days Won
22
Posts posted by plasmid


18 hours ago, EventHorizon said:Instead of red and white, you could just use "the die Plato said was a 4" and "the other one."
First, Thalia just says the answer is 1/6 without the extra "i can tell you one die is X", so has nothing to do with 2/11. I assume you mean Aristotle.
But why does there need to be a normalization at all? What went wrong such that it was necessary?
It is true that P(11)=P(12)=...=P(66). Each possible dice roll can happen with equal probability.
But once Plato says that "one die is a 4," it doesn't merely prune out the ones without 4's. Using Bayes theorem we can see this.
P(41  one is 4) = P(one is 4  41) * P(41) / P(one is 4)
Obviously P(41) is 1/36. P(one is 4) and P(one is 4  41) need an assumption on how Plato decides which value to tell. Assuming he would uniformly random choose a die to report on, we can see P(one is 4)=1/6 since all values are equally likely and P(one is 4  41)=1/2 since he has two options randomly chosen from.
P(41  one is 4) = (1/2) * (1/36) / (1/6) = 1/12
This is the same for 42,43,45,46,14,24,34,54,64.
But since 44 only has one value possible to report, the value is different.
P(44  one is 4) = 1 * (1/36) / (1/6) = 1/6. So given that one is a 4, the roll 44 is twice as likely as the other 10 possibilities.
To finish finding the answer...
P(sum is 7  one is 4) = P(34  one is 4) + P(43  one is 4) = 1/12 + 1/12 = 1/6.
Of course, if Plato always decides to tell the smaller value shown on the dice or anything other than uniformly random, the probability distribution could be wildly different.
The part that I turned red in the quote bugs me a little bit.
SpoilerIf you're given that one of the numbers is four, then saying that the probability of rolling a four and a one (in that order) is 1/12 seems at odds with there being eleven possible rolls with a four. But it does make sense if you assume that Plato will randomly pick one of the two dice and announce its number, since he's twice as likely to say that you rolled a four if you rolled a doublefour than if you rolled a four and any other number, so you can count that possibility twice and bring the denominator to 12.
Suppose instead that Plato picked a number N before the dice were rolled and would plan to say either "You rolled an N" or "You didn't roll an N" as if he were in the Donny Hall puzzle?

On 6/23/2019 at 5:40 PM, bonanova said:With discussion help from @plasmid, here is a 9crumb solution. Kudos again for an engaging puzzle.
Path A 1 2 C
Path C 3 E
Circle C includes Crumb 3 and excludes B and D. (1 and 2 have been eaten.)
Crumb 3 lies to the left of the bisector through B and the center, so crumb E is next, not D.The path from C to E using only one helper is due to @plasmid. I believed it took two helpers.
We can't also shorten the A 1 2 C path, cuz the single helper ends up too close to the center.
The single helpers would end up too close, and mouse would go { A 1 3 E } and spoil things.So there's no 8crumb solution.
Path E 4 B D
It looks like that will indeed work. And I know I just said this about the previous solution, but now I really don't think there's a way to do it with any fewer breadcrumbs.
As for ever finding a general solution to the breadcrumbing problem,
SpoilerIt looks like a key feature of this solution that lets it use fewer crumbs than the one I had is that the final breadcrumb is way out far away from the interior of the pentagon, leaving more free room in the center to play with in the earlier steps. The complete opposite of a greedy algorithm. Which makes me less optimistic about finding a general solution easily... but on the other hand probably makes this sort of problem more fertile ground for puzzling.

9 hours ago, bonanova said:What precludes the mouse from going from G(2) to G(5)? (My eyes are getting bleary ...)
SpoilerIt's the nudging that I promised to do; B(2,1) has to be nudged so the distance from G(2) to B(2,1) is slightly less than 1. That's done by nudging B(3,1) slightly counterclockwise around G(3) to open up a tiny area where the Voronoi tile for G(3) extends a little closer to G(2)  in the figure for the G(2) to G(3) movement, nudging B(3,1) counterclockwise would rotate the vertical Voronoi border slightly counterclockwise so the corner of the G(3) Voronoi tile (upper left and left segments of the dotted line regions) extends into the unit circle around G(2).

7 minutes ago, bonanova said:I think there's a proof for the pentagon case.
To answer your spoilered question in your Friday at 11:43 PM (edited) post.
You need two helper crumbs to get from A to C without encountering B. (1) has to be closer to A than B is, and (2) has to be closer to C than to B. Ditto for getting from C to E without nibbling at D.
And I think it would be provable by drawing appropriate circles, showing there is no way to do either task with a single helper crumb.
Without at least one more helper, the mouse will go from E to D, bypassing the crumb at B. So, 5 helpers, minimum.

General case ... you can guide the mouse along any desired path, with crumbs placed arbitrarily closely, and possibly finagling things where the path crosses itself. So there exists a minimum (by removing crumbs until at some point things don't work.)
But saying an answer exists and finding it are two different things.
I would have to disagree with that since I just posted a solution with only one breadcrumb going from C to E. But I do agree that there probably isn't a better solution for the pentagon case than adding five new breadcrumbs.

26 minutes ago, bonanova said:This was a fun puzzle.
Thanks to @plasmid for hinting that OP does not constrain the mouse to travel the diagonals, where the best I can do is 12 crumbs.
A1234C56E7BD
If there were to be a 10crumb, offdiagonal path, it seemed clear that the EtoB traverse would be the simplest, needing only one helper crumb and them mouse would eat the crumbs in this order.
A12C34EFBD,
Mentally I could get E without difficulty. I anticipated that placing crumb 5 would be the challenge. True enough, and quick sketch left things in doubt. Photoshop to the rescue.
I constructed the partial paths A12C and C34E identically. I placed crumb 2 on the BC edge, just lightly closer to C than to B. Then I placed crumb 1 at the vertex of an equilateral triangle B21B, being careful to nudge crumb 1 lightly toward crumb 2 to insure that distance 12 would be shorter than 1B.
With crumb 1 placed, I drew a circle around A at that radius, and excluded all crumbs other than crumb 1. That was enough to insure the A12C path would be taken. Constructing path C34E identically produced no interference, and that gets us to crumb E.
 I constructed a circle around E at radius equal to the distance ED. Crumb 5 would have to be inside, to keep the mouse from going to D next (from E.)
 I bisected to diagram with a line from C through the center. Crumb 5 would have to be north of that line to make it closer to B than to D.
 Finally crumb 5 would have to be outside the exclusion circle centered on A.
As luck would have it, there was a tiny area that did those three things, and I plopped crumb 5 into it, insuring that from E, the mouse would dine next at crumbs 5, B and D, in that order.
The figure is the proof that these placements solve the problem. There is enough wiggle room for each of crumbs 15 to make up for any slight Photoshop errors. (i.e. I didn't calculate all the crumb coordinates.)
That's the best solution so far, and matches the number of breadcrumbs I had even though it seems substantially different. I strongly suspect that there aren't any better solutions with fewer breadcrumbs, although I don't know of a way of proving it, let alone finding a general solution for determining the fewest number of breadcrumbs it would take to "teach" a dumb but hungry mouse to travel any arbitrary path. And I sort of doubt that anyone has figured it out since this sort of puzzle isn't a common thing. But I'll go ahead and share my perspective on the problem and the solution I reached.
SpoilerI’ll start with some mouse luring theory for general cases, and will make some definitions: Call the Goal points G(1), G(2), G(3), … G(N) where the mouse needs to go from G(1) to G(2) to G(3) etc. and end at G(N). If there’s a set of Breadcrumbs that lure the mouse from G(1) to G(2) then call them B(1,1), B(1,2), B(1,3), ... B(1,M(1)) in the order they get eaten and the set of Breadcrumbs that lure the mouse from G(2) to G(3) would be B(2,1), B(2,2), B(2,3), … B(2,M(2)), etc.
CaptainEd noticed the first important thing: if the mouse has already gotten to point G(A), then it must have eaten everything from G(1) to G(A1) and from B(1,X) to B(A1,X), so you only have to worry about the breadcrumbs from G(A) onward and B(A,1) onward. That means it’s probably a good idea to start at the end and work backward. Make sure that if the mouse reaches G(N1) it will go to G(N), which is pretty much a given since there won’t be any other breadcrumbs left at that point and the mouse will go to G(N) because that’s the only bit of food left. Then make sure that if the mouse reaches G(N2) it will go to G(N1), which might require some breadcrumbs if G(N) is closer to G(N2) than G(N1) is, which is the case with the pentagon where D is closer to E than C is, but at least you know that all of the other breadcrumbs will have been eaten so you just need to worry about placing B(N2,X) breadcrumbs to lure the mouse to G(N1) without going to G(N) first. Then place some B(N3,X) breadcrumbs to make sure that if the mouse reaches G(N3) it will go to G(N2) next and not eat any of the G(N), G(N1), or B(N2,X) breadcrumbs.
(Notice that I said it’s probably a good idea to do that – it makes it easier to approach the problem, but doesn’t guarantee you’ll find an optimal solution.)
Two other things are worth mentioning about mouse luring before we get started with the pentagon. First is something that bonanova made use of in a sort of inverse way than I did since he worked forward instead of backward: if the mouse is at a point, then you can find the closest bit of food to that point that hasn’t been eaten yet and call the distance between them R. The next breadcrumb you place to lure the mouse must be within a circle of radius R around the mouse’s current position if you want it to be lured by that breadcrumb. Second, it helps to have a Voronoi diagram to know where the mouse will go next if you place a breadcrumb. Briefly stated, if you take all of the morsels of food that are still in play and draw lines that are equidistant from pairs of points to tile the plane, the mouse will next go to whichever morsel of food is at the center of the tile that the breadcrumb is in.
Now for the actual pentagon, where I’ll define a length of 1 unit to be the length of each side of the pentagon. If the mouse reaches G(4) and everything else has been eaten except G(5), then the mouse will go to G(5) and we don’t need to worry about placing any B(4,X) breadcrumbs.
If the mouse reaches G(3) and the only other bits of food are at G(4) and G(5), then we just need to lure the mouse from G(3) to G(4) without having it get sidetracked to G(5). So we need a point B(3,1) that lies within a circle of radius 1 around G(3) and that will take the mouse closer to G(4) than G(5) – in this case the Voronoi diagram just has a border between the G(4) and G(5) territory which is a line going through G(2) and the center of the pentagon. Easy enough… I’ll just place breadcrumb B(3,1) at distance 1 from G(3) along a line parallel to the G(2)G(5) line as shown in the figure. Technically I’ll need to nudge the breadcrumb a little bit closer to G(3) to make the distance from G(3) to B(3,1) slightly less than 1 so I can be sure the mouse will go to B(3,1) instead of G(5), but this will be an infinitesimally small nudge and I’ll talk more about exactly how this breadcrumb will be nudged later on.
Next we need to get the mouse from G(2) to G(3) while the food in play is G(3), G(4), G(5), and the B(3,1) that we know the approximate location of. I’ve drawn dashed lines for the Voronoi diagram that are halfway between G(3) and B(3,1), G(3) and G(5), and G(5) and B(3,1) so the territory for G(3) is the left and upperleft segment, the territory for B(3,1) is the right and upperright segment, and the territory for G(5) is the two lower segments. (I won’t worry about G(4) since it’s pretty far away.) Notice that G(3), B(3,1), G(2), and G(5) form a parallelogram so all sides are length 1 and opposite angles are equal.
We know the angle from G(3) to G(5) to G(2) is 108º (for a regular Ngon it will be 180 – (360 / N)) so the other angles of the isosceles triangle formed by those points is (180 – 108) / 2 = 36º. Half the distance from G(2) to G(3) would be 1 x cos(36), so the full distance from G(2) to G(3) would be 2 x cos(36). If we place B(2,1) a distance of 1 away from G(2) along the line going from G(2) to G(3), then the remaining distance from B(2,1) to G(3) would be 2 x cos(36) – 1. So where does that fall in relation to the Voronoi border? The “xaxis” distance from G(3) to B(2,1) in the figure is (2 cos(36) – 1) x cos(36), which happens to be 0.5. So the breadcrumb would be exactly on the borderline in the Voronoi diagram! But remember that the exact position of B(3,1) isn’t carved in stone yet and it will need to be nudged anyway, so while we’re nudging it we can give it a nudge to move counterclockwise around the circle of radius 1 around G(3), which will rotate the vertical line in the Voronoi diagram counterclockwise to increase the territory for G(3) in the upper left segment and open an area to drop B(2,1).
Then the last and hardest part will be to get the mouse from G(1) to G(2) with all the food in play. First we figure out the radius of the circle around G(1) where we can drop a breadcrumb that will lure the mouse. The closest point to G(1) is B(3,1). If we ignore the nudging of B(3,1) and say it’s on the line from G(3) to G(4), the angle formed by G(1), G(3), and B(3,1) is 36º for the same reason the G(5), G(2), G(3) angle is 36º. A little bit of trig will tell you that the distance from G(1) to B(3,1) is 2 sin(18), so the first breadcrumb must be within that distance of G(1).
Let’s place B(1,1) along the line from G(1) to G(4) at a distance 2 sin(18) from G(1). Using the same bit of trig again, we see that the distance from B(1,1) to B(3,1) is (2 sin(18))squared. The distance from B(1,1) to G(4) is 1 – 2 sin(18). And it turns out that those two distances are equal, which makes the math easier going forward as we just take a vertical path straight down next.
We know that the angle from vertical going up to B(1,1) to G(4) is half of 108º (since B(1,1) is on the line from G(4) to G(1) and we know that’s true at G(1)) so that angle is 54º, and by symmetry the angle to B(3,1) is also 54º. If we go down from B(1,1) for a distance of 1 – 2 sin(18) and drop B(1,2) there, we have an isosceles triangle with two 63º angles (since (180 – 54) / 2 = 63).
We know the angle from G(4) to B(1,2) to G(2) is 180 – 63 = 117. We also know that the angle from G(4) to G(2) to the horizontal is 180 – 108 = 72º so the angle from B(1,2) to G(2) to G(4) is 90 – 72 = 18º. And the angle from B(1,2) to G(4) to G(2) is 180 – 117 – 18 = 45º. Since we know the length from G(4) to G(2) is 1, I can take the coward’s way out by going to an online calculator like calculator.net/trianglecalculator.html to solve for the distance from B(1,2) to G(2) as 0.794 and B(1,2) to G(4) as 0.347. So we can place one more breadcrumb B(1,3) at a distance of 0.346 going down from B(1,2) which will be distance 0.448 from G(2), which is clearly within G(2)’s area on the Voronoi diagram because the distance is less than 0.5 and the other points like B(2,1), B(3,1), and G(4) are all a distance of 1 from G(2), and we even have some room to spare so we can feel comfortable about going back and making those infinitesimal nudges we promised.
That’s a solution for the pentagon, and I think it’s not possible to solve it with fewer than five breadcrumbs, but I don’t see any good way of proving it for more general cases. You can say that for any distribution of a finite number of goals G(1), G(2), G(3), … G(N) you can always lay a set of breadcrumbs to solve it – just do as CaptainEd mentioned earlier and draw straight lines between each of the G(X1) to G(X) (in reverse order, starting from X=N and working backward), find the nearest bit of food to that line that could cause the mouse to go astray, and drop breadcrumbs along the line so the distance between breadcrumbs is always less than that critical distance but be sure that you never drop a breadcrumb directly on top of a line connecting another pair of points G(Y1) to G(Y) that the mouse will need to traverse. And if the line between G(X1) and G(X) has a goal point directly on that line, just drop a breadcrumb somewhere else to serve as a waypoint W and make the mouse go from G(X1) to W and then to G(X). So there’s always a solution for any situation, and since any solution must have a finite number of points there must be a smallest number of points that can be a solution, but I don’t have any idea how to prove you’ve found an optimal solution for complex cases.

16 minutes ago, bonanova said:I understand that the mouse goes to the nearest crumb, and that "nearest" means shortest euclidean (straight line) distance. So (haven't read the spoiler yet) I never conceived the mouse would get advantage by doing otherwise.
I'm assuming the mouse is playing strictly according to his own hunger advantage. Am I right about that?
Oh wait. you're saying that
that the crumbs don't have to be placed on diagonals.
* headslap *
Now I can imagine a solution that adds 2, 2 and 1.
Give me a day or two to work on that?
That's correct. The mouse can take whatever path you want it to take, even if it's not straight lines from A to C to E to B to E, as long as it reaches the specified destinations in the specified order.
And it took me more than a day or two, so I certainly wouldn't fault you if it takes more than that.

10 hours ago, bonanova said:Your post almost claims a 10crumb solution!
If you found a 2 on AC, 2 more on CE along with 1 on EB solution, I will be totally in awe.Sort of a hint... (But note the edit below the spoiler before you open the spoiler.)
SpoilerHow sure are you about the conclusion that the path from C to E requires two breadcrumbs, and the underlying rationale?
Edit: To clarify: the mouse doesn't need to travel along straight lines to each of the points. It can go along any curved, jagged, or whatever sort of twodimensional path you want, which makes the problem more interesting. If that's enough clarification, then don't open the spoiler :3

CaptainEd has the best answer so far and asked to see my solution so I'll go ahead and PM it, but will leave this open in case anyone else drops in and wants to take a crack.

7 hours ago, CaptainEd said:Locations, as promised, for pentagon, in the columns labelled x and y.

Drag files here to attach, or choose files...
Max total size 9.06MB  Insert other media
Uploaded Images
Putting coordinates into a spreadsheet and calculating distances sure is a good way of checking your work; now I wish I had thought of doing that!
I believe I have a way of doing it with five breadcrumbs aside from the five vertices. Up to you if you'd like to look at it a little longer or if I should go ahead and convert my chicken scratch to an intelligible post when I get a chance.

Drag files here to attach, or choose files...

Well, I blew it with the first guess...
SpoilerDandelion seed

4 hours ago, rocdocmac said:Just to get my own mind at peace (square case) ...
I see what you're saying  if we don't care whether the mouse goes from C to B or from C to D then that would work and you could let the mouse just flip a coin after it reaches C. The OP was phrased sort of ambiguously since I first talked about making the mouse take as many diagonals as possible (in which case that would be fine to do) and later said the specific letter sequence of ACBD (in which case that wouldn't).
The only thing I'd say, though, is that if you drop a breadcrumb in region E, it seems like the mouse would go eat the breadcrumb there and then go to either B or D instead of C  either of those two points would be closer to region E than C is.

3 hours ago, CaptainEd said:Definitely an interesting puzzle with a new principle; nice job, Plasmid!
Partial analysis:
Let a0 be a breadcrumb on point A, a1 the first breadcrumb on the path to C, etc.
Then come c0=C, c1..., e0=E, e1..., b0= B, b1..., d0 = DWorking back from the last move:
There must be a crumb on D to attract the mouse to the endpoint.
Before that, a crumb on B, and then the mouse will see nothing but D, so no further bi are needed.
Before that, a crumb on E. After that, e1 has to be closer to E than D is, else the mouse at E will go directly to D without going to B first. There may need to be additional ei
Before that, a crumb on C, and afterward c1 must be closer to C than B is.
Before that, a crumb on A, afterward a1 has to be closer to A than E is.Here are the endpoints and all the line segments from each endpoint to the next:
A, Aa1 < AE, a1a2,...,axC,
C, Cc1 < CB, c1c2,...,cyE,
E, Ee1 < ED , e1e2,...,ezB,
B,
DBut I don’t yet see how to express the constraints on ai:i in 2...x, ci:i in 2..y, and ei:i in 2...z, nor the values of x, y, and z.
Multiple crumbs on a spot
I doubt that putting more than one crumb on a spot has any effect. There’s no instruction in OP suggesting that the mouse is swayed by mass, only distance. If more than one crumb is at a spot, and the mouse goes there, it will eat one crumb, then the next and the next, until they’re all gone, and then will move to the nearest crumb.Yep, this gets harder than it looks

On 5/9/2019 at 5:30 AM, jjs323 said:3 at c, 2 at b,1at d
... wut?
16 hours ago, rocdocmac said:... Wat?
The mouse always goes and eats the nearest bit of food to its current position. So like Captain Ed says, putting multiple pieces of food at one spot wouldn't be helpful. If the mouse starts at point A of the square, then the food at either B or D will be closer than C (even if there are multiple breadcrumbs at C), so the mouse will go to the closer food at either B or D.
14 hours ago, Dave said:In your 4 sided box, insert 4 small triangles against the 4 box sides, which now create 2 paths, a to c, and b to d.
Repeat the mouse feeding exercise several times and the mouse will learn how to get to the 4 box corners using the your desired
directions. Then remove the 4 triangles and watch what happens.
Or, you could eat the bread yourself and feed the mouse to the neighbors cat.
Nah, this mouse really is pretty dumb. It won't manage to learn, it'll still keep right on pursuing whatever bit of food is closest until it eats everything in sight.

I'll go with ...
Spoilera bookmark

This gets tricky with rolls like (1, 1, 6) that look isosceles but don't actually form triangles.
How would you handle such rolls? Would you omit rolls that don't form a triangle from analysis (equivalent to saying that if you get a roll that doesn't form a valid triangle then roll again), or count them as a failure to form an isosceles triangle? And would you consider a "straight line" throw like (3, 3, 6) to be a valid triangle albeit with zero area or nah?

This sounds like it might be a homework problem, so I won’t flat out answer it but will give a hint on how to approach it.
SpoilerIt becomes a lot easier if you solve for the probability that you roll the dice three times and NOT get an isosceles triangle. In other words: what's the probability that you roll three times, and on each throw you roll a number that hasn't appeared yet?


Good start, that would work, but the square can be done with fewer breadcrumbs.

SpoilerCall the original number N and the new number M. Define N_{1} as the units digit of N, N_{2} as the tens digit of N, etc. If you use the same numbering system for M then the fact that M = 2N means that M_{1} = 2N_{1} mod 10, M_{2} = 2N_{2} mod 10 + int(N_{1}/5), M_{3} = 2N_{3} mod 10 + int(N_{2}/5), etc. And the fact that you can move the units digit of N to the front to also generate M means that M_{1} = N_{2}, M_{2} = N_{3}, … M_{max} = N_{1}.
Combining the facts that M_{1} = 2N_{1} mod 10 and M_{1} = N_{2} means that N_{2} = 2N_{1} mod 10
M_{2} = 2N_{2} mod 10 + int(N_{1}/5) and M_{2} = N_{3} means N_{3} = 2N_{2} mod 10 + int(N_{1}/5)
M_{3} = 2N_{3} mod 10 + int(N_{2}/5) …
Well, I could keep writing all that stuff out, but you get the idea. If you’re given the ones digit, you can solve for the rest of the digits. So we can just go through all the possible values for the ones digit and find out if we can generate a number that fits the description of the problem. Note that we can skip the cases where N_{1} = 0 or N_{1} = 1 because in those cases it would be impossible for M (where N_{1} is now the lead digit) to be 2N. I wrote a spreadsheet to do those calculations for the various potential starting values N_{1} and will paste the results.
Now we’re looking for a number where the original N_{1} digit (which becomes the M_{max} digit) would be 2N_{max} + int(N_{max1}/5) which is what you know must be true if M = 2N. In English: if N_{1} is even we’re looking for a number with an N_{max} of N_{1}/2 and N_{max1} less than 5, and if N_{1} is odd then we’re looking for an N_{max} of N_{1}/2 rounded down and N_{max1} of 5 or greater. So taking the case of N_{1} = 2, we can look down the list of subsequent digits until we find a potential N_{max} where N_{max} = 1 and N_{max1} < 5, which occurs at digit 18. That gives the number 105263157894736842. And manually checking, we see that in fact moving the ones digit to the front gives the same value as multiplying the original number by 2, which is 210526315789473684. A similar thing can be done for the other potential starting units digits to find more numbers that would be a solution to the problem.

1 hour ago, CaptainEd said:Silly question: are we required to make the paths as straight lines: AC, CB, BD?
That's definitely not a silly question. In the question I had in mind, the paths don't need to be straight lines. But down the line when we solve the pentagon case and start thinking about generalizations, we could talk about solving for cases with straight line paths.

On 4/23/2019 at 9:26 AM, BMAD said:I have in mind a number which, when you remove the units digit and place it at the front, gives the same result as multiplying the original number by 2. Am I telling the truth?
You could be telling the truth because such a number does exist. Of course I can't say with certainty that you're telling the truth because I don't know whether you actually have such a number in mind right now. Back in a bit with a description of how to handle this problem.

In case this helps clarity: the warm up problem is to take this setup with the mouse at A (I told you it was cute!) and breadcrumbs at B, C, D, and your job is to place more breadcrumbs to ensure the mouse goes first to C, then B, then D. Ideally, using as few breadcrumbs as possible.
The real problem is to take this setup with breadcrumbs at points B, C, D, E and place more breadcrumbs to make the mouse go first to C, then E, then B, then D. Again, using as few breadcrumbs as possible.

Warning: This is a problem I have not yet found an optimal (or even very good) solution to. But it seems awfully nontrivial, and not in a genre that I've seen before, so I'm throwing it out there for the Den. ( @bonanova that means you should take a look.)
You have a pet mouse. It's an awfully cute mouse. Kind of like those mice on Pinky and the Brain. And you'd like to make it even cuter by teaching it some tricks. The only problem is that your mouse is, well... let's just say it has the brain of a mouse so it's kind of hard to teach it any tricks. But it is very good at eating food. In fact, it will always manage to find the closest morsel of food and go eat it, then find the closest from its new position and go eat that, etc. until it eats everything in sight. So, you'd like to "teach" your mouse to do some tricks given that behavior.
The first exercise is to place morsels of food at the corners of a square and place breadcrumbs so the mouse runs to diagonal corners as much as possible. In other words, suppose you have a square with points A, B, C, D in clockwise order with the mouse starting at point A and you'd like to make the mouse go to point C (diagonal from point A), then point B (one of the two remaining), then point D (diagonal from point B). There are already some breadcrumbs at points B, C, and D (since there need to be breadcrumbs there if you want the mouse to stop at those points) and your goal is to place breadcrumbs to make the mouse go from A to C to B to D while placing as few breadcrumbs as possible.
That first exercise might be a challenge for your kid brother, but for a BrainDen level challenge (the one I haven't convinced myself I've found an optimal solution for yet): Instead of a square, suppose you have a regular pentagon with points A, B, C, D, and E in clockwise order and want to get the mouse to go from A to C to E to B to D?

If anyone tries asking people this question in real life, a follow up after they've heard that answer:
If a ship with tourists from Europe sinks on the way from Alaska to Australia while in contested Chinese waters, where would the deceased passengers be buried?
Probability 101
in New Logic/Math Puzzles
Posted · Report reply
I agree completely with EventHorizon, and will try to summarize in a way that addresses the OP and deconvolutes the paradox at its heart:
If Plato were to pick a number, say 4, and decide that he would tell you "You rolled a 4" or "You didn't roll a 4", then Aristotle would actually be correct. There's an 11/36 chance that he would roll a 4, and among those outcomes there are 2 that sum to 7, so if Plato says "you rolled a 4" then there really is a 2/11 chance that the sum is 7. Alternatively, there's a 25/36 chance that he doesn't roll any 4s, and among those outcomes there are 4 that sum to 7, so if Plato says "you didn't roll a 4" then there's a 4/25 chance that the sum is 7. So Aristotle is slightly more likely to have rolled a 7 if Plato says he rolled a 4 (or any other number). The reason for this is that if Aristotle rolls doubles then it obviously won't sum to 7, and Plato is slightly less likely to say that Aristotle rolled any given number if he rolled doubles (1/6 chance of rolling the number Plato picked) than if he rolled two different numbers (1/3 chance of rolling the number Plato picked).
On the other hand, if Plato picks one of the two numbers that are rolled and calls it out, the math is different. If Aristotle rolls two different numbers then there's a 1/2 chance that Plato will call out either of the two numbers, but if he rolls doubles then there's a 1/1 chance that Plato will call out that number. So there are 11 possible rolls that could lead to Plato calling out 4, but one of those possibilities (rolling double 4s) is twice as likely to lead Plato saying that he rolled a 4 as the others, so the odds of rolling a sum of 7 should be 2/12 instead of 2/11. This fits with our intuition that if Plato simply picks one of the numbers to call out then it shouldn't affect the probability of whether the sum is 7.
The apparent paradox arises because you're doing the math assuming that Plato's acting as described in the first paragraph, but really he's acting as described in the second paragraph.