[SCIP] Generate Cutting Pattern

[Gregor Hendel]

Dear Natalie,

Without checking *all* the details of the problem, it looks like you are 
trying to generate the set "ZSK" of all feasible integer solutions that 
satisfy

x,y,z \in Z^3 : 5 * x + 4 * y + 3 * z <= 11 and 5 * x + 4 * y + 3 * z >= 11


Zimpl can indeed enumerate them. I define

set C := {0 .. 3};

as the trivial base set for every single element. With its help,

I generate the desired set

set ZSK := {<x,y,z> in C * C * C with 5 * x + 4 * y + 3 * z <= 11 and 5 
* x + 4 * y + 3 * z >= 9};

do print ZSK;

It is up to you to really parametrize the important bits of data, if you 
want to tackle problems beyond 3 weights and a capacity of 11. The ZIMPL 
documentation contains a very good section with examples that I 
recommend you to read, if you haven't done so already.

Happy ZIMPLing,
Gregor




On 04.02.2016 19:16, Natalie Hauck wrote:
> Hi,
> my name is Natalie and I study at the Johannes Gutenberg University in 
> Mainz.
> Currently I am writing my Bachelor Thesis at the chair in 
> logistikmanagement about " Models for the cutting stock- and bin 
> packing problem".
> Main focus of my Thesis is to implement selected models using SCIP/ZIMPL.
> I already implemented 2 models and it works perfectly:).
> But I have a problem to do the last model (Gilmore & Gomory/ see PDF 
> p. 4) more dynamic.
> I put it in ZIMPL and it works like I did it ( very static :S) (see 
> gilmore.zpl). I determined the combinations of the feasible Cutting 
> Pattern first ( line 25-32) (see PDF Cutting Pattern) and pretended we 
> know how many efficient cutting pattern we´ve got (line 6).
> But actually I want ZIMPL to  generate the combinations (line 25-32) 
> and after that to count how many Cutting Pattern we are looking at ( 
> line 6).
> Is this eaven possible to do in ZIMPL and if yes HOW :D? I really 
> tried my best, but unfortunately I couldn´t implement it. So I really 
> hope you can help me implement it.
> I really appreciate your help.
> Thanks in advance.
> Best,
> Natalie
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20160205/fdcaebca/attachment.html>