我们在夏日编织花冠
没想到上了带学也要打CSP(
扔完代码就跑
重点是共用内存还有信号量
考虑在一个结点对他的儿子依次扫描的过程。
要在这个结点的子树选出 $d$ 个结点,我们可以在已经扫描过的子树(连同当前结点)中选 $p$ 个,在当前处理的子树中选 $q$ 个。且 $p+q=d$。