2 Commits

Author SHA1 Message Date
Quaternions 5b277601ea ooh at 99% cap 2026-05-19 18:02:24 -07:00
Quaternions 418e422f12 cap hashmap at 32M entries 2026-05-19 17:23:56 -07:00
3 changed files with 21 additions and 13 deletions
+13 -5
View File
@@ -321,6 +321,9 @@ impl<S> SessionStats<S> {
} }
} }
#[derive(Debug)]
pub struct Oom;
#[derive(Clone, Debug)] #[derive(Clone, Debug)]
pub struct Session<G: Game> { pub struct Session<G: Game> {
stats: SessionStats<G::Stats>, stats: SessionStats<G::Stats>,
@@ -402,11 +405,16 @@ where
pub fn is_win(&self) -> bool { pub fn is_win(&self) -> bool {
self.state.is_win() self.state.is_win()
} }
pub fn is_winnable(&self) -> Option<Vec<StateSnapshot<G>>> { pub fn is_winnable(&self) -> Result<Option<Vec<StateSnapshot<G>>>, Oom> {
let mut state_moves = std::collections::HashMap::new(); const HUGE_CAP: usize = 1 << 25;
let mut state_moves = std::collections::HashMap::with_capacity(HUGE_CAP);
let mut state = self.clone(); let mut state = self.clone();
let mut i: u64 = 0;
while !state.is_win() { while !state.is_win() {
// don't look for empty hash map buckets when the hash map is 99% full!
if HUGE_CAP * 127 <= state_moves.len() * 128 {
return Err(Oom);
}
// Continue existing iterator if it exists // Continue existing iterator if it exists
let it = state_moves let it = state_moves
.entry(state.state().clone()) .entry(state.state().clone())
@@ -420,7 +428,7 @@ where
// No more moves. If we can't undo we're done // No more moves. If we can't undo we're done
if state.history().is_empty() { if state.history().is_empty() {
return None; return Ok(None);
} else { } else {
state.undo(); state.undo();
} }
@@ -452,7 +460,7 @@ where
} }
} }
Some(state.state.history) Ok(Some(state.state.history))
} }
} }
impl<G: Game> Game for SessionState<G> impl<G: Game> Game for SessionState<G>
+1 -1
View File
@@ -3,7 +3,7 @@ use klondike::Klondike;
#[test] #[test]
fn test_is_winnable() { fn test_is_winnable() {
// is winnable // is winnable
let is_winnable = Session::new_default(Klondike::with_seed(124)).is_winnable(); let is_winnable = Session::new_default(Klondike::with_seed(0)).is_winnable().unwrap();
if let Some(win_moves) = is_winnable { if let Some(win_moves) = is_winnable {
// for (i, ins) in win_moves.into_iter().enumerate() { // for (i, ins) in win_moves.into_iter().enumerate() {
// println!("{i} = {:?}", ins.instruction()); // println!("{i} = {:?}", ins.instruction());
+7 -7
View File
@@ -629,19 +629,18 @@ impl Klondike {
KlondikeInstruction::RotateStock => 4, KlondikeInstruction::RotateStock => 4,
} }
} }
pub fn iter(&self) -> impl Iterator<Item = KlondikeInstruction> + use<> {
let state = self.state.clone();
KlondikeIter::new().filter(move |&instruction| state.is_instruction_valid(instruction))
}
/// A single move that usually makes progress towards a winning game /// A single move that usually makes progress towards a winning game
pub fn get_auto_move(&self) -> Option<KlondikeInstruction> { pub fn get_auto_move(&self) -> Option<KlondikeInstruction> {
self.iter() self.possible_instructions()
.filter(|ins| !ins.is_useless()) .filter(|ins| !ins.is_useless())
.min_by_key(|ins| self.instruction_priority(ins)) .min_by_key(|ins| self.instruction_priority(ins))
} }
/// A list of possible moves with useless moves filtered out and sorted by a simple priority function /// A list of possible moves with useless moves filtered out and sorted by a simple priority function
pub fn get_sorted_moves(&self) -> Vec<KlondikeInstruction> { pub fn get_sorted_moves(&self) -> Vec<KlondikeInstruction> {
let mut useful_moves: Vec<_> = self.iter().filter(|ins| !ins.is_useless()).collect(); let mut useful_moves: Vec<_> = self
.possible_instructions()
.filter(|ins| !ins.is_useless())
.collect();
useful_moves.sort_by_key(|ins| self.instruction_priority(ins)); useful_moves.sort_by_key(|ins| self.instruction_priority(ins));
useful_moves useful_moves
} }
@@ -652,7 +651,8 @@ impl Game for Klondike {
type Config = KlondikeConfig; type Config = KlondikeConfig;
type Instruction = KlondikeInstruction; type Instruction = KlondikeInstruction;
fn possible_instructions(&self) -> impl Iterator<Item = Self::Instruction> + use<> { fn possible_instructions(&self) -> impl Iterator<Item = Self::Instruction> + use<> {
self.get_sorted_moves().into_iter() let state = self.state.clone();
KlondikeIter::new().filter(move |&instruction| state.is_instruction_valid(instruction))
} }
fn is_instruction_valid(&self, _config: &Self::Config, instruction: Self::Instruction) -> bool { fn is_instruction_valid(&self, _config: &Self::Config, instruction: Self::Instruction) -> bool {
self.state.is_instruction_valid(instruction) self.state.is_instruction_valid(instruction)