CSP算法