Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParameters.SearchBranching Enum Reference

Detailed Description

The search branching will be used to decide how to branch on unfixed nodes.

Protobuf enum operations_research.sat.SatParameters.SearchBranching

Definition at line 1468 of file SatParameters.java.

Inheritance diagram for com.google.ortools.sat.SatParameters.SearchBranching:

Public Member Functions

final int getNumber ()
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ()
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ()

Static Public Member Functions

 [static initializer]
static SearchBranching valueOf (int value)
static SearchBranching forNumber (int value)
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap ()
static com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
static SearchBranching valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)

Public Attributes

 AUTOMATIC_SEARCH =(0)
 FIXED_SEARCH =(1)
 PORTFOLIO_SEARCH =(2)
 LP_SEARCH =(3)
 PSEUDO_COST_SEARCH =(4)
 PORTFOLIO_WITH_QUICK_RESTART_SEARCH =(5)
 HINT_SEARCH =(6)
 PARTIAL_FIXED_SEARCH =(7)
 RANDOMIZED_SEARCH =(8)

Static Public Attributes

static final int AUTOMATIC_SEARCH_VALUE = 0
static final int FIXED_SEARCH_VALUE = 1
static final int PORTFOLIO_SEARCH_VALUE = 2
static final int LP_SEARCH_VALUE = 3
static final int PSEUDO_COST_SEARCH_VALUE = 4
static final int PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE = 5
static final int HINT_SEARCH_VALUE = 6
static final int PARTIAL_FIXED_SEARCH_VALUE = 7
static final int RANDOMIZED_SEARCH_VALUE = 8

Member Function Documentation

◆ [static initializer]()

com.google.ortools.sat.SatParameters.SearchBranching.[static initializer]
static

◆ forNumber()

SearchBranching com.google.ortools.sat.SatParameters.SearchBranching.forNumber ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 1675 of file SatParameters.java.

◆ getDescriptor()

com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.SearchBranching.getDescriptor ( )
static

Definition at line 1711 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.SearchBranching.getDescriptorForType ( )

Definition at line 1707 of file SatParameters.java.

◆ getNumber()

final int com.google.ortools.sat.SatParameters.SearchBranching.getNumber ( )

Definition at line 1657 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.SearchBranching.getValueDescriptor ( )

Definition at line 1703 of file SatParameters.java.

◆ internalGetValueMap()

com.google.protobuf.Internal.EnumLiteMap< SearchBranching > com.google.ortools.sat.SatParameters.SearchBranching.internalGetValueMap ( )
static

Definition at line 1691 of file SatParameters.java.

◆ valueOf() [1/2]

SearchBranching com.google.ortools.sat.SatParameters.SearchBranching.valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static

Definition at line 1717 of file SatParameters.java.

◆ valueOf() [2/2]

SearchBranching com.google.ortools.sat.SatParameters.SearchBranching.valueOf ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.
Deprecated
Use forNumber(int) instead.

Definition at line 1667 of file SatParameters.java.

Member Data Documentation

◆ AUTOMATIC_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH =(0) 
Try to fix all literals using the underlying SAT solver's heuristics,
then generate and fix literals until integer variables are fixed. New
literals on integer variables are generated using the fixed search
specified by the user or our default one.

AUTOMATIC_SEARCH = 0;

Definition at line 1480 of file SatParameters.java.

◆ AUTOMATIC_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH_VALUE = 0
static 
Try to fix all literals using the underlying SAT solver's heuristics,
then generate and fix literals until integer variables are fixed. New
literals on integer variables are generated using the fixed search
specified by the user or our default one.

AUTOMATIC_SEARCH = 0;

Definition at line 1578 of file SatParameters.java.

◆ FIXED_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.FIXED_SEARCH =(1) 
If used then all decisions taken by the solver are made using a fixed
order as specified in the API or in the CpModelProto search_strategy
field.

FIXED_SEARCH = 1;

Definition at line 1490 of file SatParameters.java.

◆ FIXED_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.FIXED_SEARCH_VALUE = 1
static 
If used then all decisions taken by the solver are made using a fixed
order as specified in the API or in the CpModelProto search_strategy
field.

FIXED_SEARCH = 1;

Definition at line 1588 of file SatParameters.java.

◆ HINT_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.HINT_SEARCH =(6) 
Mainly used internally. This is like FIXED_SEARCH, except we follow the
solution_hint field of the CpModelProto rather than using the information
provided in the search_strategy.

HINT_SEARCH = 6;

Definition at line 1537 of file SatParameters.java.

◆ HINT_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.HINT_SEARCH_VALUE = 6
static 
Mainly used internally. This is like FIXED_SEARCH, except we follow the
solution_hint field of the CpModelProto rather than using the information
provided in the search_strategy.

HINT_SEARCH = 6;

Definition at line 1635 of file SatParameters.java.

◆ LP_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.LP_SEARCH =(3) 
If used, the solver will use heuristics from the LP relaxation. This
exploit the reduced costs of the variables in the relaxation.

LP_SEARCH = 3;

Definition at line 1507 of file SatParameters.java.

◆ LP_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.LP_SEARCH_VALUE = 3
static 
If used, the solver will use heuristics from the LP relaxation. This
exploit the reduced costs of the variables in the relaxation.

LP_SEARCH = 3;

Definition at line 1605 of file SatParameters.java.

◆ PARTIAL_FIXED_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PARTIAL_FIXED_SEARCH =(7) 
Similar to FIXED_SEARCH, but differ in how the variable not listed into
the fixed search heuristics are branched on. This will always start the
search tree according to the specified fixed search strategy, but will
complete it using the default automatic search.

PARTIAL_FIXED_SEARCH = 7;

Definition at line 1548 of file SatParameters.java.

◆ PARTIAL_FIXED_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PARTIAL_FIXED_SEARCH_VALUE = 7
static 
Similar to FIXED_SEARCH, but differ in how the variable not listed into
the fixed search heuristics are branched on. This will always start the
search tree according to the specified fixed search strategy, but will
complete it using the default automatic search.

PARTIAL_FIXED_SEARCH = 7;

Definition at line 1646 of file SatParameters.java.

◆ PORTFOLIO_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_SEARCH =(2) 
Simple portfolio search used by LNS workers.

PORTFOLIO_SEARCH = 2;

Definition at line 1498 of file SatParameters.java.

◆ PORTFOLIO_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_SEARCH_VALUE = 2
static 
Simple portfolio search used by LNS workers.

PORTFOLIO_SEARCH = 2;

Definition at line 1596 of file SatParameters.java.

◆ PORTFOLIO_WITH_QUICK_RESTART_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_WITH_QUICK_RESTART_SEARCH =(5) 
Mainly exposed here for testing. This quickly tries a lot of randomized
heuristics with a low conflict limit. It usually provides a good first
solution.

PORTFOLIO_WITH_QUICK_RESTART_SEARCH = 5;

Definition at line 1527 of file SatParameters.java.

◆ PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PORTFOLIO_WITH_QUICK_RESTART_SEARCH_VALUE = 5
static 
Mainly exposed here for testing. This quickly tries a lot of randomized
heuristics with a low conflict limit. It usually provides a good first
solution.

PORTFOLIO_WITH_QUICK_RESTART_SEARCH = 5;

Definition at line 1625 of file SatParameters.java.

◆ PSEUDO_COST_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.PSEUDO_COST_SEARCH =(4) 
If used, the solver uses the pseudo costs for branching. Pseudo costs
are computed using the historical change in objective bounds when some
decision are taken. Note that this works whether we use an LP or not.

PSEUDO_COST_SEARCH = 4;

Definition at line 1517 of file SatParameters.java.

◆ PSEUDO_COST_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.PSEUDO_COST_SEARCH_VALUE = 4
static 
If used, the solver uses the pseudo costs for branching. Pseudo costs
are computed using the historical change in objective bounds when some
decision are taken. Note that this works whether we use an LP or not.

PSEUDO_COST_SEARCH = 4;

Definition at line 1615 of file SatParameters.java.

◆ RANDOMIZED_SEARCH

com.google.ortools.sat.SatParameters.SearchBranching.RANDOMIZED_SEARCH =(8) 
Randomized search. Used to increase entropy in the search.

RANDOMIZED_SEARCH = 8;

Definition at line 1556 of file SatParameters.java.

◆ RANDOMIZED_SEARCH_VALUE

final int com.google.ortools.sat.SatParameters.SearchBranching.RANDOMIZED_SEARCH_VALUE = 8
static 
Randomized search. Used to increase entropy in the search.

RANDOMIZED_SEARCH = 8;

Definition at line 1654 of file SatParameters.java.

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