contemporary algorhythm 04

座標平面に散らばった点と点の間の距離

最小のものを求める。

exponential speedup

backtrack

local search

example 7
3-satisfiability
3cnf formula

conjunctive normal form

local search random assignment local improvement