graphdraw-opmanager

dual-infeasible

The instance

as published

Variables: 4,812
Constraints: 75,358
Nonzeros: 227,016
Format: MPS, gzipped

Where it comes from

provenance

The source instance's LP relaxation is feasible with a bounded optimum. Removing the elements below makes the objective unbounded, and putting any one of them back makes it bounded again.

Bounds dropped: 63
Rows dropped: 37

What was removed

100 entries

row DistSumLB[ifhcdailyrate_2012_02...,managedobjectid]row choose1[managedobjectid,ifhcdailyrate_2012_02...]lb of dist[r,ifhcdailyrate_2012_02...,managedobjectid]row compDistAxis2[r,ifhcdailyrate_2012_02...,managedobjectid]row DistAxisLB1[r,ifhcdailyrate_2012_02...,managedobjectid]lb of x[r,ifhcdailyrate_2012_02...]lb of zV[r,lb,managedobjectid,ifhcdailyrate_2012_02...]lb of zV[r,lb,devicepackagetoven...,ifhcdailyrate_2012_02...]lb of zV[r,lb,devicetographtothres...,ifhcdailyrate_2012_02...]lb of zV[r,lb,graphdiagnostics,ifhcdailyrate_2012_02...]lb of zV[r,lb,graphtopollmap,ifhcdailyrate_2012_02...]lb of zV[r,lb,thresholdobjects,ifhcdailyrate_2012_02...]

12 of 100 shown. The complete list is in the sidecar.

Also published in the primal-infeasible set view →

Download

graphdraw-opmanager_ub.mps.gz1.82 MiB graphdraw-opmanager_ub.meta.json41 KiB

The sidecar carries the full provenance, including the fields this page truncates.

Source instance

Namegraphdraw-opmanager

Submitted byCézar Augusto Nascimento e Silva

Groupgraphdraw

TermsCC BY-SA 4.0

general_linearinvariant_knapsackset_partitioningvariable_bound

In the Graph Drawing problem a set of symbols must be placed in a plane and their connections routed. The objective is to produce aesthetically pleasant, easy to read diagrams. As a primary concern one usually tries to minimize edges crossing, edges’ length, waste of space and number of bents in the connections. When formulated with these constraints the problem becomes NP-Hard . In practice many additional complicating requirements can be included, such as non-uniform sizes for symbols. Thus, some heuristics such as the generalized force-direct method and Simulated Annealing have been proposed to tackle this problem. uses a grid structure to approach the Entity-Relationship (ER) drawing problem, emphasizing the differences between ER drawing and the more classical circuit drawing problems. presented different ways of producing graph layouts (e.g.: tree, orthogonal, visibility representations, hierarchic, among others) for general graphs with applications on different subjects. The ability to automatically produce high quality layouts is very important in many applications, one of these is Software Engineering: the availability of easy to understand ER diagrams, for instance, can improve the time needed for developers to master database models and increase their productivity. Our solution approach involves two phases: ( (i) ) firstly the optimal placement of entities is solved, i.e.: entities are positioned so as to minimize the distances between connected entities; and ( (ii) ) secondly, edges are routed minimizing bends and avoiding the inclusion of connectors too close. We present the model for the first phase of our problem.

Source description quoted from MIPLIB 2017; links and mathematical notation formatted for the web.

View on MIPLIB 2017 →