Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | Properties | List of all members
Google.OrTools.PDLP.InfeasibilityInformation Class Referencesealed

Information measuring how close a point is to establishing primal or dual infeasibility (i.e. has no solution); see also TerminationCriteria. More...

Inheritance diagram for Google.OrTools.PDLP.InfeasibilityInformation:

Public Member Functions

 InfeasibilityInformation ()
 
 InfeasibilityInformation (InfeasibilityInformation other)
 
InfeasibilityInformation Clone ()
 
void ClearMaxPrimalRayInfeasibility ()
 Clears the value of the "max_primal_ray_infeasibility" field.
 
void ClearPrimalRayLinearObjective ()
 Clears the value of the "primal_ray_linear_objective" field.
 
void ClearPrimalRayQuadraticNorm ()
 Clears the value of the "primal_ray_quadratic_norm" field.
 
void ClearMaxDualRayInfeasibility ()
 Clears the value of the "max_dual_ray_infeasibility" field.
 
void ClearDualRayObjective ()
 Clears the value of the "dual_ray_objective" field.
 
void ClearCandidateType ()
 Clears the value of the "candidate_type" field.
 
override bool Equals (object other)
 
bool Equals (InfeasibilityInformation other)
 
override int GetHashCode ()
 
override string ToString ()
 
void WriteTo (pb::CodedOutputStream output)
 
int CalculateSize ()
 
void MergeFrom (InfeasibilityInformation other)
 
void MergeFrom (pb::CodedInputStream input)
 

Static Public Attributes

const int MaxPrimalRayInfeasibilityFieldNumber = 1
 Field number for the "max_primal_ray_infeasibility" field.
 
const int PrimalRayLinearObjectiveFieldNumber = 2
 Field number for the "primal_ray_linear_objective" field.
 
const int PrimalRayQuadraticNormFieldNumber = 3
 Field number for the "primal_ray_quadratic_norm" field.
 
const int MaxDualRayInfeasibilityFieldNumber = 4
 Field number for the "max_dual_ray_infeasibility" field.
 
const int DualRayObjectiveFieldNumber = 5
 Field number for the "dual_ray_objective" field.
 
const int CandidateTypeFieldNumber = 6
 Field number for the "candidate_type" field.
 

Properties

static pb::MessageParser< InfeasibilityInformation > Parser [get]
 
static pbr::MessageDescriptor Descriptor [get]
 
double MaxPrimalRayInfeasibility [get, set]
 Let x_ray be the algorithm's estimate of the primal extreme ray where x_ray is a vector that satisfies the sign constraints for a ray, scaled such that its infinity norm is one (the sign constraints are the variable bound constraints, with all finite bounds mapped to zero). A simple and typical choice of x_ray is x_ray = x / | x |_∞ where x is the current primal iterate projected onto the primal ray sign constraints. For this value compute the maximum absolute error in the primal linear program with the right hand side set to zero.
 
bool HasMaxPrimalRayInfeasibility [get]
 Gets whether the "max_primal_ray_infeasibility" field is set.
 
double PrimalRayLinearObjective [get, set]
 The value of the linear part of the primal objective (ignoring additive constants) evaluated at x_ray, i.e., c' * x_ray where c is the objective coefficient vector.
 
bool HasPrimalRayLinearObjective [get]
 Gets whether the "primal_ray_linear_objective" field is set.
 
double PrimalRayQuadraticNorm [get, set]
 The l_∞ norm of the vector resulting from taking the quadratic matrix from primal objective and multiplying it by the primal variables. For linear programming problems this is zero.
 
bool HasPrimalRayQuadraticNorm [get]
 Gets whether the "primal_ray_quadratic_norm" field is set.
 
double MaxDualRayInfeasibility [get, set]
 Let (y_ray, r_ray) be the algorithm's estimate of the dual and reduced cost extreme ray where (y_ray, r_ray) is a vector (satisfying the dual variable constraints) scaled such that its infinity norm is one. A simple and typical choice of y_ray is (y_ray, r_ray) = (y, r) / max(| y |_∞, | r |_∞) where y is the current dual iterate and r is the current dual reduced costs. Consider the quadratic program we are solving but with the objective (both quadratic and linear terms) set to zero. This forms a linear program (label this linear program (1)) with no objective. Take the dual of (1) and compute the maximum absolute value of the constraint error for (y_ray, r_ray) to obtain the value of max_dual_ray_infeasibility.
 
bool HasMaxDualRayInfeasibility [get]
 Gets whether the "max_dual_ray_infeasibility" field is set.
 
double DualRayObjective [get, set]
 The objective of the linear program labeled (1) in the previous paragraph.
 
bool HasDualRayObjective [get]
 Gets whether the "dual_ray_objective" field is set.
 
global::Google.OrTools.PDLP.PointType CandidateType [get, set]
 Type of the point used to compute the InfeasibilityInformation.
 
bool HasCandidateType [get]
 Gets whether the "candidate_type" field is set.
 

Detailed Description

Information measuring how close a point is to establishing primal or dual infeasibility (i.e. has no solution); see also TerminationCriteria.

Definition at line 3039 of file SolveLog.pb.cs.

Constructor & Destructor Documentation

◆ InfeasibilityInformation() [1/2]

Google.OrTools.PDLP.InfeasibilityInformation.InfeasibilityInformation ( )
inline

Definition at line 3065 of file SolveLog.pb.cs.

◆ InfeasibilityInformation() [2/2]

Google.OrTools.PDLP.InfeasibilityInformation.InfeasibilityInformation ( InfeasibilityInformation other)
inline

Definition at line 3073 of file SolveLog.pb.cs.

Member Function Documentation

◆ CalculateSize()

int Google.OrTools.PDLP.InfeasibilityInformation.CalculateSize ( )
inline

Definition at line 3408 of file SolveLog.pb.cs.

◆ ClearCandidateType()

void Google.OrTools.PDLP.InfeasibilityInformation.ClearCandidateType ( )
inline

Clears the value of the "candidate_type" field.

Definition at line 3286 of file SolveLog.pb.cs.

◆ ClearDualRayObjective()

void Google.OrTools.PDLP.InfeasibilityInformation.ClearDualRayObjective ( )
inline

Clears the value of the "dual_ray_objective" field.

Definition at line 3256 of file SolveLog.pb.cs.

◆ ClearMaxDualRayInfeasibility()

void Google.OrTools.PDLP.InfeasibilityInformation.ClearMaxDualRayInfeasibility ( )
inline

Clears the value of the "max_dual_ray_infeasibility" field.

Definition at line 3226 of file SolveLog.pb.cs.

◆ ClearMaxPrimalRayInfeasibility()

void Google.OrTools.PDLP.InfeasibilityInformation.ClearMaxPrimalRayInfeasibility ( )
inline

Clears the value of the "max_primal_ray_infeasibility" field.

Definition at line 3123 of file SolveLog.pb.cs.

◆ ClearPrimalRayLinearObjective()

void Google.OrTools.PDLP.InfeasibilityInformation.ClearPrimalRayLinearObjective ( )
inline

Clears the value of the "primal_ray_linear_objective" field.

Definition at line 3155 of file SolveLog.pb.cs.

◆ ClearPrimalRayQuadraticNorm()

void Google.OrTools.PDLP.InfeasibilityInformation.ClearPrimalRayQuadraticNorm ( )
inline

Clears the value of the "primal_ray_quadratic_norm" field.

Definition at line 3187 of file SolveLog.pb.cs.

◆ Clone()

InfeasibilityInformation Google.OrTools.PDLP.InfeasibilityInformation.Clone ( )
inline

Definition at line 3086 of file SolveLog.pb.cs.

◆ Equals() [1/2]

bool Google.OrTools.PDLP.InfeasibilityInformation.Equals ( InfeasibilityInformation other)
inline

Definition at line 3298 of file SolveLog.pb.cs.

◆ Equals() [2/2]

override bool Google.OrTools.PDLP.InfeasibilityInformation.Equals ( object other)
inline

Definition at line 3292 of file SolveLog.pb.cs.

◆ GetHashCode()

override int Google.OrTools.PDLP.InfeasibilityInformation.GetHashCode ( )
inline

Definition at line 3316 of file SolveLog.pb.cs.

◆ MergeFrom() [1/2]

void Google.OrTools.PDLP.InfeasibilityInformation.MergeFrom ( InfeasibilityInformation other)
inline

Definition at line 3436 of file SolveLog.pb.cs.

◆ MergeFrom() [2/2]

void Google.OrTools.PDLP.InfeasibilityInformation.MergeFrom ( pb.CodedInputStream input)
inline

Definition at line 3463 of file SolveLog.pb.cs.

◆ ToString()

override string Google.OrTools.PDLP.InfeasibilityInformation.ToString ( )
inline

Definition at line 3332 of file SolveLog.pb.cs.

◆ WriteTo()

void Google.OrTools.PDLP.InfeasibilityInformation.WriteTo ( pb.CodedOutputStream output)
inline

Definition at line 3338 of file SolveLog.pb.cs.

Member Data Documentation

◆ CandidateTypeFieldNumber

const int Google.OrTools.PDLP.InfeasibilityInformation.CandidateTypeFieldNumber = 6
static

Field number for the "candidate_type" field.

Definition at line 3261 of file SolveLog.pb.cs.

◆ DualRayObjectiveFieldNumber

const int Google.OrTools.PDLP.InfeasibilityInformation.DualRayObjectiveFieldNumber = 5
static

Field number for the "dual_ray_objective" field.

Definition at line 3231 of file SolveLog.pb.cs.

◆ MaxDualRayInfeasibilityFieldNumber

const int Google.OrTools.PDLP.InfeasibilityInformation.MaxDualRayInfeasibilityFieldNumber = 4
static

Field number for the "max_dual_ray_infeasibility" field.

Definition at line 3192 of file SolveLog.pb.cs.

◆ MaxPrimalRayInfeasibilityFieldNumber

const int Google.OrTools.PDLP.InfeasibilityInformation.MaxPrimalRayInfeasibilityFieldNumber = 1
static

Field number for the "max_primal_ray_infeasibility" field.

Definition at line 3091 of file SolveLog.pb.cs.

◆ PrimalRayLinearObjectiveFieldNumber

const int Google.OrTools.PDLP.InfeasibilityInformation.PrimalRayLinearObjectiveFieldNumber = 2
static

Field number for the "primal_ray_linear_objective" field.

Definition at line 3128 of file SolveLog.pb.cs.

◆ PrimalRayQuadraticNormFieldNumber

const int Google.OrTools.PDLP.InfeasibilityInformation.PrimalRayQuadraticNormFieldNumber = 3
static

Field number for the "primal_ray_quadratic_norm" field.

Definition at line 3160 of file SolveLog.pb.cs.

Property Documentation

◆ CandidateType

global.Google.OrTools.PDLP.PointType Google.OrTools.PDLP.InfeasibilityInformation.CandidateType
getset

Type of the point used to compute the InfeasibilityInformation.

Definition at line 3270 of file SolveLog.pb.cs.

◆ Descriptor

pbr.MessageDescriptor Google.OrTools.PDLP.InfeasibilityInformation.Descriptor
staticget

Definition at line 3053 of file SolveLog.pb.cs.

◆ DualRayObjective

double Google.OrTools.PDLP.InfeasibilityInformation.DualRayObjective
getset

The objective of the linear program labeled (1) in the previous paragraph.

Definition at line 3240 of file SolveLog.pb.cs.

◆ HasCandidateType

bool Google.OrTools.PDLP.InfeasibilityInformation.HasCandidateType
get

Gets whether the "candidate_type" field is set.

Definition at line 3280 of file SolveLog.pb.cs.

◆ HasDualRayObjective

bool Google.OrTools.PDLP.InfeasibilityInformation.HasDualRayObjective
get

Gets whether the "dual_ray_objective" field is set.

Definition at line 3250 of file SolveLog.pb.cs.

◆ HasMaxDualRayInfeasibility

bool Google.OrTools.PDLP.InfeasibilityInformation.HasMaxDualRayInfeasibility
get

Gets whether the "max_dual_ray_infeasibility" field is set.

Definition at line 3220 of file SolveLog.pb.cs.

◆ HasMaxPrimalRayInfeasibility

bool Google.OrTools.PDLP.InfeasibilityInformation.HasMaxPrimalRayInfeasibility
get

Gets whether the "max_primal_ray_infeasibility" field is set.

Definition at line 3117 of file SolveLog.pb.cs.

◆ HasPrimalRayLinearObjective

bool Google.OrTools.PDLP.InfeasibilityInformation.HasPrimalRayLinearObjective
get

Gets whether the "primal_ray_linear_objective" field is set.

Definition at line 3149 of file SolveLog.pb.cs.

◆ HasPrimalRayQuadraticNorm

bool Google.OrTools.PDLP.InfeasibilityInformation.HasPrimalRayQuadraticNorm
get

Gets whether the "primal_ray_quadratic_norm" field is set.

Definition at line 3181 of file SolveLog.pb.cs.

◆ MaxDualRayInfeasibility

double Google.OrTools.PDLP.InfeasibilityInformation.MaxDualRayInfeasibility
getset

Let (y_ray, r_ray) be the algorithm's estimate of the dual and reduced cost extreme ray where (y_ray, r_ray) is a vector (satisfying the dual variable constraints) scaled such that its infinity norm is one. A simple and typical choice of y_ray is (y_ray, r_ray) = (y, r) / max(| y |_∞, | r |_∞) where y is the current dual iterate and r is the current dual reduced costs. Consider the quadratic program we are solving but with the objective (both quadratic and linear terms) set to zero. This forms a linear program (label this linear program (1)) with no objective. Take the dual of (1) and compute the maximum absolute value of the constraint error for (y_ray, r_ray) to obtain the value of max_dual_ray_infeasibility.

Definition at line 3210 of file SolveLog.pb.cs.

◆ MaxPrimalRayInfeasibility

double Google.OrTools.PDLP.InfeasibilityInformation.MaxPrimalRayInfeasibility
getset

Let x_ray be the algorithm's estimate of the primal extreme ray where x_ray is a vector that satisfies the sign constraints for a ray, scaled such that its infinity norm is one (the sign constraints are the variable bound constraints, with all finite bounds mapped to zero). A simple and typical choice of x_ray is x_ray = x / | x |_∞ where x is the current primal iterate projected onto the primal ray sign constraints. For this value compute the maximum absolute error in the primal linear program with the right hand side set to zero.

Definition at line 3107 of file SolveLog.pb.cs.

◆ Parser

pb.MessageParser<InfeasibilityInformation> Google.OrTools.PDLP.InfeasibilityInformation.Parser
staticget

Definition at line 3049 of file SolveLog.pb.cs.

◆ PrimalRayLinearObjective

double Google.OrTools.PDLP.InfeasibilityInformation.PrimalRayLinearObjective
getset

The value of the linear part of the primal objective (ignoring additive constants) evaluated at x_ray, i.e., c' * x_ray where c is the objective coefficient vector.

Definition at line 3139 of file SolveLog.pb.cs.

◆ PrimalRayQuadraticNorm

double Google.OrTools.PDLP.InfeasibilityInformation.PrimalRayQuadraticNorm
getset

The l_∞ norm of the vector resulting from taking the quadratic matrix from primal objective and multiplying it by the primal variables. For linear programming problems this is zero.

Definition at line 3171 of file SolveLog.pb.cs.

The documentation for this class was generated from the following file: