arc consistency

سازگاری کمان ( نوعی الگوریتم در هوش مصنوعی است )