Skip to main content

solverforge_solver/heuristic/selector/
sublist_swap.rs

1/* Sublist swap move selector for segment exchange.
2
3Generates `SubListSwapMove`s that swap contiguous segments within or between
4list variables. Useful for balanced inter-route segment exchanges in VRP.
5
6# Complexity
7
8For n entities with average route length m and max segment size k:
9- Intra-entity pairs: O(n * m² * k²) — triangular over non-overlapping segments
10- Inter-entity pairs: O(n² * m² * k²) — all pairs across entities
11
12Use a forager that quits early for large instances.
13
14# Example
15
16```
17use solverforge_solver::heuristic::selector::sublist_swap::SubListSwapMoveSelector;
18use solverforge_solver::heuristic::selector::entity::FromSolutionEntitySelector;
19use solverforge_solver::heuristic::selector::MoveSelector;
20use solverforge_core::domain::PlanningSolution;
21use solverforge_core::score::SoftScore;
22
23#[derive(Clone, Debug)]
24struct Vehicle { visits: Vec<i32> }
25
26#[derive(Clone, Debug)]
27struct Solution { vehicles: Vec<Vehicle>, score: Option<SoftScore> }
28
29impl PlanningSolution for Solution {
30type Score = SoftScore;
31fn score(&self) -> Option<Self::Score> { self.score }
32fn set_score(&mut self, score: Option<Self::Score>) { self.score = score; }
33}
34
35fn list_len(s: &Solution, entity_idx: usize) -> usize {
36s.vehicles.get(entity_idx).map_or(0, |v| v.visits.len())
37}
38fn sublist_remove(s: &mut Solution, entity_idx: usize, start: usize, end: usize) -> Vec<i32> {
39s.vehicles.get_mut(entity_idx)
40.map(|v| v.visits.drain(start..end).collect())
41.unwrap_or_default()
42}
43fn sublist_insert(s: &mut Solution, entity_idx: usize, pos: usize, items: Vec<i32>) {
44if let Some(v) = s.vehicles.get_mut(entity_idx) {
45for (i, item) in items.into_iter().enumerate() {
46v.visits.insert(pos + i, item);
47}
48}
49}
50
51// Swap segments of size 1..=3 between routes
52let selector = SubListSwapMoveSelector::<Solution, i32, _>::new(
53FromSolutionEntitySelector::new(0),
541, 3,
55list_len,
56sublist_remove,
57sublist_insert,
58"visits",
590,
60);
61```
62*/
63
64use 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
77/// A move selector that generates sublist swap moves.
78///
79/// For each pair of segments (which may span different entities), generates
80/// a swap move. Intra-entity swaps require non-overlapping segments.
81///
82/// # Type Parameters
83/// * `S` - The solution type
84/// * `V` - The list element type
85/// * `ES` - The entity selector type
86pub struct SubListSwapMoveSelector<S, V, ES> {
87    entity_selector: ES,
88    // Minimum segment size (inclusive).
89    min_sublist_size: usize,
90    // Maximum segment size (inclusive).
91    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    /* Creates a new sublist swap move selector.
114
115    # Arguments
116    * `entity_selector` - Selects entities to consider for swaps
117    * `min_sublist_size` - Minimum segment length (must be ≥ 1)
118    * `max_sublist_size` - Maximum segment length
119    * `list_len` - Function to get list length for an entity
120    * `sublist_remove` - Function to drain range `[start, end)`, returning elements
121    * `sublist_insert` - Function to insert elements at a position
122    * `variable_name` - Name of the list variable
123    * `descriptor_index` - Entity descriptor index
124
125    # Panics
126    Panics if `min_sublist_size == 0` or `max_sublist_size < min_sublist_size`.
127    */
128    #[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
289/// Wraps a `SubListSwapMoveSelector` to yield `ListMoveImpl::SubListSwap`.
290pub 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    /// Wraps an existing [`SubListSwapMoveSelector`].
304    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}