Upon proving optimality of an 8-pentomino solution for an 8×8 board, I was curious to see whether there is a 9-pentomino solution for an 8×9 board, namely a way to arrange 9 distinct pentominos within the 8×9 board with no two pentominos sharing an edge. The same counting technique shows that a 10-pentomino solution is impossible. However, I was unable to find a 9-pentomino solution without repeating pentominos. I think it may be possible because I found many semi-solutions with different repeated pentominos:
x x x x x x x | x x x x x x | x x x x x x x | x x x x x x x
x x x x x | x x x x x x | x x x x x x | x x x x x x
x x x x x | x x x x x x | x x x | x x x x
x x x x x | x x x x | x x x x x x x | x x x x x x
x x x x x x | x x x x x x | x x x x | x x x x x
x x x x | x x x x x x | x x x x x x | x x x x
x x x x x x | x x x x | x x x x x | x x x x x x
x x x x x x x | x x x x x x x | x x x x x x x | x x x x x x x
Each does not use any pentomino more than twice. The first has only repeated X,Y-pentominos. The second has only repeated F,W-pentominos. The third has only repeated P,Y-pentominos. The fourth has only repeated P,W-pentominos. These also show that pure counting arguments cannot rule out a solution, because the first semi-solution does not have any N,Z-pentominos but the fourth does, so perhaps there is a real solution using C,F,N,P,T,W,X,Y,Z-pentominos?
Can anyone find a solution or prove that there is none?