wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

crpq_minimal (301B)

      1 # CRPQ minimal
      2 
      3 A [CRPQ] Q is *minimal* if there is no [query_equivalent] [CRPQ] having less [atoms] than Q
      4 - defined in [morvan2025homomorphism] p93
      5 
      6 Corollary IV.2.9 of [morvan2025homomorphism]: every [strongly_minimal_CRPQ] is minimal
      7 
      8 Up: [crpq_minimization]
      9 
     10 Aliases: minimal CRPQ, minimal CRPQs