>>4
>>19の要領で,
初期状態が○の状態でマルの個数をn個まで増やしたときの並び方を an 通り...�@
初期状態が●の状態でマルの個数をn個まで増やしたときの並び方を bn 通り...�A
とする(左右は区別する)と,

a(n+1)=an+2bn+1
b(n+1)=an

より,an+bn=2^n−1
よって�@と�Aは重複しない