use std::fmt::Debug;
use std::marker::PhantomData;
use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::Director;
use crate::heuristic::r#move::SublistChangeMove;
use super::entity::EntitySelector;
use super::list_support::collect_selected_entities;
use super::move_selector::{ArenaMoveCursor, MoveSelector};
use super::sublist_support::count_sublist_change_moves_for_len;
pub struct SublistChangeMoveSelector<S, V, ES> {
entity_selector: ES,
min_sublist_size: usize,
max_sublist_size: usize,
list_len: fn(&S, usize) -> usize,
list_get: fn(&S, usize, usize) -> Option<V>,
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,
list_get: fn(&S, usize, usize) -> Option<V>,
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,
list_get,
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>,
{
type Cursor<'a>
= ArenaMoveCursor<S, SublistChangeMove<S, V>>
where
Self: 'a;
fn open_cursor<'a, D: Director<S>>(&'a self, score_director: &D) -> Self::Cursor<'a> {
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 selected = collect_selected_entities(&self.entity_selector, score_director, list_len);
let entities = selected.entities;
let route_lens = selected.route_lens;
let mut moves = Vec::new();
let list_get = self.list_get;
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,
list_get,
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,
list_get,
sublist_remove,
sublist_insert,
variable_name,
descriptor_index,
));
}
}
}
}
}
ArenaMoveCursor::from_moves(moves)
}
fn size<D: Director<S>>(&self, score_director: &D) -> usize {
let selected =
collect_selected_entities(&self.entity_selector, score_director, self.list_len);
let total_elements = selected.route_lens.iter().sum::<usize>();
let entity_count = selected.entities.len();
selected
.route_lens
.iter()
.map(|&route_len| {
let inter_destinations =
total_elements.saturating_sub(route_len) + entity_count.saturating_sub(1);
count_sublist_change_moves_for_len(
route_len,
inter_destinations,
self.min_sublist_size,
self.max_sublist_size,
)
})
.sum()
}
}