2次元の図形が与えられたとして、合同な3つの形に分割できるかどうか判定するアルゴリズムってあるの?