热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

突破线性时间算法的限制：亚线性时间算法的崛起

2025-02-24

长期以来，线性时间算法被视为解决问题的最高标准。然而，随着海量数据集的出现，亚线性时间算法的研究越来越受到关注。亚线性时间算法只读取极小部分输入数据，这听起来很不可思议。虽然对于一些问题存在确定的亚线性时间算法，但大多数情况下算法需要随机化并给出近似解。近年来，研究人员在各种问题上取得了突破，包括经典优化问题和属性测试。利用诸如Szemeredi正则引理和低秩矩阵逼近等技术，亚线性时间算法正逐渐展现其潜力，但该领域仍有许多未解之谜等待探索。

阅读更多
(people.csail.mit.edu)
开发 亚线性时间算法

程序合成导论

2024-07-04

本文介绍了程序合成的概念、历史和应用。程序合成是指从一组描述代码语义和语法要求的组件中自动生成程序的技术。与编译、逻辑编程和机器学习等相关技术相比，程序合成强调生成满足特定要求的代码，并支持对程序空间的语义和语法约束。文章还讨论了程序合成的三种主要挑战：意图挑战、发明挑战和适应挑战，以及程序合成在软件工程、终端用户编程、代码逆向工程和人工智能等领域的应用。

阅读更多
(people.csail.mit.edu)
44
未分类