use std::fmt::Debug;
use std::marker::PhantomData;
use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::Director;
use crate::heuristic::r#move::{ListMoveImpl, ListSwapMove};
use super::entity::EntitySelector;
use super::move_selector::MoveSelector;
pub struct ListSwapMoveSelector<S, V, ES> {
entity_selector: ES,
list_len: fn(&S, usize) -> usize,
list_get: fn(&S, usize, usize) -> Option<V>,
list_set: fn(&mut S, usize, usize, V),
variable_name: &'static str,
descriptor_index: usize,
_phantom: PhantomData<(fn() -> S, fn() -> V)>,
}
impl<S, V: Debug, ES: Debug> Debug for ListSwapMoveSelector<S, V, ES> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("ListSwapMoveSelector")
.field("entity_selector", &self.entity_selector)
.field("variable_name", &self.variable_name)
.field("descriptor_index", &self.descriptor_index)
.finish()
}
}
impl<S, V, ES> ListSwapMoveSelector<S, V, ES> {
pub fn new(
entity_selector: ES,
list_len: fn(&S, usize) -> usize,
list_get: fn(&S, usize, usize) -> Option<V>,
list_set: fn(&mut S, usize, usize, V),
variable_name: &'static str,
descriptor_index: usize,
) -> Self {
Self {
entity_selector,
list_len,
list_get,
list_set,
variable_name,
descriptor_index,
_phantom: PhantomData,
}
}
}
impl<S, V, ES> MoveSelector<S, ListSwapMove<S, V>> for ListSwapMoveSelector<S, V, ES>
where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
ES: EntitySelector<S>,
{
fn iter_moves<'a, D: Director<S>>(
&'a self,
score_director: &'a D,
) -> impl Iterator<Item = ListSwapMove<S, V>> + 'a {
let solution = score_director.working_solution();
let list_len = self.list_len;
let list_get = self.list_get;
let list_set = self.list_set;
let variable_name = self.variable_name;
let descriptor_index = self.descriptor_index;
let entities: Vec<usize> = self
.entity_selector
.iter(score_director)
.map(|r| r.entity_index)
.collect();
let route_lens: Vec<usize> = entities.iter().map(|&e| list_len(solution, e)).collect();
let mut moves = Vec::new();
for (i, &entity_a) in entities.iter().enumerate() {
let len_a = route_lens[i];
if len_a == 0 {
continue;
}
for pos_a in 0..len_a {
for pos_b in pos_a + 1..len_a {
moves.push(ListSwapMove::new(
entity_a,
pos_a,
entity_a,
pos_b,
list_len,
list_get,
list_set,
variable_name,
descriptor_index,
));
}
}
for (j, &entity_b) in entities.iter().enumerate() {
if j <= i {
continue;
}
let len_b = route_lens[j];
if len_b == 0 {
continue;
}
for pos_a in 0..len_a {
for pos_b in 0..len_b {
moves.push(ListSwapMove::new(
entity_a,
pos_a,
entity_b,
pos_b,
list_len,
list_get,
list_set,
variable_name,
descriptor_index,
));
}
}
}
}
moves.into_iter()
}
fn size<D: Director<S>>(&self, score_director: &D) -> usize {
let solution = score_director.working_solution();
let list_len = self.list_len;
let entities: Vec<usize> = self
.entity_selector
.iter(score_director)
.map(|r| r.entity_index)
.collect();
let route_lens: Vec<usize> = entities.iter().map(|&e| list_len(solution, e)).collect();
let n = entities.len();
if n == 0 {
return 0;
}
let intra: usize = route_lens
.iter()
.map(|&m| m * m.saturating_sub(1) / 2)
.sum();
let inter: usize = (0..n)
.flat_map(|i| (i + 1..n).map(move |j| (i, j)))
.map(|(i, j)| route_lens[i] * route_lens[j])
.sum();
intra + inter
}
}
pub struct ListMoveListSwapSelector<S, V, ES> {
inner: ListSwapMoveSelector<S, V, ES>,
}
impl<S, V: Debug, ES: Debug> Debug for ListMoveListSwapSelector<S, V, ES> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("ListMoveListSwapSelector")
.field("inner", &self.inner)
.finish()
}
}
impl<S, V, ES> ListMoveListSwapSelector<S, V, ES> {
pub fn new(inner: ListSwapMoveSelector<S, V, ES>) -> Self {
Self { inner }
}
}
impl<S, V, ES> MoveSelector<S, ListMoveImpl<S, V>> for ListMoveListSwapSelector<S, V, ES>
where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
ES: EntitySelector<S>,
{
fn iter_moves<'a, D: Director<S>>(
&'a self,
score_director: &'a D,
) -> impl Iterator<Item = ListMoveImpl<S, V>> + 'a {
self.inner
.iter_moves(score_director)
.map(ListMoveImpl::ListSwap)
}
fn size<D: Director<S>>(&self, score_director: &D) -> usize {
self.inner.size(score_director)
}
}