use std::fmt::Debug;
use std::marker::PhantomData;
use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::Director;
use crate::heuristic::r#move::SublistChangeMove;
use crate::list_placement::{selected_segment_allows, OwnerRestriction, SelectedOwnerRestrictions};
use super::entity::EntitySelector;
use super::list_support::{collect_selected_entities, ordered_index};
use super::move_selector::{
CandidateId, CandidateStore, MoveCandidateRef, MoveCursor, MoveSelector, MoveStreamContext,
};
use super::precedence_route::{PrecedenceRouteGraph, PrecedenceRouteHooks};
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>),
element_owner_fn: Option<fn(&S, &V) -> Option<usize>>,
precedence_route_hooks: Option<PrecedenceRouteHooks<S, V>>,
variable_name: &'static str,
descriptor_index: usize,
_phantom: PhantomData<(fn() -> S, fn() -> V)>,
}
enum SublistChangeStage {
Intra,
Inter,
}
pub struct SublistChangeMoveCursor<S, V>
where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
{
store: CandidateStore<S, SublistChangeMove<S, V>>,
entities: Vec<usize>,
route_lens: Vec<usize>,
context: MoveStreamContext,
src_idx: usize,
seg_start_offset: usize,
seg_size_offset: usize,
stage: SublistChangeStage,
intra_dst_offset: usize,
dst_idx: usize,
inter_dst_offset: usize,
min_seg: usize,
max_seg: 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>),
element_owners: Option<Vec<Vec<OwnerRestriction>>>,
fixed_to_current_entity: bool,
precedence_route_graph: Option<PrecedenceRouteGraph>,
variable_name: &'static str,
descriptor_index: usize,
}
impl<S, V> SublistChangeMoveCursor<S, V>
where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
{
#[allow(clippy::too_many_arguments)]
fn new(
entities: Vec<usize>,
route_lens: Vec<usize>,
context: MoveStreamContext,
min_seg: usize,
max_seg: 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>),
element_owners: Option<Vec<Vec<OwnerRestriction>>>,
fixed_to_current_entity: bool,
precedence_route_graph: Option<PrecedenceRouteGraph>,
variable_name: &'static str,
descriptor_index: usize,
) -> Self {
Self {
store: CandidateStore::new(),
entities,
route_lens,
context,
src_idx: 0,
seg_start_offset: 0,
seg_size_offset: 0,
stage: SublistChangeStage::Intra,
intra_dst_offset: 0,
dst_idx: 0,
inter_dst_offset: 0,
min_seg,
max_seg,
list_len,
list_get,
sublist_remove,
sublist_insert,
element_owners,
fixed_to_current_entity,
precedence_route_graph,
variable_name,
descriptor_index,
}
}
pub(crate) fn with_precedence_route_graph(
mut self,
precedence_route_graph: Option<PrecedenceRouteGraph>,
) -> Self {
self.precedence_route_graph = precedence_route_graph;
self
}
fn segment_size_count(&self, src_len: usize, seg_start: usize) -> usize {
let max_valid = self.max_seg.min(src_len.saturating_sub(seg_start));
max_valid.saturating_sub(self.min_seg) + usize::from(max_valid >= self.min_seg)
}
fn current_segment(&self) -> Option<(usize, usize, usize, usize, usize)> {
let src_entity = *self.entities.get(self.src_idx)?;
let src_len = self.route_lens[self.src_idx];
if src_len < self.min_seg {
return Some((src_entity, src_len, 0, 0, 0));
}
let seg_start = ordered_index(
self.seg_start_offset,
src_len,
self.context,
0x5B15_7C4A_46E0_0002 ^ src_entity as u64 ^ self.descriptor_index as u64,
);
let size_count = self.segment_size_count(src_len, seg_start);
if size_count == 0 {
return Some((src_entity, src_len, seg_start, 0, 0));
}
let size_offset = ordered_index(
self.seg_size_offset,
size_count,
self.context,
0x5B15_7C4A_46E0_0003 ^ src_entity as u64 ^ seg_start as u64,
);
let seg_size = self.min_seg + size_offset;
Some((
src_entity,
src_len,
seg_start,
seg_start + seg_size,
seg_size,
))
}
fn advance_segment(&mut self) {
let Some((_, src_len, seg_start, _, _)) = self.current_segment() else {
return;
};
let size_count = self.segment_size_count(src_len, seg_start);
self.seg_size_offset += 1;
if self.seg_size_offset >= size_count {
self.seg_size_offset = 0;
self.seg_start_offset += 1;
}
while self.src_idx < self.route_lens.len()
&& self.seg_start_offset >= self.route_lens[self.src_idx]
{
self.src_idx += 1;
self.seg_start_offset = 0;
self.seg_size_offset = 0;
}
self.stage = SublistChangeStage::Intra;
self.intra_dst_offset = 0;
self.dst_idx = 0;
self.inter_dst_offset = 0;
}
fn push_move(
&mut self,
src_entity: usize,
seg_start: usize,
seg_end: usize,
dst_entity: usize,
dst_pos: usize,
) -> CandidateId {
self.store.push(SublistChangeMove::new(
src_entity,
seg_start,
seg_end,
dst_entity,
dst_pos,
self.list_len,
self.list_get,
self.sublist_remove,
self.sublist_insert,
self.variable_name,
self.descriptor_index,
))
}
fn segment_owner_allows(
&self,
src_idx: usize,
seg_start: usize,
seg_end: usize,
dst_entity: usize,
) -> bool {
self.element_owners.as_ref().is_none_or(|owners| {
selected_segment_allows(owners, src_idx, seg_start, seg_end, dst_entity)
})
}
}
impl<S, V> MoveCursor<S, SublistChangeMove<S, V>> for SublistChangeMoveCursor<S, V>
where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
{
fn next_candidate(&mut self) -> Option<CandidateId> {
loop {
let (src_entity, src_len, seg_start, seg_end, seg_size) = self.current_segment()?;
if src_len < self.min_seg || seg_size == 0 {
self.advance_segment();
continue;
}
match self.stage {
SublistChangeStage::Intra => {
let post_removal_len = src_len - seg_size;
while self.intra_dst_offset <= post_removal_len {
let dst_pos = ordered_index(
self.intra_dst_offset,
post_removal_len + 1,
self.context,
0x5B15_7C4A_46E0_0004 ^ src_entity as u64 ^ seg_start as u64,
);
self.intra_dst_offset += 1;
if dst_pos == seg_start {
continue;
}
if self.element_owners.is_some()
&& !self.segment_owner_allows(
self.src_idx,
seg_start,
seg_end,
src_entity,
)
{
continue;
}
if self.precedence_route_graph.as_ref().is_some_and(|graph| {
graph.intra_sublist_change_introduces_cycle(
src_entity, seg_start, seg_end, dst_pos,
)
}) {
continue;
}
return Some(
self.push_move(src_entity, seg_start, seg_end, src_entity, dst_pos),
);
}
if self.fixed_to_current_entity {
self.advance_segment();
continue;
}
self.stage = SublistChangeStage::Inter;
self.dst_idx = 0;
self.inter_dst_offset = 0;
}
SublistChangeStage::Inter => {
while self.dst_idx < self.entities.len() {
if self.dst_idx == self.src_idx {
self.dst_idx += 1;
continue;
}
let dst_entity = self.entities[self.dst_idx];
let dst_len = self.route_lens[self.dst_idx];
if self.inter_dst_offset <= dst_len {
let dst_pos = ordered_index(
self.inter_dst_offset,
dst_len + 1,
self.context,
0x5B15_7C4A_46E0_0005
^ src_entity as u64
^ dst_entity as u64
^ seg_start as u64,
);
self.inter_dst_offset += 1;
if self.element_owners.is_some()
&& !self.segment_owner_allows(
self.src_idx,
seg_start,
seg_end,
dst_entity,
)
{
continue;
}
return Some(
self.push_move(src_entity, seg_start, seg_end, dst_entity, dst_pos),
);
}
self.dst_idx += 1;
self.inter_dst_offset = 0;
}
self.advance_segment();
}
}
}
}
fn candidate(
&self,
id: CandidateId,
) -> Option<MoveCandidateRef<'_, S, SublistChangeMove<S, V>>> {
self.store.candidate(id)
}
fn take_candidate(&mut self, id: CandidateId) -> SublistChangeMove<S, V> {
self.store.take_candidate(id)
}
}
impl<S, V> Iterator for SublistChangeMoveCursor<S, V>
where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
{
type Item = SublistChangeMove<S, V>;
fn next(&mut self) -> Option<Self::Item> {
let id = self.next_candidate()?;
Some(self.take_candidate(id))
}
}
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,
element_owner_fn: None,
precedence_route_hooks: None,
variable_name,
descriptor_index,
_phantom: PhantomData,
}
}
pub fn with_element_owner_fn(
mut self,
element_owner_fn: Option<fn(&S, &V) -> Option<usize>>,
) -> Self {
self.element_owner_fn = element_owner_fn;
self
}
pub(crate) fn with_precedence_route_hooks(
mut self,
precedence_route_hooks: Option<PrecedenceRouteHooks<S, V>>,
) -> Self {
self.precedence_route_hooks = precedence_route_hooks;
self
}
pub(crate) fn precedence_route_hooks(&self) -> Option<PrecedenceRouteHooks<S, V>> {
self.precedence_route_hooks
}
}
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>
= SublistChangeMoveCursor<S, V>
where
Self: 'a;
fn open_cursor<'a, D: Director<S>>(&'a self, score_director: &D) -> Self::Cursor<'a> {
self.open_cursor_with_context(score_director, MoveStreamContext::default())
}
fn open_cursor_with_context<'a, D: Director<S>>(
&'a self,
score_director: &D,
context: MoveStreamContext,
) -> Self::Cursor<'a> {
let mut selected =
collect_selected_entities(&self.entity_selector, score_director, self.list_len);
selected.apply_stream_order(
context,
0x5B15_7C4A_46E0_0001 ^ self.descriptor_index as u64,
);
let owner_restrictions = crate::list_placement::selected_owner_restrictions(
self.element_owner_fn,
score_director.working_solution(),
score_director
.entity_count(self.descriptor_index)
.unwrap_or(0),
&selected.entities,
&selected.route_lens,
self.list_get,
);
let fixed_to_current_entity = owner_restrictions
.as_ref()
.is_some_and(SelectedOwnerRestrictions::is_fixed_to_current);
let element_owners = owner_restrictions.and_then(SelectedOwnerRestrictions::into_mixed);
SublistChangeMoveCursor::new(
selected.entities,
selected.route_lens,
context,
self.min_sublist_size,
self.max_sublist_size,
self.list_len,
self.list_get,
self.sublist_remove,
self.sublist_insert,
element_owners,
fixed_to_current_entity,
None,
self.variable_name,
self.descriptor_index,
)
}
fn size<D: Director<S>>(&self, score_director: &D) -> usize {
let selected =
collect_selected_entities(&self.entity_selector, score_director, self.list_len);
let Some(owner_restrictions) = crate::list_placement::selected_owner_restrictions(
self.element_owner_fn,
score_director.working_solution(),
score_director
.entity_count(self.descriptor_index)
.unwrap_or(0),
&selected.entities,
&selected.route_lens,
self.list_get,
) else {
return unfiltered_sublist_change_size(
&selected.route_lens,
self.min_sublist_size,
self.max_sublist_size,
);
};
if owner_restrictions.is_fixed_to_current() {
return selected
.route_lens
.iter()
.map(|&route_len| {
count_sublist_change_moves_for_len(
route_len,
0,
self.min_sublist_size,
self.max_sublist_size,
)
})
.sum();
}
let element_owners = owner_restrictions
.mixed()
.expect("non-fixed owner restrictions must retain mixed owner matrix");
let mut count = 0;
for (src_idx, (&src_entity, &src_len)) in selected
.entities
.iter()
.zip(selected.route_lens.iter())
.enumerate()
{
for seg_start in 0..src_len {
let max_seg = self.max_sublist_size.min(src_len - seg_start);
for seg_size in self.min_sublist_size..=max_seg {
let seg_end = seg_start + seg_size;
if selected_segment_allows(
element_owners,
src_idx,
seg_start,
seg_end,
src_entity,
) {
count += src_len - seg_size;
}
for (dst_idx, (&dst_entity, &dst_len)) in selected
.entities
.iter()
.zip(selected.route_lens.iter())
.enumerate()
{
if dst_idx == src_idx {
continue;
}
if selected_segment_allows(
element_owners,
src_idx,
seg_start,
seg_end,
dst_entity,
) {
count += dst_len + 1;
}
}
}
}
}
count
}
}
fn unfiltered_sublist_change_size(
route_lens: &[usize],
min_sublist_size: usize,
max_sublist_size: usize,
) -> usize {
let total_elements = route_lens.iter().sum::<usize>();
let entity_count = route_lens.len();
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,
min_sublist_size,
max_sublist_size,
)
})
.sum()
}