wiki_research

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

ucrpq_strongly_minimal (600B)

      1 # CRPQ strongly minimal
      2 
      3 A [UCRPQ] Q is *strongly minimal* if it has a [homomorphism_minimal] [UCRPQ_expansion] whose [core] has a number of [CRPQ_segments] equal to the number of [atoms] of Q
      4 
      5 By Corollary IV.2.9 of [morvan2025homomorphism]: every strongly minimal CRPQ is a [minimal_CRPQ]. But by Proposition IV.2.15 there are [minimal_CRPQs] that are not strongly minimal, for instance x -a^+-> x
      6 
      7 By Corollary IV.2.16 of [morvan2025homomorphism], it is [EXPSPACE_hard] to test whether a [UCRPQ] is strongly minimal
      8 
      9 Up: [crpq_minimization]
     10 
     11 Aliases: strongly minimal CRPQ, strongly minimal UCRPQ