1use 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
20pub 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 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 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 if phase_scope.solver_scope().should_terminate() {
130 break;
131 }
132
133 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 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 self.arena.reset();
160
161 if self.move_selector.is_never_ending() {
162 '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 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 self.arena
257 .extend(self.move_selector.iter_moves(step_scope.score_director()));
258
259 self.arena.shuffle(&mut rng);
261
262 for i in 0..self.arena.len() {
264 local_moves_evaluated += 1;
265
266 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 step_scope
290 .phase_scope_mut()
291 .solver_scope_mut()
292 .stats_mut()
293 .record_move(false);
294 continue;
295 }
296
297 let move_score = {
302 let mut recording = RecordingDirector::new(step_scope.score_director_mut());
303
304 m.do_move(&mut recording);
306
307 let score = recording.calculate_score();
309
310 recording.undo_changes();
312
313 score
314 };
315
316 step_scope
318 .phase_scope_mut()
319 .solver_scope_mut()
320 .stats_mut()
321 .record_score_calculation();
322
323 let accepted = self.acceptor.is_accepted(&last_step_score, &move_score);
325
326 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 if accepted {
343 self.forager.add_move_index(i, move_score);
344 }
345
346 if self.forager.is_quit_early() {
348 break;
349 }
350 }
351 }
352
353 if let Some((selected_index, selected_score)) = self.forager.pick_move_index() {
355 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 last_step_score = selected_score;
367
368 step_scope.phase_scope_mut().update_best_solution();
370 }
371 self.acceptor.step_ended(&last_step_score);
382
383 step_scope.complete();
384 }
385
386 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 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 assert!(solver_scope.stats().step_count <= 3);
513 }
514}