The smallest 3-regular matchstick graph without triangles (girth ≥ 4) has 20 vertices, as proved by Kurz and Mazzuoccolo.
Как показал Курц и Мазуколо (Kurz, Mazzuoccolo) ,наименьший 3-регулярный спичечный граф без треугольников (обхват ≥ 4) имеет 20 вершин.