这个文章是在计算机科学中的有待解决的问题的列表。当该领域专家认为某些问题未解决,或当该领域中的几位专家不同意有关解决问题的办法时,这些计算机科学中的问题就被认为是未解决的。 P = NP问题。这是七个千禧年大奖难题之一 NC (複雜度) NP = co-NP问题 P = BPP问题 P = PSPACE问题 BQP和NP之间的关系是什么?...
4 KB (396 words) - 06:38, 2 January 2023
未解決的計算機科學問題:如果一个问题的解可以快速检验正确性,那么这个问题一定可以快速求解吗? P/NP问题是理论计算机科学中计算复杂度理论领域至今未解决的问题,是克雷数学研究所七題千禧年大奖难题之一。P/NP问题包括复杂度类P与NP的关系。1971年由史提芬·古克(Stephen A. Cook)和列昂尼德·列文(英语:Leonid...
23 KB (2,977 words) - 09:29, 6 October 2024
未解決問題列表可以指許多領域的猜想或開放問題的列表: 未解決的物理學問題 未解決的生物學問題 未解決的神經科學問題 未解決的醫學問題 未解決的化學問題 未解決的地球科学問題 未解決的數學問題 未解決的統計學問題 未解決的計算機科學問題 未解決的信息理论問題 未解決的哲學問題 未解決的語言學問題 悖论列表...
1 KB (69 words) - 13:22, 27 May 2024
计算机体系结构:关于计算机或计算机信息系统的“硬件”。 计算机科学主题 未解決的计算机科學問題 计算机科学家的学术家谱 计算机科学家 计算 计算机科学的历史 中国计算机科学大事年表 信息学 学术计算机科学系列表 计算机科学会议列表 计算机科学家列表 计算机科学开放问题列表 计算机科学出版物列表 计算机科学先驱列表 软件工程主题列表...
46 KB (5,260 words) - 03:07, 19 May 2025
單向函數 (category 計算機科學中未解決的問題)
未解決的計算機科學問題:單向函數存在嗎? 单向函数(One-way function)是一种具有下述特点的单射函数:对于每一个输入,函数值都容易计算(多项式时间);但是对于一个随机的函数值,算出其对应的输入却比较困难(无法在多项式时间内使用确定性图灵机计算)。 单向函数是否存在仍然是计算机科学中的...
2 KB (344 words) - 02:29, 4 February 2025
乘法 (category 计算机科学中未解決的問題)
印度的格子乘法在唐代流入中国,在9世纪初经花拉子米介绍到阿拉伯,但都未能流行。 未解決的计算机科学問題:计算两个n位数相乘的最快算法是什么? 電腦有特別的算法來處理大數之間的相乘,見乘法算法。 華人小學生通常要背誦九九乘法表來學習乘法。 史豐收速算法提出了用“本個 +後進”的方式來計算乘法。...
5 KB (859 words) - 06:37, 3 January 2025
离散对数 (category 计算机科学中未解決的問題)
未解決的计算机科学問題:是否存在离散对数问题的多项式时间经典算法? 在整數中,離散對數(英語:Discrete logarithm)是一種基於同餘運算和原根的一種對數運算。而在實數中對數的定義 log b a {\displaystyle \log _{b}a} 是指對於給定的 a {\displaystyle...
2 KB (337 words) - 15:09, 7 April 2024
计算机和近代的數位電腦。即使在科技文明的現代,老練的算盤高手在基本算數上,有時解題速度會比操作電子計算機的使用者來得快──但是在複雜的數學題目上,再怎麼老練的人腦還是趕不上電子計算機的運算速度。 此條目包含了計算機硬體的主要發展軌跡,試圖描述其來龍去脈。關於事件細節的時間表,請見計算機時間表。...
46 KB (6,878 words) - 19:04, 23 March 2025
3SUM (category 計算機科學中未解決的問題)
未解決的計算機科學問題:是否存在一个算法,能够在 O ( n 2 − ϵ ) {\displaystyle O(n^{2-\epsilon })} ( ϵ > 0 {\displaystyle \epsilon >0} )的时间复杂度内解决3SUM问题? 在计算复杂度理论中, 3SUM问题...
6 KB (1,036 words) - 03:35, 26 January 2021
的能力”。人工智能可以定義為模仿人類與人類思維相關的認知功能的機器或計算機,如學習和解決問題。人工智能是計算機科學的一個分支,它感知其環境並採取行動,最大限度地提高其成功機會。此外,人工智能能夠從過去的經驗中學習,做出合理的決策,並快速回應。因此,人工智能研究人員的科學目標是通過構建具有象徵意義的...
105 KB (12,290 words) - 05:16, 18 May 2025
科學哲學(英語:Philosophy of science)是哲學的一個分支,涉及科學的基礎、方法和影響。本領域的核心問題涉及什麼才算是科學、科學理論的可靠性以及科學的最終目的。這門學科與形而上學、本體論和認識論重疊,例如,當它探索科學與真理之間的關係時。科學哲學側重於科學的...
80 KB (9,954 words) - 02:29, 5 February 2025
流形假设 (category 计算机科学中未解決的問題)
机器学习实验具有可重复性,因此生成过程的统计表现为静态(stationarity) 理论神经科学家在研究自由能原理时精确地指出,有关的统计流形表现为马尔可夫毯。 未解決的计算机科学問題:既然全局编码是大型神经网络涌现出同步(synchronization)的必要条件,那么全局编码如何从局部编码中涌现的? Romain Brette的...
7 KB (885 words) - 05:24, 25 September 2024
数学家 (category 数学科学职业)
数学家是指一群對數學有深入了解的人士,并且將其知識運用於其工作上(特別是解決數學問題)。數學家專注於數、數據、邏輯、集合、結構 (數學)、空間、變化。專注於解決純數學(基础数学)領域以外的問題的數學家稱為應用數學家,他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題...
7 KB (1,011 words) - 11:07, 24 March 2023
問題的等級之一。NP完备是NP与NP困难問題的交集,是NP中最難的決定性問題,所有NP問題都可以在多項式時間內被歸約(reduce to)為NP完備問題。倘若任何NP完備問題得到多項式時間內的解法,則該解法就可應用在所有NP問題上,亦可證明NP問題等於P問題,然而目前為止並未發現任何能在多項式時間內解決NP完備問題的方法。...
15 KB (2,075 words) - 14:59, 13 December 2023
理查德·卡普 (category 美國計算機科學家)
的國際計算機科學研究所(英语:International Computer Science Institute)擔任研究科學家,目前他在那裡領導算法組。 卡普被授予美國國家科學獎章,並因其在計算複雜性方面的見解而獲得以色列理工學院的哈維獎和2004年班傑明·富蘭克林計算機和認知科學...
13 KB (1,034 words) - 07:43, 1 April 2024
量子计算机在輿論中有時被過度渲染成無所不能或速度快數億倍等,其實這種電腦是否強大,需要视問題而定。若該問題已經有提出速算的量子演算法,只是仍然存在困難或受限於傳統電腦無法執行,那量子计算机確實能達到前所未有的高速;若是沒有發明演算法的問題,則量子计算机表現與傳統计算机無異甚至更差。 隨著计算机科学的...
42 KB (4,746 words) - 09:06, 25 April 2025
通用人工智慧 (category 計算機科學中未解決的問題)
人们将对于计算机来说最困难的问题,非正式地称为“人工智慧完備(英语:AI-complete)”(AI-complete)或者“人工智能困难”(AI-hard)的,以此说明解决了这些计算性问题就相当于解决了人工智能的核心问题——让计算机和人类或者强人工智能一样聪明。 将一个问题称为“人工智能完备的”,意味着它不能被一个简单的特定算法解决。...
21 KB (3,218 words) - 17:37, 5 April 2025
整数分解 (category 計算機科學中未解決的問題)
的量子計算機第一個運行這個算法,它分解的數是15。 現在還不確切知道整數分解屬於哪個複雜度類。我們知道這個問題的判定問題形式(「請問N是否有一個比M小的因數?」)是在NP與反NP之中。因為不管是答案為是或不是,我們都可以用一個質因數以及該質因數的質數證明來驗證這個答案。由秀爾演算法可知,這個問題...
7 KB (1,038 words) - 00:50, 28 November 2024
sicom(日语:ビジコン)的计算器公司生產的,1972年惠普推出第一款掌上科學計算機HP-35。 電腦的程序可計算極為複雜的數學程式,這是一般计算器所無法相比的,不过现在也有一些功能较强大的计算器具有编程功能。 機械計算機 算盤 IEEE里程碑列表 전자계산기 계산기 electronic calculator...
8 KB (1,050 words) - 05:32, 13 March 2025
在计算机科学和信息科学中,本体是指对概念、数据和实体之间的类别、属性和关系的表示、命名和定义,这些概念、数据和实体构成了一个、大量或所有的论域。本体提供的是特定领域之中那些存在着的对象类型或概念及其属性和相互关系;或者说,本体就是一种特殊类型的术语集,具有结构化的特点,且更加适合于在计算机...
43 KB (4,739 words) - 03:01, 14 November 2024
多項式譜系 (category 计算机科学中未解決的問題)
_{k}^{\mathsf {P}}} 。特别的,如果 P = N P {\displaystyle {\mathsf {P}}={\mathsf {NP}}} ,那么多项式谱系将完全坍缩。 所有多项式层级的类别的并集为复杂度类PH。 未解決的计算机科学問題: P H = ? P S P A C E {\displaystyle...
11 KB (2,238 words) - 21:06, 12 January 2025
L (複雜度) (category 数学中未解決的問題)
未解決的数学問題:L = P成立吗? 未解決的数学問題:L = NL成立吗? L也稱為LSPACE或DLOGSPACE,是计算复杂度理论中能被确定型图灵机利用對數空间解决的判定问题集合。 对数空间是指与输入规模成对数大小关系的可写的储存空间,大多数对数空间(LOGSPACE)算法以这种方式储存。...
7 KB (1,094 words) - 00:27, 8 January 2024
排序算法 (category 有未列明来源语句的条目)
的輸出結果。基本上,排序算法的輸出必須遵守下列兩個原則: 輸出結果為遞增序列(遞增是針對所需的排序順序而言) 輸出結果是原輸入的一種排列、或是重組 雖然排序算法是一個簡單的問題,但是從計算機科學發展以來,在此問題上已經有大量的...
10 KB (1,212 words) - 21:08, 4 June 2024
乘法算法 (category 計算機科學中未解決的問題)
的複數乘法,其中二個加法(d−c和c+d)可以事先計算,需要即時計算只剩三個乘法以及三個加法。不過若是配合有浮点运算器的處理器,加法的速度和乘法相當,因此減少乘法,增加加減法的演算法,沒有速度上的優勢。 未解決的計算機科學問題:針對二個 n {\displaystyle n} 位數數字的乘法,哪個乘法演算法的速度最快?...
34 KB (4,359 words) - 16:06, 9 January 2024
哥德尔奖 (category 理論計算機科學)
Prize)是一個頒發給理論計算機科學領域傑出論文的年度獎項,由歐洲理論計算機科學協會(英语:European Association for Theoretical Computer Science)(EATCS)和美國計算機協會算法和計算理論特別興趣小組(計算機協會算法和計算理論特別興趣小組(英语:ACM...
33 KB (2,214 words) - 12:51, 18 March 2023
小算盤 (Windows) (category 有未列明来源语句的条目)
10取消Win32版的應用(不過只有企業版LTSB保留)。在Windows 10秋季更新加入了貨幣轉換功能。2019年3月6日,微軟根據MIT許可證在GitHub上發布了小算盤的原始碼。 小算盤程式有一個較簡單的人机界面,它的體積很小,但功能上就可以與大部分的四則計算機或科學計算機...
7 KB (922 words) - 15:33, 1 September 2024
數學獎通常和其他科學的獎項分開。數學上最有名的獎為菲爾茲獎,創立於1936年,每四年頒獎一次。它通常被認為是數學領域的諾貝爾獎。另一個國際上主要的獎項為阿貝爾獎,創立於2003年。兩者都頒獎於特定的工作主題,包括數學新領域的創新或已成熟領域中未解決問題的解答。著名的23個問題,稱為希爾伯特的23個問題...
46 KB (5,441 words) - 10:19, 5 April 2025
葉丙成 (category 本地有相关图片而维基数据未添加)
葉丙成(英語:Ping-Cheng Yeh,1973年12月27日—,英文名Benson)是臺灣電機工程學家、教育家、政治人物。國立臺灣大學數學系畢業、美國密西根大學電機暨計算機科學系博士,創辦線上遊戲學習平台PaGamO、實驗教育機構BTS無界塾創辦人、Podcast《不良大叔》主持人之一。現任國立臺灣大學電機工程學系教授...
14 KB (1,179 words) - 16:25, 27 May 2025
运算科学,又称科学运算,是一个与数学模型构建、定量分析方法以及利用计算机来分析和解决科学问题相关的研究领域。在实际应用中,运算科学主要应用於:对各个科学学科中的问题,进行计算机模拟和其他形式的运算。 这一领域不同於计算机科学(对於运算、计算机以及信息处理的研究),同时也异於科学和工程学的...
9 KB (998 words) - 23:36, 30 May 2023
在计算机科学中,租约授予其持有者在一定期限内对某些资源的特定权利。由于它是有时间限制的,因此租用是资源序列化锁的替代方法。 传统的资源上的锁一直都处于持有状态,直到锁定它的进程显式释放它为止。 可能无法释放锁的原因包括: 客户端在释放资源之前失效 客户端在尝试分配其他资源时陷入僵局 客户被阻止或延迟了不合理的时间...
3 KB (399 words) - 02:22, 5 December 2023
pattern)是對軟體設計中普遍存在(反覆出現)的各種問題,所提出的解決方案。這個術語是由埃里希·伽瑪(Erich Gamma)等人在1990年代從建筑设计領域引入到計算機科學的。 設計模式並不直接用來完成程式碼的編寫,而是描述在各種不同情況下,要怎麼解決問題的一種方案。面向对象設計模式通常以類別或物件來描述其中的...
15 KB (1,096 words) - 10:35, 17 November 2023