GettingStartedWithILOGOPLDevelopmentStudio 优化软件与应用cplex,opl,ampl,lingo课件教学 讲义.pptVIP

Flour 面粉 * * Tuple数组 * * * * * EXCEL连接类型申明 * Einsteins Quiz einstein.prj Einsteins Quiz Below is a quiz written by Einstein last century. Facts: 1) There are 5 houses in 5 different colors 2) In each house lives a person with a different nationality. 3) These 5 owners drink a certain beverage, smoke a certain brand of cigar and keep a certain pet. 4) No owners have the same pet, smoke the same brand of cigar or drink the same drink. The question is: Who owns the fish? * Hints: The Brit lives in the red house. The Swede keeps dogs as pets. The Dane drinks tea. The green house is on the left of the white house. The green homeowner drinks coffee. The person who smokes Pall Mall rears birds. The owner of the yellow house smokes Dunhill. The man living in the center house drinks milk. The Norwegian lives in the first house. The man who smokes Blend lives next to the one who keeps cats. The man who keeps the horse lives next to the man who smokes Dunhill. The owner who smokes Bluemaster drinks beer. The German smokes prince. The Norwegian lives next to the blue house. The man who smokes Blend has a neighbor who drinks water. Einsteins Quiz * * * * * * * Search in OPL Fundamental for hard combinatorial optimization problems, where search is necessary. The try instrucion It is interesting to study what happens when several try instructions are used in sequence. * Search in OPL Here OPL considers the first try instruction and adds the constraint x = 1. It then moves to the next instruction and adds the constraint y = 1, which results in a failure. OPL then backtracks to the second alternative and produces the solution * 3. Search in OPL The tryall instrucion For instance, the instruction is equivalent to the instruction * Search in OPL Quantifiers To illustrate the forall instruction, consider the following statement, which solves the four-queens problem and specifies a search procedure: * Search in OPL Thi