結果 : algorithm for constraint satisfaction problem