切换问题目标
同一批数据，分别读成网络、计数空间和算法状态。
冲突图：把“不能同段”画成边
点击任意顶点可循环更换时段，红边表示当前方案违反冲突约束。
当前时段映射 c
计数决策树：把“有多少种”拆成乘法
这里把时段和教室都视为有标签的选择：上午、下午、傍晚不同，R101 与 R202 也不同。
合法时段分配
-
每个时段方案的教室分配
-
完整可选安排
-
计数式：
|Ω| = 3! × (2!)³ = 48。
三角冲突决定 A、B、C 的三个时段；其余三个顶点由冲突边唯一定位；每个时段内两场研讨会再交换两间教室。
不变式检查：逐步验证贪心输出
顺序为 A、B、C、D、E、F；每一步选择最早的可行时段，再取该时段第一间空教室。
当前排表
本步证据