片岳格・守谷哲夫、制限付き無向グラフの同型性