We prove that a 3-regular penny graph has at least 16 vertices and show that such a graph with 16 vertices exists.
生成讲解博客的中文版本
生成AI智能校验的中文版本