最小不动点

✍ dations ◷ 2025-08-13 21:17:27 #不动点

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

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

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

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

相关

  • 犹他大学犹他大学(University of Utah),位于美国犹他州的盐湖城市,是一所综合性公立大学,由耶稣基督后期圣徒教会领袖杨百翰于1850年建立。作为该州的旗舰大学,它提供100多个本科专业和92
  • 11号染色体11号染色体是人类23对染色体中的一对,正常人拥有2条11号染色体。11号染色体缠绕了约1.345亿碱基对(构筑DNA的材料),并包含了人类细胞中4~4.5%的DNA。这是人类基因组中包含最多控
  • 三星电子北美洲总部: 美国新泽西州博根县 美国加利福尼亚州圣荷西南美洲总部: 巴西圣保罗欧洲总部: 英国伦敦市 德国埃施博恩CIS地区总部: 俄罗斯莫斯科大中华地区总部: 中华人民
  • 小雨蛙Microhyla eremita Barbour, 1920小雨蛙(学名:Microhyla fissipes)为姬蛙科姬蛙属的两栖动物,分布范围从中国南部和中部到马来半岛和台湾. 以往与南亚的饰纹姬蛙(Microhyla ornat
  • 北密歇根北密歇根州大学(Northern Michigan University,缩写:NMU)是位于美国密歇根州马凯特的一所公立大学。成立于1899年。2015年《美国新闻与世界报道》在“中西部地区大学”排名中将
  • 邱欣怡邱欣怡(1997年1月11日-),出生于台湾台北市,籍贯台湾新竹,新竹客家人,是中国大陆偶像团体SNH48的成员,所属队伍是Team SII。她于2012年10月14日SNH48第一期成员发表记者会中披露,成为S
  • 六氟磷酸铵六氟磷酸铵又称氟磷酸铵,分子式NH4,是一种白色的无机化合物。它溶于水、甲醇、乙醇和丙酮,加热会分解,由氟化铵与五氯化磷反应生成六氟磷酸铵。
  • 最萌大赛最萌大赛是于互联网上举办的相关竞赛形式人气投票活动之总称。略称为最萌或萌战,但并不一定局限于使用“最萌”这个称呼。自2001年起,以2ch为中心所举办。另亦有于internation
  • 袁宗第袁宗第(盛年1631年-1663年),字汉举,大顺重要将领,李自成死后继续抗清。骁勇善战,惯用十二斤铁鞭。崇祯四年(1631年)四月,袁宗第随李自成参加农民起义。早期活动不详。崇祯十六年(1643
  • 皮奥特尔·奥扎罗夫斯基皮奥特尔·奥扎罗夫斯基(Piotr Ożarowski,1725年-1794年5月9日)是一位波兰贵族(施拉赤塔),政治人物和军事指挥官。是声名狼藉的塔戈维查联盟成员,官至王冠领地大军事指挥官和沃伊尼