对于数据：

3 2
1 2
2 3
1 2 1

存在合法的输出：

1 2 3

Floating_Trees / LoserKugua 的题解否定了这种情况的合法性，“一定是”应改为“一定可以”；

Dregen_Yor / moosssi / BzhH / AK_400 的题解没有给出「$t$ 从小到大排构造不出来就不存在合法的构造」的证明，另外 AGC050A 中 ty_mxzhn 的题解也没有给出构造的合法性的证明，申请撤下