Showing 2021Show all
2 papers · 1 filter
cs.CC2021
Super Solutions of the Model RB
Guangyan Zhou, Wei Xu
The concept of super solution is a special type of generalized solutions with certain degree of robustness and stability. In this paper we consider the -super solutions of t…
cs.CC2021
Hiding solutions in model RB: Forced instances are almost as hard as unforced ones
Guangyan Zhou
In this paper we study the forced instance spaces of model RB, where one or two arbitrary satisfying assignments have been imposed. We prove rigorously that the expected number of…