After winning their trip to Paris, the guests became elated and celebrated with the consumption of some adult beverages. Ever responsible, the host confiscated the keys to all cars to ensure that no one drove home drunk. Later on, when things started to calm down, party-goers started to request the return of their keys claiming to be sober enough for the drive home.

Having once been out-done by the guests, our host took another whack. He distributed all of the keys, but did so randomly. He then presented a challenge he felt sure they’d only be able to satisfy if they were indeed sober enough to drive. They were allowed to exchange keys, but only in rounds. During each round, each party-goer could either do nothing or pair up with another party-goer and exchange the sets of keys each was holding. (Each party-goer could be part of at most one pairing per round.) No one would be allowed to drive home unless everyone recovered their own keys.

The host wished to allow only a fixed number of rounds. To be fair, he wanted to be sure that it would indeed be possible to make the change. However, he also wanted to make it as difficult as possible for the party-goers. What is the minimum number of rounds must allow them to ensure that an exchange would be possible?

For clarity, all key recipients can discuss, share information such as who has the keys of whom, and agree upon a strategy. Also, careful readers will realize that there were 20 guests at the party originally. Sadly, it was a rather disorderly party and some guests did leave early, but many more appeared. Everyone present at the key ceremony had a key confiscated, and everyone with a key confiscated received a key for this challenge, but neither you nor the host knows just how many there are.

In Yoak: Batteries, and the Problem-of-the Week Jeff posed a great problem from Stan Wagon’s Problem of the Week.

You have eight batteries, four good and four dead. You need two good batteries to work the device; if either battery is dead then the device shows no sign of life. How many tests using two batteries do you need to make the device work?

In some similar sounding puzzles we might change the tests depending on the results we get as we go along. That doesn’t work here. We will stop if any test succeeds, we only carry on as long as the tests fail. We never get any information that we could use to choose our next test. That means we can choose the combinations we are going to use before we start our tests.

There are two ways of posing this problem. The one we have used is to make the device work. The other is to identify two working batteries which requires one less test.

Another problem is to find all four working batteries (which laciermaths neatly dealt with in the comments) and yet another is to find the most efficient approach which minimises the average number of tests.

The following seven combinations are guaranteed to make the device work.

(1,2),(1,3),(2,3),(4,5),(4,6),(5,6),(7,8)

Any six of these tests will identify two working batteries, for example our tests could be:

(1,2),(1,3),(2,3),(4,5),(4,6),(5,6)

If all of these tests fail then at most one battery from {1,2,3} can work and at most one battery from {4,5,6} can work. As we know there are four good batteries we can deduce that both 7 and 8 are working batteries.

So we have an answer to the problem, six tests are sufficient to identify two good batteries and seven tests are sufficient to work the device.

But hold on a minute! We haven’t yet shown that there isn’t an answer with fewer tests.

I came up with a proof but I won’t repeat it here because Jim Schmerl gave a much better one to POW. The better proof works for any number of batteries with any number being good.

It says: With n batteries and r good batteries then the best solution is to split the batteries into r-1 groups of roughly equal size and then test each pair within each group.

Let’s consider our seven tests again.

Here n is 8 and r is 4. We split the batteries into r-1 = 3 groups and test each pair in each group. At least one group has two good batteries so this will definitely give a solution.

These sorts of diagrams are called graphs. A graph is just a set of vertices connected by edges. A graph with v vertices and all possible edges is called K_v. Our solution consists of K₃, K₃ and K₂.

Now how do we show that this is minimal. Well we have some clever tricks.

The figure above is certainly a solution but it isn’t minimal.

7 has three edges and 8 has just one edge. We can reduce the number of edges by a procedure I call ‘Make 7 like 8′. The procedure involves:

1.    Remove all edges from 7.

2.    Connect 7 to the same vertices as 8.

3.    Connect 7 to 8.

That procedure gives:

We now have 11 edges instead of 12.

If we start with a solution then the ‘Make a like b’ procedure will give another solution. Why is this?

• If the four good batteries include both 7 and 8 then they will be tested as we test the pair 7 and 8.
  
• If the four good batteries do not include 7 then they are tested in the original solution and so will be tested in the new solution. We have only changed tests that include 7.
  
• If the four good batteries include 7, but not 8, then they will be tested. The equivalent group, replacing 7 with 8, is tested. For example consider {1,4,6,7}. The equivalent group is {1,4,6,8}. We know this is tested as it doesn’t involve 7 and so is tested in the original solution. But 7 connects to the same vertices as 8 so {1,4,6,7} is tested in the new solution.
  

We can repeat this trick as often as we like. You might like to play around with it, start with a solution with a ridiculous number of edges and see how far you can reduce it by repeating this trick.

The number of edges connected to a vertex, a, is called the degree of a which is written d(a). The procedure ‘Make a like b’ will reduce the number of edges if d(a) > d(b) + 1.

We can therefore make the following claim:

Claim 1: In an optimal solution the degree of any two vertices will differ by no more than one.

So far so good but we need to go a bit further. We can use the same trick to show the following:

Claim 2: In an optimal solution if a-b and b-c then a-c (where a-b means there is an edge between a and b).

This means the solution splits the batteries into groups where each pair within a group is tested.

Proof of Claim 2:

Suppose there is a chain a-b-c but there is no edge between a and c (so a-c is not true). We can always reduce the number of edges.

Case 1: If d(b) > d(a) we ‘Make b like a’. This reduces the number of edges by at least one, we remove the b-c edge.

Case 2: Similarly if d(b) > d(c) we ‘Make b like c’.

Case 3: Otherwise we have d(b) <= d(a) and d(b) <= d(c). We ‘Make a like b’ and then ‘Make c like b’. These two procedures will also reduce the number of edges by at least one.

To illustrate this lets go back to our example. We left it like this.

We have the chain 1-3-5 but not 1-5. d(3) > d(1) so we ‘Make 3 like 1′. That gives:

Now we have the chain 4-5-6 but not 4-6. As d(4) <= d(5) and d(6) <= d(5) we have the third case. First ‘Make 4 like 5′ and then ‘Make 6 like 5′.

What our two claims show is that an optimal solution will split the batteries into roughly equal groups (the degree of any two vertices can differ by no more than one), each pair within a group is tested.

It only remains to show that we should use three groups.

More than three groups is not a solution, we could have one good battery in each group.

The other possibilities are to have one group, K₈, which has 28 edges or to have two groups, K₄ and K₄, which has 12 edges.

So having three groups, with 7 edges, is optimal.

In the general solution we should have as many groups as possible which is r-1.

So this proves the general solution we have before: With n batteries and r good batteries then the best solution is to split the batteries into r-1 groups of roughly equal size and then test each pair within each group.

This is equivalent to Turan’s theorem.

For an optimal solution we need to consider the ‘complement graph’. This just means the graph with an edge precisely where our solution graph doesn’t have one. As our solution has 7 edges and there are 28 possible edges the complement graph has 21 edges. Such a graph is called a Turan graph.

The Turan graph can be got by splitting the vertices into r-1 groups and then connecting each pair which are not in the same group.

Since each group of four vertices in the solution graph contains at least one edge the same four vertices in the complement graph are missing an edge. In other words the complement graph does not contain K₄ , it is K₄-free.

Turan’s theorem says the graph with n vertices with the most edges which is K_r-free is the Turan graph, exactly the complement of our solution graph.

You have eight batteries and know that four are good and four are dead, but don’t know which are which.  Your only method of testing them is to insert two into a device that will work if you’ve put in two good batteries and not otherwise.  How many such “tests” are required in order to be sure that you’ve located two good batteries?

As of this posting, the answer to this question is not yet on the POTW website, but if you come to this later, the spoiler may be there, so be careful to avoid spoilers if you want to work this through.

Combine the four number 1,3,4,and 6 with operators of addition, subtraction, multiplication and division (and parenthesis to indicate order of operation) to yield an expression equal to 24.

I assure you that you can take this in the most straight-forward manner possible.  You aren’t mean to smoosh them together to get “13″ out of 1 and 3.  You aren’t meant to use “1″ as a problem number or something of that sort.  An answer will look something like this:

(4-1)*3/6

except that is equal to 1.5 .  Your expression must equal 24.

I’m interested to hear if this is as difficult for others as it was for me.

   Three Points are taken at random on an infinite Plane.  Find the chance of their being the vertices of an obtuse-angled Triangle.

Note: An obtuse-angled triangle is one that has an angle measuring more than 90 degrees.

I don’t know if you’re fond of puzzles, or not.  If you are, try this.  If not, never mind.  A gentlemen (a nobleman let us say, to make it more interesting) had a sitting-room with only one window in it — a square window, 3 feet high and 3 feet wide.  Now, he had weak eyes, and the window gave too much light, so (don’t you like “so” in a story?) he sent for the builder, and told hm to alter it, so as to give half the light.  Only, he was to keep it square — he was to keep it 3 feet high — and he was to keep it 3 feet wide.  How did he do it?  Remember, he wasn’t allowed to use curtains, or shutters, or coloured glass, or anything of that sort.

Carroll writes:

   Some men sat in a circle, so that each had 2 neighbours; and each had a certain number of shillings.  The first had I/ more than the second, who had I/ more than the third, and so on.  The first gave I/ to the second, who gave 2/ to the third, and so on, each giving I/ more than he received, as long as possible.  There were then 2 neighbors, one of whom had 4 times as much as the other.  How many men were there?  And how much had the poorest man at first?

Notes:

A ‘/’ is clearly to be read as a shilling and the ‘I’ is to be read as 1.  With that, I think the operations is clear.  It is also clear that eventually someone will not be able to pass along 1 more shilling than he was passed, given the finite number of shillings in the game.  When that state occurs, instead of passing that person retains the shillings he was just passed.  We are then told that it is true that someone now holds 4 times as many shillings as one of his neighbors and are asked how many men there are and how many shillings the poorest of the group must have had to start.

Suppose that I secretly flip a coin and place either a blank or white stone in a bag based on the result.  I then put a white stone in the bag for two stones in total.  I invite you to pull one stone out and it turns out that it is white.  What is the chance that the other stone in the bag is also white?