use std::fmt::Debug;
use std::marker::PhantomData;
use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::Director;
use crate::heuristic::r#move::{ListMoveImpl, SubListChangeMove};
use super::entity::EntitySelector;
use super::move_selector::MoveSelector;
pub struct SubListChangeMoveSelector<S, V, ES> {
entity_selector: ES,
min_sublist_size: usize,
max_sublist_size: usize,
list_len: fn(&S, usize) -> usize,
sublist_remove: fn(&mut S, usize, usize, usize) -> Vec<V>,
sublist_insert: fn(&mut S, usize, usize, Vec<V>),
variable_name: &'static str,
descriptor_index: usize,
_phantom: PhantomData<(fn() -> S, fn() -> V)>,
}
impl<S, V: Debug, ES: Debug> Debug for SubListChangeMoveSelector<S, V, ES> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("SubListChangeMoveSelector")
.field("entity_selector", &self.entity_selector)
.field("min_sublist_size", &self.min_sublist_size)
.field("max_sublist_size", &self.max_sublist_size)
.field("variable_name", &self.variable_name)
.field("descriptor_index", &self.descriptor_index)
.finish()
}
}
impl<S, V, ES> SubListChangeMoveSelector<S, V, ES> {
#[allow(clippy::too_many_arguments)]
pub fn new(
entity_selector: ES,
min_sublist_size: usize,
max_sublist_size: usize,
list_len: fn(&S, usize) -> usize,
sublist_remove: fn(&mut S, usize, usize, usize) -> Vec<V>,
sublist_insert: fn(&mut S, usize, usize, Vec<V>),
variable_name: &'static str,
descriptor_index: usize,
) -> Self {
assert!(min_sublist_size >= 1, "min_sublist_size must be at least 1");
assert!(
max_sublist_size >= min_sublist_size,
"max_sublist_size must be >= min_sublist_size"
);
Self {
entity_selector,
min_sublist_size,
max_sublist_size,
list_len,
sublist_remove,
sublist_insert,
variable_name,
descriptor_index,
_phantom: PhantomData,
}
}
}
impl<S, V, ES> MoveSelector<S, SubListChangeMove<S, V>> for SubListChangeMoveSelector<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 = SubListChangeMove<S, V>> + 'a {
let solution = score_director.working_solution();
let list_len = self.list_len;
let sublist_remove = self.sublist_remove;
let sublist_insert = self.sublist_insert;
let variable_name = self.variable_name;
let descriptor_index = self.descriptor_index;
let min_seg = self.min_sublist_size;
let max_seg = self.max_sublist_size;
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 (src_idx, &src_entity) in entities.iter().enumerate() {
let src_len = route_lens[src_idx];
for seg_start in 0..src_len {
for seg_size in min_seg..=max_seg {
let seg_end = seg_start + seg_size;
if seg_end > src_len {
break; }
let post_removal_len = src_len - seg_size;
for dst_pos in 0..=post_removal_len {
if dst_pos == seg_start {
continue;
}
moves.push(SubListChangeMove::new(
src_entity,
seg_start,
seg_end,
src_entity,
dst_pos,
list_len,
sublist_remove,
sublist_insert,
variable_name,
descriptor_index,
));
}
for (dst_idx, &dst_entity) in entities.iter().enumerate() {
if dst_idx == src_idx {
continue;
}
let dst_len = route_lens[dst_idx];
for dst_pos in 0..=dst_len {
moves.push(SubListChangeMove::new(
src_entity,
seg_start,
seg_end,
dst_entity,
dst_pos,
list_len,
sublist_remove,
sublist_insert,
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 k_range = self.max_sublist_size - self.min_sublist_size + 1;
let total_elements: usize = route_lens.iter().sum();
let avg_len = total_elements / n;
n * avg_len * k_range * avg_len.max(1) * n
}
}
pub struct ListMoveSubListChangeSelector<S, V, ES> {
inner: SubListChangeMoveSelector<S, V, ES>,
}
impl<S, V: Debug, ES: Debug> Debug for ListMoveSubListChangeSelector<S, V, ES> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("ListMoveSubListChangeSelector")
.field("inner", &self.inner)
.finish()
}
}
impl<S, V, ES> ListMoveSubListChangeSelector<S, V, ES> {
pub fn new(inner: SubListChangeMoveSelector<S, V, ES>) -> Self {
Self { inner }
}
}
impl<S, V, ES> MoveSelector<S, ListMoveImpl<S, V>> for ListMoveSubListChangeSelector<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::SubListChange)
}
fn size<D: Director<S>>(&self, score_director: &D) -> usize {
self.inner.size(score_director)
}
}