未解決的計算機科學問題

这个文章是在计算机科学中的有待解决的问题的列表。当该领域专家认为某些问题未解决，或当该领域中的几位专家不同意有关解决问题的办法时，这些计算机科学中的问题就被认为是未解决的。

计算复杂性理论

• P = NP问题。这是七个千禧年大奖难题之一.
• NC (複雜度)^*
• NP = co-NP问题
• P = BPP问题
• P = PSPACE问题
• BQP和NP之间的关系是什么？
• 独特的游戏猜想^*
• 指数时间假说^*是真的吗？
• 单向函数存在吗？

算法

• 两个n位数乘法算法^*速度最快的是什么？
• 矩阵乘法算法的速度最快的是什么？
• 可以在多项式时间内做整数分解吗？
• 可以在多项式时间内计算离散对数吗？
• 可以在多项式时间内解决图同构问题^*吗？
• 可以在多项式时间内解决奇偶校验游戏^*吗？
• 线性规划是否承认一种强烈的多项式^*时间算法？这是Smale的问题的列表^*的问题#9。
• 快速傅里叶变换算法的复杂性上下限是什么？他们能比Θ（N log N）快吗？
• 可以在次二次时间^*内解决3SUM^*问题吗？
• 伸展树动态最优性猜想^*
• K-服务器问题^*

编程语言理论

• POPLmark^*
• Barendregt–Geuvers–Klop猜想^*
• 广义星高问题^*

其他问题

• Aanderaa–Karp–Rosenberg猜想^*

外部链接

• StackExchange上计算机科学理论未解决的主要问题。
• Gerhard J. Woeginger的围绕精确算法的开放问题，应用离散数学156 (2008) 397–405。
• 理论计算机科学面临的挑战
• 开放的问题项目 - 计算几何和相关的字段中的开放问题。
• RTA列表的开放问题 - 重写中的开放问题。
• TLCA列表的开放问题 - 有类型λ演算领域中的开放问题。