科研成果库 第65页
下界为何难,以及为何值得:细粒度复杂性视角下的近似问题
摘要:本文从细粒度复杂性视角讨论近似算法的下界课题。P vs NP 框架无法区分 n^2 与 n^3 的差距,而实际算法研究常需回答:某个近似比是否可在近线性时间内达到?本文界定细粒度下界的研究对象,…
延迟不是性能指标,而是契约:云边端确定性时延保障的研究议程
摘要:本文讨论云边端协同系统中的确定性时延保障课题。传统系统研究以平均延迟、尾延迟为指标,但在工业控制、远程驾驶、实时协作等场景中,端到端时延需要被表述为可验证的契约。本文界定该课题的边界,提出三个研…
走出独立同分布:分布外泛化与可解释性耦合的课题清单
摘要:本文讨论一个具体课题:分布外(OOD)泛化与可解释性之间是否存在可检验的耦合关系。现有研究多将二者分开处理:OOD泛化关注模型在分布偏移下的性能,可解释性关注模型决策依据。本文认为,二者在因果表…
计算机系的科研版图,其实是一张"问题地图"
如果你去翻任何一个计算机系的官网,科研方向那栏通常列着:人工智能、系统与网络、理论计算、人机交互、信息安全……看着像菜单,其实更像一张被反复涂改的作战地图。这张地图上的每个"方向"…





