• 这个文章是在计算机科学有待解决问题列表。当该领域专家认为某些问题解决,或当该领域中几位专家不同意有关解决问题办法时,这些计算机科学问题就被认为是解决。 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完全 (redirect from NPC问题)
    問題等級之一。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
  • 数学 (redirect from 数学科学)
    數學獎通常和其他科學的獎項分開。數學上最有名獎為菲爾茲獎,創立於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