标签索引

计算机科学

这个标签下有 15 篇文章。按时间回看相关判断与实践记录。

标签精选

图灵奖得主迈克尔·拉宾逝世：随机化算法之父与密码学巨匠

著名计算机科学家、1976年图灵奖得主迈克尔·拉宾近日去世。他是非确定性有限状态自动机的共同发明者，被誉为“随机化算法之父”。他在理论计算机科学领域的贡献极大，特别是发明的Miller-Rabin素性测试法，成为现代加密系统（如RSA）的基...

2026-04-181 分钟阅读152 阅读

本文深入探讨了编译器构建中的核心算法——Pratt解析。作者通过抽象语法树（AST）的几何形态，将枯燥的优先级与结合性问题转化为直观的“左倾”与“右倾”树结构变化。文章指出，Pratt解析的精髓在于通过递归回溯，在遇到优先级转换时动态调整树...

2026-04-011 分钟阅读88 阅读

本文深入浅出地介绍了“四叉树”这一经典的空间划分数据结构。文章通过交互式演示，生动地阐述了四叉树如何通过递归地将二维空间分割为四个象限，从而在地图检索、游戏物理碰撞检测及图像压缩等场景中，将查询复杂度从暴力扫描的 O(n) 显著降低至 O(...

2026-02-271 分钟阅读164 阅读

Hacker News上热推的一篇技术文章，通过可视化手段直观展示了著名的高斯星期计算算法。该算法由数学家高斯提出，能够通过数学公式快速推算出历史上任意一天是星期几。文章利用交互式图表将抽象的公式拆解为清晰的逻辑步骤，让读者无需深厚的数学功...

2026-02-261 分钟阅读85 阅读

Hacker News社区热议一份由Reed学院发布的《离散结构》课程PDF讲义。作者Kyle Ormsby教授以教学严谨且内容深奥闻名，评论者指出其课程常深入流形理论、微分形式等高阶领域。这份高质量的教育资源，不仅适合计算机专业学生巩固算...

2026-02-191 分钟阅读131 阅读

本文介绍了一项结合计算机理论与现代 AI 技术的硬核编程实验。作者在 GitHub 上分享了一个项目，展示了如何在图灵机上实现冒泡排序算法，并详细记录了利用 Claude 4.6、GLM 5 和 GPT 5.2 等大语言模型辅助编码的全过程...

2026-02-151 分钟阅读132 阅读

本文由计算机科学泰斗、Isabelle定理证明器创始人Lawrence Paulson撰写，深刻剖析了形式化验证领域的“阿喀琉斯之踵”。虽然形式化验证被视为保障芯片设计、操作系统及AI算法安全的“黄金标准”，但Paulson指出，证明器本身...

2026-02-041 分钟阅读137 阅读

本文汇集了多种经典的迷宫生成算法，如递归回溯、Prim算法、Kruskal算法及Wilson算法等。作者不仅详细阐述了各种算法的原理和特性，还通过GitHub提供了完整的开源演示代码。作为算法学习的优质资源，它能帮助开发者深入理解图论与程序...

2026-01-251 分钟阅读260 阅读

就像整理书架没有唯一标准，数据存储也没有完美方案。本文探讨了哈希表和堆等核心数据结构如何在时间、空间与资源之间进行权衡。近期研究在哈希表和最短路径算法上取得突破。文章揭示了计算机科学的底层逻辑：没有全能解，只有针对特定场景的最优取舍，有时“...

2026-01-181 分钟阅读175 阅读

本书由Google Dart语言团队成员Robert Nystrom撰写，深度解析如何从零开始设计并实现一个功能完备的脚本语言。内容涵盖从语法解析、语义分析到底层字节码表示及垃圾回收等核心技术。读者将通过构建支持动态类型、闭包及类继承的语言...

2026-01-151 分钟阅读200 阅读