Farmers and Fences
Think of a farmer enclosing her piece of land with a fence. She is considering square and circle as possible shapes for her land: She wants to save money, of course, on fence building expenses. She comes up with a scale-independent metric to compare these shapes, enclosing efficiency: $$2\sqrt{\pi A}\over F$$ where \(F\) is the length of the fence used and \(A\) is the area of the enclosed region. Higher enclosing efficiency means enclosing more area with less fence. Square and Circle's enclosing efficiencies are 0.8862 and 1 respectively. The latter is known to be the best efficiency by a lone shape.Cooperating Farmers
What if there are multiple farmers willing to cooperate. If four farmers agree to become land neigbors and share borders, they could for instance build fences like: Each farmer will achieve an efficiency of 1.182 (why?), beating a single Circle's efficiency.Farmers could go further and use infinite square or regular hexagon grids, which will achieve 1.772 and 1.905 respectively. The downside to these infinite grids is that everyone is surrounded by private property. You with your tractor (having positive width) have to cross other people's land to reach your land. You do not have free access to your land.
Freedom
Let's first define freedom as the proportion of the whole plane from which you can access your land with your tractor. Infinite square/hexagon grids covering whole plane will yield freedom=0. Here is a horizontal infinite grid separating upper/lower half planes with freedom=0.5, that is, each farmer has free access to half of the plane: This configuration yields an enclosing efficiency of 1.418, expectedly better than four farmers above and worse than infinite square/hexagon grids.What is the Best?
So, what should a finite number of farmers do if they all require freedom=1, that is, free access to the whole plane? Let's start small with just two farmers. Here is a configuration where the two can achieve 1.115: So here are some questions (I think I can answer the first five):- Can you find out the geometry of the two farmer configuration ?
- What is the optimal (finite) number of farmers with freedom=1 ?
- What is the enclosing efficiency of the optimal farmers with freedom=1 ?
- What is the geometry of the optimal farmers with freedom=1 ?
- What is the geometry with efficiency=1.504 and freedom=0.5 ?
- Is 1.504 the best efficiency for freedom=0.5 ?
- Is 1.905 the best overall efficiency ?
- What are all the possible freedoms when each farmer must have the same efficiency ?
- In general, what are the best efficiencies for all possible freedoms ?