pub struct TabuSearchAcceptor<S: PlanningSolution> { /* private fields */ }Expand description
Tabu search acceptor - maintains a tabu list of recently visited solutions.
Tabu search prevents revisiting recently explored solutions by maintaining a tabu list. This helps escape local optima and prevents cycling.
This implementation tracks recent scores to identify solutions that should be forbidden (tabu). A more sophisticated implementation would track the actual moves or entity changes.
§Example
use solverforge_solver::phase::localsearch::TabuSearchAcceptor;
use solverforge_core::score::SimpleScore;
use solverforge_core::domain::PlanningSolution;
#[derive(Clone)]
struct MySolution;
impl PlanningSolution for MySolution {
type Score = SimpleScore;
fn score(&self) -> Option<Self::Score> { None }
fn set_score(&mut self, _: Option<Self::Score>) {}
}
let acceptor = TabuSearchAcceptor::<MySolution>::new(7);Implementations§
Source§impl<S: PlanningSolution> TabuSearchAcceptor<S>
impl<S: PlanningSolution> TabuSearchAcceptor<S>
Sourcepub fn new(tabu_size: usize) -> Self
pub fn new(tabu_size: usize) -> Self
Creates a new tabu search acceptor.
§Arguments
tabu_size- Maximum number of solutions to remember as tabu
Sourcepub fn without_aspiration(tabu_size: usize) -> Self
pub fn without_aspiration(tabu_size: usize) -> Self
Creates a tabu search acceptor without aspiration.
Without aspiration, tabu moves are never accepted, even if they would lead to a new best solution.
Trait Implementations§
Source§impl<S: PlanningSolution> Acceptor<S> for TabuSearchAcceptor<S>
impl<S: PlanningSolution> Acceptor<S> for TabuSearchAcceptor<S>
Source§fn is_accepted(&self, last_step_score: &S::Score, move_score: &S::Score) -> bool
fn is_accepted(&self, last_step_score: &S::Score, move_score: &S::Score) -> bool
Returns true if a move resulting in
move_score should be accepted,
given the previous step’s score.Source§fn phase_started(&mut self, initial_score: &S::Score)
fn phase_started(&mut self, initial_score: &S::Score)
Called when a phase starts.
Source§fn phase_ended(&mut self)
fn phase_ended(&mut self)
Called when a phase ends.
Source§fn step_ended(&mut self, step_score: &S::Score)
fn step_ended(&mut self, step_score: &S::Score)
Called when a step ends with an accepted move.
Source§fn step_started(&mut self)
fn step_started(&mut self)
Called when a step starts.
Source§impl<S: PlanningSolution> Clone for TabuSearchAcceptor<S>
impl<S: PlanningSolution> Clone for TabuSearchAcceptor<S>
Source§impl<S: PlanningSolution> Debug for TabuSearchAcceptor<S>
impl<S: PlanningSolution> Debug for TabuSearchAcceptor<S>
Source§impl<S: PlanningSolution> Default for TabuSearchAcceptor<S>
impl<S: PlanningSolution> Default for TabuSearchAcceptor<S>
Auto Trait Implementations§
impl<S> Freeze for TabuSearchAcceptor<S>
impl<S> RefUnwindSafe for TabuSearchAcceptor<S>
impl<S> Send for TabuSearchAcceptor<S>
impl<S> Sync for TabuSearchAcceptor<S>
impl<S> Unpin for TabuSearchAcceptor<S>
impl<S> UnwindSafe for TabuSearchAcceptor<S>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more