wiki_research

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

spanp (245B)

      1 # SpanP
      2 
      3 Counting the number of *distinct* outputs of an [nptime] [transducer]
      4 (e.g., counting the number of subgraphs that is [3_colorable])
      5 -> intuitively you can do [projection] operator
      6 
      7 See also: [spanl]
      8 
      9 Up: [complexity_class], [counting]