Method and system for translating an optimization problem for use in efficient resource allocation

Claim 2

In a method of processing and expanding index variables listed in an objective function and at least one constraint relationship into standard linear programming format to obtain a solution in determining efficient resource allocation utilizing a corresponding solver, of the type wherein the index variables and their properties are defined and transferred to a symbol table during a syntax analysis phase, portions of the symbol table relating to the index variables requiring expansion are transferred to a plurality of temporary data records containing information stored in the symbol table, and the temporary data records are linked in a forward order during expansion, wherein the improvement comprises: generating an index link record for each of the index variables so as to eliminate the need for the symbol table and the plurality of temporary data records; linking the index link records of the index variables requiring expansion in a reverse order of the order listed in the objective function and the at least one constraint relationship into an expanded form so as to reduce the number of traversals performed during expansion processing, the index link records having a pointer for identifying the next index variable requiring expansion; and allocating the resource based on the expanded form.

Claim 3

The method of claim 1 wherein each of the index link records contain definition information and expansion information.

Claim 4

The method of claim 2 wherein the definition information includes a name of the index variable and a lower-bound and an upper-bound range of the index variable.

Claim 5

The method of claim 2 wherein the expansion information includes a pointer for identifying the next index variable requiring expansion and a cursor for ranging from the lower-bound range to the upper-bound range of the corresponding index variable.

Claim 6

The method of claim 1 wherein the step of linking the index link records in a reverse order comprises: (a) setting the pointer of the index link record of a first index variable listed in the objective function or the at least one constraint relationship as an end of an expansion list; (b) determining whether there is a second index variable listed in the objective function or the at least one constraint relationship; (c) setting the pointer of the index link record of the second index variable listed in the objective function or the at least one constraint relationship to the first index variable; and (d) repeating steps (b) and (c) until no more index variables are listed in the objective function or the at least one constraint relationship.

Claim 7

For use in determining efficient resource allocation, a computerized method for translating an optimization problem requiring expansion of a summation expression into standard linear programming format to obtain a solution utilizing a corresponding solver, comprising: generating an objective function corresponding to an algebraic model of a goal of the optimization problem, the objective function including index variables corresponding to variables involved in the optimization problem; generating at least one constraint relationship corresponding to an algebraic model of physical constraints on the variables involved in the optimization problem; generating an index record for each index variable containing both static information and dynamic information, the static information representing index variable names and index variable lower-bound ranges and upper-bound ranges, and the dynamic information corresponding to an expansion record for maintaining a cursor value corresponding to an integer value between the lower-bound ranges and the upper-bound ranges of each of the index variables and a pointer for linking together index variables requiring expansion; expanding the index variables of the objective function and the at least one constraint relationship in a reverse order so as to translate the optimization problem into the standard linear programming format; providing the translated optimization problem to the solver to obtain a solution; and physically allocating the resource in accordance with the solution.

Claim 8

For use in determining efficient resource allocation, a computerized method for translating an optimization problem requiring expansion of a summation expression into standard linear programming format to obtain a solution utilizing a corresponding solver, comprising: generating an objective function corresponding to an algebraic model of a goal of the optimization problem, the objective function including index variables corresponding to variables involved in the optimization problem; generating at least one constraint relationship corresponding to an algebraic model of physical constraints on the variables involved in the optimization problem; generating an index record for each index variable containing both static information and dynamic information, the static information representing index variable names and index variable lower-bound ranges and upper-bound ranges, and the dynamic information corresponding to an expansion record for maintaining a cursor value corresponding to an integer value between the lower-bound ranges and the upper-bound ranges of each of the index variables and a pointer for linking together index variables requiring expansion; expanding the index variables of the objective function and the at least one constraint relationship in a reverse order so as to translate the optimization problem into the standard linear programming format; providing the translated optimization problem to the solver to obtain a solution; and physically allocating the resource in accordance with the solution.