Return to Question

To better explain my question, I'll talk about a special case first:

You are in the euclidean plane. You have $n=3$ segments of different lengths (given) and $n-1=2$ positive different values of angles (also fixed and given) such that their sum does not exceed $\dfrac{\pi}{2}$. You can pick any segment, place it on the plane, and then place another segment (sharing an endpoint) on the plane such that the angle of deviation is one of the two specified angles. And then you put the other segment in a similar way rotated by the remaining angle. You can only rotate anti-clockwise. So here is a picture of a generic arrangement: (the segments $f$, $g$ and $h$ all have different lengths. Also, $\alpha \neq \beta$, $\alpha, \beta > 0$ and $\alpha + \beta < \dfrac{\pi}{2}$). Notice that this $\dfrac{\pi}{2}$ intuitively says that you can't "go back".

[arrangement]

The question is: given these values of lengths and angles, is there a fixed way of creating an arrangement with them (notice that there are $\dfrac{3! \cdot 2!}{2} = 6$ possible arrangements for this case) such that the distance between the initial point (the origin in the picture) and the final point (point D in the picture) is as big as possible? I have also asked this here and my question is the same as this question and this question, but my question on the other forum didn't get much attention and the other questions I linked haven't had recent activity since $\approx 10$ years. So here I share the progress I made in hopes of inspiring someone to try this problem:

For this case ($n=3$), the problem is easy to solve (and to prove): the distance is always maximized when you start with the smallest length, rotate by the biggest angle, place the biggest length, rotate by the remaining angle and put the remaining segment which has intermediary length. Namely, no matter what are the values of the segments and the values of the angles (satisfying the stated conditions), this particular way of placing them always maximizes the distance between the initial and final points (when compared to the $5$ other ways of placing them).

For higher values of $n$, I conjectured that there would be either a single way of organizing them or few ways to do that. However, I was wrong: I made a c++ program in which the value of $n$ is given as input and it generates several sets of values for the lengths and angles (which satisfy the criteria). For each set of values, it checks all of its possible arrangements and saves the one that maximizes the distance between the initial and final points. And after doing that for all sets of values, it checks the number of different arrangements generated. As expected, it only finds one possible arrangement for $n=3$. But for $n=4$, it was able to find $3$ possible arrangements. In particular, if you define $a_n$ as the number of arrangements for an arbitraty positive integer $n$, I know that

For the cases in which $n \leq 6$, the program tested $10^6$ sets of (valid) values of lengths and angles. This makes me guess that $a_4$ is $3$ and $a_5$ is $6$, but $a_6$ may be higher than $14$. For $n=7$, the program tested $10^5$ sets of values. I haven't tested it for $n=8$, but only to find the best permutation among a particular set of valid values, it took about $40$ seconds, so this discourages me to try thousands of sets of values for this case.

So my actual question is: is there a nice way of expressing $a_n$ and/or characterizing the relative orderings counted by $a_n$?

means that the only solution I found for $n=3$ was putting $l_0$ first, rotating by $\alpha_1$, putting $l_2$, rotating by $\alpha_0$ and putting $l_1$, as expected. (where $l_2 > l_1 > l_0$ and $\alpha_1 > \alpha_0$)

This problem was created by professor Ronaldo Garcia from Universidade Federal de Goiás (UFG) and he showed it to me at an event in my university. This problem has a lot of history and he told me he showed it to a lot of math professors and even some people with some computer science background, but there wasn't much progress. I have also asked this here and my question is the same as this question and this question, but my question on the other forum didn't get much attention and the other questions I linked haven't had recent activity since $\approx 10$ years. So here I share the small progress I made in hopes of inspiring someone to try this problem.

To better explain the question, I'll talk about one special case first:

You are in the euclidean plane. You have $n=3$ segments of different lengths (fixed and given) and $n-1=2$ positive different values of angles (also fixed and given) such that their sum does not exceed $\dfrac{\pi}{2}$. You can pick any segment, place it on the plane, and then place another segment (sharing an endpoint) on the plane such that the angle of deviation is one of the two specified angles. And then you put the other segment in a similar way rotated by the remaining angle. You can only rotate anti-clockwise. So here is a picture of a generic arrangement: (the segments $f$, $g$ and $h$ all have different lengths. Also, $\alpha \neq \beta$, $\alpha, \beta > 0$ and $\alpha + \beta < \dfrac{\pi}{2}$). Notice that this $\dfrac{\pi}{2}$ intuitively says that you can't "go back in the x axis".

The question is: given these values of lengths and angles, is there a fixed way of creating an arrangement with them (notice that there are $\dfrac{3! \cdot 2!}{2} = 6$ possible arrangements for this case) such that the distance between the initial point (the origin in the picture) and the final point (point D in the picture) is as big as possible? By fixed arrangement, I mean something like "putting the lengths in decreasing order and the angles in increasing order is always the best strategy".

For this case ($n=3$), the problem is not hard to solve (and to prove): the distance is always maximized when you start with the smallest length, rotate by the biggest angle, place the biggest length, rotate by the remaining angle and put the remaining segment which has intermediary length. Namely, no matter what are the values of the segments and the values of the angles (satisfying the stated conditions), this particular way of placing them always maximizes the distance between the initial and final points (when compared to the $5$ other ways of placing them).

For higher values of $n$, we thought that there would be either a single way of organizing them or few ways to do that. However, that is wrong: I made a c++ program in which the value of $n$ is given as input and it generates several sets of values for the lengths and angles (which satisfy the criteria). For each set of values, it checks all of its possible arrangements and saves the one that maximizes the distance between the initial and final points. And after doing that for all sets of values, it checks the number of different arrangements generated. As expected, it only finds one possible arrangement for $n=3$. But for $n=4$, it was able to find $3$ possible arrangements. In particular, if you define $a_n$ as the number of arrangements for an arbitraty positive integer $n$, I know that

For the cases in which $n \leq 6$, the program tested $10^6$ sets of (valid) values of lengths and angles. This makes me guess that $a_4$ is $3$ and $a_5$ is $6$, but $a_6$ may be higher than $14$. For $n=7$, the program tested $10^5$ sets of values. I haven't tested it for $n=8$, but only to find the best permutation among a particular set of valid values, it took about $40$ seconds, so this discourages me to try thousands of sets of values for this case. User Claude Chaunier made a program in Rust and claims to have gotten the same bounds for $a_n$ up to $n=6$.

So my actual question is: is there a nice way of expressing $a_n$ and/or characterizing the relative orderings of the arrangements of lengths and angles counted by $a_n$?

means that the only solution I found for $n=3$ was putting $l_0$ first, rotating by $\alpha_1$, putting $l_2$, rotating by $\alpha_0$ and putting $l_1$, as expected. (where $l_2 > l_1 > l_0$ and $\alpha_1 > \alpha_0$)

EDIT 3: As commented by user Claude Chaunier, he noticed that the all the arrangements of the $l$'s seem to be unimodal permutations. But it still remains to figure out how the arrangements of the $l$'s relate to the arrangements of the $\alpha$'s.

EDIT 2: Here are the arrangements I found for $3 \leq n \leq 7$ which are counted by $a_n$: link. For example, at $n=3$

a_3 = 1
ls
0 2 1
angs
1 0 

EDIT 2: Here are the arrangements I found for $3 \leq n \leq 7$ which are counted by $a_n$: link. For example, at $n=3$

a_3 = 1
0 2 1 || 1 0 

EDIT 2: Here are the arrangements I found for $3 \leq n \leq 7$ which are counted by $a_n$: link. For example, at $n=3$

EDIT 2: Here are the arrangements I found for $3 \leq n \leq 7$ which are counted by $a_n$: link. For example, at $n=3$