最小不动点

✍ dations ◷ 2025-01-10 16:52:05 #不动点

在数学分支序理论中,函数的最小不动点是按照某种偏序小于等于其他不动点的不动点。

例如,如下实函数的最小不动点

是在实数的通常次序上的 = 0。有很多不动点定理生成定位最小不动点的算法。最小不动点通常有着合意的性质,是任意的不动点所没有的。

在数理逻辑中,最小不动点常与做递归定义有关。这导致了描述复杂性的结果,复杂性类 P(在多项式数量的计算时间内可计算的所有问题)精确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。

相关

  • 普什图人普什图人(Pax̌tānə),也译作帕坦人、普赫屯人,是居于南亚的一个民族,西方归入伊朗人(雅利安人)的一个分支。为阿富汗第一大民族和巴基斯坦第二大民族。普什图族部落和氏族的数量
  • 法国内政部 政治主题法国内政部(法语:Ministre de l'Intérieur,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Un
  • 中国植物物种信息数据库中国植物物种信息数据库(英语:China Plants Database),或作中国植物名称数据库(Chinese Plant Names Index,缩写作CPNI:401-402),是中华人民共和国一个由中国科学院昆明植物研究所、
  • 228省道 (浙江)S228省道又称云寿线,是中国浙江省省道之一,原编号52省道。S228省道路线的起点是云和县云和镇,与S328省道相接,至泰顺县城罗阳镇与福建省S202省道相接,通向寿宁县,故又称云寿线,是
  • 勃固省勃固省 (缅甸语:ပဲခူးတိုင်းဒေသကြီး)是缅甸的一个省,位于该国中南部平原。面积39,404平方公里。人口5,014,000人。首府勃固。下分四县。
  • 中国自驾游联盟中国自驾游联盟(英语:Road Trip Alliance,简称RTA)总部位于上海,是由中国的自驾游爱好者、组织者、旅游机构、媒体共同发起成立的非营利的民间性机构。2007年8月7日,中国自驾游联
  • 青春6人行《青春6人行》(英语:Six Friends)是2001年台湾华视情境喜剧电视剧,由马功伟执导,由周群达、柳翰雅、陈建州、李威、吴姵文、徐熙娣主演。大S(徐熙媛)的妹妹小S(徐熙娣)瞒着老爸把房子
  • 不来梅 (消歧义)不来梅可能是:
  • 花葶矿沼泽蜥蜴人花葶矿沼泽蜥蜴人(英语:Lizard Man of Scape Ore Swamp)据称是栖息于美国南卡罗来纳州李县沼泽地以及沼泽附近城镇下水道中的爬虫类神秘动物。蜥蜴人通常被描述为7英尺(2.1米)高,
  • 海啸注意警报海啸注意警报(日语:津波注意報)是日本气象厅预测将由地震引发高达0.2米以上的海啸时,所发布的海啸注意警报·警报信息之一。在气象厅发布的海啸注意警报·警报体系中,另有海啸警