13 citations · 13 across the 7 of their papers we have counts for
Showing cs.CCShow all
3 papers · 1 filter
cs.CC2026
Solution independence and self-referential instances
Guangyan Zhou, Bin Wang, Jianxin Wang +1
In this paper, we investigate the hitting set problem and demonstrate that solution independence is the crucial property underlying the construction of self-referential instances.…
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…