wiki_research

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

cd_membership_problem (329B)

      1 # CD membership problem
      2 
      3 Terminology from [morvan2025homomorphism]: for C and D two classes of inputs with D subseteq C, the [computational_problem] of:
      4 
      5 - input: an object in C
      6 - output: does the object belong to D?
      7 
      8 Special cases:
      9 - [rec_membership_problem]
     10 
     11 Up: [computational_problem]
     12 
     13 See also: [Formal_language_separation]