wiki_research

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

crpq_non_redundant (250B)

      1 # Non-redundant CRPQ
      2 
      3 A [CRPQ] is *non-redundant* if it does not contain any [CRPQ_redundant_atom]
      4 
      5 By Proposition IV.2.3 of [morvan2025homomorphism], it is [EXPSPACE_complete] to test if a [CRPQ] or [UCRPQ] is non-redundant
      6 
      7 Up: [crpq_minimization]