藤田 雅之論文(Truncated 3-regular connected graphs are distinguishing 3-colorable)ynu.repo.nii.ac.jp でさらに詳しく