支配

✍ dations ◷ 2025-04-03 17:07:01 #图论

在计算机科学中,控制流图的一个节点 d 支配节点 n,当且仅当从开始节点(可以理解为源)到节点 n的每一条路径均要经过节点d,写作d dom n (一写作d {\displaystyle \gg } n)。根据上述定义,容易得到每个节点均控制其自身。

一些相关概念:

一般而言,我们会使用 Tarjan 算法在 O ( | V | + | E | ) {\displaystyle O(|V|+|E|)} 的时间内将其求出

首先来介绍一些这个算法的大概步骤

我们用 idom 表示点 x {\displaystyle x} 的最近支配点,用 semi 表示点 x {\displaystyle x} 的半必经点。

那什么是半必经点呢?

对于一个节点                     Y              {\displaystyle Y}  ,存在某个点                     X              {\displaystyle X}  能够通过一系列点                               p                      i                                {\displaystyle p_{i}}  (不包含                     X              {\displaystyle X}                      Y              {\displaystyle Y}  )到达点                     Y              {\displaystyle Y}  且                             i                 d        f        n                >        d        f        n                      {\displaystyle \forall i\ dfn>dfn}  ,我们就称                     X              {\displaystyle X}                      Y              {\displaystyle Y}  的半必经点,记做 semi=X

当然一个点的“半必经点” X {\displaystyle X} 会有多个,而且这些半必经点一定是搜索树中点 X {\displaystyle X} 的祖先。

对于每个点,我们只需要保存其半必经点中最小的一个,下文中用表示点的半必经点中值最小的点的编号。

我们可以更书面一点的描述这个定理:

计算机科学中支配的概念第一次被提出是在Reese T. Prosser在1959年一篇关于流网络的论文中提出的 而在此论文中,Prosser并未提出一种有效算法以计算支配关系,解决这一问题的有效算法直到十年后才被 Edward S. Lowry and C. W. Medlock 提出。Ron Cytron等人在1989年将其应用于高效计算应用于静态单赋值形式的φ 函数时对其重新燃起了兴趣。

4.https://blog.csdn.net/a710128/article/details/49913553

相关

  • 脑疝疝(Hernia),俗称疝气,其最初的意义是“腹痛”,但后世多特指“少腹坠痛”的狐疝,相当于现代医学的“腹股沟疝”。医学上的疝气指的是器官,例如肠子,经由腔室的孔道离开原先的位置。有
  • Crick, F. H. C.弗朗西斯·哈利·康普顿·克里克,OM,FRS(英语:Francis Harry Compton Crick,1916年6月8日-2004年7月28日),英国生物学家、物理学家及神经科学家。他最重要的成就是1953年在剑桥大学
  • 刺柏欧刺柏(学名:Juniperus communis)是一种小灌木,是柏科刺柏属的植物。分布于欧洲、北非、北美以及中国大陆的南京、上海、青岛、杭州等地,目前已由人工引种栽培。和亚洲的桧树亲缘
  • 麝香麝香(别名:寸香、原寸、香脐子、当门子;拉丁名:Moschus)为脊索动物门哺乳纲麝科动物,如林麝(Moschus berezovskii)、马麝(Moschus sifanicus)或原麝(Moschus moschiferus)等成熟雄体位于
  • 开普勒定律开普勒定律是由德国天文、数学家约翰尼斯·开普勒所发现、关于行星运动的定律。他于1609年在他出版的《新天文学》科学杂志上发表了关于行星运动的两条定律,又于1618年,发现了
  • 福建省截至2019年,中华民国福建省法理上辖有两个二级行政区,全数为县,分别为金门县和连江县。其中,前者是中华民国福建省最大、人口数最多、人口密度最大和下辖三级行政区数最多的二级
  • 太宗文皇帝后金第2位大汗清朝第1位皇帝皇太极(满语:ᡥᠣᠩ ᡨᠠᡳᠵᡳ,转写:Hong Taiji,1592年11月28日-1643年9月21日),爱新觉罗氏,是后金的第二位大汗(1626年10月20日-1636年5月15日在位)和清朝
  • 塔斯卡卢萨塔斯卡卢萨(英语:Tuscaloosa)位于美国亚拉巴马州西部,是塔斯卡卢萨县的县治所在,面积172.8平方公里。其中文名称有多种译法,大陆译为“塔斯卡卢萨”,台译“图卢沙”,简译“塔城”。
  • 2006年5月爪哇地震2006年日惹地震发生在2006年5月27日印尼当地时间5时54分(格林尼治标准时间26日22时54分),震中位于爪哇岛南部日惹市南方的印度洋中,震级为6.3级。大约5百万人居住在离震中50千米
  • 钠冷快中子反应堆钠冷快中子反应堆(英语:Sodium-cooled Fast Reactor,缩写:SFR),是一种快中子增殖反应堆,以液态钠做为冷却剂。位于美国爱达荷州、全世界第一座可发电的反应堆EBR-I即使用液态钠钾合