Skip to main content

solverforge_solver/phase/localsearch/
phase.rs

1// Local search phase implementation.
2
3use std::fmt::Debug;
4use std::marker::PhantomData;
5use std::time::Instant;
6
7use rand::rngs::SmallRng;
8use rand::SeedableRng as _;
9use solverforge_core::domain::PlanningSolution;
10use solverforge_scoring::{Director, RecordingDirector};
11use tracing::{debug, info, trace};
12
13use crate::heuristic::r#move::{Move, MoveArena};
14use crate::heuristic::selector::MoveSelector;
15use crate::phase::localsearch::{Acceptor, LocalSearchForager};
16use crate::phase::Phase;
17use crate::scope::BestSolutionCallback;
18use crate::scope::{PhaseScope, SolverScope, StepScope};
19
20/// Local search phase that improves an existing solution.
21///
22/// This phase iteratively:
23/// 1. Generates candidate moves into an arena
24/// 2. Evaluates each move by index
25/// 3. Accepts/rejects based on the acceptor
26/// 4. Takes ownership of the best accepted move from arena
27///
28/// # Type Parameters
29/// * `S` - The planning solution type
30/// * `M` - The move type
31/// * `MS` - The move selector type
32/// * `A` - The acceptor type
33/// * `Fo` - The forager type
34///
35/// # Zero-Clone Design
36///
37/// Uses index-based foraging. The forager stores `(usize, Score)` pairs.
38/// When a move is selected, ownership transfers via `arena.take(index)`.
39/// Moves are NEVER cloned.
40pub struct LocalSearchPhase<S, M, MS, A, Fo>
41where
42    S: PlanningSolution,
43    M: Move<S>,
44    MS: MoveSelector<S, M>,
45    A: Acceptor<S>,
46    Fo: LocalSearchForager<S, M>,
47{
48    move_selector: MS,
49    acceptor: A,
50    forager: Fo,
51    arena: MoveArena<M>,
52    step_limit: Option<u64>,
53    _phantom: PhantomData<fn() -> (S, M)>,
54}
55
56impl<S, M, MS, A, Fo> LocalSearchPhase<S, M, MS, A, Fo>
57where
58    S: PlanningSolution,
59    M: Move<S> + 'static,
60    MS: MoveSelector<S, M>,
61    A: Acceptor<S>,
62    Fo: LocalSearchForager<S, M>,
63{
64    pub fn new(move_selector: MS, acceptor: A, forager: Fo, step_limit: Option<u64>) -> Self {
65        Self {
66            move_selector,
67            acceptor,
68            forager,
69            arena: MoveArena::new(),
70            step_limit,
71            _phantom: PhantomData,
72        }
73    }
74}
75
76impl<S, M, MS, A, Fo> Debug for LocalSearchPhase<S, M, MS, A, Fo>
77where
78    S: PlanningSolution,
79    M: Move<S>,
80    MS: MoveSelector<S, M> + Debug,
81    A: Acceptor<S> + Debug,
82    Fo: LocalSearchForager<S, M> + Debug,
83{
84    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
85        f.debug_struct("LocalSearchPhase")
86            .field("move_selector", &self.move_selector)
87            .field("acceptor", &self.acceptor)
88            .field("forager", &self.forager)
89            .field("arena", &self.arena)
90            .field("step_limit", &self.step_limit)
91            .finish()
92    }
93}
94
95impl<S, D, BestCb, M, MS, A, Fo> Phase<S, D, BestCb> for LocalSearchPhase<S, M, MS, A, Fo>
96where
97    S: PlanningSolution,
98    D: Director<S>,
99    BestCb: BestSolutionCallback<S>,
100    M: Move<S>,
101    MS: MoveSelector<S, M>,
102    A: Acceptor<S>,
103    Fo: LocalSearchForager<S, M>,
104{
105    fn solve(&mut self, solver_scope: &mut SolverScope<S, D, BestCb>) {
106        let mut phase_scope = PhaseScope::new(solver_scope, 0);
107        let phase_index = phase_scope.phase_index();
108
109        // Calculate initial score
110        let mut last_step_score = phase_scope.calculate_score();
111
112        info!(
113            event = "phase_start",
114            phase = "Local Search",
115            phase_index = phase_index,
116        );
117
118        // Notify acceptor of phase start
119        self.acceptor.phase_started(&last_step_score);
120
121        let start_time = Instant::now();
122        let mut local_moves_evaluated: u64 = 0;
123        let mut last_progress_time = Instant::now();
124        let mut last_progress_moves: u64 = 0;
125        let mut rng = SmallRng::from_rng(&mut rand::rng());
126
127        loop {
128            // Check early termination
129            if phase_scope.solver_scope().should_terminate() {
130                break;
131            }
132
133            // Check step limit
134            if let Some(limit) = self.step_limit {
135                if phase_scope.step_count() >= limit {
136                    break;
137                }
138            }
139
140            let mut step_scope = StepScope::new(&mut phase_scope);
141
142            /* Reset forager and acceptor for this step.
143            Pass best and last-step scores so foragers that implement
144            pick-early-on-improvement strategies know their reference targets.
145            */
146            let best_score = step_scope
147                .phase_scope()
148                .solver_scope()
149                .best_score()
150                .copied()
151                .unwrap_or(last_step_score);
152            self.forager.step_started(best_score, last_step_score);
153            self.acceptor.step_started();
154
155            /* Regenerate moves every step so the move space reflects the
156            current solution topology. This is essential for list variables
157            (VRP-style) where positions change after each accepted move.
158            */
159            self.arena.reset();
160
161            if self.move_selector.is_never_ending() {
162                /* Streaming path for random-sampling (never-ending) selectors.
163                Pull moves in small batches to avoid holding an immutable borrow
164                on the score director across the mutable evaluation calls.
165                The selector provides its own randomization; no shuffle needed.
166                */
167                'streaming: loop {
168                    let batch_start = self.arena.len();
169                    {
170                        let iter = self.move_selector.iter_moves(step_scope.score_director());
171                        for mov in iter.take(64) {
172                            self.arena.push(mov);
173                        }
174                    }
175                    let batch_end = self.arena.len();
176                    if batch_end == batch_start {
177                        break;
178                    }
179
180                    for i in batch_start..batch_end {
181                        local_moves_evaluated += 1;
182
183                        // Log progress every ~8k moves (avoids Instant::now() syscall per move)
184                        if local_moves_evaluated & 0x1FFF == 0 {
185                            let now = Instant::now();
186                            if now.duration_since(last_progress_time).as_secs() >= 1 {
187                                let moves_delta = local_moves_evaluated - last_progress_moves;
188                                let elapsed_secs =
189                                    now.duration_since(last_progress_time).as_secs_f64();
190                                let current_speed = (moves_delta as f64 / elapsed_secs) as u64;
191                                debug!(
192                                    event = "progress",
193                                    steps = step_scope.step_index(),
194                                    moves_evaluated = local_moves_evaluated,
195                                    speed = current_speed,
196                                    score = %last_step_score,
197                                );
198                                last_progress_time = now;
199                                last_progress_moves = local_moves_evaluated;
200                            }
201                        }
202
203                        let m = self.arena.get(i).unwrap();
204
205                        if !m.is_doable(step_scope.score_director()) {
206                            step_scope
207                                .phase_scope_mut()
208                                .solver_scope_mut()
209                                .stats_mut()
210                                .record_move(false);
211                            continue;
212                        }
213
214                        let move_score = {
215                            let mut recording =
216                                RecordingDirector::new(step_scope.score_director_mut());
217                            m.do_move(&mut recording);
218                            let score = recording.calculate_score();
219                            recording.undo_changes();
220                            score
221                        };
222
223                        step_scope
224                            .phase_scope_mut()
225                            .solver_scope_mut()
226                            .stats_mut()
227                            .record_score_calculation();
228
229                        let accepted = self.acceptor.is_accepted(&last_step_score, &move_score);
230
231                        step_scope
232                            .phase_scope_mut()
233                            .solver_scope_mut()
234                            .stats_mut()
235                            .record_move(accepted);
236
237                        trace!(
238                            event = "step",
239                            step = step_scope.step_index(),
240                            move_index = i,
241                            score = %move_score,
242                            accepted = accepted,
243                        );
244
245                        if accepted {
246                            self.forager.add_move_index(i, move_score);
247                        }
248
249                        if self.forager.is_quit_early() {
250                            break 'streaming;
251                        }
252                    }
253                }
254            } else {
255                // Batch path: materialize full move space, shuffle, evaluate.
256                self.arena
257                    .extend(self.move_selector.iter_moves(step_scope.score_director()));
258
259                // Shuffle arena in-place — O(n) Fisher-Yates, no allocation
260                self.arena.shuffle(&mut rng);
261
262                // Evaluate moves by index
263                for i in 0..self.arena.len() {
264                    local_moves_evaluated += 1;
265
266                    // Log progress every ~8k moves (avoids Instant::now() syscall per move)
267                    if local_moves_evaluated & 0x1FFF == 0 {
268                        let now = Instant::now();
269                        if now.duration_since(last_progress_time).as_secs() >= 1 {
270                            let moves_delta = local_moves_evaluated - last_progress_moves;
271                            let elapsed_secs = now.duration_since(last_progress_time).as_secs_f64();
272                            let current_speed = (moves_delta as f64 / elapsed_secs) as u64;
273                            debug!(
274                                event = "progress",
275                                steps = step_scope.step_index(),
276                                moves_evaluated = local_moves_evaluated,
277                                speed = current_speed,
278                                score = %last_step_score,
279                            );
280                            last_progress_time = now;
281                            last_progress_moves = local_moves_evaluated;
282                        }
283                    }
284
285                    let m = self.arena.get(i).unwrap();
286
287                    if !m.is_doable(step_scope.score_director()) {
288                        // Record as evaluated but not accepted
289                        step_scope
290                            .phase_scope_mut()
291                            .solver_scope_mut()
292                            .stats_mut()
293                            .record_move(false);
294                        continue;
295                    }
296
297                    /* Use RecordingDirector for automatic undo
298                    This correctly handles state rollback for all moves including
299                    accepted-but-not-improving sidesteps (>= acceptance)
300                    */
301                    let move_score = {
302                        let mut recording = RecordingDirector::new(step_scope.score_director_mut());
303
304                        // Execute move
305                        m.do_move(&mut recording);
306
307                        // Calculate resulting score
308                        let score = recording.calculate_score();
309
310                        // Undo the move - state is fully restored regardless of acceptance
311                        recording.undo_changes();
312
313                        score
314                    };
315
316                    // Record score calculation (RecordingDirector bypasses scope interceptor)
317                    step_scope
318                        .phase_scope_mut()
319                        .solver_scope_mut()
320                        .stats_mut()
321                        .record_score_calculation();
322
323                    // Check if accepted (>= allows sidesteps for plateau exploration)
324                    let accepted = self.acceptor.is_accepted(&last_step_score, &move_score);
325
326                    // Record move evaluation in solver stats
327                    step_scope
328                        .phase_scope_mut()
329                        .solver_scope_mut()
330                        .stats_mut()
331                        .record_move(accepted);
332
333                    trace!(
334                        event = "step",
335                        step = step_scope.step_index(),
336                        move_index = i,
337                        score = %move_score,
338                        accepted = accepted,
339                    );
340
341                    // Add index to forager if accepted (not the move itself)
342                    if accepted {
343                        self.forager.add_move_index(i, move_score);
344                    }
345
346                    // Check if forager wants to quit early
347                    if self.forager.is_quit_early() {
348                        break;
349                    }
350                }
351            }
352
353            // Pick the best accepted move index
354            if let Some((selected_index, selected_score)) = self.forager.pick_move_index() {
355                /* Execute the selected move permanently (by reference — no ownership needed).
356                The RecordingDirector already undid the evaluation,
357                so this is a fresh application of the chosen move.
358                */
359                self.arena
360                    .get(selected_index)
361                    .unwrap()
362                    .do_move(step_scope.score_director_mut());
363                step_scope.set_step_score(selected_score);
364
365                // Update last step score
366                last_step_score = selected_score;
367
368                // Update best solution if improved
369                step_scope.phase_scope_mut().update_best_solution();
370            }
371            /* else: no accepted moves this step — that's fine, the acceptor
372            history still needs to advance so Late Acceptance / SA / etc.
373            can eventually escape the local optimum.
374            */
375
376            /* Always notify acceptor that step ended. For stateful acceptors
377            (Late Acceptance, Simulated Annealing, Great Deluge, SCHC),
378            the history must advance every step — even steps where no move
379            was accepted — otherwise the acceptor state stalls.
380            */
381            self.acceptor.step_ended(&last_step_score);
382
383            step_scope.complete();
384        }
385
386        // Notify acceptor of phase end
387        self.acceptor.phase_ended();
388
389        let duration = start_time.elapsed();
390        let steps = phase_scope.step_count();
391        let secs = duration.as_secs_f64();
392        let speed = if secs > 0.0 {
393            (local_moves_evaluated as f64 / secs) as u64
394        } else {
395            0
396        };
397
398        let stats = phase_scope.solver_scope().stats();
399        let acceptance_rate = stats.acceptance_rate() * 100.0;
400        let calc_speed = if secs > 0.0 {
401            (stats.score_calculations as f64 / secs) as u64
402        } else {
403            0
404        };
405
406        let best_score_str = phase_scope
407            .solver_scope()
408            .best_score()
409            .map(|s| format!("{}", s))
410            .unwrap_or_else(|| "none".to_string());
411
412        info!(
413            event = "phase_end",
414            phase = "Local Search",
415            phase_index = phase_index,
416            duration_ms = duration.as_millis() as u64,
417            steps = steps,
418            moves_speed = speed,
419            calc_speed = calc_speed,
420            acceptance_rate = format!("{:.1}%", acceptance_rate),
421            score = best_score_str,
422        );
423    }
424
425    fn phase_type_name(&self) -> &'static str {
426        "LocalSearch"
427    }
428}
429
430#[cfg(test)]
431mod tests {
432    use super::*;
433    use crate::heuristic::selector::ChangeMoveSelector;
434    use crate::phase::localsearch::{AcceptedCountForager, HillClimbingAcceptor};
435    use crate::test_utils::{
436        create_nqueens_director, get_queen_row, set_queen_row, NQueensSolution,
437    };
438    type NQueensMove = crate::heuristic::r#move::ChangeMove<NQueensSolution, i64>;
439
440    fn create_move_selector(
441        values: Vec<i64>,
442    ) -> ChangeMoveSelector<
443        NQueensSolution,
444        i64,
445        crate::heuristic::selector::FromSolutionEntitySelector,
446        crate::heuristic::selector::StaticTypedValueSelector<NQueensSolution, i64>,
447    > {
448        ChangeMoveSelector::simple(get_queen_row, set_queen_row, 0, "row", values)
449    }
450
451    #[test]
452    fn test_local_search_hill_climbing() {
453        let director = create_nqueens_director(&[0, 0, 0, 0]);
454        let mut solver_scope = SolverScope::new(director);
455        solver_scope.start_solving();
456
457        let initial_score = solver_scope.calculate_score();
458
459        let values: Vec<i64> = (0..4).collect();
460        let move_selector = create_move_selector(values);
461        let acceptor = HillClimbingAcceptor::new();
462        let forager: AcceptedCountForager<_> = AcceptedCountForager::new(1);
463        let mut phase: LocalSearchPhase<_, NQueensMove, _, _, _> =
464            LocalSearchPhase::new(move_selector, acceptor, forager, Some(100));
465
466        phase.solve(&mut solver_scope);
467
468        let final_score = solver_scope.best_score().copied().unwrap_or(initial_score);
469        assert!(final_score >= initial_score);
470
471        // Verify stats were recorded
472        assert!(solver_scope.stats().moves_evaluated > 0);
473    }
474
475    #[test]
476    fn test_local_search_reaches_optimal() {
477        let director = create_nqueens_director(&[0, 2, 1, 3]);
478        let mut solver_scope = SolverScope::new(director);
479        solver_scope.start_solving();
480
481        let initial_score = solver_scope.calculate_score();
482
483        let values: Vec<i64> = (0..4).collect();
484        let move_selector = create_move_selector(values);
485        let acceptor = HillClimbingAcceptor::new();
486        let forager: AcceptedCountForager<_> = AcceptedCountForager::new(1);
487        let mut phase: LocalSearchPhase<_, NQueensMove, _, _, _> =
488            LocalSearchPhase::new(move_selector, acceptor, forager, Some(50));
489
490        phase.solve(&mut solver_scope);
491
492        let final_score = solver_scope.best_score().copied().unwrap_or(initial_score);
493        assert!(final_score >= initial_score);
494    }
495
496    #[test]
497    fn test_local_search_step_limit() {
498        let director = create_nqueens_director(&[0, 0, 0, 0]);
499        let mut solver_scope = SolverScope::new(director);
500        solver_scope.start_solving();
501
502        let values: Vec<i64> = (0..4).collect();
503        let move_selector = create_move_selector(values);
504        let acceptor = HillClimbingAcceptor::new();
505        let forager: AcceptedCountForager<_> = AcceptedCountForager::new(1);
506        let mut phase: LocalSearchPhase<_, NQueensMove, _, _, _> =
507            LocalSearchPhase::new(move_selector, acceptor, forager, Some(3));
508
509        phase.solve(&mut solver_scope);
510
511        // Steps should be limited
512        assert!(solver_scope.stats().step_count <= 3);
513    }
514}