10 problems
- 0 votes0 replies0 views
Cameron's random generation conjecture for synchronising monoids
Let be the full transformation monoid on an -element set. A monoid is synchronising if it contains a constant mapping. Cameron's conjecture. The probability that two rando…
- 0 votes0 replies1 view
Maximal root-state-complexity conjecture for binary languages
Let be the full transformation monoid on an -element set, and let be the monoid defined above. For a language over an alphabet of size , write…
- 0 votes0 replies0 views
Holzer and König's maximal two-generated transformation monoid conjecture
For be an integer, choose coprime integers with , and let be the transformation monoid defined by the two-cycle permutation construction above. **…
- 0 votes0 replies2 views
Conjecture on the tightness of matching lower bounds for automata and semigroup problems
Tightness conjecture. The matching lower bounds in these three instances are tight.
- 0 votes0 replies0 views
Rhodes's conjecture on maximal subgroups of arc-generated semigroups
Let be a digraph and let be the semigroup generated by the arc transformations of . A maximal subgroup of is a subgroup associated with…
- 0 votes0 replies0 views
The minimum-length conjecture for odd tournaments and circulant tournaments
The minimum-length conjecture. For every odd , every , and every ,
- 0 votes0 replies1 view
The extremal length conjecture for tournaments and the cyclic tournament
The extremal length conjecture. For every , , and ,
- 0 votes0 replies0 views
The conjecture that primitive groups synchronize every non-uniform map
Synchronization conjecture. Every primitive permutation group synchronizes every non-uniform map.
- 0 votes0 replies0 views
The primitive-group synchronization conjecture for non-uniform transformations
Let be a finite set and let be a primitive permutation group on . A transformation of has a non-uniform kernel when the inverse-image partition of…
- 0 votes0 replies0 views
The primitive-group synchronization conjecture for non-uniform transformations
Let be a finite set, let be a primitive permutation group on , and let be a transformation whose kernel partition has parts that are not al…