北京大学信息科学技术学院夏令营笔试真题及详细答案（全真复刻版）.docxVIP

北京大学信息科学技术学院夏令营笔试真题及详细答案（全真复刻版）

适用场景：北大信科计算机、电子信息、人工智能、软件工程方向夏令营笔试

考试时长：120分钟满分：100分

一、数学逻辑基础题（共4题，每题8分，共32分）

本模块为北大信科夏令营必考模块，侧重离散数学、逻辑推理、组合数学、概率基础，不考偏难怪高数，重点考察科研底层逻辑思维。

1.逻辑证明题（拉姆齐定理基础）

题目：任意6个人中，必然存在3个人两两互相认识，或者3个人两两互不认识，请证明该结论。

详细解答：

采用图论建模证明，通俗易懂：将6个人抽象为6个无向图顶点，两个顶点之间连红边代表两人认识，连蓝边代表两人不认识。问题等价于：任意6顶点二染色完全图，必然存在同色三角形。

任取其中一个顶点A，A与其余5个顶点共有5条连线，仅有红、蓝两种颜色。根据鸽巢原理，5条线分给2种颜色，至少有3条线颜色相同。不妨假设A引出3条红边，对应顶点B、C、D。

观察B、C、D三个顶点之间的连线：若任意两人之间存在红边，比如BC为红边，则A、B、C构成红色三角形，即三人互相认识；若B、C、D之间没有任何红边，那么三者之间全为蓝边，直接构成蓝色三角形，即三人互不认识。

若A引出3条蓝边，推理逻辑完全一致。因此该结论必然成立。

2.称重推理题

题目：现有8个外观完全相同的小球，其中1个小球重量与其他7个标准球不同（未知更轻或更重），仅