计算机科学论文 · 子方向

计算机理论论文

基于差分隐私的布尔可满足性下界改进流形约束下SAT算法复杂度界证明量子图神经网络复杂性下界量子计算复杂性理论优化基于图神经网络的动态社区发现算法收敛性分析与优化稀疏图上随机游走的收敛速率证明基于对抗样本的深度神经网络鲁棒性理论分析与优化方法基于多尺度图卷积网络的自适应异构图神经网络结构优化理论研究高维几何投影下的非凸优化收敛界基于深度强化学习的图神经网络在动态网络社区检测中的理论优化与收敛性分析基于量子启发的格基约减算法在密码学中短向量求解的优化与安全性分析基于张量范畴理论的量子计算模型语义研究基于量子计算模型的非确定性多项式时间问题近似求解理论研究基于类型理论的构造性数学与计算可解释性研究基于量子行走的图同构问题判定算法的复杂度分析与优化基于范畴论的量子计算可组合性语义模型研究基于高阶区间时序逻辑的实时系统模型检测方法研究量子计算中基于纠缠辅助的量子纠错码构造与性能分析基于量子随机游走的图同构问题复杂度下界分析与优化策略基于拓扑量子场论的分布式计算模型可计算性与复杂性研究