Dominion Strategy Forum

Please login or register.

Login with username, password and session length
Pages: 1 ... 9 10 [11]  All

Author Topic: Logic problems  (Read 72456 times)

0 Members and 1 Guest are viewing this topic.

Ozle

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3625
  • Sorry, this text is personal.
  • Respect: +3360
    • View Profile
Re: Logic problems
« Reply #250 on: March 07, 2013, 02:51:16 pm »
0

Yep, done it i think
Logged
Try the Ozle Google Map Challenge!
http://forum.dominionstrategy.com/index.php?topic=7466.0

Sullying players Enjoyment of Innovation since 2013 Apparently!

Asper

  • Governor
  • *****
  • Offline Offline
  • Posts: 4995
  • Respect: +5347
    • View Profile
Re: Logic problems
« Reply #251 on: March 07, 2013, 02:53:55 pm »
0

Yep, done it i think

I'm curious to see your solution (preferably spoilered) :)
« Last Edit: March 07, 2013, 02:55:51 pm by Asper »
Logged

eHalcyon

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 8689
  • Respect: +9187
    • View Profile
Re: Logic problems
« Reply #252 on: March 07, 2013, 02:55:21 pm »
0

I'm pretty sure I've solved this before.  Maybe it was a variant though.  I will try again.
Logged

Ozle

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3625
  • Sorry, this text is personal.
  • Respect: +3360
    • View Profile
Re: Logic problems
« Reply #253 on: March 07, 2013, 02:56:43 pm »
0

Yep, done it i think

I'm eager to see your solution (preferably spoilered) :)

Will do, pretty awkward to explain without a spreadsheet....

Involves weighing 4 v 4 balls
Logged
Try the Ozle Google Map Challenge!
http://forum.dominionstrategy.com/index.php?topic=7466.0

Sullying players Enjoyment of Innovation since 2013 Apparently!

Ozle

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3625
  • Sorry, this text is personal.
  • Respect: +3360
    • View Profile
Re: Logic problems
« Reply #254 on: March 07, 2013, 02:57:15 pm »
0

Technically i remembered most of it rater than solved it
Logged
Try the Ozle Google Map Challenge!
http://forum.dominionstrategy.com/index.php?topic=7466.0

Sullying players Enjoyment of Innovation since 2013 Apparently!

Axxle

  • Torturer
  • *****
  • Offline Offline
  • Posts: 1664
  • Most Valuable Serial Killer
  • Respect: +1966
    • View Profile
Re: Logic problems
« Reply #255 on: March 07, 2013, 02:59:04 pm »
0

Technically i remembered most of it rater than solved it
Are you sure then? I'm trying to work it out but the difficulty seems to be You don't know if the bowl-shaped hat is lighter or heavier.
Logged
We might be from all over the world, but "we all talk this one language  : +1 card + 1 action +1 buy , gain , discard, trash... " - RTT

eHalcyon

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 8689
  • Respect: +9187
    • View Profile
Re: Logic problems
« Reply #256 on: March 07, 2013, 03:03:59 pm »
0

Technically i remembered most of it rater than solved it
Are you sure then? I'm trying to work it out but the difficulty seems to be You don't know if the bowl-shaped hat is lighter or heavier.

Yeah, I think you're right.  IIRC, it's very doable to find the counterfeit, but sometimes you can't determine whether it is heavier or lighter.
Logged

eHalcyon

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 8689
  • Respect: +9187
    • View Profile
Re: Logic problems
« Reply #257 on: March 07, 2013, 03:26:04 pm »
+1

Here is a partial answer for the easier scenario from initial weighing.  I've solved the other scenario in the past (caveat: can't remember if I was able to determine heavier or lighter) but I never remember it and it takes me a while to get it again.


Weigh 4 vs. 4
- if the two sides are the same, go to A
- if one side is heavier, go to B

A) The counterfeit is in the unweighed group of 4.  The other 8 are guaranteed real.  Weigh 3 of the potential counterfeits vs. 3 real.
- if the two sides are the same, go to AA
- if one side is heavier, go to AB

AA) The counterfeit is the one potential that you did not weigh.  Weigh it vs. 1 real to determine whether it is heavier or lighter.

AB) The counterfeit is in the group of 3 you just weighed and you know whether it is heavier or lighter.  Weigh 1 of them vs. another 1 of them.
- if the two sides are the same, the counterfeit is the one you did not weigh.
- if one side is heavier, you know which of the 2 is the counterfeit.

B) The counterfeit is among the 8 you weighed.  The other 4 are guaranteed real.

What now?
Logged

Asper

  • Governor
  • *****
  • Offline Offline
  • Posts: 4995
  • Respect: +5347
    • View Profile
Re: Logic problems
« Reply #258 on: March 07, 2013, 03:44:59 pm »
0

Here is a partial answer for the easier scenario from initial weighing.  I've solved the other scenario in the past (caveat: can't remember if I was able to determine heavier or lighter) but I never remember it and it takes me a while to get it again.


Weigh 4 vs. 4
- if the two sides are the same, go to A
- if one side is heavier, go to B

A) The counterfeit is in the unweighed group of 4.  The other 8 are guaranteed real.  Weigh 3 of the potential counterfeits vs. 3 real.
- if the two sides are the same, go to AA
- if one side is heavier, go to AB

AA) The counterfeit is the one potential that you did not weigh.  Weigh it vs. 1 real to determine whether it is heavier or lighter.

AB) The counterfeit is in the group of 3 you just weighed and you know whether it is heavier or lighter.  Weigh 1 of them vs. another 1 of them.
- if the two sides are the same, the counterfeit is the one you did not weigh.
- if one side is heavier, you know which of the 2 is the counterfeit.

B) The counterfeit is among the 8 you weighed.  The other 4 are guaranteed real.

What now?


If you would like to have that information, your solution so far is    right  .
« Last Edit: March 07, 2013, 03:47:57 pm by Asper »
Logged

eHalcyon

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 8689
  • Respect: +9187
    • View Profile
Re: Logic problems
« Reply #259 on: March 07, 2013, 03:52:00 pm »
0

I know it is right so far. :P

I think I have the rest.  Just finalizing.
Logged

DStu

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2627
  • Respect: +1490
    • View Profile
Re: Logic problems
« Reply #260 on: March 07, 2013, 03:56:04 pm »
+1

What now?


You have 4 potentially heavy (H) and 4 potentially light (L) hats. And four real (R)

You weight HHLL vs RRRL
a) equal: the C must be in the other HHL.  Weight HH, either one is heavier or it's the L.
b) HHLL is heavier.  Then it's HH from the right or L from the left, weight HH and see a)
c) HHLL is lighter.  Then it's LL, weight them.

« Last Edit: March 07, 2013, 03:57:22 pm by DStu »
Logged

eHalcyon

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 8689
  • Respect: +9187
    • View Profile
Re: Logic problems
« Reply #261 on: March 07, 2013, 03:56:54 pm »
+1

Here is what I had before:

Weigh 4 vs. 4
- if the two sides are the same, go to A
- if one side is heavier, go to B

A) The counterfeit is in the unweighed group of 4.  The other 8 are guaranteed real. 
Weigh 3 of the potential counterfeits vs. 3 real.
- if the two sides are the same, go to AA
- if one side is heavier, go to AB

AA) The counterfeit is the one potential that you did not weigh. 
Weigh it vs. 1 real to determine whether it is heavier or lighter.

AB) The counterfeit is in the group of 3 you just weighed and you now know whether it is heavier or lighter based on result A. 
Weigh 1 of the potentials vs. another 1 of the potentials.
- if the two sides are the same, the counterfeit is the one you did not weigh.
- if one side is heavier, you know which of the 2 is the counterfeit.

And here is the rest of it:

B) The counterfeit is among the 8 you weighed.  4 are "heavy" and 4 are "light" based on the initial result.  The other 4 are guaranteed real.
Weigh 2 "heavy" and 2 "light" (let this be side X) vs. 3 real and 1 "heavy" (let this be side Y).  Note that 2 "light" and 1 "heavy" are left out.
- if the two sides are the same, go to BA.
- if side X is heavier, go to BB.
- if side Y is heavier, go to BC.

BA) None of the ones you just weighed are counterfeit, so the counterfeit is either the single unweighed "heavy" or one of the two unweighed "light".
Weigh the two remaining "light" ones against each other.
- if they weigh the same, the unweighed "heavy" is the counterfeit.
- if one is lighter, that one is the counterfeit.

BB) The counterfeit is one of the two "heavy" you weighed on side X.  Weigh them against each other.  The one that is heavier is the counterfeit.

BC) The counterfeit is either the "heavy" you weighed on side Y or one of the two "light" you weighed on side X.  Weigh the two "light" ones against each other.
- if they weigh the same, the "heavy" is counterfeit.
- if one is lighter, that one is the counterfeit.


I don't think I made any mistakes, but no guarantees. :P


PPE: did I just get ninja'd in a much pithier solution?
Logged

eHalcyon

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 8689
  • Respect: +9187
    • View Profile
Re: Logic problems
« Reply #262 on: March 07, 2013, 03:58:49 pm »
0

PPE: did I just get ninja'd in a much pithier solution?

Yeah I did. :P  I used an extra heavy instead of an extra light though!
Logged

DStu

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2627
  • Respect: +1490
    • View Profile
Re: Logic problems
« Reply #263 on: March 07, 2013, 03:59:26 pm »
0

PPE: did I just get ninja'd in a much pithier solution?

Don't mknow what "pithier" means, but it's the same solution (mod symmetries).
Logged

eHalcyon

  • Adventurer
  • ******
  • Offline Offline
  • Posts: 8689
  • Respect: +9187
    • View Profile
Re: Logic problems
« Reply #264 on: March 07, 2013, 04:01:07 pm »
0

PPE: did I just get ninja'd in a much pithier solution?

Don't mknow what "pithier" means, but it's the same solution (mod symmetries).

It means you were much more concise. :)
Logged

Asper

  • Governor
  • *****
  • Offline Offline
  • Posts: 4995
  • Respect: +5347
    • View Profile
Re: Logic problems
« Reply #265 on: March 07, 2013, 04:10:24 pm »
0

You are both right, of course. I'm curious DStu, did you remember or find out?
« Last Edit: March 07, 2013, 04:11:30 pm by Asper »
Logged

DStu

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2627
  • Respect: +1490
    • View Profile
Re: Logic problems
« Reply #266 on: March 07, 2013, 04:26:30 pm »
0

You are both right, of course. I'm curious DStu, did you remember or find out?
I dont know if i knew this variant at all or just the one where you knew if its heavier. Just renemvered splitting 4 4, and then just tried until it fits
Logged

Asper

  • Governor
  • *****
  • Offline Offline
  • Posts: 4995
  • Respect: +5347
    • View Profile
Re: Logic problems
« Reply #267 on: March 07, 2013, 04:49:23 pm »
0

You are both right, of course. I'm curious DStu, did you remember or find out?
I dont know if i knew this variant at all or just the one where you knew if its heavier. Just renemvered splitting 4 4, and then just tried until it fits

Cool. I recall i needed an entire day back then at school :)
Logged

Avin

  • Spy
  • ****
  • Offline Offline
  • Posts: 86
  • Respect: +99
    • View Profile
Re: Logic problems
« Reply #268 on: March 12, 2013, 02:43:50 pm »
+1

If any of you lack the capacity to solve problems involving infinitely countable hats (I know I do), here's one of my favourite puzzles (this one is by Raymond Smullyan; I had to retranslate the version I have, so sorry if the English is wonky):

In 1918, the day the First World War armistice was signed, three married couples celebrated the occasion dining together. Each husband is the brother of one wife, and each wife is the sister of one husband; that is, there are three brother-sister pairs in the group. We know the following:

-Helen is exactly twenty-six weeks older than her husband, who was born in august.
-The sister of Mr. White, who is married to the brother-in-law of Helen’s brother, got married to him on her birthday, which is in January.
-Marguerite White isn’t as tall as William Black.
-Arthur’s sister is taller than Beatrice.
-John is fifty years old.

What is Mrs. Brown first name?

I don't know if anyone will try to solve this one or not, but just in case, here's a hint that normally should get you to the answer:
The date is relevant.

Oh interesting! Building from Jack Rudd's result then that Helen's brother is Mr. White:

The second bullet point basically just says "Mr. White's sister, Helen, who is married to her husband, got married on her January birthday."
The first bullet point says that Helen's husband was born in August, and they are 26 weeks apart in age.

Note that August 1st is exactly 26 weeks after January 31st, on a non-leap year. So Helen and her husband who were born on the same year, were not born on a leap year. John however, was born in 1868 according to point 5, which is a leap year, so John isn't Helen's husband.

Using that information, if Helen is Mrs. Brown, then we have Helen Brown née White, which means that the other two women must be Marguerite White née Black, and Beatrice Black née White. Since John isn't married to Helen, he must be Mr. White, leaving Arthur as Mr. Black. But this means Arthur's sister is Beatrice, which can't be the case since Arthur's sister must be taller than Beatrice.

So Beatrice must be Mrs. Brown.
Logged

pacovf

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3500
  • Multiediting poster
  • Respect: +3838
    • View Profile
Re: Logic problems
« Reply #269 on: March 12, 2013, 05:09:24 pm »
0

Oh interesting! Building from Jack Rudd's result then that Helen's brother is Mr. White:

The second bullet point basically just says "Mr. White's sister, Helen, who is married to her husband, got married on her January birthday."
The first bullet point says that Helen's husband was born in August, and they are 26 weeks apart in age.

Note that August 1st is exactly 26 weeks after January 31st, on a non-leap year. So Helen and her husband who were born on the same year, were not born on a leap year. John however, was born in 1868 according to point 5, which is a leap year, so John isn't Helen's husband.

Using that information, if Helen is Mrs. Brown, then we have Helen Brown née White, which means that the other two women must be Marguerite White née Black, and Beatrice Black née White. Since John isn't married to Helen, he must be Mr. White, leaving Arthur as Mr. Black. But this means Arthur's sister is Beatrice, which can't be the case since Arthur's sister must be taller than Beatrice.

So Beatrice must be Mrs. Brown.


Yes, that's the answer.

Props to you, good sir/lady! I wasn't able to solve it by myself when I first read it.

EDIT: Actually, John was born somewhere between 12th November 1967 and 11th November 1968, but it doesn't change your conclusion, since if he was Helen's husband, then he would be born during August 1968.
« Last Edit: March 12, 2013, 06:50:44 pm by pacovf »
Logged
pacovf has a neopets account.  It has 999 hours logged.  All his neopets are named "Jessica".  I guess that must be his ex.

jotheonah

  • Jester
  • *****
  • Offline Offline
  • Posts: 989
  • Respect: +952
    • View Profile
Re: Logic problems
« Reply #270 on: March 12, 2013, 05:21:28 pm »
0


Oh interesting! Building from Jack Rudd's result then that Helen's brother is Mr. White:


Sorry, how did we get that?
Logged
"I know old meta, and joth is useless day 1 but awesome town day 3 and on." --Teproc

He/him

jotheonah

  • Jester
  • *****
  • Offline Offline
  • Posts: 989
  • Respect: +952
    • View Profile
Re: Logic problems
« Reply #271 on: March 12, 2013, 05:23:54 pm »
0

that's actually a very cool puzzle. it depends on deduction hidden in seemingly irrelevant details.
Logged
"I know old meta, and joth is useless day 1 but awesome town day 3 and on." --Teproc

He/him

pacovf

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3500
  • Multiediting poster
  • Respect: +3838
    • View Profile
Re: Logic problems
« Reply #272 on: March 12, 2013, 06:43:15 pm »
0


Oh interesting! Building from Jack Rudd's result then that Helen's brother is Mr. White:


Sorry, how did we get that?

He demonstrated that back in page 7.
Logged
pacovf has a neopets account.  It has 999 hours logged.  All his neopets are named "Jessica".  I guess that must be his ex.

jotheonah

  • Jester
  • *****
  • Offline Offline
  • Posts: 989
  • Respect: +952
    • View Profile
Re: Logic problems
« Reply #273 on: March 14, 2013, 09:00:21 am »
0

In 1918, the day the First World War armistice was signed, three married couples celebrated the occasion dining together. Each husband is the brother of one wife, and each wife is the sister of one husband; that is, there are three brother-sister pairs in the group. We know the following:

-Helen is exactly twenty-six weeks older than her husband, who was born in august.
-The sister of Mr. White, who is married to the brother-in-law of Helen’s brother, got married to him on her birthday, which is in January.
-Marguerite White isn’t as tall as William Black.
-Arthur’s sister is taller than Beatrice.
-John is fifty years old.

What is Mrs. Brown first name?

I've got some of the way, but I can't seem to get further off the top of my head.


OK, assuming that Arthur, John and William are the men, and Beatrice, Helen and Marguerite the women, what do we have?

Suppose the sister of Mr White is Beatrice. Then Mr White cannot be Arthur (because Arthur's sister isn't Beatrice), nor can he be William (because William is William Black), so he is John. Thus the men are Arthur Brown, William Black and John White. Also, Beatrice is not married to Helen's brother (because Mr White's sister is married to the brother-in-law of Helen's brother), so must be married to Marguerite's brother. Thus Marguerite is married to Helen's brother and Helen to Beatrice's brother - but this would make Helen Mrs White, when we already know Marguerite is Mrs White.

Therefore the sister of Mr White is Helen. (This fits in with her date of birth - 26 weeks before a date in August is nearly always a date in January.) Now who is Mr White? Suppose he's John. In that case, John is the brother of Helen, Arthur the brother of Marguerite and William the brother of Beatrice. This would in turn imply that John is married to Marguerite, Arthur to Beatrice and William to Helen. In which case the women are Marguerite White, Helen Black and therefore Beatrice Brown.

Alternatively, Mr White could be Arthur. In which case our men are Arthur White, John Brown and William Black. Arthur married Marguerite and his sister is Helen, so the man who married Beatrice has Marguerite as a sister and the man who married Helen has Beatrice as a sister.


Quote tag is our friend here.
Logged
"I know old meta, and joth is useless day 1 but awesome town day 3 and on." --Teproc

He/him
Pages: 1 ... 9 10 [11]  All
 

Page created in 0.832 seconds with 20 queries.