培玉 · 一试

专题地图 › 经典的计数模型

一试训练题

F3填空题经典的计数模型

把1、2、3、4各用一次填成 。四条断言“a等于2”“b不等于2”“c等于3”“d不等于4”恰有一条为真,填法有多少个?

作答

分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。

解析

为什么评为 F3(会透露解法方向)

先利用两条断言的蕴含关系排除分支。

用到的方法(会透露解法方向)

核心工具:有限枚举与去重

专题卡:整数分配先平移下界,再容斥上界