counting_problem (500B)
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] 9 - [subgraph_counting] 10 - [counting_query_answers] 11 - [counting_cqs] 12 - For [satisfiability_boolean]: [sharp_satisfiability] 13 - [counting_simple_paths] 14 - [sharp_automaton]: 15 - [sharp_nfa], cf [arenas2020efficient] 16 - [sharp_ufa] 17 - [sharp_dfa] 18 19 Up: [computational_problem], [counting] 20 21 Aliases: counting problems