use std::fmt::Debug;
use std::marker::PhantomData;
use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::Director;
use crate::heuristic::r#move::{ListMoveImpl, SubListSwapMove};
use super::entity::EntitySelector;
use super::move_selector::MoveSelector;
pub struct SubListSwapMoveSelector<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 SubListSwapMoveSelector<S, V, ES> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("SubListSwapMoveSelector")
.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> SubListSwapMoveSelector<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, SubListSwapMove<S, V>> for SubListSwapMoveSelector<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 = SubListSwapMove<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 (i, &entity_a) in entities.iter().enumerate() {
let len_a = route_lens[i];
for first_start in 0..len_a {
for first_size in min_seg..=max_seg {
let first_end = first_start + first_size;
if first_end > len_a {
break;
}
for second_start in first_end..len_a {
for second_size in min_seg..=max_seg {
let second_end = second_start + second_size;
if second_end > len_a {
break;
}
moves.push(SubListSwapMove::new(
entity_a,
first_start,
first_end,
entity_a,
second_start,
second_end,
list_len,
sublist_remove,
sublist_insert,
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 first_start in 0..len_a {
for first_size in min_seg..=max_seg {
let first_end = first_start + first_size;
if first_end > len_a {
break;
}
for second_start in 0..len_b {
for second_size in min_seg..=max_seg {
let second_end = second_start + second_size;
if second_end > len_b {
break;
}
moves.push(SubListSwapMove::new(
entity_a,
first_start,
first_end,
entity_b,
second_start,
second_end,
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) * k_range * (n + 1) / 2
}
}
pub struct ListMoveSubListSwapSelector<S, V, ES> {
inner: SubListSwapMoveSelector<S, V, ES>,
}
impl<S, V: Debug, ES: Debug> Debug for ListMoveSubListSwapSelector<S, V, ES> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("ListMoveSubListSwapSelector")
.field("inner", &self.inner)
.finish()
}
}
impl<S, V, ES> ListMoveSubListSwapSelector<S, V, ES> {
pub fn new(inner: SubListSwapMoveSelector<S, V, ES>) -> Self {
Self { inner }
}
}
impl<S, V, ES> MoveSelector<S, ListMoveImpl<S, V>> for ListMoveSubListSwapSelector<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::SubListSwap)
}
fn size<D: Director<S>>(&self, score_director: &D) -> usize {
self.inner.size(score_director)
}
}