未解決的計算機科學問題
維基媒體列表條目
这个文章是在计算机科学中的有待解决的问题的列表。当该领域专家认为某些问题未解决,或当该领域中的几位专家不同意有关解决问题的办法时,这些计算机科学中的问题就被认为是未解决的。
计算复杂性理论编辑
- 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列表的开放问题 (页面存档备份,存于互联网档案馆) - 有类型λ演算领域中的开放问题。
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄