We deal with the problem of decomposing a complete geometric graph into plane star-forests. In particular, we disprove a recent conjecture by Pach, Saghafian and Schnider by constructing for each even
The entirety of the project was done using Google Colab, and therefore consists of multiple Jupyter Notebooks. The best way to read all of it is:
- file
star_forests_6_points.ipynb
, describing the process of finding all star-forest decompositions of 6-point sets, as well as generating pictures which describe them. - file
star_forests_8_points.ipynb
, describing the process of finding all star-forest decompositions of 8-point sets. - file
star_forests_8_pics.ipynb
, generating pictures of the decompostions of 8-point sets.
- The pre-print of the paper this data is used in will soon be published on arxiv.
- For transparency, we also include the file
8-5-partitions.txt
, where we stored the point sets of size 8 which admit star-forest decompositions, as well as one example partition for each of them. They are also displayed instar_forests_8_pics.ipynb
. - As the
star_forests_8_pics.ipynb
file is currently too large to be displayed ongithub
, we recommend opening it usinggithub.dev
. Here is how to do this: