The question is, whether this 13 is the minimal number indeed. And the question is, whether there is a solution with an average number of neighbors greater than just 6.
I plan to output all the solutions up to some number. They will be conjectures like this one, open for an improvement, or for a proof.
The question is, whether this 13 is the minimal number indeed. And the question is, whether there is a solution with an average number of neighbors greater than just 6.
I plan to output all the solutions up to some number. They will be conjectures like this one, open for an improvement, or for a proof.
Something like this:
http://mathworld.wolfram.com/JohnsonSolid.html