座標平面に散らばった点と点の間の距離最小のものを求める。exponential speedupbacktracklocal searchexample 7 3-satisfiability 3cnf formulaconjunctive normal formlocal search random assignment local improvement