protocol
tabu_search_problem_protocol
Protocol for tabu search problem definitions. A problem object must define the three required predicates and may optionally define predicates to override neighbor generation with delta energy, full neighborhood enumeration, stopping, and progress reporting defaults.
logtalk_load(tabu_search(loader))staticPublic predicates
initial_state/1
Returns an initial state for the optimization problem.
staticinitial_state(State)initial_state(-nonvar) - oneneighbor_state/2
Generates a neighboring state from the given state. This is the most problem-specific predicate and its definition determines the quality of the search. Used both for candidate sampling and (when neighbors/2 is not defined) as the sole neighborhood operator.
staticneighbor_state(State,Neighbor)neighbor_state(+nonvar,-nonvar) - oneneighbor_state/3
Generates a neighboring state and returns the energy change (delta) directly, avoiding a full energy recomputation. Optional. When not defined by the problem, the algorithm calls neighbor_state/2 and state_energy/2 instead.
staticneighbor_state(State,Neighbor,DeltaEnergy)neighbor_state(+nonvar,-nonvar,-number) - oneneighbors/2
Optionally returns the complete list of neighboring states. When defined, the algorithm uses this list (or a random sample of it controlled by the candidates(N) option) instead of repeated calls to neighbor_state/2. Useful for small, enumerable neighborhoods.
staticneighbors(State,Neighbors)neighbors(+nonvar,-list(nonvar)) - zero_or_onestate_energy/2
Computes the energy (cost) of the given state. The algorithm minimizes this value.
staticstate_energy(State,Energy)state_energy(+nonvar,-number) - onestop_condition/3
True when the search should stop given the current step, best energy found so far, and current energy. Optional. When not defined by the problem, the search runs until the maximum number of steps is reached.
staticstop_condition(Step,BestEnergy,CurrentEnergy)stop_condition(+non_negative_integer,+number,+number) - zero_or_oneprogress/5
Called periodically to report optimization progress. Optional. When not defined by the problem, progress reporting is skipped. The acceptance and improvement rates are values between 0.0 and 1.0 computed over the interval since the last progress report.
staticprogress(Step,BestEnergy,CurrentEnergy,AcceptanceRate,ImprovementRate)progress(+non_negative_integer,+number,+number,+number,+number) - zero_or_oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)
See also