GESP 七级 · GESP 七级样题（C++ 组） 第 20 题

如果哈希表足够大，哈希函数确定后，不会产生冲突。（ ）

这题考哈希冲突的必然性。拿到题先别想'表大就能解决'，要抓住'哈希函数确定'和'键空间无限'这两个条件，用鸽巢原理想：输出有限、输入无限，冲突就躲不掉。

学生最容易死记'哈希冲突是坏事'，一看到'足够大'就以为能消除冲突，这是因果倒置。另外，很多人把'哈希函数确定'理解成'函数设计完美'，忽略了确定性映射在无限输入下必然碰撞的本质。

这道题考查什么

本题考查 GESP 七级《数据结构》中的哈希表与哈希冲突概念，核心是理解冲突产生的数学必然性。

概念人话版

哈希函数就是把任意长的键，通过确定性规则算出一个表下标。表足够大，只是给了更多位置，但规则没变，键的映射关系就锁死了。

命题人怎么挖坑

命题人专门用'足够大'和'不会产生冲突'这对看似合理的搭配，想撕开学生的幻想：表大≠无冲突。同时，'哈希函数确定后'这个条件暗示函数已固定，学生应意识到固定函数在无限输入下必然碰撞。

拿到题先想什么

看到'哈希函数确定后'，立刻想到：映射规则固定，输出空间有限（整数或模结果），输入键空间理论上无限。关键观察——输出有限、输入无限，根据鸽巢原理，冲突必然发生。所以'不会产生冲突'是绝对错误的。

具体怎么推

1) 哈希函数输出范围有限，比如模 1000，最多 1000 个下标。 2) 不同键可以任意多，理论上无穷。 3) 当键数量超过输出范围，至少两个键会落到同一位置，这就是冲突。 4) 表再大也只是把范围从 1000 扩大到 10^9，只要键再多，冲突照样跑不掉。

避坑提醒

选项 A 错在把'冲突'和'表不够大'强行绑定，认为冲突=表小，这是因果倒置；最阴险的细节是'足够大'看似万能，却忽略了确定性映射的本质。记住：刷到这类题先问自己'命题人想考我什么'——考冲突的必然性还是考哈希函数的随机性，这个元认知比答案本身重要得多。

考频与趋势

哈希冲突相关题在题库中仅 5 题，集中在 CSP 提高级和 NOIP 初赛（2009-2021 年），近年 GESP 七级也出现过类似判断题。从数据看，这类概念判断题在 GESP 七级中偶有出现，但整体频次不高。

预测

基于现有数据，暂无足够依据预测未来是否会增加此类题目。建议考生夯实鸽巢原理与确定性映射的理解，遇到'绝对化'表述要警惕。