文章目录 1、Alldifferent的内部实现1.1 防御怪物问题1.2 Alldifferent 值域传播器 2、Cumulative的内部实现THE END 1、Alldifferent的内部实现 1.1 防御怪物问题 \qquad 假设有 N N N个村庄和 K K K支军队，且满足 K ≥ N K \geq N K≥N，每支军队都与某些村庄相邻且能够保护他们；一直