150 likes | 245 Views
THE MODELLING POTENTIAL OF MINIMAX ALGEBRA. H.P. Williams London School of Economics. Max Min + - //. N.B. . (unlike +) does not have an inverse. Hence we are concerned with semi rings. Connections between Minimax Algebra and Mathematical Programming.
E N D
THE MODELLING POTENTIAL OF MINIMAX ALGEBRA H.P. Williams London School of Economics
Max Min + - // N.B. (unlike +) does not have an inverse. Hence we are concerned with semi rings.
Connections between Minimax Algebra and Mathematical Programming • Mathematical Programming is concerned with models of form • Can add but not subtract inequalities Duality Theorem of LP demonstrates inequalities can be added in multiples to give tight bound on optimal objective value
The Dual of a Disjunctive Programme (in Disjunctive Normal Form) Minimise Subject to: Dual is Maximise Subject to: If Primal and Dual Solvable (not Infeasible or Unbounded) they have the same optimal objective value.
Dynamic Programming Special cases lend themselves to Mini Max formulations Knapsack Problem (a nested recursion) Can be written as
The Group Knapsack Problem • Solve LP Relaxation of an Integer Programme • Choose integral, non-negative values for non-basic variables so as to make basic variables integral • This gives a set of congruence relations i.e. a group equation (in non-negative variables) • i.e. Where are members of a finite abelian group
The Group Knapsack Problem • If we choose so as to minimise difference from optimal LP objective we have an objective • Minimise • Where are LP reduced costs of non-basic variables As with conventional Knapsack Problem can be solved by Dynamic Programming
The Group Knapsack Problem • But resultant solution may imply negative (infeasible) values for basic variables. • Need therefore to seek 2nd best, 3rd best etc. solution to Group Knapsack Problem • Cuninghame-Green does this systematically (‘Integer Programming by Long Division’) by successively enumerating solutions of monotonically increasing cost until a feasible solutions if found.
Shortest Path Problem All deterministic Dynamic Programmes (including Knapsack problems) can be formulated as Shortest Path problems Different Linear Algebra methods mirror different Shortest Path methods
Minimax Problems Facility Location, Obnoxious Facilities, Political Districting, Nucleolus of a Game, ‘Fair’ Allocations. Analogous to conventional objectives
L1 and L Norms Can formulate Linear Regression problems using Minimax Algebra Special Case: Zero Dimension problems Median of a Set of Numbers is a partition of numbers into sets of i.e. Maximum ‘Contrast’
Scheduling Problems Jobs cannot start (e.g. Until previous jobs (e.g. ) have finished (durations ) May wish to Minimise completion of all jobs Mirrors an LP model
References • BA Carré, An Algebra for Network Routing Problems, J Inst Math Appl 7 (1971) 273-293 • RA Cunningham Green Minimax Algebra Vol. 166. Lecture Notes in Economics and Mathematical Systems, Springer Verlag 1979