メイン 検索 Trans Domination Compilation