为什么叫 Grammar 是因为我没看到要回到 1 卡了我 20min

就是我用模拟退火（>=叶子数量答案明显等于叶子数量的答案），用 priority_queue 每次贪心插入一个叶子，然后把这个叶子与选择节点路径上的所有点全推给儿子状态并打标记

然后，它过了

求证明/证伪

代码看 AtC 账号 ultvoW_mEden