多項式時間 PAC学習可能な 木幅定数形式グラフ体系について