Classifying the complexity of constraints using finite algebras

Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. Here we show that any set of relations used to specify the allowed...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Bulatov, A, Jeavons, P, Krokhin, A
Định dạng: Journal article
Ngôn ngữ:English
Được phát hành: 2005