The O(G)O(G)O(G) conjecture on minimal synchronizing factors
O(G)O(G)O(G) conjecture. The set of graphs HHH with H\foldSGH\fold_S GH\foldSG has a unique \foldS\fold_S\foldS-minimal element O(G)O(G)O(G).