关于逆转公式的能力
作者
Currie,James D.
摩尔,卢卡斯
纳拉德(Rampersad)
日期
2018-02-13引用
James D. Currie,Lucas Mol和Narad Rampersad。“避免公式与逆转。”Rairo-理论信息学 /应用程序 / InformatiqueThéoriqueet Applications 51(4)(2017):181-189。doi:10.1051/ita/2017013。
抽象的
尽管不可避免的公式(无反转)的表征是众所周知的,但对于一般而言的逆转公式的避免性知之甚少。在本文中,我们表征了具有反转的不可避免的公式,这些公式最多具有两个单向变量(x是一个单向变量,如果x和x^r中的一个完全出现在φ中,则具有逆转φ的单向变量。