[Scip] documentation conflictgraph

[Marc Pfetsch]

Hi Uwe,

there is no description of the output (just in case, a documentation of 
the dot format is available at http://www.graphviz.org/).

The command writes a file containing the implication between (binary) 
variables, e.g., y = 1 -> x = 0. The file contains (up to) two nodes for 
each binary variable - one for 0 ("neg") and one for 1 ("pos").

The ndoes for 0 (neg) are colored red.

The arcs connect the corresponding variables in an implication - in the 
above example there would be an arc from the 1-node for y to the 0-node 
for x. The file does not contain undirected arcs, but dot may display a 
pair of anti-parallel arcs as an undirected edge.


Note that the handling of these implications will change in future 
versions of SCIP (to be expected 07/2015). Implications between binary 
variables will be stored as cliques. One can then write out the clique 
graph, which works similar to the above.

Best

Marc


On 24.11.2014 09:38, Gotzes, Uwe Dr. wrote:
> Hi,
>
> is there a detailed description of the output of
>
>> dot -Tpdf problem.conflictgraph -oproblem_conflictgraph.pdf
>
> after
>
> SCIP> write conflictgraph problem.conflictgraph quit
>
> ?
>
> What do directed/undirected edges mean?
> What is the meaning of the colors of the vertices?
> ...?
>
> Best,
>
> Uwe
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
>