Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Encoding company-controls_optimization.gringo

Name	company-controls_optimization.gringo
Class Tree	[Root]    Unclassified (114)    Company Controls (3)    Optimization Version of Company Controls (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the optimization version of Company Controls.
Created	2009-03-21 21:47
Modified	2009-05-10 18:21
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Optimization Choice rules Weight constraints
Compatible Instance Classes	Optimization Version of Company Controls
Input Predicates	company/1 controller/1 onSale/4 owns/3 toBeControlled/1
Output Predicates	buy/5
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	#hide. #show buy/5. done :- controller(X), toBeControlled(Y), 51 [ owns(X,Y,N) : owns(X,Y,N) = N ]. % done :- controller(X), toBeControlled(X). pcontrollable(Y) :- not done, company(Y), 51 [ owns(X,Y,O) : owns(X,Y,O) = O, onSale(P,Y,N,C) : onSale(P,Y,N,C) = N ]. pcontroller(X) :- not done, pcontrollable(Y), owns(X,Y,M), 51 [ owns(X,Y,O) : owns(X,Y,O) = O ]. pcontroller(X) :- not done, pcontrollable(Y), onSale(Q,Y,M,D), controller(X), 51 [ owns(X,Y,O) : owns(X,Y,O) = O, onSale(P,Y,N,C) : onSale(P,Y,N,C) = N ]. reach(X) :- pcontrollable(X), toBeControlled(X). reach(X) :- pcontrollable(X), owns(X,Y,N), N > 0, reach(Y). reach(X) :- pcontroller(X), owns(X,Y,N), N > 0, reach(Y), controller(X). buyer(X) :- controller(X), pcontroller(X), reach(X). buyer(X) :- controller(X), pcontroller(X), not reach(Y) : controller(Y), not controller(Z) : controller(Z) : Z < X. { buy(X,P,Y,N,C) : buyer(X) } 1 :- onSale(P,Y,N,C), pcontrollable(Y), reach(Y), N > 0. controls(X,Z) :- pcontroller(X), reach(X;Z), not buyer(X), 51 [ owns(X,Z,O) : owns(X,Z,O) = O, controls(X,Y) : X != Y : owns(Y,Z,M) = M ]. controls(X,Z) :- buyer(X), reach(Z), 51 [ owns(X,Z,O) : owns(X,Z,O) = O, controls(X,Y) : X != Y : owns(Y,Z,M) = M, buy(X,P,Z,N,C) : onSale(P,Z,N,C) = N ]. controlled :- controller(X), controls(X,Y), toBeControlled(Y). :- not done, not controlled. minimize [ buy(X,P,Y,N,C) : buyer(X) : onSale(P,Y,N,C) : N > 0 = C ].