use std::any::Any;
use std::fmt::Debug;
use std::marker::PhantomData;
use solverforge_core::domain::PlanningSolution;
use solverforge_core::score::Score;
use solverforge_scoring::{Director, RecordingDirector};
use tracing::info;
use crate::heuristic::r#move::Move;
use crate::phase::construction::{
BestFitForager, ConstructionForager, EntityPlacer, FirstFeasibleForager, FirstFitForager,
};
use crate::phase::control::{
settle_construction_interrupt, should_interrupt_evaluation, StepInterrupt,
};
use crate::phase::Phase;
use crate::scope::ProgressCallback;
use crate::scope::{PhaseScope, SolverScope, StepScope};
pub struct ConstructionHeuristicPhase<S, M, P, Fo>
where
S: PlanningSolution,
M: Move<S>,
P: EntityPlacer<S, M>,
Fo: ConstructionForager<S, M>,
{
placer: P,
forager: Fo,
_phantom: PhantomData<fn() -> (S, M)>,
}
impl<S, M, P, Fo> ConstructionHeuristicPhase<S, M, P, Fo>
where
S: PlanningSolution,
M: Move<S>,
P: EntityPlacer<S, M>,
Fo: ConstructionForager<S, M>,
{
pub fn new(placer: P, forager: Fo) -> Self {
Self {
placer,
forager,
_phantom: PhantomData,
}
}
}
impl<S, M, P, Fo> Debug for ConstructionHeuristicPhase<S, M, P, Fo>
where
S: PlanningSolution,
M: Move<S>,
P: EntityPlacer<S, M> + Debug,
Fo: ConstructionForager<S, M> + Debug,
{
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("ConstructionHeuristicPhase")
.field("placer", &self.placer)
.field("forager", &self.forager)
.finish()
}
}
impl<S, D, BestCb, M, P, Fo> Phase<S, D, BestCb> for ConstructionHeuristicPhase<S, M, P, Fo>
where
S: PlanningSolution,
D: Director<S>,
BestCb: ProgressCallback<S>,
M: Move<S> + 'static,
P: EntityPlacer<S, M>,
Fo: ConstructionForager<S, M> + 'static,
{
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();
info!(
event = "phase_start",
phase = "Construction Heuristic",
phase_index = phase_index,
);
let mut placements = self
.placer
.get_placements(phase_scope.score_director())
.into_iter();
let mut pending_placement = None;
loop {
if phase_scope
.solver_scope_mut()
.should_terminate_construction()
{
break;
}
let mut placement = match pending_placement.take().or_else(|| placements.next()) {
Some(placement) => placement,
None => break,
};
let moves_in_placement = placement.moves.len() as u64;
let mut step_scope = StepScope::new(&mut phase_scope);
let selected_idx = match select_move_index(&self.forager, &placement, &mut step_scope) {
ConstructionSelection::Selected(selected_idx) => selected_idx,
ConstructionSelection::Interrupted => {
match settle_construction_interrupt(&mut step_scope) {
StepInterrupt::Restart => {
pending_placement = Some(placement);
continue;
}
StepInterrupt::TerminatePhase => break,
}
}
};
for i in 0..moves_in_placement {
let accepted = selected_idx == Some(i as usize);
step_scope
.phase_scope_mut()
.solver_scope_mut()
.stats_mut()
.record_move(accepted);
}
if let Some(idx) = selected_idx {
let m = placement.take_move(idx);
m.do_move(step_scope.score_director_mut());
let step_score = step_scope.calculate_score();
step_scope.set_step_score(step_score);
}
step_scope.complete();
}
phase_scope.update_best_solution();
let best_score = phase_scope
.solver_scope()
.best_score()
.map(|s| format!("{}", s))
.unwrap_or_else(|| "none".to_string());
let duration = phase_scope.elapsed();
let steps = phase_scope.step_count();
let speed = if duration.as_secs_f64() > 0.0 {
(steps as f64 / duration.as_secs_f64()) as u64
} else {
0
};
let stats = phase_scope.solver_scope().stats();
info!(
event = "phase_end",
phase = "Construction Heuristic",
phase_index = phase_index,
duration_ms = duration.as_millis() as u64,
steps = steps,
moves_evaluated = stats.moves_evaluated,
moves_accepted = stats.moves_accepted,
score_calculations = stats.score_calculations,
speed = speed,
score = best_score,
);
}
fn phase_type_name(&self) -> &'static str {
"ConstructionHeuristic"
}
}
enum ConstructionSelection {
Selected(Option<usize>),
Interrupted,
}
fn select_move_index<S, D, BestCb, M, Fo>(
forager: &Fo,
placement: &crate::phase::construction::Placement<S, M>,
step_scope: &mut StepScope<'_, '_, '_, S, D, BestCb>,
) -> ConstructionSelection
where
S: PlanningSolution,
S::Score: Score,
D: Director<S>,
BestCb: ProgressCallback<S>,
M: Move<S> + 'static,
Fo: ConstructionForager<S, M> + 'static,
{
let erased = forager as &dyn Any;
if erased.is::<FirstFitForager<S, M>>() {
return select_first_fit_index(placement, step_scope);
}
if erased.is::<BestFitForager<S, M>>() {
return select_best_fit_index(placement, step_scope);
}
if erased.is::<FirstFeasibleForager<S, M>>() {
return select_first_feasible_index(placement, step_scope);
}
ConstructionSelection::Selected(
forager.pick_move_index(placement, step_scope.score_director_mut()),
)
}
fn select_first_fit_index<S, D, BestCb, M>(
placement: &crate::phase::construction::Placement<S, M>,
step_scope: &mut StepScope<'_, '_, '_, S, D, BestCb>,
) -> ConstructionSelection
where
S: PlanningSolution,
D: Director<S>,
BestCb: ProgressCallback<S>,
M: Move<S> + 'static,
{
for (idx, m) in placement.moves.iter().enumerate() {
if should_interrupt_evaluation(step_scope, idx) {
return ConstructionSelection::Interrupted;
}
if m.is_doable(step_scope.score_director()) {
return ConstructionSelection::Selected(Some(idx));
}
}
ConstructionSelection::Selected(None)
}
fn select_best_fit_index<S, D, BestCb, M>(
placement: &crate::phase::construction::Placement<S, M>,
step_scope: &mut StepScope<'_, '_, '_, S, D, BestCb>,
) -> ConstructionSelection
where
S: PlanningSolution,
S::Score: Score,
D: Director<S>,
BestCb: ProgressCallback<S>,
M: Move<S> + 'static,
{
let mut best_idx: Option<usize> = None;
let mut best_score: Option<S::Score> = None;
for (idx, m) in placement.moves.iter().enumerate() {
if should_interrupt_evaluation(step_scope, idx) {
return ConstructionSelection::Interrupted;
}
if !m.is_doable(step_scope.score_director()) {
continue;
}
let score = {
let mut recording = RecordingDirector::new(step_scope.score_director_mut());
m.do_move(&mut recording);
let score = recording.calculate_score();
recording.undo_changes();
score
};
let is_better = match &best_score {
None => true,
Some(best) => score > *best,
};
if is_better {
best_idx = Some(idx);
best_score = Some(score);
}
}
ConstructionSelection::Selected(best_idx)
}
fn select_first_feasible_index<S, D, BestCb, M>(
placement: &crate::phase::construction::Placement<S, M>,
step_scope: &mut StepScope<'_, '_, '_, S, D, BestCb>,
) -> ConstructionSelection
where
S: PlanningSolution,
S::Score: Score,
D: Director<S>,
BestCb: ProgressCallback<S>,
M: Move<S> + 'static,
{
let mut fallback_idx: Option<usize> = None;
let mut fallback_score: Option<S::Score> = None;
for (idx, m) in placement.moves.iter().enumerate() {
if should_interrupt_evaluation(step_scope, idx) {
return ConstructionSelection::Interrupted;
}
if !m.is_doable(step_scope.score_director()) {
continue;
}
let score = {
let mut recording = RecordingDirector::new(step_scope.score_director_mut());
m.do_move(&mut recording);
let score = recording.calculate_score();
recording.undo_changes();
score
};
if score.is_feasible() {
return ConstructionSelection::Selected(Some(idx));
}
let is_better = match &fallback_score {
None => true,
Some(best) => score > *best,
};
if is_better {
fallback_idx = Some(idx);
fallback_score = Some(score);
}
}
ConstructionSelection::Selected(fallback_idx)
}
#[cfg(test)]
#[path = "phase_tests.rs"]
mod tests;