构造无冒险布尔电路被证明是 NP 难问题
thomasahle · x · 2026-11-10
Thomas Ahle 发推介绍「构造无冒险（hazard-free）布尔电路是 NP 难的」这一计算复杂性结论，并附线程展开。无冒险电路指当某个输入在 0/1 之间瞬变时输出保持稳定的电路，这一性质在硬件正确性上很重要，但该性质可能让电路规模指数级膨胀，如今又被证明构造本身就是 NP 难问题。
所属事件:研究称构造无冒险布尔电路是 NP 难问题(2 条相关)→
「研究」频道最新
- Cohere Labs 技术讲座：区域化表示让长视频视觉计算量随内容而非像素扩展 — Cohere_Labs · 2026-11-10
- NIH 发起人类推理研究征集，计算模型为重点方向之一 — tallinzen · 2026-11-10
- DART 用歧义导向向量微调，改善 7 个模型的过度自信问题 — MaartenSap · 2026-11-10
- AI agent ClockBase 重析数百万数据集,找出 500+ 逆龄干预 — Dr_Singularity · 2026-11-10
- MIT 撞击声研究开源数据与代码，望推动听觉直觉物理研究 — JoshHMcDermott · 2026-11-10
- MIT 听觉实验室十年项目发布：室内声学脉冲响应与生成模型开放 — JoshHMcDermott · 2026-11-10