グランディのダブル支配数:P₄-タイディグラフの境界、グラフ操作、および効率的な計算 | Synapse