wu :: forums
(http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi)

riddles >> hard >> Unsolved Problems in the Hard Forum
(Message started by: Icarus on Jul 23rd, 2003, 9:01pm)



Title: Unsolved Problems in the Hard Forum
Post by Icarus on Jul 23rd, 2003, 9:01pm
New Stuff

• 3D Chessboard Full Control (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1064517916) Can you find the minimum number of Rooks needed?

• Generalized Birthday "Paradox" (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1064519050) This offering from William has seen only quibbling and joking, no solving.

• Two-Face Escape (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1064984392) has a solution from James. Is it good?

• Odd memo distribution (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1065421558) bears a surprising relation to the 3D Chessboard Full Control puzzle. One thing they have in common is that neither has been fully solved.  ;)

• Triangles In Random Graphs (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1066287652). What chance does a triangle have?

• fractal maze (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1066914805) This is solved, but is such a cool twist on those tired old mazes we used to see as kids that I had to mention it!

• Construct Medians (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1066834485). A classic construction problem using straight-edge and ... ellipse? No progress.

• Convex Set Projection (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1068149775). Even with William's hints, no one has touched this.

• How many queens? (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1068090805). The solution for n=4 is almost there, but other n are still open.

• 4-Peg Tower of Hanoi (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1068382059). Can EigenRay's answer be bettered?

• Combinations of Pi and Sqrt(2) (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1066277166). Lots of suggestions, but no definitive procedure has been developed.

Puzzles with no solution to the original problem (but likely to be solvable).

• The shortest distance from A to B (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1030722128). No solution has been offered.

Puzzles with possible solutions, solutions not clearly demonstrated, or solutions which have been seriously contested.

• Cutting A Box From Triangular Stock (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1063027263): SWF has pointed out that James' solution is flawed.

• Knight on an infinite chessboard (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1050433266). Some progress, but nothing final.

• Logical Nonsense (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1049997132). Lots of fireworks as Thud&Blunder and Ulkesh bump heads, but no agreed upon solution.

• Sink The Sub (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1028142186). A solution has been offered, but a pre-registration post by Aero_guy claims it can be bettered.

Puzzles with incomplete solutions (but likely completable.)

• Last Man Standing (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1053621323). SWF has come up with a surprising statistical result. The ultimate goal has not yet been reached, though.

• Arrange the 13 pieces (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1040354716). Rezyk has resurrected SWF's unlucky dissection from obscurity. But SWF indicates that his inventive solution to the second part was not the intended square.

• A math puzzler from Barukh, Random Exponentiation (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1060427532), is solved - provided you don't mind glossing over those piddling little details... For those with a mind for completeness, this one is diving into some advanced number theory. Can you prove Wutang's Conjecture? [wutang]

• Tunnels of Callicrates (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1053700323).

• Random Line Segment In Square (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1049132168). SWF has found a good Large number approximation. Is a formula for smaller N feasible?

• Growing Number Sequence (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1043704809). James has given the means for defining this sequence now, but no nice formula has yet been found.

• Seating Couples (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1054085324). Hyperdex has offered a partial solution to this one, but no one has ever finished it.

• Recurrence relation divisibility (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1053550273). Another partial solution from hyperdex.

• "Erik's Puzzle" (Conway's Game of Life) (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1049135879). The answer to the higher dimensional problem has been found (almost certainly), but not proven.

• Perpetual Motion (Basic Chemistry) (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1047678152). James' final post to this thread he started suggests that SWF' solution to problem #2 is incomplete, but no-one has addressed the question.

• Firing Squad Synchronization (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1044421289). Another masterful contribution by James to the solution, but not a complete solution.

• How Far Can a Truck Go, Carrying Its Own Fuel? (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1040561389). Can someone find a strategy that beats James', or show that James' is optimal?

• Coin Flip Game Worth (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1028100705). AlexH has made some serious inroads, but suggests that better is possible.

• Fitting Circles In A Rectangle (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1057118716). James Fingas's answer is supported by a simulation. Does anyone want to try for something more rigorous?

• Three Dimensional Random Walk (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1054069556). Again, lots of calcuation, but no final word on the matter.

Puzzles with incomplete solutions (and unlikely to ever be completed.)

• Language Proficiency Verification (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1042286084). No final answer.

• HARD: Hamming Distance Questions (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1027804361). This one is an unsolved problem in mathematics. Solve it and your name will be known throughout history! (Okay - only to a rare few die-hard math history nerds, but hey, what do you expect?)

• HARD: Cigarettes Max Clique (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1027804466).

• Rubik's Cube (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1034664469). Another one that has been the focus of mathematical research without finding a complete answer. It's unlikely one will be found here, but maybe someone knows sharper results than those already quoted (and can back them up with links)?

• Worm Propagation (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1046161895). TenaliRaman has breathed a little new life in this one. Maybe I'll get to remove it after all!

• 100 Prisoners & a Light Bulb? (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1027805293). The "Optimal" solution has still not been discovered, or at least not proven. I also rate this one as unlikely to ever have a complete answer, though new progress keeps being made!

• 100 prisoners and no lightbulb (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1042560956). A variation of the classic, the author has never answered Chronos' request for a clarification. Without it this one may be dead in the water.

• 100 PRISONERS AND TWO LIGHT BULBS (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1030162865). Another variation on the classic. With that extra bulb come some other changes that make this a tougher job than the original. Optimality is still far away.

Solved puzzles with open side challenges.

• 10-adic numbers (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1063152550), still has a follow-up question concerning "bidirectional numbers" open.

• Coins on a Table (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1062277842): Progress has been made on Barukh's generalization, but a full solution is not yet shown.

• The Lion and the Lion Tamer (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1028613864). This puzzle was thought to be solved, until Barukh demonstrated that the opposite answer was in fact true! In addition to pointing this out, Barukh has added another question concerning lines.

• Three-way Pistol Duel (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1027808060). While the main question has long been solved, there is a multi-shooter question that is unanswered.

• HARD: GREEDY PIRATES (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1027805318). The original question is solved (though the best answer,[hide]999 coins[/hide], has been posted without explanation), but I proposed a variation (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1027805318;start=25#30) which is much harder than the original. James Fingas and rmsgrey have made some inroads, but a final answer is still unknown. Rmsgrey has also raised the question of what happens with more than 5 pirates in the original version.

• Brick piercing (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1035080269). With his solution TimMann gives a follow-up question no one has touched.

• Shuffling cards into order (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1032715548). The original is solved, but the general equation for out-shuffles has not been found.

• A simple game (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1028570694). The original problem is solved but the follow up question Jonathan_The_Red asks is not touched.

Latest Changes  (11/11/03):
• Moved the Change History to a separate post.
• Removed Filling a Box with Cubes (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1061630044) now that Tohuvabohu's proof for the infinite case has been completed.
• Moved "Coins on a Table" to the "Solved with open side challenges" section.
• Removed Beautiful Chess Puzzle (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1062446970) since it has been solved. T&B posted a second problem there, but it should be given a thread of its own if anyone wants to solve it.
• Moved "Cutting A Box From Triangular Stock" to the "Partial or Disputed solutions" section.
• Removed Prisms (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1062188876). I'll go along with James & aero_guy on this one.
• Removed Generating Random Trees (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1062664074). James clears another off.
• Removed Collision With Row Of Spheres (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1043890882). Score another for James, while I got bit by differing terminology.
• Removed 12 balls - variation (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1050065099). TimMann & Rujith polished it off.
• Removed Ellipsoid Power Generation (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1048563913). There may still be more to the story, but I've decided to withdraw my objection.
• Removed Particle Time (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1029416213) after rereading the thread. The objection I had raised in it turns out to have been answered early on. (I'm rather surprised no one called me on it!)
• Moved "Last Man Standing" to the "incomplete but likely completable" category, as SWF has made a very significant contribution.
• Replenished the new stuff.

Link to Change History (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1059019294#12). (Or you could just scroll down to the 12th post! ;))

Title: Re: Unsolved Problems in the Hard Forum
Post by aero_guy on Jul 23rd, 2003, 10:29pm
Damn, thanks.  This will help direct efforts.  Must have taken a while too.

Title: Re: Unsolved Problems in the Hard Forum
Post by SWF on Jul 24th, 2003, 11:07pm
Great work, Icarus!  This list will be very helpful to keep track of the riddles that slip through the cracks.

The Intersecting Spheres (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1049998432) problem looks like it was first solved by cho.  There was much sidetrack discussion and debate in the thread, but the question asked was simple and cho answered it.

Many of the hard problems are not likely to ever be solved fully in this forum, and separating these from the more tractable problems would be useful. It would also be nice to include some sort of status, such as "best 100 prisoners and lightbulb solution so far takes 3536 days", but I guess it is tough to verify the accuracy of such claims.  Unfortunately, the prisoners and lightbulb thread was taken over by repeated irrelvant suggestions from posters who did not read the thread and any serious solution posted there is likely to get buried in posts suggesting to break the bulb into 100 pieces.

Title: Re: Unsolved Problems in the Hard Forum
Post by Lightboxes on Aug 13th, 2003, 9:10pm
...
Quote:
 by repeated irrelvant suggestions from posters who did not read the thread and any serious solution posted there is likely to get buried in posts suggesting to break the bulb into 100 pieces.

Hey!, I was new here, I didn't know how to approach these problems.  :)  And I do regret it okay! sheesh.  Hehe

Title: Re: Unsolved Problems in the Hard Forum
Post by william wu on Sep 9th, 2003, 9:03am
Ditto. Awesome work Icarus, as always. Thanks so much :)

Title: Re: Unsolved Problems in the Hard Forum
Post by James Fingas on Sep 23rd, 2003, 1:28pm
For Fitting Circles in Rectangles (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1057118716): my solution is, of course, correct, and my diameter is almost perfectly optimal, but I would like to point out that I proposed a side question that hasn't been answered (reply #7 in that thread). What if M and N weren't restricted to integers?

Title: Re: Unsolved Problems in the Hard Forum
Post by Icarus on Sep 23rd, 2003, 6:00pm
Okay! Okay! Okay! I know I've been letting this slide! I actually started on an update last weekend, but got sidetracked while investigating a posted solution, and never got back to it. Unfortunately, I'm having connection problems, so I may not be able to get to it tonight either.

Title: Re: Unsolved Problems in the Hard Forum
Post by SWF on Sep 23rd, 2003, 6:25pm
Icarus, since you are updating, I think you should reconsider whether the following are unsolved: Tunnels of Callicrates (although when the question is not clear, it is hard to tell when it has been answered), Language Proficiency Verification, Random Line Segment in Square, and Infinite Checkerboard.

Also, how about putting the date of last update in the subject title. Since your changes are edits, they do not register as a new post to the thread and may otherwise go unnoticed.

There are unsolved problems in the Easy and Medium section too.  Maybe they should be moved to Hard.

Title: Re: Unsolved Problems in the Hard Forum
Post by Icarus on Sep 23rd, 2003, 6:55pm
I was unsure about that. Every so often a thread will move to the front of the forum, but when I look in it, I don't see any new posts. I had assumed this was the result of someone modifying their post.

Now I realize (because of an incident while fixing thread titles in the Easy forum) what must be happening: if you post to a thread and then immediately delete it, the thread still gets counted as "modified".

So what I will do is: every time I modify the list, I will also add and delete a blank post. That should bring up the "new" flag for everyone. Of course - this requires that I buckle down and work through figuring out what all needs to be changed! :( That's what I get for doing something ambitious once. ;)

Title: Re: Unsolved Problems in the Hard Forum
Post by James Fingas on Sep 24th, 2003, 9:44am
Yeah ... while you're slaving away being ambitious and all, I'm working hard keeping everybody's expectations low.

If nobody thinks you're going to do anything, you don't have to!

Title: Updated 12-balls (variation)
Post by Rujith de Silva on Oct 14th, 2003, 9:22am
redPepper's extension (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1050065099) to the 12-ball (variation), so this can probably be removed from the Unsolved Riddles.  Thanks for putting together this list, by the way! - Rujith.

Title: Re: Unsolved Problems in the Hard Forum
Post by Icarus on Oct 14th, 2003, 7:58pm
I'll get it in my next update - which may be a while yet. I've got to find some spare time when I am not also feeling the call of other things. These are few and far between.

Title: Re: Unsolved Problems in the Hard Forum
Post by Icarus on Nov 11th, 2003, 6:59pm
Change History

9/25/03: I moved Robin Friberg's crypto puzzles to the medium thread, so while BNC's reply crypto (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_medium;action=display;num=1064534829#4) remains unsolved, it is no longer "Hard".;)  SWF has solved Jamie's Poor Willy (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1059648982). Removed Infinite Checkerboard (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1028324447), although there is a side problem with no POSTED solution, I'm trusting Eric's statement that it is almose trivial from James' last post. Several category changes. Updated "New Stuff".

9/14/03: Removed  Littlewood's Number game (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1040095764), as SWF has posted a good solution. Also updated some thread names.

8/16/03: Removed Willy's true colors (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1032197104), as it is now solved. Added the "New Stuff" section, to keep track of new problems that look like they might be around for a while.

8/3/03: Removed  Another Fork In The Road (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1055514975), as SWF has posted the solution. Also included the side question Barukh has posted in the Lion Tamer puzzle.

7/29/03: Removed Intersecting Spheres (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1049998432) after convincing myself that Cho is correct. Also added this history, to make it easier to see what changes have been made.

7/28/03: Removed the Crazy Christmas Game (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1042232196), since SWF has posted a solution. I also reorganized the problems into categories, as SWF suggested. Thanks to William for making the thread sticky.

7/24/03: After rereading the Sleeping Beauty (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi?board=riddles_hard;action=display;num=1049844608) thread in response to Rmsgrey's new post, I see that it is among the solved puzzles for which I failed to notice the solution when scanning to create this list. I have removed it.

Title: convex set projection
Post by pjay on Dec 3rd, 2003, 4:43am
my knee-jerk reaction to this problem is to triangulate the boundary of the convex set, but then i realized that the existence of a triangulation is not obvious and hard to prove, so i tried to think of another way.  after looking at the hints it seems clear that willie is suggesting the triangulation approach. a comment before i proceed:  i think maybe it should be stated that you can assume that the boundary of any convex set can be triangulated with arbitrarily small triangles?  maybe this gives away too much?? dunno.

anyways, here goes.  take the dot product of 2 unit vectors to get cos(x) where x is the angle between them.  letting one vector roam over a sphere and integrating we get:

\int_0^\pi (2\pi cos(x)sin(x))/4\pi dx.  use the identity
2 cos(x)sin(x)=sin(2x) to see that the above is equal to 1/4.  now let the other vectot represent the height of a given triangle in the triangulation (as in a riemann sum approximation).  by integrating over the triangle we get A/4 where A is the area of the triangle.  now by taking the limit of triangulations we are done...

Title: Re: Unsolved Problems in the Hard Forum
Post by neopetsaddict on Jan 5th, 2005, 9:40am
???ahhh could someone please help me ...for 2 weeks ive been trying to figure this riddle i cant .....(((riddle is what do u feed a sick bird....))) oh by the way im new this place looks kinda cool i love riddles but this one has stumped me big time  ???

Title: Re: Unsolved Problems in the Hard Forum
Post by william wu on Jan 5th, 2005, 10:51am
Neo, in the future please post such problems in a different section of the forum; this thread is for problems that have not been resolved after a long period of time.

Title: Re: Unsolved Problems in the Hard Forum
Post by THUDandBLUNDER on Jan 5th, 2005, 11:38am

on 01/05/05 at 09:40:31, neopetsaddict wrote:
 what do u feed a sick bird....)))  i love riddles but this one has stumped me big time  ???

Well, it helps if you get the wording right.

Title: Re: Unsolved Problems in the Hard Forum
Post by THUDandBLUNDER on Mar 21st, 2005, 1:15am
LOGICAL NONSENSE

LEMMAS:
Contrapositive
(i) A => B = B' => A'

de Morgan's laws
(ii) (A or B)' = A' and B'
(iii) (A and B)' = A' or B'

(iv)
(A => B) and (C => D)
implies
(A and C) => (B and D)

(v)
(A and B) => (C and B)
implies
(A => C)

(vi)
(A and B) => C
and
(D and E) => C'
implies
(A and B and D) => E'

(vii)
(A and B) => C
and
(C' and B) => A
implies
B'

-----------------------------------------

Let
D = Dance on tight-ropes
E = Eat penny-buns
Y = Young (equals 'not old')
G = liable to Giddiness
T = Treated with respect
W = Wise
B = go up in Balloons
U = takes an Umbrella
R = look Ridiculous
L = may Lunch in public
F = Fat

Rewrite the statements as:
1) D' and E' => Y'
1a) (D or E)' => Y'  (de Morgan)
1b) Y => D or E (contrapositive)

2) P and G => T

3) W and B => U

4) R and E => L'
4a) L => (R and E)' (contrapositive)

5) Y and B  => G

6) F and R and D' => L

7) W and G => D'

8) P and U => R

9) D' and T => F

Eliminating E from 1b) and 4a) using (iv) we get
10) Y and L and R => D

Eliminating T from 2) and 9) using (iv) we get
11) P and G and D' => F

Eliminating U from 3) and 8) using (iv) we get
12) W and P and B => R

Combining 6) and 11) using (iv) we get
13) P and G and R and D' => L

Combining 10) and 13) using (iv) and (vii) we get
14) Y and P and G => R'

Combining 12) and 14) using (vi) we get
15) W and P and B and G => Y'

So we now have
5) Y and B => G
7) W and G => D'
15) W and P and B and G => Y'

From 5)
Y => B' or G
From 7)
W => D' or G'
From 15)
W and P and Y => B' or G'

W and Y and P => B' and (D' or G')  (by (iv))
=> B' and (D and G)' (by de Morgan)
=> [(B or (D and G)]' (by de Morgan)

Hence B or (D and G) => (W and Y and P)' (by contrapositive)

Therefore no wise young pigs are balloonists or (dance on tightropes and are liable to giddiness).

Title: Re: Unsolved Problems in the Hard Forum
Post by towr on Mar 21st, 2005, 5:36am

on 03/21/05 at 01:15:15, THUDandBLUNDER wrote:
 LEMMAS: (v) (A and B) => (C and B) implies (A => C) (vii)(A and B) => Cand(C' and B) => AimpliesB'

Can you prove these lemmas?
Because I don't think they're true..
(for (v) take A=true, B=C=false, for (vii) take A=B=C=true)

Title: Re: Unsolved Problems in the Hard Forum
Post by THUDandBLUNDER on Mar 21st, 2005, 6:31am

on 03/21/05 at 05:36:53, towr wrote:
 Can you prove these lemmas? Because I don't think they're true..(for (v) take A=true, B=C=false, for (vii) take A=B=C=true)

A means A is true (given).
A' means A is false.

For (vii)
A and B => C
C' and B => A => A and B => C
Therefore B'

Title: Re: Unsolved Problems in the Hard Forum
Post by towr on Mar 22nd, 2005, 6:39am
It's not clear how "C' and B => A => A and B => C" is to be read.

Besides, a truth table shows that
([(A and B) => C] and [(C' and B) => A]) implies B'
isn't a valid schema.

Title: Re: Unsolved Problems in the Hard Forum
Post by rmsgrey on Mar 22nd, 2005, 6:58am
Actually, looking at it, the contradiction appears to be valid, meaning that the premise must be false. The error appears to lie in only considering part of the premise - I get
B' or C
as the correct conclusion.

Title: Re: Unsolved Problems in the Hard Forum
Post by THUDandBLUNDER on Mar 23rd, 2005, 1:12am
Well spotted, towr and rmsgrey.

Hence we have
(A and B)' or (C' and B)'
equals
(A' or B') or (C or B')   (de Morgan)
equals
A' or (B' or C)

But as
A' => (B and C')'   (contrapositive)
equals
(B' or C)   (de Morgan)
we can conclude simply A', can we not?

But wait, if (C' and B) is false then we cannot use the contapositive, right?
Jeez, I used to think this stuff was easy!

Title: Re: Unsolved Problems in the Hard Forum
Post by rmsgrey on Mar 23rd, 2005, 7:03am

on 03/23/05 at 01:12:38, THUDandBLUNDER wrote:
 we can conclude simply A', can we not?

You have:
A' or D
and
A' => D
where D is (B' or C)

they can be rewritten as:
(A and D')' (de Morgan)
and
(A' and D) or (A and D) or (A and D')

which gives:
(A' and D) or (A and D)

which rearranges to:
(A or A') and D

which simplifies to:
D (which is (B' or C))

Title: Re: Unsolved Problems in the Hard Forum
Post by rmsgrey on Mar 23rd, 2005, 7:28am

on 03/23/05 at 01:12:38, THUDandBLUNDER wrote:
 But stay (!), if (C' and B) is false then we cannot use the contapositive, right?

A => B is always precisely as true as B' => A' regardless of whether A, B or both are true or false, so the contrapositive is always valid.

Title: Re: Unsolved Problems in the Hard Forum
Post by Icarus on Mar 23rd, 2005, 3:00pm
Question: why has all of this been posted here instead in the appropriate thread?

Title: Re: Unsolved Problems in the Hard Forum
Post by THUDandBLUNDER on Mar 23rd, 2005, 3:57pm

on 03/23/05 at 15:00:15, Icarus wrote:
 Question: why has all of this been posted here instead in the appropriate thread?

Answer: Because the appropriate thread appears to have been locked by someone with a poor memory.  :P

Title: Re: Unsolved Problems in the Hard Forum
Post by Icarus on Mar 23rd, 2005, 7:17pm
I'm not sure why it was locked, unless it is because it was one of your infamous disappearing post threads. In particular, the original post is gone, which means there is no version of the original riddle available.

I have unlocked the thread, but the discussion might as well continue here, since I have pretty much let this thread slide.

Title: Re: Unsolved Problems in the Hard Forum
Post by linnea on Aug 14th, 2007, 10:14am
[b][/b]What is brighter than light, but darker than night. Kings and Queens want it,yet peasants have it. If you eat it you will die.

Title: Re: Unsolved Problems in the Hard Forum
Post by towr on Aug 14th, 2007, 11:02am

on 08/14/07 at 10:14:25, linnea wrote:
 Can someone please answer this riddle?[b][/b]What is brighter than light, but darker than night. Kings and Queens want it,yet peasants have it. If you eat it you will die.
The answer is what you've probably come up with.
Unless you've come up with anything. But then you wouldn't be asking.

Title: Re: Unsolved Problems in the Hard Forum
Post by JohanC on Aug 14th, 2007, 11:35am

on 08/14/07 at 11:02:11, towr wrote:
 The answer is what you've probably come up with. Unless you've come up with anything. But then you wouldn't be asking.

It is very healthy having it in your eyes.
You're less fortunate having it in you stomach.

Title: Re: Unsolved Problems in the Hard Forum
Post by towr on Aug 14th, 2007, 11:48am

Title: Re: Unsolved Problems in the Hard Forum
Post by linnea on Aug 15th, 2007, 9:51am
Thanx. You are really smart. Either that or I'm stupid. hahaha....

Title: Re: Unsolved Problems in the Hard Forum
Post by rmsgrey on Aug 15th, 2007, 10:55am

on 08/15/07 at 09:51:04, linnea wrote:
 Thanx. You are really smart. Either that or I'm stupid. hahaha....

Or we've just heard it before...

Title: Re: Unsolved Problems in the Hard Forum
Post by pscoe2 on Jan 9th, 2010, 10:13am

on 08/14/07 at 10:14:25, linnea wrote:
 Can someone please answer this riddle?[b][/b]What is brighter than light, but darker than night. Kings and Queens want it,yet peasants have it. If you eat it you will die.

I mean it is symbolised by white and is highest in the night ...kings and queen want peace but the peasent has it...the last part dosent fit :P

Title: Re: Unsolved Problems in the Hard Forum
Post by brac37 on Jan 28th, 2010, 11:12am

on 01/09/10 at 10:13:19, pscoe2 wrote:
 Can the answer be peace...I mean it is symbolised by white and is highest in the night ...kings and queen want peace but the peasent has it...the last part dosent fit :P

No, that is not the correct answer.