sdpa-format.txt

半定规划

The SDP data files in this directory are all encoded in the SDPA sparse
format.  The standard form of the primal and dual problems described
by this format is different than the standard form used by DSDP.
This file provides a description of the file format.  

The SDP Problem:

We work with a semidefinite programming problem that has been written
in the following standard form:
 
(D')    min b1*y1+b2*y2+...+bm*ym
        st  A1*y1+A2*y2+...+Am*yn-A0=S
                                 S >= 0

The dual of the problem is:
 
(P')    max tr(A0*X)
        st  tr(Ai*X)=bi           i=1,2,...,m
                  X >= 0

Here all of the matrices A0, A1, ..., Am, X, and S are assumed to be
symmetric of size n by n.  The constraints X>=0 and S>=0 mean that X
and S must be positive semidefinite.  

Note that several other standard forms for SDP have been used by 
a number of authors- these can generally be translated into the SDPA
standard form with little effort.  


File Format:

The file consists of six sections:
 
1. Comments.  The file can begin with arbitrarily many lines of comments.
Each line of comments must begin with '"' or '*'.  

2. The first line after the comments contains m, the number of constraint
matrices.  Additional text on this line after m is ignored.
 
3. The second line after the comments contains nblocks, the number of 
blocks in the block diagonal structure of the matrices.  Additional text
on this line after nblocks is ignored.  
 
4. The third line after the comments contains a vector of numbers that 
give the sizes of the individual blocks.  The special characters 
',', '(', ')', '{', and '}' can be used as punctuation and are ignored.  
Negative numbers may be used to indicate that a block is actually a diagonal
submatrix.  Thus a block size of "-5" indicates a 5 by 5 block in which 
only the diagonal elements are nonzero.  

5. The fourth line after the comments contains the objective function
vector b.  
 
6. The remaining lines of the file contain entries in the constraint
matrices, with one entry per line.  The format for each line is 
 
  <matno> <blkno> <i> <j> <entry>
 
Here <matno> is the number of the matrix to which this entry belongs, 
<blkno> specifies the block within this matrix, <i> and <j> specify a
location within the block, and <entry> gives the value of the entry in
the matrix.  Note that since all matrices are assumed to be symmetric, 
only entries in the upper triangle of a matrix are given.  

Example:

         min 10y1+20y2

         st  S=A1y1+A2y2-F0
 
             S >= 0
 
where
 
 
  A0=[1 0 0 0
      0 2 0 0
      0 0 3 0
      0 0 0 4]

  A1=[1 0 0 0
      0 1 0 0
      0 0 0 0
      0 0 0 0]

  A2=[0 0 0 0
      0 1 0 0
      0 0 5 2
      0 0 2 6]


In SDPA sparse format, this problem can be written as:
 
"A sample problem.  
2 =mdim
2 =nblocks
{2, 2}
10.0 20.0
0 1 1 1 1.0
0 1 2 2 2.0
0 2 1 1 3.0
0 2 2 2 4.0
1 1 1 1 1.0
1 1 2 2 1.0
2 1 2 2 1.0
2 2 1 1 5.0
2 2 1 2 2.0
2 2 2 2 6.0