Compare commits

...

2 Commits

Author SHA1 Message Date
c665ed878e Use Arc to not clone cached permutations 2025-06-30 10:57:30 -05:00
8825d97858 Improve type names 2025-06-30 10:06:29 -05:00
2 changed files with 27 additions and 14 deletions

View File

@@ -1,5 +1,7 @@
mod operator_set; mod operator_set;
use std::ops::Deref;
use operator_set::{Op, create_permutations}; use operator_set::{Op, create_permutations};
#[derive(Debug)] #[derive(Debug)]
@@ -69,8 +71,8 @@ impl Equation {
let op_combinations = let op_combinations =
create_permutations(&Equation::MULTIPLY_ADD_SET, self.components.len() - 1); create_permutations(&Equation::MULTIPLY_ADD_SET, self.components.len() - 1);
for combination in op_combinations { for combination in op_combinations.deref() {
if self.answer == self.compute_answer(&combination) { if self.answer == self.compute_answer(combination) {
return true; return true;
} }
} }
@@ -84,8 +86,8 @@ impl Equation {
self.components.len() - 1, self.components.len() - 1,
); );
for combination in op_combinations { for combination in op_combinations.deref() {
if self.answer == self.compute_answer(&combination) { if self.answer == self.compute_answer(combination) {
return true; return true;
} }
} }

View File

@@ -1,4 +1,6 @@
use std::collections::HashMap;
use std::collections::HashSet; use std::collections::HashSet;
use std::sync::{Arc, LazyLock, Mutex};
#[derive(Debug, Clone, Copy, Hash, PartialEq, Eq)] #[derive(Debug, Clone, Copy, Hash, PartialEq, Eq)]
pub enum Op { pub enum Op {
@@ -19,19 +21,22 @@ impl PermutationCacheKey {
} }
} }
use std::collections::HashMap; type Permutation = Vec<Op>;
use std::sync::{LazyLock, Mutex}; type OperatorCache = HashMap<PermutationCacheKey, Arc<HashSet<Permutation>>>;
type OperatorCache = HashMap<PermutationCacheKey, HashSet<Vec<Op>>>;
static OPERATOR_SET_CACHE: LazyLock<Mutex<OperatorCache>> = static OPERATOR_SET_CACHE: LazyLock<Mutex<OperatorCache>> =
LazyLock::new(|| Mutex::new(HashMap::new())); LazyLock::new(|| Mutex::new(HashMap::new()));
fn check_operator_set_cache(cache_key: &PermutationCacheKey) -> Option<HashSet<Vec<Op>>> { fn check_operator_set_cache(cache_key: &PermutationCacheKey) -> Option<Arc<HashSet<Permutation>>> {
OPERATOR_SET_CACHE.lock().unwrap().get(cache_key).cloned() let lock = OPERATOR_SET_CACHE.lock().unwrap();
let cache_value = lock.get(cache_key);
cache_value.cloned()
} }
fn store_operator_set_in_cache(cache_key: PermutationCacheKey, cache_value: HashSet<Vec<Op>>) { fn store_operator_set_in_cache(
cache_key: PermutationCacheKey,
cache_value: Arc<HashSet<Permutation>>,
) {
OPERATOR_SET_CACHE OPERATOR_SET_CACHE
.lock() .lock()
.unwrap() .unwrap()
@@ -41,8 +46,8 @@ fn store_operator_set_in_cache(cache_key: PermutationCacheKey, cache_value: Hash
fn create_permutations_recurse( fn create_permutations_recurse(
values: &[Op], values: &[Op],
len: usize, len: usize,
permutations: &mut HashSet<Vec<Op>>, permutations: &mut HashSet<Permutation>,
curr_permutation: Vec<Op>, curr_permutation: Permutation,
) { ) {
if curr_permutation.len() == len { if curr_permutation.len() == len {
permutations.insert(curr_permutation); permutations.insert(curr_permutation);
@@ -56,13 +61,19 @@ fn create_permutations_recurse(
} }
} }
pub fn create_permutations(set: &[Op], len: usize) -> HashSet<Vec<Op>> { pub fn create_permutations(set: &[Op], len: usize) -> Arc<HashSet<Permutation>> {
// Check cache
let cache_key = PermutationCacheKey::new(len, set.to_vec()); let cache_key = PermutationCacheKey::new(len, set.to_vec());
if let Some(cached_value) = check_operator_set_cache(&cache_key) { if let Some(cached_value) = check_operator_set_cache(&cache_key) {
return cached_value; return cached_value;
} }
// Create permutations
let mut permutations = HashSet::new(); let mut permutations = HashSet::new();
create_permutations_recurse(set, len, &mut permutations, vec![]); create_permutations_recurse(set, len, &mut permutations, vec![]);
// Cache and return
let permutations = Arc::new(permutations);
store_operator_set_in_cache(cache_key, permutations.clone()); store_operator_set_in_cache(cache_key, permutations.clone());
permutations permutations
} }