不泄露1比特原始数据，多人如何共同计算“总和”与“排名”：安全多方计算（MPC）与姚氏百万富翁问题
Tags
30 个页面
Computer Science
完全不使用锁，多线程如何同时修改同一份数据？无锁编程与ABA问题的科学
为什么极小的文字依然清晰锐利：字体渲染、贝塞尔曲线、微调虚拟机与亚像素抗锯齿的数学原理
为什么理论上会指数爆炸的NP完全难题，现代计算机却能瞬间求解：深入解析SAT求解器、CDCL与相变现象
为什么深空探测器与二维码在部分损毁时仍能完美恢复数据：纠错码与香农极限的科学
为什么宇宙飞船和自动驾驶汽车能从满是误差的传感器与不确定预测中算出“真实位置”：卡尔曼滤波与状态估计的数理工程
为什么在嘈杂的咖啡馆里听3秒钟就能瞬间识曲？声学指纹（Shazam）与盲源分离（ICA）的数学原理
一行代码都不运行，为什么能证明程序“绝对没有Bug”？形式化验证与模型检测的科学
当所有人都在等待对方时，为什么一切都会停止：死锁（Deadlock）的数学理论、银行家算法与活锁防治
仅仅“快”还不够？从数学上保证“准时完成”的实时操作系统（RTOS）与调度理论
能否连“秘密的存在本身”也隐藏起来？：隐写术（Steganography）与信息隐藏的数学原理
为什么老旧游戏机能用软件重现：模拟器架构——指令解释、JIT动态重编译、Fastmem与周期级精度
一字不失，为何文件还能变小？：无损数据压缩的数学原理与信息论极限
以所持之物而非身份决定权限：基于能力的安全（Capability-Based Security）架构
“复杂性”不能用字数来衡量：柯尔莫哥洛夫复杂性与随机性的本质
保存时突然断电，数据为何不会损坏？：崩溃一致性（Crash Consistency）的设计原理
能从可执行文件还原出源代码吗？：反编译（Decompilation）的原理、算法与极限
如何从既定步骤中制造“随机数”？：不可预测性的数学与密码学技术
为什么代码不按编写的顺序运行？：CPU与编译器内存模型深度指南
编译器优化技术：什么是SSA（静态单赋值）
