1) bounded Ehrenfeucht-Frassé game
有界Ehrenfeucht-Frassé博弈
1.
In this paper, by using the bounded Ehrenfeucht-Frassé game, we demonstrate that the first-order theory of a complete binary tree can be decided within linear double exponential Turing time 22cn and Turing space 2cn (n is the length of input, c and d are suitable constants).
本文利用有界Ehrenfeucht-Frassé博弈研究完全二叉树的一阶理论,证明了此理论的时间计算复杂度上界为22cn,空间计算复杂度上界为2dn(其中n为输入长度,c,d为合适的常数)。
2) finite game
有限博弈
1.
In this paper, we try to introduce relative membership degree to express utility value, and apply it to a finite game.
对于这一类问题,文章尝试引入相对隶属度反映效用水平,并用于有限博
4) game with communication
有交流的博弈
补充资料：发光地寄色界无色界天乘
【发光地寄色界无色界天乘】
谓三地菩萨，明修八禅定行，同于色界四禅，无色界四空处，故云发光地寄色无色界天乘。（八禅定者，色界、无色界各四禅定也。四禅者，初禅、二禅、三禅、四禅也。四空者，即空处、识处、无所有处、非非想处也。）
谓三地菩萨，明修八禅定行，同于色界四禅，无色界四空处，故云发光地寄色无色界天乘。（八禅定者，色界、无色界各四禅定也。四禅者，初禅、二禅、三禅、四禅也。四空者，即空处、识处、无所有处、非非想处也。）
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条