蓝柏格定理,又称为蓝柏格-斯特劳斯定理,是一个计算确定性有限自动机(DFA)状态数的定理。这个定理由美国计算机科学家理查德·蓝柏格(Richard E. G. Lempel)和雅克·斯特劳斯(Jacques Winternitz)在1976年提出。 蓝柏格定理的表述如下:任意一种确定性有限自动机都可以被一个状态数不超过等价类数的最小的完备化DFA等...
斯特劳斯定理是个什么鬼 久到我们的确是 国家队 11 楼主有奥赛经典吗?小尾巴:为什么我卖萌代替滑稽呢?据说这样回复,别人会认为我是聂子佩 久到我们的确是 国家队 11 楼主等我发证明 久到我们的确是 国家队 11 哎呀哎呀又忘了小尾巴:为什么我卖萌代替滑稽呢?据说这样回复,别人会认为我是聂子佩 爱笑...
应该就是斯台沃特定理的另一种译法
约翰逊-林登斯特劳斯定理是不能被本质性地改进的[10],即:给定任意正整数m{\displaystyle m} 和误差参数ϵ{\displaystyle \epsilon } ,存在某个N{\displaystyle N} 以及RN{\displaystyle \mathbb {R} ^{N}} 中的m{\displaystyle m} 个点,这个点集“难以降维”——也就是说,对任何一个满足“基本保持点距...
斯台沃特定理的第四种译名
就是Stewart定理，应该是译名过于奇葩。。。