arcweight 0.3.0

//! Boolean semiring implementation.
//!
//! This module provides the Boolean semiring $`(\{0, 1\}, \vee, \wedge, 0, 1)`$
//! for unweighted automata and recognition problems where addition is logical OR
//! and multiplication is logical AND.
//!
//! # References
//!
//! - Kuich, W., & Salomaa, A. (1986). *Semirings, Automata, Languages*. EATCS
//!   Monographs on Theoretical Computer Science, Vol. 5. Springer-Verlag.

use super::traits::*;
use core::fmt;
use core::ops::{Add, Mul};
use core::str::FromStr;
use num_traits::{One, Zero};

/// Boolean weight for recognition and reachability analysis.
///
/// The Boolean semiring provides the simplest non-trivial semiring structure,
/// corresponding to unweighted finite state automata and basic recognition problems.
/// In this semiring, "addition" implements logical OR (path existence), while
/// "multiplication" implements logical AND (path conjunction).
///
/// # Mathematical Definition
///
/// | Operation | Definition |
/// |-----------|------------|
/// | $`a \oplus b`$ | $`a \vee b`$ (logical OR) |
/// | $`a \otimes b`$ | $`a \wedge b`$ (logical AND) |
/// | $`\bar{0}`$ | $`\mathrm{false}`$ |
/// | $`\bar{1}`$ | $`\mathrm{true}`$ |
/// | $`a^*`$ | $`\mathrm{true}`$ |
///
/// # Algebraic Properties
///
/// - **Commutative:** Both $`\oplus`$ and $`\otimes`$ are commutative
/// - **Idempotent:** $`a \oplus a = a`$ and $`a \otimes a = a`$
/// - **Path:** $`a \oplus b \in \{a, b\}`$
/// - **Naturally Ordered:** Forms a complete Boolean lattice
/// - **Star Semiring:** Kleene closure is always $`\bar{1}`$
///
/// # Mathematical Semantics
///
/// - **Value Range:** Boolean values $`\{0, 1\} \cong \{\bot, \top\}`$
/// - **Addition ($`\oplus`$):** $`a \vee b`$ (logical OR) - combines alternative paths
/// - **Multiplication ($`\otimes`$):** $`a \wedge b`$ (logical AND) - requires all conditions
/// - **Zero ($`\bar{0}`$):** $`\mathrm{false}`$ - represents rejection/failure/no path
/// - **One ($`\bar{1}`$):** $`\mathrm{true}`$ - represents acceptance/success/valid path
///
/// # Use Cases
///
/// ## Regular Expression Matching
/// ```rust
/// use arcweight::prelude::*;
///
/// // Build pattern matcher FST
/// let mut fst = VectorFst::<BooleanWeight>::new();
/// let s0 = fst.add_state();
/// let s1 = fst.add_state();
///
/// fst.set_start(s0);
/// fst.set_final(s1, BooleanWeight::one());  // Accept state
///
/// // Add pattern transition: match 'a'
/// fst.add_arc(s0, Arc::new(
///     'a' as u32,
///     'a' as u32,
///     BooleanWeight::one(),  // Valid transition
///     s1
/// ));
///
/// // The FST now accepts strings containing 'a'
/// ```
///
/// ## Graph Reachability
/// ```rust
/// use arcweight::prelude::*;
///
/// // Check if path exists between nodes
/// let path_exists = BooleanWeight::new(true);
/// let no_path = BooleanWeight::new(false);
///
/// // Combine multiple path possibilities
/// let reachable = path_exists
///     .plus(&no_path)
///     .plus(&path_exists);  // true ∨ false ∨ true = true
///
/// // Check if all intermediate nodes are valid
/// let validᵢntermediate = BooleanWeight::new(true);
/// let path_validity = reachable.times(&validᵢntermediate);  // true ∧ true = true
/// ```
///
/// ## Set Membership Testing
/// ```rust
/// use arcweight::prelude::*;
///
/// // Dictionary lookup FST
/// let word_exists = BooleanWeight::new(true);   // Word found in dictionary
/// let word_missing = BooleanWeight::new(false); // Word not found
///
/// // Multiple dictionary checks
/// let found_anywhere = word_missing
///     .plus(&word_exists);  // false ∨ true = true (found in at least one)
///
/// // Require presence in multiple dictionaries
/// let found_everywhere = word_exists
///     .times(&word_exists); // true ∧ true = true (found in all)
/// ```
///
/// ## Constraint Satisfaction
/// ```rust
/// use arcweight::prelude::*;
///
/// // Grammar rule satisfaction
/// let rule1_satisfied = BooleanWeight::new(true);
/// let rule2_satisfied = BooleanWeight::new(false);
/// let rule3_satisfied = BooleanWeight::new(true);
///
/// // All rules must be satisfied (conjunction)
/// let all_rules = rule1_satisfied
///     .times(&rule2_satisfied)
///     .times(&rule3_satisfied);  // true ∧ false ∧ true = false
///
/// // At least one rule satisfied (disjunction)
/// let any_rule = rule1_satisfied
///     .plus(&rule2_satisfied)
///     .plus(&rule3_satisfied);   // true ∨ false ∨ true = true
/// ```
///
/// # Working with FSTs
///
/// ```rust
/// use arcweight::prelude::*;
///
/// let true_val = BooleanWeight::new(true);
/// let false_val = BooleanWeight::new(false);
///
/// // Addition is logical OR (alternative paths)
/// let or_result = true_val + false_val;
/// assert_eq!(or_result, BooleanWeight::new(true));
///
/// // Multiplication is logical AND (path conjunction)
/// let and_result = true_val * false_val;
/// assert_eq!(and_result, BooleanWeight::new(false));
///
/// // Idempotency properties
/// assert_eq!(true_val + true_val, true_val);   // true ∨ true = true
/// assert_eq!(false_val * false_val, false_val); // false ∧ false = false
///
/// // Identity elements
/// assert_eq!(BooleanWeight::zero(), BooleanWeight::new(false));  // Additive identity
/// assert_eq!(BooleanWeight::one(), BooleanWeight::new(true));    // Multiplicative identity
/// ```
///
/// # Algebraic Properties
///
/// The Boolean semiring forms a complete Boolean algebra with important properties:
///
/// - **Idempotent:** `a ⊕ a = a` and `a ⊗ a = a`
/// - **Commutative:** `a ⊕ b = b ⊕ a` and `a ⊗ b = b ⊗ a`
/// - **Associative:** `(a ⊕ b) ⊕ c = a ⊕ (b ⊕ c)`
/// - **Distributive:** `a ⊗ (b ⊕ c) = (a ⊗ b) ⊕ (a ⊗ c)`
/// - **Absorptive:** `a ⊕ (a ⊗ b) = a` and `a ⊗ (a ⊕ b) = a`
/// - **Complemented:** Each element has a complement (negation)
///
/// # Performance Characteristics
///
/// - **Arithmetic:** Both OR and AND operations are O(1) bit operations
/// - **Memory:** 1 byte per weight (single bool with padding)
/// - **Comparison:** Extremely fast integer comparison
/// - **Hash/Eq:** Optimal for hash maps and sets
/// - **Specialized:** Can be bit-packed for massive state spaces
///
/// # Advanced Usage
///
/// ## Kleene Star
/// ```rust
/// use arcweight::prelude::*;
///
/// let weight = BooleanWeight::new(true);
/// let star_result = weight.star();  // Always true for non-zero elements
/// assert_eq!(star_result, BooleanWeight::one());
/// ```
///
/// ## Logical Operations
/// ```rust
/// use arcweight::prelude::*;
///
/// // De Morgan's laws can be implemented using semiring operations
/// let a = BooleanWeight::new(true);
/// let b = BooleanWeight::new(false);
///
/// // ¬(a ∧ b) ≡ ¬a ∨ ¬b (requires external negation function)
/// // Boolean semiring provides the base operations for logical reasoning
/// ```
///
/// # Integration with FST Algorithms
///
/// Boolean weights work optimally with all FST algorithms:
/// - **Composition:** Combines recognizers and transducers
/// - **Union:** Creates alternatives in recognition
/// - **Determinization:** Produces minimal recognizers
/// - **Shortest Path:** Finds any accepting path (since all have same weight)
///
/// # See Also
///
/// - [Core Concepts - Boolean Semiring](../../docs/core-concepts/semirings.md#boolean-semiring) for mathematical background
/// - [`TropicalWeight`](crate::semiring::TropicalWeight) for optimization problems
/// - [`compose()`](crate::algorithms::compose) for building complex recognizers from Boolean FSTs
#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct BooleanWeight(bool);

impl BooleanWeight {
    /// Create a new boolean weight
    pub const fn new(value: bool) -> Self {
        Self(value)
    }
}

impl fmt::Display for BooleanWeight {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        let value = self.0;
        write!(f, "{value}")
    }
}

impl Zero for BooleanWeight {
    fn zero() -> Self {
        Self::new(false)
    }

    fn is_zero(&self) -> bool {
        !self.0
    }
}

impl One for BooleanWeight {
    fn one() -> Self {
        Self::new(true)
    }
}

impl Add for BooleanWeight {
    type Output = Self;

    fn add(self, rhs: Self) -> Self::Output {
        Self(self.0 || rhs.0)
    }
}

impl Mul for BooleanWeight {
    type Output = Self;

    fn mul(self, rhs: Self) -> Self::Output {
        Self(self.0 && rhs.0)
    }
}

impl Semiring for BooleanWeight {
    type Value = bool;

    fn new(value: Self::Value) -> Self {
        Self::new(value)
    }

    fn value(&self) -> &Self::Value {
        &self.0
    }

    fn properties() -> SemiringProperties {
        SemiringProperties {
            left_semiring: true,
            right_semiring: true,
            commutative: true,
            idempotent: true,
            path: true,
        }
    }
}

impl NaturallyOrderedSemiring for BooleanWeight {}

impl StarSemiring for BooleanWeight {
    fn star(&self) -> Self {
        Self::one()
    }
}

impl FromStr for BooleanWeight {
    type Err = std::str::ParseBoolError;

    fn from_str(s: &str) -> Result<Self, Self::Err> {
        s.parse::<bool>().map(Self::new)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use num_traits::{One, Zero};

    #[test]
    fn test_boolean_weight_creation() {
        let w_true = BooleanWeight::new(true);
        let w_false = BooleanWeight::new(false);

        assert!(*w_true.value());
        assert!(!*w_false.value());
    }

    #[test]
    fn test_boolean_zero_one() {
        let zero = BooleanWeight::zero();
        let one = BooleanWeight::one();

        assert!(Semiring::is_zero(&zero));
        assert!(Semiring::is_one(&one));
        assert!(!*zero.value());
        assert!(*one.value());
    }

    #[test]
    fn test_boolean_addition() {
        let w_true = BooleanWeight::new(true);
        let w_false = BooleanWeight::new(false);

        // OR operation
        assert!(*w_true.plus(&w_false).value());
        assert!(*w_false.plus(&w_true).value());
        assert!(!*w_false.plus(&w_false).value());
        assert!(*w_true.plus(&w_true).value());
    }

    #[test]
    fn test_boolean_multiplication() {
        let w_true = BooleanWeight::new(true);
        let w_false = BooleanWeight::new(false);

        // AND operation
        assert!(!*w_true.times(&w_false).value());
        assert!(!*w_false.times(&w_true).value());
        assert!(!*w_false.times(&w_false).value());
        assert!(*w_true.times(&w_true).value());
    }

    #[test]
    fn test_boolean_idempotence() {
        let w_true = BooleanWeight::new(true);
        let w_false = BooleanWeight::new(false);

        // w + w = w (idempotent)
        assert_eq!(w_true.plus(&w_true), w_true);
        assert_eq!(w_false.plus(&w_false), w_false);
    }

    #[test]
    fn test_boolean_display() {
        let w_true = BooleanWeight::new(true);
        let w_false = BooleanWeight::new(false);

        assert_eq!(format!("{w_true}"), "true");
        assert_eq!(format!("{w_false}"), "false");
    }

    #[test]
    fn test_boolean_star() {
        let w_true = BooleanWeight::new(true);
        let w_false = BooleanWeight::new(false);

        // Star is always one for boolean semiring
        assert_eq!(w_true.star(), BooleanWeight::one());
        assert_eq!(w_false.star(), BooleanWeight::one());
    }

    #[test]
    fn test_boolean_properties() {
        let props = BooleanWeight::properties();
        assert!(props.left_semiring);
        assert!(props.right_semiring);
        assert!(props.commutative);
        assert!(props.idempotent);
        assert!(props.path);
    }

    #[test]
    fn test_boolean_from_str() {
        assert_eq!(
            BooleanWeight::from_str("true").unwrap(),
            BooleanWeight::new(true)
        );
        assert_eq!(
            BooleanWeight::from_str("false").unwrap(),
            BooleanWeight::new(false)
        );
    }

    #[test]
    fn test_boolean_operator_overloads() {
        let w_true = BooleanWeight::new(true);
        let w_false = BooleanWeight::new(false);

        // Test + operator (OR)
        assert_eq!(w_true + w_false, BooleanWeight::new(true));
        assert_eq!(w_false + w_false, BooleanWeight::new(false));

        // Test * operator (AND)
        assert_eq!(w_true * w_false, BooleanWeight::new(false));
        assert_eq!(w_true * w_true, BooleanWeight::new(true));
    }

    #[test]
    fn test_boolean_identity_laws() {
        let w = BooleanWeight::new(true);
        let zero = BooleanWeight::zero();
        let one = BooleanWeight::one();

        // Additive identity
        assert_eq!(w + zero, w);
        assert_eq!(zero + w, w);

        // Multiplicative identity
        assert_eq!(w * one, w);
        assert_eq!(one * w, w);

        // Annihilation by zero
        assert!(Semiring::is_zero(&(w * zero)));
        assert!(Semiring::is_zero(&(zero * w)));
    }

    #[test]
    fn test_boolean_semiring_axioms() {
        let a = BooleanWeight::new(true);
        let b = BooleanWeight::new(false);
        let c = BooleanWeight::new(true);

        // Associativity of addition
        assert_eq!((a + b) + c, a + (b + c));

        // Associativity of multiplication
        assert_eq!((a * b) * c, a * (b * c));

        // Commutativity of addition
        assert_eq!(a + b, b + a);

        // Commutativity of multiplication
        assert_eq!(a * b, b * a);

        // Distributivity
        assert_eq!((a + b) * c, (a * c) + (b * c));
    }

    #[test]
    fn test_boolean_correctness() {
        // Test all combinations
        let t = BooleanWeight::new(true);
        let f = BooleanWeight::new(false);

        // OR truth table
        assert_eq!(f + f, f);
        assert_eq!(f + t, t);
        assert_eq!(t + f, t);
        assert_eq!(t + t, t);

        // AND truth table
        assert_eq!(f * f, f);
        assert_eq!(f * t, f);
        assert_eq!(t * f, f);
        assert_eq!(t * t, t);
    }
}