Question 1: Why we can/can't solve the following problem using a geometric constraint solver?
Question 2: Is there any algorithm to solve this problem?
Question 3: Can we reduce this problem into some known computational problems?
Input:
1. $C_1, ..., C_n$: Centres of $n$ circular rings.
2. $S$: A polygon of arbitrary shape in the 2D plane.
Notations:
1. $(OR_i, IR_i)$: outer radii and inner radii respectively for circular ring $i$
2. $R = \text{ring}_1 \cap \dots \cap \text{ring}_n$: the intersection of the rings (i.e., the region of space formed by their intersection: the set of points that are contained in all $n$ of the rings)
Output:
Find $(OR_1, IR_1),..., (OR_n, IR_n)$, such that region $R$ covers the polygon $S$ with minimal error area.
Error area is defined as: $$\text{Area}(S - R) + \text{Area}(R -S)$$
Intuitively, I want an algorithm to find optimal $(OR, IR)$ for each ring to cover a given shape $S$, so the error area (the parts of $R$ outside the given shape: [$\text{Area}(R - S)$] + the parts of the shape not covered by $R$: [$\text{Area}(S - R)$]) is minimal.
The problem differs from this problem in following ways:
- The polygon should be covered by the ring formed by two circles with same centre.
- This is a simpler problem in the sense that it has fewer variables. The position of the centres are given; we only need to find the inner and outer radii.