There is a kingdom with a square shape with sides of length 1. The castle is located at the center of the square. At the castle the king lives under the protection of one soldier. There are other soldiers, but each soldier is at his own house. Houses are spread throughout the area of the kingdom, and everyone is aware of where they are.

A war has been declared with a neighboring kingdom, and the king needs to collect all the soldiers at the castle urgently. To do this, he sends the soldier at the castle with the news to gather troops from the other places. Each soldier who learned the news, if necessary, can participate in the gathering. They can travel at the speed of 1.

What is the minimum time in which the king can collect all solders, regardless of their number and initial placement? (Number of soldiers is finite).

I see that the time should satisfy:

$$T_{min} \geq 2+\sqrt{2} = 3.4142...$$ This is the minimum time to gather solders from 4 houses in square's corners.
$T = 2+\sqrt{2}$ feels to be the minimum: somehow with help of new solders everyone in a middle zone should be gathered while the very first solder goes via 3 corners.

But I have no idea how to find a generic algorithm for $T_{\mathrm{min}}$, which will achieve such a time for arbitrary number of houses.

P.S. Please be aware when you formulate your algorithm and prove it that there are so many possibilities that it is easy to miss something. I tried many times already, feeling that I've almost got it. But my solutions always had some small unclearness, and when I investigated the "proof" more explicitly and carefully I would find a gap in it...

P.P.S. I tried the following strategy:

When solder decides to go to some house he "reserves" it.

Once a solder is free (has delivered the news to another house) he takes the closest house from all unreserved and goes there. If there are several closest houses he chooses at random.

$\begingroup$@Memming: Last I checked $2+\sqrt 2 \gt 1+\sqrt 2$ I agree with klm123's assessment of the four corners. The H tree is shorter, but it assumes there are soldiers at every point.$\endgroup$
– Ross MillikanJun 2 '14 at 3:22

1

$\begingroup$Some thoughts: (1) If the soldiers' positions are known, then the time needed depends on those positions, and the question is missing necessary info. So assume the positions aren't known. (2) If each soldier's house is a point, then the curves the seekers take need to meet that point. But a finite-length curve isn't dense in the square. (Space-filling curves are theoretical only: no soldier can actually walk along such a curve.) So there's no guarantee the seekers will find anyone. So assume soldiers' houses are $x\times x$ units. (Cont'd.)$\endgroup$
– msh210Jun 2 '14 at 8:38

1

$\begingroup$Some thoughts, continued: (3) We should assume a house is visible from a distance of, say, $10x$, and that, once a seeker spots a house, he'll go directly to it.$\endgroup$
– msh210Jun 2 '14 at 8:41

1

$\begingroup$Note that finding a general strategy short of checking every possible path is probably hopeless as this look extremely similar to the travelling salesman problem which is NP-complete.$\endgroup$
– ballesta25Jun 8 '14 at 23:30

7 Answers
7

I've already shown how you can force my other answer to fail. Hopefully this one will not have such an exploit.

Step 1: First knight goes to the extreme house on the map.
(Equivalent to just going the the north house if there is a house
there.) (Maximum time $\frac{\sqrt{2}}{2}$) For a sometimes faster
but harder to visualize strategy, instead have him go to the closest house and
divide the entire map by the line along which he just travelled.

Step 2: Old knight updates his map by drawing two lines to the houses
on his left and right with a minimal angle between the such that all
other houses on his map are between these lines. He then divides this map
into two halves by bisecting this angle.

Step 3: The old knight and the new knight proceed to the closest
houses that is on their halves of the map.

Step 4: Each knight follows steps 2 and 3 until he is awarded a map
with no houses on it (and as a result no area). (Maximum time $2$)

Step 5: Knight proceeds back to the castle. (Maximum time
$\frac{\sqrt{2}}{2}$)

A potentially simpler to state step 2 would be to merely divide the current map into two equal halves along a line which passes through the current location. Unfortunately, already emptied space would remain on one of these maps making them less useful.

Step 2 is easier than is sounds as it is usually trimming an emptied triangle off a triangle then bisecting the new triangle.

This seems to work for every answer so far. One can imagine on map getting repeatedly divided into halves until nothing remains. It is area filling so it resolves any issues from house bunches (More at Does this strategy work?). No knight can be eliminated without removing at least one house and significantly reducing the number of houses. (what killed my other answer).

So far I've been completely unable to create a counter example or a proof. I welcome any input.

This (rather rough) diagram shows several moves of steps 2 and 3 for a random pattern of houses. the original map is bounded by black. They second map pink. This continues through green and blue. The houses are red and the path traveled is purple. Original location is black.

$\begingroup$What is "left" and "right" of a knight? I'm thinking of some positioning, which will leave The angle always > 90, but I can't fully understand the formal procedure to proceed with my examples..$\endgroup$
– klm123Jun 6 '14 at 17:41

$\begingroup$I mean you draw the minimum angle which would encompase all houses. This angle could extend behind the house and be greater than 180 if you can come up with a good one for that.$\endgroup$
– kaineJun 6 '14 at 17:43

$\begingroup$so the knight takes responsibility for an area and all houses in it. each time he draws two closest lines (one would be called left, one is right, but this doesn't matter), which limit all "his" houses?$\endgroup$
– klm123Jun 6 '14 at 17:53

$\begingroup$"his houses" are the ones that are on his current map. He is trimming the map down to remove the area that does not have any houses on it before he cuts it in half for the the house seeking trip. I'll drawn an example.$\endgroup$
– kaineJun 6 '14 at 17:59

$\begingroup$Why is 2 the maximum time in step 4?$\endgroup$
– justhalfJun 26 '14 at 3:20

I have the following results that lead some of the way towards an answer:

If a knight starts at the middle of a square of sidelength $a$ then he can collect all the knights in that square and bring them to its centre in time at most $Ca$, for some constant $C$ not depending on $a$ or the number of knights. (This proves that we can't slow down the first knight for ages just by putting loads of knights closely surrounding the castle.)

For all $\varepsilon>0$ there exists some $N\in \mathbb{N}$ such that for all $n>N$, $n$ knights can always be collected from the kingdom in time $2\sqrt{2}+\varepsilon$. (If we put the knights in two opposite corners it will take at least time $2\sqrt{2}$. So we can see that for large numbers of knights the time needed tends to $2\sqrt 2$.)

There exists some $p$ and some arrangement of $p$ knights such that collecting the knights from that arrangement takes at least as long as collecting any number of knights from any other arrangement. (So the problem actually has an answer!)

The times needed for small numbers of knights are:

1 knight: $0$

2 knights: $\sqrt 2$

3 knights: $2\sqrt 2$

4 knights: $2\sqrt 2$

5 knights: $2+\sqrt 2$

Collecting $6$ knights (including the first one from the castle) can always be done in time $\frac{1}{2}+2\sqrt 2$, which is less than $2+\sqrt 2$, the time needed to collect $5$ knights.

I'll give the proofs when I get round to writing them up. (Hints: 1. splits the square into 4 and uses recursion, 2. splits the square into $k^2$ small squares and uses the pigeonhole principle to find a small square with enough knights that each one can be sent to each of the other squares, 3. uses 2 to produce an upper bound on $p$ and then uses a compactness argument to show that the bound is achieved, 4. just involves looking at each case in detail, and 5. splits the square into 4 and starts at the quarter with 2 knights in it)

Here's an algorithm that doesn't always work (see a counter-example at the end). A slight adjustment (if a knight has no houses in his region he can take a portion of the other knight at his house's region) seems like it would fix this but it is not in this answer.

Step 1: Determine the lower bound:
If the knights are located at the 4 corners it will take: $\sqrt{(1/2)^2+(1/2)^2}+1+1+\sqrt{(1/2)^2+(1/2)^2} = 2+\sqrt{2}$.
The first one goes to a corner, he and the corner liver goes to the other two closest corner, someone of those 4 go to the last corner, and then everyone goes to the center.

Step 2: Show the lower bound works for any pattern:
Assume that there is a knight in a corner as this is the furthest point away from the king. If no one is further than that it should make the solution faster but more complicated. Use the following strategy as it is easier to show but slowest. For this algorithm one knight goes to a corner, they progress to the other corner and when everyone is notified, go to the castle. If every house is reached within 2 time after the first house is reached, they can all get back as they are at most $\sqrt{1/2}$ away.

Send the first knight to a corner call the corner in this direction North (N) for simplicity. You will then have two knights. Have them go to houses by this algorithm:

The knight divide the map into two regions by the East/West location of their current house. One knight goes to the northmost house which has not been visited, no other knight is headed towards, and is to the East of the current location. If multiple houses are the same distance north, he goes to the closer one. If there are no houses to the East he should go to the castle. The other knight follows the same algorithm but to the West. If there is a house directly South, it can count as either East or West but don't send both to the same house!.

Each time you visit a house, repeat the same algorithm with the two knights then at the house except no knight may move into a region which was excluded by one of his predecessors.

As no knight goes north again (until they are going to the castle) and the knights are interchangeable, the shortest path connecting the north and south corner houses via this algorithm will be taken. The maximum distance for this shortest path is $2$. This is because there is at least one path taken by which $\Delta S \ge |\Delta E|$ for every trip between houses. Similarly paths will go to the East most and West most houses that will never go in the other direction and, therefore, will have a path length of at most $2$.

There are likely faster algorithms than this for a particular setup but this one goes to all within the lower bound. Essentially each knight will take his map, draw two vertical lines based on his location and the history of his messenger, and go to the closest northmost house in his region. As the regions get smaller, they can be filled faster.

In the example above (which only shows the house covering part of the algorithm), purple is the paths knights take, blue the region dividers, and red the houses. If the houses not at the corners are $0.05$ from the corners and $22.5^\circ$ degrees from the edge, it takes $1.42$ units of time to go from N to S and $1.004$ units to get to either other corner.

This second example does not work by this algorithm. If the house near the south corner is slightly to the west of the house near the center (labeled). The limit of the time to complete this algorithm as d goes to zero is: $2\sqrt{.5}+1 \approx 2.4$. Several other knights are available to get to that last house before the knight that does but is not defined in the algorithm.

$\begingroup$I think this works as a hint/algorithm but I'm having difficultly with a formal proof.$\endgroup$
– kaineJun 2 '14 at 17:13

$\begingroup$I've not completely sorted out what you wrote yet. But I understand you send very first knight to very corner. Are you sure that the algorithm will work for situation with 8 houses, 4 right in corners and 4 near them, let's say 0.05 distance from corners, but not on the edge or diagonal?$\endgroup$
– klm123Jun 3 '14 at 6:35

$\begingroup$The point of this algorithm is to show that they will go to the extreme corners covering every house within 2 units of time. Would the angle halfway between the diagonal and all clockwise work for a demonstration?$\endgroup$
– kaineJun 3 '14 at 13:20

$\begingroup$The most simple explanation: Each time a knight reaches a new house, he splits his region into two halves vertically (note I am visualizing this as a square diamond), keeps half for himself and gives half to the new knight, and both go to the northmost house in their region.$\endgroup$
– kaineJun 3 '14 at 13:23

$\begingroup$Yes. You draw the example I meant. But the paths looks very odd to me. Why on the picture the start is at S? The start point is the centre and they all should go back to the center afterwards.$\endgroup$
– klm123Jun 3 '14 at 13:44

(Note: This answer is a work in progress. See relevant meta discussion if you would rather answers such as this did not exist.)

I don't like complicated things so I immediately chose to solve some simple variants of this problem before scaling up to the full deal. The simplest variant adds these assumptions:

No more than one house can occupy the same place

All houses are located on a straight line

The castle is located on the "end" of the line

There is no size restriction for the kingdom

This is a trivial variant of the problem and the solution is to send the original solider along the line until it reaches the last house on the line. Every other solider immediately returns to the castle. The time taken will be $t = 2x$ where $x$ is the distance between the castle and the house farthest away.

The next variant follows these assumptions instead:

No more than one house can occupy the same place

All houses are located on a straight line

The castle can be located anywhere on the line

There is no size restriction for the kingdom

To start digging for patterns, I used the following example (X is the castle; other letters are houses):

This form seems likely to apply to all scenarios where the houses fit on a line. If we redefine the points in our example:

A1---A0-X--B0--B1---B2

We can write the formula as:

$= 2*(\max(XA-XA_0,\overline{XB})+\max(\overline{XB}-\overline{XB}_0,XA)-\max(XA-XA_0,\overline{XB}-\overline{XB}_0))$ where $XA=XA_0+A_0A_1+A_1A_2...$ and $\overline{XB}=\overline{XB}_0+B_0B_1+B_1B_2...$

This solution makes intuitive sense. The only real choice in a lined scenario is which direction to go first. Everything after that presents us with the trivial problem noted at the beginning of this post. The primary reason this formula works, however, is because we know that each $XA_0 ... XA_N$ is less than $B_0A_0 ... B_0A_N$ since any solider travelling from $B_0$ to $A_0$ has to pass through $X$. Therefore, this formula is only true if and only if $X$ perfectly splits two sections of the kingdom such that $X$ is always closer to each house in section $A$ compared to each house in section $B$ and the houses in each section form a line.

This last clause seems like a good place to extend our approach.

The next variant follows these assumptions instead:

No more than one house can occupy the same place

All houses exist in either section A or section B such that there is no line between a house in section A and a house in section B that is shorter than travelling from that house to the castle

All house in a given section $S$ follow the rule that $S_N$ is closer to $S_{N-1}$ and $S_{N+1}$ than any other houses or the castle unless the house is $S_0$

The castle can be located anywhere on the line

There is no size restriction for the kingdom

This set of assumptions removes the restriction that all houses exist on a line. It should make the math significantly more complicated but let's work it through.

A1 A0
X B0

This example moves $A_0$ and $A_1$ off of a line but preserves Assumption 3 which states that $A_1$ cannot be closer to $X$ than $A_0$. Let's see how this affects the math. The strategy is still the same:

Send $S_X$ to $A_0$

Send $S_X$ to $A_1$, send $SA_0$ to $S_{B_0}$

Send all soldiers home

The two major differences are that $\overline{A_1X}$ no longer passes through $A_0$ and $\overline{A_0B_0}$ no longer passes through $X$. Here is our new formula:

Sadly, we don't get to reduce this at all since we don't get to replace $\overline{A_0B_0}$ with $\overline{XA_0} + \overline{XB_0}$. Let's extend section $A$ again and see what happens:

A1 A0
X B0
A2

Is the optimal strategy still the same?

Send $S_X$ to $A_0$

Send $S_X$ to $A_1$, send $S_{A_0}$ to $B_0$

Send $S_X$ to $A_2$, send $S_{A_0}$, $S_{A_1}$, $S_{B_0}$ home

Send all soldiers home

I can see two alternative strategies and it may be tricky to determine if there is a case where one of those strategies outperforms this one. To make this easier to understand, I'll start using the notation $S_X \to A_0 \to A_1 \to A_2 \to X$ to describe one soldier's entire cycle. The above strategy expressed this way:

OPTION 1

$S_X \to A_0 \to A_1 \to A_2 \to X$

$S_{A_0} \to {B_0} \to X$

$S_{A_1} \to X$

$S_{A_2} \to X$

$S_{B_0} \to X$

OPTION 2

$S_X \to A_0 \to A_2 \to A_1 \to X$

$S_{A_0} \to {B_0} \to X$

$S_{A_1} \to X$

$S_{A_2} \to X$

$S_{B_0} \to X$

OPTION 3

$S_X \to A_1 \to A_2 \to X$

$S_{A_1} \to A_0 \to B_0 \to X$

$S_{A_0} \to X$

$S_{A_2} \to X$

$S_{B_0} \to X$

How do we confirm that OPTIONS 2 & 3 are suboptimal for all positions of $A_0...A_N$?

$\begingroup$I apologize for the formatting. I am not terribly experienced with the math formatting yet and don't know the best way to show steps in formula reduction.$\endgroup$
– MrHenJun 25 '14 at 15:26

$\begingroup$+1 because this is an interesting approach to the problem. But please note that garantee-time is asked, not the most optimal algorithm for given kingdom.$\endgroup$
– klm123Jun 25 '14 at 22:03

$\begingroup$@klm123: Yes, true. My thinking is that I can find the time it would take for any given algorithm within a particular set of kingdom constraints which would then give me a way to determine the worst case scenario for a given set of kingdom constraints. But I'm a long way off, yet, and don't know if I'll ever get there. In the meantime, maybe it will help someone else figure it out.$\endgroup$
– MrHenJun 25 '14 at 22:39

The quickest method of message passing is usually broadcast - e.g. blowing a horn (or a relay of horns). All soldiers proceed to the castle simultaneously, so the last soldiers to arrive would be ones at the corners, which happens in time $\sqrt{0.5^2 + 0.5^2} = \sqrt{0.5}$.

If the king's soldier must notify everyone in person or by proxy (via other soldiers), then it depends on the distribution of houses.

Suppose the houses are arranged in expanding concentric squares around the castle, with the nearest a negligible distance away. Then the king's soldier goes first to the nearest 'ring' of houses, they go together to notify the next ring and so on, then return. In other words, the wave of soldiers moves out from the castle to the perimeter and then returns to the middle.

The longest path is from the castle to each corner of the square. To get there and back takes $2\sqrt{0.5}$ time. Everyone else travels a shorter distance, so this is also the total muster time.

Other search patterns will be needed if the distribution is sparse. The worst case might be 5 soldiers, 1 at the castle and the other 4 at the corners of the square. The king's soldier travels to 3 of them in turn, sending the first to notify the remaining soldier. This traverses the entire diagonal and 2 sides for the longest path time-wise, taking $2 + \sqrt{2}$ time. I suspect (but am prepared to stand corrected) that in all other cases, some soldiers can be recruited to reduce the total muster time.

I have written an algorithm to find minimal time for a specific kingdom.

We need to start by creating a table/map/lookup etc. of distances between every single pair of knights' houses.

We then need to generate all the permutations of the ways that the "news" can spread. i.e. Knight0 can go first to Knight1, but could also start by going to Knight2 etc.

For the Knight at each extreme point example mentioned in the question, I used the notation 0(1(4),2(),3()) to mean:

Knight0 travelled to Knight1's house ($\frac{\sqrt{2}}{2}$)

Knight0 then travelled to Knight2's house ($1$)

Knight0 then travelled to Knight3's house ($1$)

Knight0 then travelled back to the castle ($\frac{\sqrt{2}}{2}$)

Meanwhile, after Knight0 had travelled to Knight1's house,

Knight1 then travelled to Knight4's house ($1$)

Knight1 then travelled back to the castle ($\frac{\sqrt{2}}{2}$)

Once we have every possibility (336 for the above example), we need to calculate the time taken for each of those possibilities.

For the above example, this would be the distance travelled by Knight0

$$=\frac{\sqrt{2}}{2}+1+1+\frac{\sqrt{2}}{2} = 2 + \sqrt{2}$$

Once we have all the times of all the possibilities, we can then pick out the smallest time. (There is always more than one answer, as there is always a choice between two knights as to who visits the final knight before returning to the castle.)

I have written this algorithm in C#. It doesn't take a long time to run, but it cannot handle more than 6 Knights in a kingdom at the moment due to memory problems, but am working on that.

Using the algorithm, $2 + \sqrt{2}$ (or 3.414...) was output as the shortest distance in the above example. So far, randomly generating house positions for 6 Knights has produced no higher values.

$\begingroup$Of course considering all possibilities and choosing the best one will give minimal time for given kingdom. The question is to find the time value and prove that it is achievable (presenting the algorithm and proving that it works within this time for any kingdom). You do not show any time results, so this answer achieves nothing with respect to the given problem, sorry.$\endgroup$
– klm123Jun 25 '14 at 19:19

$\begingroup$@klm123 Thanks for your feedback. Maybe I am misunderstanding the question. The same minimum cannot apply to all possible numbers of knights. If there was only one other knight to pass the news to and that knight lived negligibly close, the time taken would be negligible. I could understand if you were asking for the the maximum time value. As number of knights increases from 1, time taken will increase, but after a certain time, I believe this will decrease again (imagine how fast the news would travel if knights were shoulder to shoulder across the whole area).$\endgroup$
– AliJun 25 '14 at 21:26

$\begingroup$I have always had problem understanding this kind of question, just like @All, haha. Yes, the question is asking for "Find the maximum time required over all kingdom possibilities", which is phrased to use the word "minimum" in the original formulation as: "What is the minimum time that the king needs to wait in order to be sure that every soldier will have already been gathered, regardless of the kingdom structure?". It's originally formulated as such to encourage algorithm that finds the "minimax" time, that is, the minimum (based of algo) of the maximum time (based on kingdom layout).$\endgroup$
– justhalfJun 26 '14 at 3:16

Think about it this way the King and S0 take half of the list of house.
King:= S1, S2
S0:= S3, S4
When they get to the first house.
They cross that house of the list and first divide the list.
If there is only one house on the list, the soldier who house it is go and fetches them, whilst the solider who originally brought the list heads back.

If there is only 1 additional soldier then the answer is 2 x Distance To Solider Eg There and back.

$\begingroup$King doesn't help and I do not see how your answer proves that the time is always <= 1.707 if kings helps.$\endgroup$
– klm123Jun 26 '14 at 16:45

$\begingroup$@kim123 The King and S0 are going to opposite corner simultaneously / concurrently. S1 & S3 are concurrent heading towards S2 & S4, whilst S0 & K are concurrently heading back to the castle. (s3&S4) (S1&S2) then head back to castle at the same time.$\endgroup$
– Adam SpeightJun 26 '14 at 16:55

1

$\begingroup$If S1 and S3 are knights then you can't be sure they are at corners, corners can be uninhabited.$\endgroup$
– klm123Jun 26 '14 at 17:00

$\begingroup$@klm123 The location of the houses are known. It stated that in the question. Houses are spread throughout the area of the kingdom, and everyone is aware of where they are$\endgroup$
– Adam SpeightJun 26 '14 at 17:04

$\begingroup$Are know to you? How? They are know to the king, which decides where to send the knights.$\endgroup$
– klm123Jun 26 '14 at 18:05