use std::fmt::Debug;
use std::marker::PhantomData;
use std::time::Instant;
use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::{Director, RecordingDirector};
use tracing::{debug, info, trace};
use crate::heuristic::r#move::{Move, MoveArena};
use crate::heuristic::selector::MoveSelector;
use crate::phase::control::{
settle_search_interrupt, should_interrupt_evaluation, should_interrupt_generation,
StepInterrupt,
};
use crate::phase::localsearch::{Acceptor, LocalSearchForager};
use crate::phase::Phase;
use crate::scope::ProgressCallback;
use crate::scope::{PhaseScope, SolverScope, StepScope};
use crate::stats::{format_duration, whole_units_per_second};
pub struct LocalSearchPhase<S, M, MS, A, Fo>
where
S: PlanningSolution,
M: Move<S>,
MS: MoveSelector<S, M>,
A: Acceptor<S>,
Fo: LocalSearchForager<S, M>,
{
move_selector: MS,
acceptor: A,
forager: Fo,
arena: MoveArena<M>,
step_limit: Option<u64>,
_phantom: PhantomData<fn() -> (S, M)>,
}
impl<S, M, MS, A, Fo> LocalSearchPhase<S, M, MS, A, Fo>
where
S: PlanningSolution,
M: Move<S> + 'static,
MS: MoveSelector<S, M>,
A: Acceptor<S>,
Fo: LocalSearchForager<S, M>,
{
pub fn new(move_selector: MS, acceptor: A, forager: Fo, step_limit: Option<u64>) -> Self {
Self {
move_selector,
acceptor,
forager,
arena: MoveArena::new(),
step_limit,
_phantom: PhantomData,
}
}
}
impl<S, M, MS, A, Fo> Debug for LocalSearchPhase<S, M, MS, A, Fo>
where
S: PlanningSolution,
M: Move<S>,
MS: MoveSelector<S, M> + Debug,
A: Acceptor<S> + Debug,
Fo: LocalSearchForager<S, M> + Debug,
{
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("LocalSearchPhase")
.field("move_selector", &self.move_selector)
.field("acceptor", &self.acceptor)
.field("forager", &self.forager)
.field("arena", &self.arena)
.field("step_limit", &self.step_limit)
.finish()
}
}
impl<S, D, BestCb, M, MS, A, Fo> Phase<S, D, BestCb> for LocalSearchPhase<S, M, MS, A, Fo>
where
S: PlanningSolution,
D: Director<S>,
BestCb: ProgressCallback<S>,
M: Move<S>,
MS: MoveSelector<S, M>,
A: Acceptor<S>,
Fo: LocalSearchForager<S, M>,
{
fn solve(&mut self, solver_scope: &mut SolverScope<S, D, BestCb>) {
let mut phase_scope = PhaseScope::new(solver_scope, 0);
let phase_index = phase_scope.phase_index();
let mut last_step_score = phase_scope.calculate_score();
info!(
event = "phase_start",
phase = "Local Search",
phase_index = phase_index,
);
self.acceptor.phase_started(&last_step_score);
let start_time = Instant::now();
let mut local_moves_generated: u64 = 0;
let mut local_moves_evaluated: u64 = 0;
let mut last_progress_time = Instant::now();
let mut last_progress_moves: u64 = 0;
loop {
if phase_scope.solver_scope_mut().should_terminate() {
break;
}
if let Some(limit) = self.step_limit {
if phase_scope.step_count() >= limit {
break;
}
}
let mut step_scope = StepScope::new(&mut phase_scope);
let best_score = step_scope
.phase_scope()
.solver_scope()
.best_score()
.copied()
.unwrap_or(last_step_score);
self.forager.step_started(best_score, last_step_score);
self.acceptor.step_started();
self.arena.reset();
let mut interrupted_step = false;
let mut generated_moves = 0usize;
let mut evaluated_moves = 0usize;
let generation_started = Instant::now();
let mut cursor = self.move_selector.open_cursor(step_scope.score_director());
step_scope
.phase_scope_mut()
.record_generation_time(generation_started.elapsed());
while !self.forager.is_quit_early() {
if should_interrupt_generation(&step_scope, generated_moves) {
interrupted_step = true;
break;
}
let generation_started = Instant::now();
let Some(mov) = cursor.next() else {
break;
};
let generation_elapsed = generation_started.elapsed();
generated_moves += 1;
local_moves_generated += 1;
step_scope
.phase_scope_mut()
.record_generated_move(generation_elapsed);
if should_interrupt_evaluation(&step_scope, evaluated_moves) {
interrupted_step = true;
break;
}
evaluated_moves += 1;
local_moves_evaluated += 1;
if local_moves_evaluated & 0x1FFF == 0 {
let now = Instant::now();
if now.duration_since(last_progress_time).as_secs() >= 1 {
let current_speed = whole_units_per_second(
local_moves_evaluated - last_progress_moves,
now.duration_since(last_progress_time),
);
debug!(
event = "progress",
steps = step_scope.step_index(),
moves_generated = local_moves_generated,
moves_evaluated = local_moves_evaluated,
moves_accepted = step_scope.phase_scope().solver_scope().stats().moves_accepted,
score_calculations = step_scope.phase_scope().solver_scope().stats().score_calculations,
speed = current_speed,
acceptance_rate = format!(
"{:.1}%",
step_scope.phase_scope().solver_scope().stats().acceptance_rate() * 100.0
),
current_score = %last_step_score,
best_score = %best_score,
);
step_scope.phase_scope().solver_scope().report_progress();
last_progress_time = now;
last_progress_moves = local_moves_evaluated;
}
}
let evaluation_started = Instant::now();
if !mov.is_doable(step_scope.score_director()) {
step_scope
.phase_scope_mut()
.record_evaluated_move(evaluation_started.elapsed());
continue;
}
let move_score = {
let mut recording = RecordingDirector::new(step_scope.score_director_mut());
mov.do_move(&mut recording);
let score = recording.calculate_score();
recording.undo_changes();
score
};
step_scope.phase_scope_mut().record_score_calculation();
let accepted = self.acceptor.is_accepted(&last_step_score, &move_score);
step_scope
.phase_scope_mut()
.record_evaluated_move(evaluation_started.elapsed());
if accepted {
step_scope.phase_scope_mut().record_move_accepted();
}
trace!(
event = "step",
step = step_scope.step_index(),
move_index = evaluated_moves - 1,
score = %move_score,
accepted = accepted,
);
if accepted {
let accepted_index = self.arena.len();
self.arena.push(mov);
self.forager.add_move_index(accepted_index, move_score);
}
}
if interrupted_step {
match settle_search_interrupt(&mut step_scope) {
StepInterrupt::Restart => continue,
StepInterrupt::TerminatePhase => break,
}
}
if let Some((selected_index, selected_score)) = self.forager.pick_move_index() {
let selected_move = self.arena.take(selected_index);
selected_move.do_move(step_scope.score_director_mut());
step_scope.set_step_score(selected_score);
last_step_score = selected_score;
step_scope.phase_scope_mut().update_best_solution();
}
self.acceptor.step_ended(&last_step_score);
step_scope.complete();
}
self.acceptor.phase_ended();
let duration = start_time.elapsed();
let steps = phase_scope.step_count();
let stats = phase_scope.stats();
let speed = whole_units_per_second(stats.moves_evaluated, duration);
let acceptance_rate = stats.acceptance_rate() * 100.0;
let calc_speed = whole_units_per_second(stats.score_calculations, duration);
let best_score_str = phase_scope
.solver_scope()
.best_score()
.map(|s| format!("{}", s))
.unwrap_or_else(|| "none".to_string());
info!(
event = "phase_end",
phase = "Local Search",
phase_index = phase_index,
duration = %format_duration(duration),
steps = steps,
moves_generated = stats.moves_generated,
moves_evaluated = stats.moves_evaluated,
moves_accepted = stats.moves_accepted,
score_calculations = stats.score_calculations,
generation_time = %format_duration(stats.generation_time()),
evaluation_time = %format_duration(stats.evaluation_time()),
moves_speed = speed,
calc_speed = calc_speed,
acceptance_rate = format!("{:.1}%", acceptance_rate),
score = best_score_str,
);
}
fn phase_type_name(&self) -> &'static str {
"LocalSearch"
}
}
#[cfg(test)]
#[path = "phase_tests.rs"]
mod tests;