未解決的計算機科學問題:修订间差异

求闻百科,共笔求闻
添加的内容 删除的内容
(修改自此处;原许可:CC BY-SA 3.0[网站升级迁移])
 
(机器人:删除1个模板:Wayback)
第37行: 第37行:


== 外部链接 ==
== 外部链接 ==
* StackExchange上[http://cstheory.stackexchange.com/questions/174/major-unsolved-problems-in-theoretical-computer-science 计算机科学理论未解决的主要问题] {{Wayback|url=http://cstheory.stackexchange.com/questions/174/major-unsolved-problems-in-theoretical-computer-science |date=20120314122250 }}
* StackExchange上[http://cstheory.stackexchange.com/questions/174/major-unsolved-problems-in-theoretical-computer-science 计算机科学理论未解决的主要问题] 。
* Gerhard J. Woeginger的[http://www.cs.zju.edu.cn/people/yedeshi/algo09/reading/Open%20problems%20around%20exact%20algorithms.pdf 围绕精确算法的开放问题]{{dead link|date=2018年3月 |bot=InternetArchiveBot |fix-attempted=yes }},应用离散数学156 (2008) 397–405。
* Gerhard J. Woeginger的[http://www.cs.zju.edu.cn/people/yedeshi/algo09/reading/Open%20problems%20around%20exact%20algorithms.pdf 围绕精确算法的开放问题]{{dead link|date=2018年3月 |bot=InternetArchiveBot |fix-attempted=yes }},应用离散数学156 (2008) 397–405。
* [https://web.archive.org/web/20131104160106/http://www2.research.att.com/~dsj/nsflist.html 理论计算机科学面临的挑战]
* [https://web.archive.org/web/20131104160106/http://www2.research.att.com/~dsj/nsflist.html 理论计算机科学面临的挑战]
* [http://maven.smith.edu/~orourke/TOPP/ 开放的问题项目] {{Wayback|url=http://maven.smith.edu/~orourke/TOPP/ |date=20081217042405 }} - [[计算几何]]和相关的字段中的开放问题。
* [http://maven.smith.edu/~orourke/TOPP/ 开放的问题项目] - [[计算几何]]和相关的字段中的开放问题。
* [http://rtaloop.mancoosi.univ-paris-diderot.fr/ RTA列表的开放问题] {{Wayback|url=http://rtaloop.mancoosi.univ-paris-diderot.fr/ |date=20130515155403 }} - [[重写逻辑]]中的开放问题。
* [http://rtaloop.mancoosi.univ-paris-diderot.fr/ RTA列表的开放问题] - [[重写逻辑]]中的开放问题。
* [http://tlca.di.unito.it/opltlca/ TLCA列表的开放问题] {{Wayback|url=http://tlca.di.unito.it/opltlca/ |date=20120227031128 }} - [[有类型λ演算]]领域中的开放问题。
* [http://tlca.di.unito.it/opltlca/ TLCA列表的开放问题] - [[有类型λ演算]]领域中的开放问题。