未解決的計算機科學問題: 維基媒體列表條目
这个文章是在计算机科学中的有待解决的问题的列表。当该领域专家认为某些问题未解决，或当该领域中的几位专家不同意有关解决问题的办法时，这些计算机科学中的问题就被认为是未解决的。
计算复杂性理论
- P = NP问题。这是七个千禧年大奖难题之一
- NC (複雜度)
- NP = co-NP问题
- P = BPP问题
- P = PSPACE问题
- BQP和NP之间的关系是什么？
- 独特游戏猜想
- 指数时间假说是真的吗？
- 单向函数存在吗？
算法
编程语言理论
- POPLmark
- Barendregt–Geuvers–Klop猜想
- 广义星高问题
其他问题
- Aanderaa–Karp–Rosenberg猜想
外部链接
- StackExchange上计算机科学理论未解决的主要问题 （页面存档备份，存于互联网档案馆）。
- Gerhard J. Woeginger的围绕精确算法的开放问题[永久失效連結]，应用离散数学156 (2008) 397–405。
- 理论计算机科学面临的挑战
- 开放的问题项目 （页面存档备份，存于互联网档案馆） - 计算几何和相关的字段中的开放问题。
- RTA列表的开放问题 （页面存档备份，存于互联网档案馆） - 重写逻辑中的开放问题。
- TLCA列表的开放问题 （页面存档备份，存于互联网档案馆） - 有类型λ演算领域中的开放问题。
This article uses material from the Wikipedia 中文 article 未解決的計算機科學問題, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). 除非另有声明，本网站内容采用CC BY-SA 4.0授权。 Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki 中文 (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.