[Cgl] Clique cuts

[Matthew Galati]

My application has a cut pool handler itself. So, duplicates are not a problem. I just thought that getting 5 of 6 of the same cut in one CGL call might indicate an algorithmic issue in the generator.

Matt
 

> -----Original Message-----
> From: fmargot at andrew.cmu.edu [mailto:fmargot at andrew.cmu.edu] 
> Sent: Sunday, June 24, 2007 9:17 AM
> To: Matthew Galati
> Cc: cgl
> Subject: Re: [Cgl] Clique cuts
> 
> 
> Matt:
> 
> I do not know for sure if CglClique is supposed to return 
> distinct cuts or not (maybe Laci knows), but most Cgl 
> generators do not guarantee that. 
> In any case, if you are using more than one generator and 
> want only distinct cuts, you probably have to check for 
> duplicates across generators.
> 
> As a quick fix, you can modify CglClique.cpp to remove 
> duplicates by changing
> 
>   cs.insert(rowcut);
> 
> to
> 
>   cs.insertIfNotDuplicate(rowcut);
> 
> Francois
> 
> 
> On Fri, 22 Jun 2007, Matthew Galati wrote:
> 
> > Is it possible that in one pass of Clique Cuts, that it 
> could return duplicate cuts (in fact, only 2 unique of 6)?
> >
> > If it is possible -- OK.
> > If it should not be possible, I'll put together a test case 
> to repeat it.
> >
> > Thanks,
> > Matt
> >
> >     CglClique cglClique;
> >         cglClique.setStarCliqueReport(false);
> >         cglClique.setRowCliqueReport(false);
> >         cglClique.generateCuts(*siCgl, cs);
> >
> > CS ROW CUT 0
> > + 1.00 x[74] + 1.00 x[174] + 1.00 x[374] + 1.00 x[474] + 
> 1.00 x[574] + 
> > + 1.00 x[774] + 1.00 x[874] + 1.00 x[954] + 1.00 x[970] + 
> 1.00 x[994] 
> > + lb: -INF ub: 1.00 vio: 0.00
> >
> > CS ROW CUT 1
> > + 1.00 x[57] + 1.00 x[157] + 1.00 x[227] + 1.00 x[247] + 
> 1.00 x[256] + 
> > + 1.00 x[357] + 1.00 x[457] + 1.00 x[557] + 1.00 x[757] + 
> 1.00 x[857] 
> > + lb: -INF ub: 1.00 vio: 0.00
> >
> > CS ROW CUT 2
> > + 1.00 x[57] + 1.00 x[157] + 1.00 x[227] + 1.00 x[247] + 
> 1.00 x[256] + 
> > + 1.00 x[357] + 1.00 x[457] + 1.00 x[557] + 1.00 x[757] + 
> 1.00 x[857] 
> > + lb: -INF ub: 1.00 vio: 0.00
> >
> > CS ROW CUT 3
> > + 1.00 x[57] + 1.00 x[157] + 1.00 x[227] + 1.00 x[247] + 
> 1.00 x[256] + 
> > + 1.00 x[357] + 1.00 x[457] + 1.00 x[557] + 1.00 x[757] + 
> 1.00 x[857] 
> > + lb: -INF ub: 1.00 vio: 0.00
> >
> > CS ROW CUT 4
> > + 1.00 x[57] + 1.00 x[157] + 1.00 x[227] + 1.00 x[247] + 
> 1.00 x[256] + 
> > + 1.00 x[357] + 1.00 x[457] + 1.00 x[557] + 1.00 x[757] + 
> 1.00 x[857] 
> > + lb: -INF ub: 1.00 vio: 0.00
> >
> > CS ROW CUT 5
> > + 1.00 x[57] + 1.00 x[157] + 1.00 x[227] + 1.00 x[247] + 
> 1.00 x[256] + 
> > + 1.00 x[357] + 1.00 x[457] + 1.00 x[557] + 1.00 x[757] + 
> 1.00 x[857] 
> > + lb: -INF ub: 1.00 vio: 0.00
> >
> >
> >
> >
> >
> >
> >
>