计算机科学论文 · 子方向

计算机理论论文

基于懒传播的交互式证明系统下界改进基于随机投影的低秩矩阵补全误差界优化可计算性逻辑的模态扩张证明基于积和多项式的布尔函数非退化性判定基于图神经网络的异构信息网络多跳关系推理算法研究基于差分隐私的正则化项熵紧致性证明量子纠缠算法优化计算复杂度下界基于多模态特征融合的图神经网络模型优化研究差分隐私凸优化下界紧性证明概率自动机终态可达性的构造性证明图灵机非确定性复杂度下界证明基于多模态图神经网络的复杂系统动态演化建模与理论分析量子计算复杂度下近似算法的紧致界限分析量子计算中图同构问题的复杂度下界概率布尔网络可控性的顶点割判定方法量子计算的NP完备问题规约新方法图灵机非确定性复杂度下界证明基于相位变换的布尔可满足性问题求解优化量子计算复杂性下近似算法最优界分析基于扰动分析的布尔可满足性求解器加速