wiki_research

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

counting_problem (483B)

      1 # Counting problem
      2 
      3 [computational_problem] asking for the [counting] of something
      4 
      5 - in [graph]:
      6   - [matching_counting]
      7   - [triangle_counting]
      8   - [maximal_independent_set_counting] Counting [maximal_independent_set]
      9 - [counting_query_answers]
     10   - [counting_cqs]
     11 - For [satisfiability_boolean]: [sharp_satisfiability]
     12 - [counting_simple_path]s
     13 - [sharp_automaton]:
     14   - [sharp_nfa], cf [arenas2020efficient]
     15   - [sharp_ufa]
     16   - [sharp_dfa]
     17 
     18 Up: [computational_problem], [counting]