Mình xin chia sẻ lời giải bài này như sau:

Gọi \(q_i\) là số thứ tự được đánh của cây \(c_i\). Khi đó ta có:

\(\underbrace{1}_{1\text{ lần }}\underbrace{22}_{2\text{ lần }}...q_i\)

Khi đó xảy ra hai trường hợp sau:

TH1: Nếu \(\exists k\in \mathbb{N}^{*}\) thỏa mãn \(\frac{k(k+1)}{2}=c_i\). Khi đó \(q_i=k\)

TH2: Nếu \(\not\exists k\in \mathbb{N}^{*}\) thỏa mãn \(\frac{k(k+1)}{2}=c_i\). Gọi \(k'(k'\in \mathbb{N}^{*})\) là số lớn nhất thỏa mãn: $\frac{k'(k'+1)}{2}