ice
lz是ai还是大数据啊
如果是ai的话，感觉6月的离散考试证明题不是很难啊，有部分还是作业改编的

不过这学期邵老师啥情况就不清楚了

ice
我上学期大部分作业也是拍照搜题或者google的😂
楼主可能要小心一下这学期ml作业，也是一大堆证明（

ice lz方不方便发几道题目看看呢？
离散数学这种东西技巧性比较强，我或许也只能对于见过的题目来就题论题，没什么通用的方法
离散数学里的东西很初等，初等的东西很直观，人类更容易理解知识点本身，所以题目通常难在奇技淫巧，而高中学科竞赛（尤其是数学）将这种初等数学的奇技淫巧做到极致
对于某些不那么直观的数学，老师可能会觉得把讲过的东西吃透就不容易了，就不会给你加思维难度，只会按照讲过题的思路出新题

我的观点是除非天资聪慧，没见过的证明题都是很难做出来的（

所以应该多做，做不出来就看答案，然后总结一些常见的证明套路

很多人说离散数学难以理解, 所以仅从做题的角度出发可以不要试着理解而总结一些技巧. 我倒觉得相比于高数线代这样比较直观, 非数同学也能学个大概的课程, 离散由于其抽象性恰恰是最吃理解的...这也使得它 "想靠背记混过去很难, 想理解透彻反而可能比想象中容易" . 当然采取这种策略确实比较吃平时的学习习惯与时间投入, 具体值不值得只能凭各人权衡利弊吧...

楼上的题其实是组合里一个常见的double-counting然后计算重叠的思想: 对于每一个给定的k, 把(i,j)取遍[n]×[n]的所有可能, 然后把这n² 个Σ加起来, 可以证明得到的算式值=kAB (因为每个a_m*b_n一定恰好被提及了k次) . n² 个Σ的和≥kAB, 那么自然不可能其中每一个都＜kAB (否则把这些不等式加起来, 与前式的≥关系矛盾) . □

p.s. 这是本科离散数学题? 一股子数院组合学 (虽说放在组合里算基础题) 的味道...