说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 变元改名
1)  variable renaming
变元改名
1.
We investigate the complexity of deciding whether for prepositional CNF formulas F and H there exists a variable renaming or a literal renamingφsuch thatφ(F) = H.
对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI。
2)  array name argument
数组名变元
3)  dummy argument name
哑自变量名;哑变元名
4)  name alternation of taxon
类元名称变动
5)  subprogram dummy argument name
子程序哑变元名
6)  change of element state
单元状态改变
补充资料:个体变元


个体变元
individual variable

  个体变元[加‘帕面目怕血旋;,朋,a。皿翻。e一eMe.翻],对象变元(。坛时~ble) 形式语言(fon刀目lar卿坦罗)中的一种符号,用来表示由这种语言所描述的结构中的任意一个元素.每一种形式语言中都含有一类或几类个体变元,每一类个体变元都有无穷多个.例如,向量空间理论的语言中有两类个体变元,一类表示向量,一类表示标量,而算术理论的语言中只有一类变元,表示非负整数. C .K .Co6o朋B撰【补注】参见个体常且(indi访dual cons加叮t).沈复兴译
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条