Preprocessing and Reduction for Degenerate Semidefinite Programs

نویسندگان

  • Yuen-Lam Cheung
  • Simon Schurr
  • Henry Wolkowicz
چکیده

4 This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which Slater’s constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require Slater’s constraint qualification for both the primal 9 and dual problems. This assumption guarantees the existence of Lagrange multipliers, well10 posedness of the problem, and stability of algorithms. However, there are many instances of 11 SDPs where Slater’s constraint qualification fails or nearly fails. Our backward stable prepro12 cessing technique is based on finding a rank-revealing rotation of the problem followed by facial 13 reduction. This results in a smaller, well-posed, nearby problem that can be solved by standard 14 SDP solvers. 15

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Preprocessing and Regularization for Degenerate Semidefinite Programs

This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which the Slater constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require the Slater c...

متن کامل

Preprocessing sparse semidefinite programs via matrix completion

Considering that preprocessing is an important phase in linear programming, it should be systematically more incorporated in semidefinite programming solvers. The conversion method proposed by the authors (SIAM Journal on Optimization, vol. 11, pp. 647–674, 2000, and Mathematical Programming, Series B, vol. 95, pp. 303–327, 2003) is a preprocessing of sparse semidefinite programs based on matri...

متن کامل

Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities

In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not only have high complexity, but also provide no simple proof of unsatisfiability. Recently, a reduction of this problem to semidefinite programming and numeri...

متن کامل

Approximating Semidefinite Packing Programs

In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications such as semidefinite programming relaxations for combinatorial optimization problems, sparse principal component analysis, and sparse variance unfolding techniques for dimension reduction. Our algorithm exploits the struc...

متن کامل

Chapter 15: Data Preprocessing

Data preprocessing converts raw data and signals into data representation suitable for application through a sequence of operations. The objectives of data preprocessing include size reduction of the input space, smoother relationships, data normalization, noise reduction, and feature extraction. Several data preprocessing algorithms, such as data values averaging, input space reduction, and da...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011