Posts

Showing posts from December 21, 2018

算法

Image
本条目 需要編修,以確保文法、用詞、语气、格式、標點等使用恰当。 請按照校對指引,幫助编辑這個條目。(幫助、討論) 应对灯泡不亮的简单算法流程图 算法 ( algorithm ),在數學(算學)和電腦科學之中,為任何良定义的具體計算步驟的一个序列 [1] ,常用於計算、 數據處理 ( 英语 : Data processing ) 和自動推理。精確而言,算法是一個表示爲有限長 [2] 列表的 有效方法 ( 英语 : Effective method ) 。算法應包含清晰定義的指令 [3] 用於計算函數 [4] 。 算法中的指令描述的是一個計算,當其 執行 ( 英语 : Execution (computing) ) 時能從一個初始狀態和初始輸入(可能爲空)開始, [5] 經過一系列 有限 [6] 而清晰定義的狀態最終產生 輸出 [7] 並 停止 於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法,包含了一些隨機輸入。 [8] [9] 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题,並在其后尝试定义 有效可計算性 ( 英语 : Effective calculability ) [10] 或者 有效方法 ( 英语 : Effective method ) [11] 中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數,阿隆佐·邱奇於1936年提出的λ演算,1936年 埃米爾·萊昂·珀斯特 ( 英语 : Emil Leon Post ) 的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前,依然常有直覺想法難以定義爲形式化算法的情況。 [12] 目录 1 历史 2 特征 3 基本要素 3.1 常用设计模式 3.2 常用实现方法 4 形式化算法 5 复杂度 5.1 时间复杂度 5.2 空间复杂度 6 非確定性多項式時間(NP) 7 实现 8 範例 8.1 求最大值演算法 8.2 求最大公約數演算法 9 分类 10 註釋 11 参考文献 12 参见 13 外部链接 历史 算法在中国古代文献中称为“术”,最早出现在《周髀算經》、《九章算术》。特别是《九章算术》,给出四则运算、最大公约数、最小公倍数、开平方根、

幺半群

Image
群论 群 基本概念 子群  · 正规子群  · 商群 群同态 像  · (半)直积  · 直和 单群  · 有限群  · 无限群 拓扑群  · 群概形  · 循环群 冪零群  · 可解群 离散群 有限单群分类 循环群 Z n 交错群 A n 散在群 马蒂厄群 M 11..12 ,M 22..24 康威群 Co 1..3 扬科群 J 1..4 费歇尔群 F 22..24 子怪兽群 B 怪兽群 M 其他有限群 对称群, S n 二面体群, D n 无限群 整数, Z 模群, PSL(2, Z ) 和 SL(2, Z ) 连续群 李群 一般线性群 GL(n) 特殊线性群 SL(n) 正交群 O(n) 特殊正交群 SO(n) 酉群 U(n) 特殊酉群 SU(n) 辛群 Sp(n) G 2 F 4 E 6 E 7 E 8 勞侖茲群 庞加莱群 无限维群 共形群 微分同胚群 环路群 量子群 O(∞) SU(∞) Sp(∞) 代数群 椭圆曲线 线性代数群 ( 英语 : Linear algebraic group ) 阿贝尔簇 ( 英语 : Abelian variety ) 查 论 编 在抽象代數此一數學分支中, 幺半群 ( 英语: monoid ,又稱為單群、亞群、具幺半群或四分之三群)是指一個帶有可結合二元運算和單位元的代數結構。 么半群在許多的數學分支中都會出現。在幾何學中,幺半群捉取了函數複合的概念;更確切地,此一概念是從範疇論中抽象出來的,之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎;在此,變換幺半群和語法幺半群被用來描述有限狀態自動機,而 跡幺半群 ( 英语 : Trace monoid ) 和 歷史幺半群 ( 英语 : History monoid ) 則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和 星高問題 ( 英语 : Star height problem ) 。 目录 1 定義 1.1 生成元和子幺半群 1.2 可交換幺半群 1.3 部分可交換幺半群 2 例子 3 性質 4 作用和算子幺半群 5 幺半群同態 6 幺半群同余和商幺半群 7 和範疇論的關係 8 参考文献 9 外部链接 定義 幺半群 是一個帶有二元運算 *: M × M