Variable-Centered Consistency in Model RB

Minds and Machines 23 (1):95-103 (2013)
  Copy   BIBTEX


Model RB is a model of random constraint satisfaction problems, which exhibits exact satisfiability phase transition and many hard instances, both experimentally and theoretically. Benchmarks based on Model RB have been successfully used by various international algorithm competitions and many research papers. In a previous work, Xu and Li defined two notions called i-constraint assignment tuple and flawed i-constraint assignment tuple to show an exponential resolution complexity of Model RB. These two notions are similar to some kind of consistency in constraint satisfaction problems, but seem different from all kinds of consistency so far known in literatures. In this paper, we explicitly define this kind of consistency, called variable-centered consistency, and show an upper bound on a parameter in Model RB, such that up to this bound the typical instances of Model RB are variable-centered consistent



    Upload a copy of this work     Papers currently archived: 89,311

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

74 (#199,593)

6 months
1 (#1,002,272)

Historical graph of downloads
How can I increase my downloads?