Resolution Complexity of Random Constrai
โ
Yong Gao; Joseph Culberson
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 97 KB
Let C 2,k,t n,cn be a random constraint satisfaction problem(CSP) of n binary variables, where c > 0 is a fixed constant and the cn constraints are selected uniformly and independently from all the possible k-ary constraints each of which contains exactly t tuples of the values as its restrictions.