Sharp Singularity-Degree Bounds for Equality-Generated SDP-RLT Relaxations of Binary Programs
Singularity degree is an important measure of semidefinite programming (SDP) degeneracy, but it is generally unavailable a priori from the problem data. We augment the Shor relaxation of nonempty binary sets $\{x\in\{0,1\}^n:Ax=b\}$ with the first-level Reformulation-Linearization Technique (RLT) equations generated by...