wiki_research

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

crpq_minimization (483B)

      1 # Crpq minimization
      2 
      3 The [computational_problem] of computing from a [CRPQ] Q a [CRPQ_minimal] which is [query_equivalent] to Q
      4 
      5 Covered in [morvan2025homomorphism]
      6 
      7 Formal [decision_problem] for [CRPQs]: [CRPQ_minimization_problem]
      8 
      9 Notions:
     10 - [CRPQ_fully_contracted]
     11 - [CRPQ_non_redundant]
     12 - [CRPQ_strongly_minimal]
     13 
     14 Sometimes admits [reductions] from [CRPQ_containment], cf [morvan2025homomorphism] Section IV.5.2
     15 
     16 Up: [crpq], [query_minimization]
     17 
     18 See also: [ucrpq_minimization]