number_of_normal_forms

uint64_t libsemigroups::fpsemigroup::KnuthBendix::number_of_normal_forms(size_t const min, size_t const max)

Returns the number of normal forms with length in a given range.

Return

A value of type uint64_t.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Assuming that this has been run until finished, the complexity of this function is at worst \(O(mn)\) where \(m\) is the number of letters in the alphabet, and \(n\) is the number of nodes in the KnuthBendix::gilman_digraph.

Parameters
  • min: the minimum length of a normal form to count

  • max: one larger than the maximum length of a normal form to count.