Facial reduction (FR) is a preprocessing technique used to restore Slater’s condition in semidefinite programming (SDP), but each step generally requires solving an auxiliary SDP. Factor-width- partial FR restricts the class of exposing matrices. Increasing enlarges this class, but, for , the auxiliary problem remains an SDP involving positive semidefinite blocks of order . For SDP relaxations of binary programs, we replace this auxiliary SDP by an LP-based face-identification method. We construct a polyhedron in subset-indexed moment variables that has polynomial size for fixed . The resulting face contains every feasible binary lift and is contained in every face exposed by a factor-width- exposing matrix from the same auxiliary system. Thus, linear programming identifies a face no larger than those obtained from the factor-width- auxiliary SDP while preserving all feasible binary points. To iterate the construction, we represent each identified face by linear equations in the original matrix variable, thereby retaining the moment-matrix indexing and the factor-width comparison at every iteration.

生成讲解博客的中文版本

生成AI智能校验的中文版本