Variable-Centered Consistency in Model RB |
| |
Authors: | Liang Li Tian Liu Ke Xu |
| |
Affiliation: | 1. Key Laboratory of High Confidence Software Technologies, School of Electronic Engineering and Computer Science, Ministry of Education, Institute of Software, Peking University, Beijing, 100871, China 2. National Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|