sets部分
妳先假設有16個軟盤disk（因為16個文件最多用到16個軟盤）軟盤的級屬性是壹個（0，1）變量q（0表示沒有用到，1表示用到）。
16個文件doc，屬性是他們分別的大小s。
doc和disk的父集link，屬性是p也是0-1變量，表示某個doc是否放在某個disk裏
data部分：
對文件的大小賦值。
目標函數：
min=@sum(disk(i):q(i));!用到軟盤的最大數;
約束條件：
@for(doc(i):@sum(disk(j):p(i,j))=1);!每個文件只能放壹次;
@for(disk(j):@sum(doc(i):s(i)*p(i,j))<1.44*1024);!每張盤的容量上限;