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

View File

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