solverforge_solver/heuristic/selector/
sublist_swap.rs1use std::fmt::Debug;
65use std::marker::PhantomData;
66
67use solverforge_core::domain::PlanningSolution;
68use solverforge_scoring::Director;
69
70use crate::heuristic::r#move::{ListMoveImpl, SubListSwapMove};
71
72use super::entity::EntitySelector;
73use super::list_support::collect_selected_entities;
74use super::move_selector::MoveSelector;
75use super::sublist_support::{count_intra_sublist_swap_moves_for_len, count_sublist_segments};
76
77pub struct SubListSwapMoveSelector<S, V, ES> {
87 entity_selector: ES,
88 min_sublist_size: usize,
90 max_sublist_size: usize,
92 list_len: fn(&S, usize) -> usize,
93 sublist_remove: fn(&mut S, usize, usize, usize) -> Vec<V>,
94 sublist_insert: fn(&mut S, usize, usize, Vec<V>),
95 variable_name: &'static str,
96 descriptor_index: usize,
97 _phantom: PhantomData<(fn() -> S, fn() -> V)>,
98}
99
100impl<S, V: Debug, ES: Debug> Debug for SubListSwapMoveSelector<S, V, ES> {
101 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
102 f.debug_struct("SubListSwapMoveSelector")
103 .field("entity_selector", &self.entity_selector)
104 .field("min_sublist_size", &self.min_sublist_size)
105 .field("max_sublist_size", &self.max_sublist_size)
106 .field("variable_name", &self.variable_name)
107 .field("descriptor_index", &self.descriptor_index)
108 .finish()
109 }
110}
111
112impl<S, V, ES> SubListSwapMoveSelector<S, V, ES> {
113 #[allow(clippy::too_many_arguments)]
129 pub fn new(
130 entity_selector: ES,
131 min_sublist_size: usize,
132 max_sublist_size: usize,
133 list_len: fn(&S, usize) -> usize,
134 sublist_remove: fn(&mut S, usize, usize, usize) -> Vec<V>,
135 sublist_insert: fn(&mut S, usize, usize, Vec<V>),
136 variable_name: &'static str,
137 descriptor_index: usize,
138 ) -> Self {
139 assert!(min_sublist_size >= 1, "min_sublist_size must be at least 1");
140 assert!(
141 max_sublist_size >= min_sublist_size,
142 "max_sublist_size must be >= min_sublist_size"
143 );
144 Self {
145 entity_selector,
146 min_sublist_size,
147 max_sublist_size,
148 list_len,
149 sublist_remove,
150 sublist_insert,
151 variable_name,
152 descriptor_index,
153 _phantom: PhantomData,
154 }
155 }
156}
157
158impl<S, V, ES> MoveSelector<S, SubListSwapMove<S, V>> for SubListSwapMoveSelector<S, V, ES>
159where
160 S: PlanningSolution,
161 V: Clone + PartialEq + Send + Sync + Debug + 'static,
162 ES: EntitySelector<S>,
163{
164 fn open_cursor<'a, D: Director<S>>(
165 &'a self,
166 score_director: &D,
167 ) -> impl Iterator<Item = SubListSwapMove<S, V>> + 'a {
168 let list_len = self.list_len;
169 let sublist_remove = self.sublist_remove;
170 let sublist_insert = self.sublist_insert;
171 let variable_name = self.variable_name;
172 let descriptor_index = self.descriptor_index;
173 let min_seg = self.min_sublist_size;
174 let max_seg = self.max_sublist_size;
175
176 let selected = collect_selected_entities(&self.entity_selector, score_director, list_len);
177 let entities = selected.entities;
178 let route_lens = selected.route_lens;
179 let mut moves = Vec::new();
180
181 for (i, &entity_a) in entities.iter().enumerate() {
182 let len_a = route_lens[i];
183
184 for first_start in 0..len_a {
185 for first_size in min_seg..=max_seg {
186 let first_end = first_start + first_size;
187 if first_end > len_a {
188 break;
189 }
190
191 for second_start in first_end..len_a {
192 for second_size in min_seg..=max_seg {
193 let second_end = second_start + second_size;
194 if second_end > len_a {
195 break;
196 }
197 moves.push(SubListSwapMove::new(
198 entity_a,
199 first_start,
200 first_end,
201 entity_a,
202 second_start,
203 second_end,
204 list_len,
205 sublist_remove,
206 sublist_insert,
207 variable_name,
208 descriptor_index,
209 ));
210 }
211 }
212 }
213 }
214
215 for (j, &entity_b) in entities.iter().enumerate() {
216 if j <= i {
217 continue;
218 }
219 let len_b = route_lens[j];
220 if len_b == 0 {
221 continue;
222 }
223
224 for first_start in 0..len_a {
225 for first_size in min_seg..=max_seg {
226 let first_end = first_start + first_size;
227 if first_end > len_a {
228 break;
229 }
230
231 for second_start in 0..len_b {
232 for second_size in min_seg..=max_seg {
233 let second_end = second_start + second_size;
234 if second_end > len_b {
235 break;
236 }
237 moves.push(SubListSwapMove::new(
238 entity_a,
239 first_start,
240 first_end,
241 entity_b,
242 second_start,
243 second_end,
244 list_len,
245 sublist_remove,
246 sublist_insert,
247 variable_name,
248 descriptor_index,
249 ));
250 }
251 }
252 }
253 }
254 }
255 }
256
257 moves.into_iter()
258 }
259
260 fn size<D: Director<S>>(&self, score_director: &D) -> usize {
261 let selected =
262 collect_selected_entities(&self.entity_selector, score_director, self.list_len);
263 let segment_counts: Vec<usize> = selected
264 .route_lens
265 .iter()
266 .map(|&route_len| {
267 count_sublist_segments(route_len, self.min_sublist_size, self.max_sublist_size)
268 })
269 .collect();
270 let intra: usize = selected
271 .route_lens
272 .iter()
273 .map(|&route_len| {
274 count_intra_sublist_swap_moves_for_len(
275 route_len,
276 self.min_sublist_size,
277 self.max_sublist_size,
278 )
279 })
280 .sum();
281 let inter: usize = (0..selected.route_lens.len())
282 .flat_map(|left| (left + 1..selected.route_lens.len()).map(move |right| (left, right)))
283 .map(|(left, right)| segment_counts[left] * segment_counts[right])
284 .sum();
285 intra + inter
286 }
287}
288
289pub struct ListMoveSubListSwapSelector<S, V, ES> {
291 inner: SubListSwapMoveSelector<S, V, ES>,
292}
293
294impl<S, V: Debug, ES: Debug> Debug for ListMoveSubListSwapSelector<S, V, ES> {
295 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
296 f.debug_struct("ListMoveSubListSwapSelector")
297 .field("inner", &self.inner)
298 .finish()
299 }
300}
301
302impl<S, V, ES> ListMoveSubListSwapSelector<S, V, ES> {
303 pub fn new(inner: SubListSwapMoveSelector<S, V, ES>) -> Self {
305 Self { inner }
306 }
307}
308
309impl<S, V, ES> MoveSelector<S, ListMoveImpl<S, V>> for ListMoveSubListSwapSelector<S, V, ES>
310where
311 S: PlanningSolution,
312 V: Clone + PartialEq + Send + Sync + Debug + 'static,
313 ES: EntitySelector<S>,
314{
315 fn open_cursor<'a, D: Director<S>>(
316 &'a self,
317 score_director: &D,
318 ) -> impl Iterator<Item = ListMoveImpl<S, V>> + 'a {
319 self.inner
320 .open_cursor(score_director)
321 .map(ListMoveImpl::SubListSwap)
322 }
323
324 fn size<D: Director<S>>(&self, score_director: &D) -> usize {
325 self.inner.size(score_director)
326 }
327}