US 2020/0026744 A1 · VARIABLE ELIMINATION TO IMPROVE SOLVER EFFICIENCY

Abstract

To improve efficiency for solving a system of equations, art equation solver uses variable reduction techniques to reduce a number of variables to be solved. The equation solver identifies derived variables and eliminates them from the system of equations. The equation solver considers the remaining variables to be primitive variables. The primitive variables may be rewritten into a representation of the system of equations or into a set of equations that may be used to solve for values of the primitive variables. The equation solver solves for values of the primitive variables. Prior to solving or during solving iterations, the equation solver may apply storage policies to further reduce the number of variables to be solved. The storage policies indicate parameters and techniques for eliminating primitive variables to be solved, such as primitive variables that are insignificant (i.e., have little effect on a solution for the system of equations).

Claims20

Dependent claims

A method comprising:

identifying a set of derived variables from a plurality of variables within a system of equations;
determining a representation of the system of equations based, at least in part, on a set of primitive variables, wherein the set of primitive variables comprises variables of the plurality of variables not within the set of derived variables;
and
iteratively solving the representation of the system of equations, wherein iteratively solving the representation comprises,
for at least one iteration,
determining that a first variable within the representation should be eliminated from the representation based, at least in part, on a first policy;
and
eliminating the first variable from the representation.

5 more elements

One or more non-transitory machine-readable media comprising program code for solving a system of equations, the program code to:

identify a set of derived variables from a plurality of variables within a system of equations;
determine a representation of the system of equations based, at least in part, on a set of primitive variables, wherein the set of primitive variables comprises variables of the plurality of variables not within the set of derived variables;
iteratively solve the representation of the system of equations to determine values for the set of primitive variables, wherein the program code to iteratively solve the representation comprises program code to,
for at least one iteration,
determine that a first variable within the representation should be eliminated from the representation based, at least in part, on a first policy;
and
eliminate the first variable from the representation,
determine values for the set of derived variables based, at least in part, on the values for the set of primitive variables;
and
supply a solution for the system of equations based, at least in part, on one or more of the values for the set of derived variables and the values for the set of primitive variables.

7 more elements

An apparatus comprising:

a processor;
and
a machine-readable medium having program code executable by the processor to cause the apparatus to,
identify a set of derived variables from a plurality of variables within a system of equations;
determine a representation of the system of equations based, at least in part, on a set of primitive variables, wherein the set of primitive variables comprises variables of the plurality of variables not within the set of derived variables;
and
iteratively solve the representation of the system of equations to determine values for the set of primitive variables, wherein the program code executable by the processor to cause the apparatus to iteratively solve the representation comprises program code executable by the processor to cause the apparatus to,
for at least one iteration,
determine that a first variable within the representation should be eliminated from the representation based, at least in part, on a first policy;
and
eliminate the first variable from the representation.

8 more elements

Dependencies are inferred from the claim text.

Variable elimination to improve solver efficiency

Life of this patent

Variable elimination to improve solver efficiency

Life of this patent

Abstract

Claims20