solverforge_config/
phase.rs

1use serde::{Deserialize, Serialize};
2
3use crate::acceptor::AcceptorConfig;
4use crate::forager::ForagerConfig;
5use crate::move_selector::MoveSelectorConfig;
6use crate::termination::TerminationConfig;
7
8/// Phase configuration.
9#[derive(Debug, Clone, Deserialize, Serialize)]
10#[serde(tag = "type", rename_all = "snake_case")]
11pub enum PhaseConfig {
12    /// Construction heuristic phase.
13    ConstructionHeuristic(ConstructionHeuristicConfig),
14
15    /// Local search phase.
16    LocalSearch(LocalSearchConfig),
17
18    /// Exhaustive search phase.
19    ExhaustiveSearch(ExhaustiveSearchConfig),
20
21    /// Partitioned search phase.
22    PartitionedSearch(PartitionedSearchConfig),
23
24    /// Custom phase.
25    Custom(CustomPhaseConfig),
26}
27
28fn default_k() -> usize {
29    2
30}
31
32/// Construction heuristic configuration.
33#[derive(Debug, Clone, Deserialize, Serialize)]
34#[serde(rename_all = "snake_case")]
35pub struct ConstructionHeuristicConfig {
36    /// Type of construction heuristic.
37    #[serde(default)]
38    pub construction_heuristic_type: ConstructionHeuristicType,
39
40    /// k for ListKOpt (default 2).
41    #[serde(default = "default_k")]
42    pub k: usize,
43
44    /// Phase termination configuration.
45    pub termination: Option<TerminationConfig>,
46}
47
48impl Default for ConstructionHeuristicConfig {
49    fn default() -> Self {
50        Self {
51            construction_heuristic_type: ConstructionHeuristicType::default(),
52            k: default_k(),
53            termination: None,
54        }
55    }
56}
57
58/// Construction heuristic types.
59#[derive(Debug, Clone, Copy, Default, PartialEq, Eq, Deserialize, Serialize)]
60#[serde(rename_all = "snake_case")]
61pub enum ConstructionHeuristicType {
62    /// First fit heuristic (basic variables).
63    #[default]
64    FirstFit,
65
66    /// First fit decreasing (by entity difficulty).
67    FirstFitDecreasing,
68
69    /// Weakest fit heuristic.
70    WeakestFit,
71
72    /// Weakest fit decreasing.
73    WeakestFitDecreasing,
74
75    /// Strongest fit heuristic.
76    StrongestFit,
77
78    /// Strongest fit decreasing.
79    StrongestFitDecreasing,
80
81    /// Cheapest insertion (greedy, basic variables).
82    CheapestInsertion,
83
84    /// Allocate entity from queue.
85    AllocateEntityFromQueue,
86
87    /// Allocate to value from queue.
88    AllocateToValueFromQueue,
89
90    /// List round-robin construction: distributes elements evenly across entities.
91    ListRoundRobin,
92
93    /// List cheapest insertion: inserts each element at the score-minimizing position.
94    ListCheapestInsertion,
95
96    /// List regret insertion: inserts elements in order of highest placement regret.
97    ListRegretInsertion,
98
99    /// List Clarke-Wright savings: greedy route merging by savings value.
100    ListClarkeWright,
101
102    /// List k-opt: per-route k-opt polishing (k=2 is exact 2-opt).
103    ListKOpt,
104}
105
106/// Local search configuration.
107#[derive(Debug, Clone, Default, Deserialize, Serialize)]
108#[serde(rename_all = "snake_case")]
109pub struct LocalSearchConfig {
110    /// Acceptor configuration.
111    pub acceptor: Option<AcceptorConfig>,
112
113    /// Forager configuration.
114    pub forager: Option<ForagerConfig>,
115
116    /// Move selector configuration.
117    pub move_selector: Option<MoveSelectorConfig>,
118
119    /// Phase termination configuration.
120    pub termination: Option<TerminationConfig>,
121}
122
123/// Exhaustive search configuration.
124#[derive(Debug, Clone, Default, Deserialize, Serialize)]
125#[serde(rename_all = "snake_case")]
126pub struct ExhaustiveSearchConfig {
127    /// Exhaustive search type.
128    #[serde(default)]
129    pub exhaustive_search_type: ExhaustiveSearchType,
130
131    /// Phase termination configuration.
132    pub termination: Option<TerminationConfig>,
133}
134
135/// Exhaustive search types.
136#[derive(Debug, Clone, Copy, Default, PartialEq, Eq, Deserialize, Serialize)]
137#[serde(rename_all = "snake_case")]
138pub enum ExhaustiveSearchType {
139    /// Branch and bound.
140    #[default]
141    BranchAndBound,
142
143    /// Brute force.
144    BruteForce,
145}
146
147/// Partitioned search configuration.
148#[derive(Debug, Clone, Default, Deserialize, Serialize)]
149#[serde(rename_all = "snake_case")]
150pub struct PartitionedSearchConfig {
151    /// Number of partitions.
152    pub partition_count: Option<usize>,
153
154    /// Phase termination configuration.
155    pub termination: Option<TerminationConfig>,
156}
157
158/// Custom phase configuration.
159#[derive(Debug, Clone, Default, Deserialize, Serialize)]
160#[serde(rename_all = "snake_case")]
161pub struct CustomPhaseConfig {
162    /// Custom phase class name.
163    pub custom_phase_class: Option<String>,
164}
solverforge_config/phase.rs

solverforge_config/
phase.rs
