Package org.tweetyproject.math.opt.solver

Class LagrangeSolver

java.lang.Object

org.tweetyproject.math.opt.solver.Solver

org.tweetyproject.math.opt.solver.LagrangeSolver

public class LagrangeSolver
extends Solver

This class implements a (naive) Langrange solver for optimization problems.

This solver only considers optimization problems without inequations. The solution given by this solver is not verified as it only checks for necessary optimality conditions. it is natively implemented

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
LagrangeSolver(Map<Variable,Term> startingPoint)	Creates a new Lagrange solver for the given optimization problem
LagrangeSolver(Set<Map<Variable,Term>> startingPoints)	Creates a new Lagrange solver for the given optimization problem

Method Summary

Modifier and Type	Method	Description
static boolean	isInstalled()
void	setStartingPointsLMult(Map<Statement,Double> startingPointsLMult)
Map<Variable,Term>	solve(GeneralConstraintSatisfactionProblem prob)	Computes a solution to the given constraint satisfaction or optimization problem, i.e.

Methods inherited from class org.tweetyproject.math.opt.solver.Solver

getDefaultGeneralSolver, getDefaultIntegerLinearSolver, getDefaultLinearSolver, hasDefaultGeneralSolver, hasDefaultIntegerLinearSolver, hasDefaultLinearSolver, setDefaultGeneralSolver, setDefaultIntegerLinearSolver, setDefaultLinearSolver

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LagrangeSolver

public LagrangeSolver(Map<Variable,Term> startingPoint)

Creates a new Lagrange solver for the given optimization problem

Parameters:

startingPoint - The starting point for finding the optimum.

LagrangeSolver

public LagrangeSolver(Set<Map<Variable,Term>> startingPoints)

Creates a new Lagrange solver for the given optimization problem

Parameters:

startingPoints - Some starting points for finding the optimum.

Method Details

setStartingPointsLMult

public void setStartingPointsLMult(Map<Statement,Double> startingPointsLMult)

solve

public Map<Variable,Term> solve(GeneralConstraintSatisfactionProblem prob)
                         throws GeneralMathException

Description copied from class: Solver

Computes a solution to the given constraint satisfaction or optimization problem, i.e. a mapping from variables of the problem to terms.

Specified by:

solve in class Solver

Parameters:

prob - the actual problem

Returns:

a mapping from variables of the problem to terms.

Throws:

GeneralMathException - if something went wrong.

isInstalled

public static boolean isInstalled()
                           throws UnsupportedOperationException

Returns:

if solver is installed

Throws:

UnsupportedOperationException - UnsupportedOperationException