<?xml version="1.0" encoding="utf-8" ?><rss version="2.0"><channel><title><![CDATA[FreshManInC的博客]]></title><description><![CDATA[]]></description><link>https://blog.youkuaiyun.com/FreshManInC</link><language>zh-cn</language><generator>https://blog.youkuaiyun.com/</generator><copyright><![CDATA[Copyright &copy; FreshManInC]]></copyright><item><title><![CDATA[【具体数学 Concrete Mathematics】5.1.5 超几何函数]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168771582</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168771582</guid><author>FreshManInC</author><pubDate>Sun, 01 Nov 2026 00:11:21 +0800</pubDate><description><![CDATA[用相邻项之比识别超几何级数，说明上升阶乘、终止条件和收敛范围，证明终止范德蒙德公式，并用极限路径展示退化参数的陷阱。]]></description><category></category></item><item><title><![CDATA[【具体数学 Concrete Mathematics】2.1.7 无限和式]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168760845</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168760845</guid><author>FreshManInC</author><pubDate>Sun, 01 Nov 2026 00:11:18 +0800</pubDate><description><![CDATA[区分按顺序收敛、非负项总和与绝对收敛。用交错调和级数说明重排会改变极限，给出无限二重和的换序条件，并用精确余项控制有限计算的误差。]]></description><category></category></item><item><title><![CDATA[【具体数学 Concrete Mathematics】2.1.6 有限微积分和无限微积分]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168760346</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168760346</guid><author>FreshManInC</author><pubDate>Sun, 01 Nov 2026 00:11:13 +0800</pubDate><description><![CDATA[从前向差分和下降阶乘幂建立有限微积分，说明半开区间、负指数与调和数。推导带移位的分部求和公式，并验证带权指数和与带权调和和。]]></description><category></category></item><item><title><![CDATA[【具体数学 Concrete Mathematics】2.1.5 一般性的方法]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168759801</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168759801</guid><author>FreshManInC</author><pubDate>Sat, 31 Oct 2026 23:34:50 +0800</pubDate><description><![CDATA[围绕平方和比较归纳、扰动、成套方法、积分误差和二重和换序。区分发现答案与验证答案，说明一次尝试失败后怎样选择更有用的辅助和式。]]></description><category></category></item><item><title><![CDATA[【具体数学 Concrete Mathematics】2.1.4 多重和式]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168759372</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168759372</guid><author>FreshManInC</author><pubDate>Sat, 31 Oct 2026 23:34:45 +0800</pubDate><description><![CDATA[用指标区域理解二重和：矩形与三角形换序、对称和的对角线修正、切比雪夫不等式，以及非双射换元的重数。按距离分组推导调和数之和。]]></description><category></category></item><item><title><![CDATA[【具体数学 Concrete Mathematics】2.1.3 和式的处理]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168758482</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168758482</guid><author>FreshManInC</author><pubDate>Sat, 31 Oct 2026 23:34:33 +0800</pubDate><description><![CDATA[整理有限和式的线性变换、双射换元与范围拆分。用扰动法推导几何和及带权几何和，解释为什么边界、交集重数和 x=1 的例外不能省略。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷4·7.1.3 位运算技巧与技术：从最低位到字内并行与位矩阵]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169174932</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169174932</guid><author>FreshManInC</author><pubDate>Tue, 27 Oct 2026 02:39:15 +0800</pubDate><description><![CDATA[依据TAOCP 7.1.3推导lowbit、位计数、交换网络、位抽取、字内并行加法与位矩阵转置，解释零字节检测的标记陷阱，并连接图可达性、隐式数据结构和CRC，用穷举及独立基准核验实现。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷4·7.1.2 布尔求值：从最短计算链到共享、分解与复杂度下界]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169174119</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169174119</guid><author>FreshManInC</author><pubDate>Tue, 27 Oct 2026 02:26:46 +0800</pubDate><description><![CDATA[从布尔链的门数、深度与中间结果复用出发，推导选择函数、全加器和函数分解；区分部分函数的有效域、综合上界与最优性证明，并用Python穷举检查三门下界、完整及部分真值表分解。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷4·7.1.1 布尔基础：从真值表到范式、规则传播与2-SAT]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169169996</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169169996</guid><author>FreshManInC</author><pubDate>Tue, 27 Oct 2026 01:30:20 +0800</pubDate><description><![CDATA[依据TAOCP第4卷7.1.1，从三输入选择函数推导DNF、CNF与代数范式，解释基本蕴涵项、Horn规则传播和2-SAT，连接中数图、阈函数与对称性，并用Python穷举核验公式和求解结果。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷3·6.3 数字查找：把键码拆成字符，怎样沿前缀找到记录]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169071160</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169071160</guid><author>FreshManInC</author><pubDate>Mon, 26 Oct 2026 00:42:06 +0800</pubDate><description><![CDATA[解释Trie的前缀共享、终止标记、键长成本和空间取舍，区分数字查找树与Patricia的候选确认。实现支持空键、None值、前缀枚举及安全删除的字符Trie。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷3·6.2 通过键码比较进行查找：二分、查找树与平衡，各自解决什么问题]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169071018</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169071018</guid><author>FreshManInC</author><pubDate>Mon, 26 Oct 2026 00:24:47 +0800</pubDate><description><![CDATA[串联二分边界、二叉查找树、最优树动态规划、AVL旋转与B树页面高度界，区分平均概率模型和最坏结构保证。提供可运行的二分查找与AVL插入代码。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷3·6.1 顺序查找：从逐项比较，到把常用记录放在前面]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169070905</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169070905</guid><author>FreshManInC</author><pubDate>Mon, 26 Oct 2026 00:04:05 +0800</pubDate><description><![CDATA[从成功与失败查找的比较次数出发，推导按访问概率排序、自组织表的稳态成本和变长记录的概率长度比规则。用可运行程序核对哨兵、移到表头及不同成本模型。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷2·4.3 多精度算术：把大整数拆开以后，怎样保证每一步正确]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169068755</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169068755</guid><author>FreshManInC</author><pubDate>Sun, 25 Oct 2026 20:43:11 +0800</pubDate><description><![CDATA[把大整数拆成数字块，证明进位与乘法中间值的范围，解释长除法估商及修正、中国剩余恢复和Karatsuba分治。提供经典乘法、单块除法及模恢复代码，并与完整整数运算交叉核验。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷2·4.2 浮点算术：误差从哪里来，又怎样被放大]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/169068680</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/169068680</guid><author>FreshManInC</author><pubDate>Sun, 25 Oct 2026 20:30:03 +0800</pubDate><description><![CDATA[推导浮点间距和最近舍入误差界，区分输入误差、单次舍入与相消放大。以精确分数模拟十进制有效数字，展示结合律失效与居中取偶，再梳理原书双精度实现和首位数字分布。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷2·4.1 定位计数系统：同一个数，为什么有不同的运算法则]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168977746</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168977746</guid><author>FreshManInC</author><pubDate>Sun, 25 Oct 2026 20:27:24 +0800</pubDate><description><![CDATA[从位权与数字范围出发，解释定点数、补码、负进制、平衡三进制和混合进制的运算规则。用编码与独立解码验证数值不变，并说明字长、溢出与进位各自的含义。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷2·3.3 统计检验：频数正常，能说明多少问题]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168894130</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168894130</guid><author>FreshManInC</author><pubDate>Sat, 24 Oct 2026 03:23:02 +0800</pubDate><description><![CDATA[从卡方与KS统计量出发，说明频数检验、相邻组合和理论检验各自能说明什么。用精确算术展示一维完全平衡却存在强依赖的序列，并解释谱检验所研究的格与平行平面结构。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷2·3.2 生成一致随机数：周期很长，为什么仍然不够]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168880488</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168880488</guid><author>FreshManInC</author><pubDate>Sat, 24 Oct 2026 03:04:50 +0800</pubDate><description><![CDATA[推导线性同余递推，解释满周期条件、二进制低位的短周期和效能；用仿射变换复合实现快速跳步，避免错误使用模逆元，再梳理延迟递推、移位异或、逆同余和组合方法。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷2·3.1 引言：程序怎样产生“随机数”]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168880337</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168880337</guid><author>FreshManInC</author><pubDate>Sat, 24 Oct 2026 02:57:31 +0800</pubDate><description><![CDATA[从随机数的应用、分布与独立性出发，解释确定性程序为何仍能用于模拟，以及有限状态为何必然进入循环。用平方取中法的短循环和精确平衡的比特串说明周期、频数与随机性不能混同。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷1·1.2 数学准备：从一个循环到精确分析]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168775736</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168775736</guid><author>FreshManInC</author><pubDate>Fri, 23 Oct 2026 01:00:51 +0800</pubDate><description><![CDATA[以寻找最大值为主线，串联归纳法、求和、数论、排列、调和数、斐波那契数、生成函数与渐近表示，推导更新次数的分布、均值和方差，并用精确枚举核验。]]></description><category></category></item><item><title><![CDATA[【计算机程序设计艺术 TAOCP】卷1·1.1 算法：把每一步说清楚]]></title><link>https://blog.youkuaiyun.com/FreshManInC/article/details/168775722</link><guid>https://blog.youkuaiyun.com/FreshManInC/article/details/168775722</guid><author>FreshManInC</author><pubDate>Fri, 23 Oct 2026 00:47:55 +0800</pubDate><description><![CDATA[从欧几里得算法出发，逐步说明输入输出、赋值顺序、循环不变式与终止性，辨析算法的五个特征，并用 Python 执行轨迹和边界检查连接数学证明与具体实现。]]></description><category></category></item></channel></rss>