VariableHeuristic
org.ddolibscala.tools.ddo.heuristics.variables.VariableHeuristic
trait VariableHeuristic[T] extends VariableHeuristic[T]
Defines a strategy for selecting the next decision variable to branch on during the construction or exploration of a decision diagram.
A VariableHeuristic is responsible for determining, at each expansion step, which variable should be fixed next among the remaining unassigned ones. It can use information from the current layer’s states to guide this choice.
Heuristics of this kind are essential in dynamic programming, search trees, and decision diagrams, as they influence the structure of the diagram and the efficiency of the exploration process. A well-chosen variable ordering can drastically reduce the diagram width and computation time.
Type parameters
- T
-
the type representing the problem state
Attributes
- Graph
-
- Supertypes
-
trait VariableHeuristic[T]class Objecttrait Matchableclass Any
- Known subtypes
-
class DefaultVariableHeuristic[T]
Members list
In this article