结对帮扶中，小哈、小连、小司三人分别负责甲户、乙户、丙户三个帮扶对象（每人一户，…
结对帮扶中，小哈、小连、小司三人分别负责甲户、乙户、丙户三个帮扶对象（每人一户，互不相同）。已知：小哈不帮扶甲户；小连不帮扶丙户；小司也不帮扶丙户。 由此可以推出下列哪项必然成立？
A. 小哈帮扶丙户
B. 小连帮扶甲户
C. 小司帮扶乙户
D. 小连帮扶丙户
答案与解析
正确答案：A
花生十三讲解
朴素逻辑匹配型，最大信息优先。小连不帮扶丙户，小司也不帮扶丙户，三人中丙户只能由小哈负责，且与'小哈不帮扶甲户'相容，A必然成立。此时甲户与乙户在小连、小司之间有两种分配方式均满足条件，故B小连帮扶甲户、C小司帮扶乙户均不必然，D小连帮扶丙户错误。确认答案为A。
原解析
小连、小司都不帮扶丙户，丙户只能由小哈负责（与'小哈不帮扶甲户'相容），A必然成立。甲户与乙户在小连、小司之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小哈均帮扶丙户）。