Skip to main content
1 of 3
Moritz Firsching
  • 10.7k
  • 3
  • 63
  • 88

Too long for a comment:

I think there is a reason, why this is algorithmically solvable.

Given three side lengths $a,b$ and $c$, and a fixed number $k\in\mathbb{N}$, writing down all the (in)equalities, that prescribe $k$ non-intersection triangles with side-length $(a,b,d)$ kissing a (fixed) triangle with the same side lenghts yields a semi-algebraic set $C_k$; the configuration space of k kissing triangles. For each $k$ it is decidable whether or no $C_k$ is empty (existential theory of the reals). Therefore an algorithm would start with a $k=0$, inscreasing the $k$ until the first $k$ is found such that $C_k$ is empty and then returning $k-1$ as the kissing number. (The fact that this algorithm terminates comes from the fact that there is an upper bound on the kissing number)

Moritz Firsching
  • 10.7k
  • 3
  • 63
  • 88