布尔函数瞬态扩展求值复杂性的研究
计算复杂性
2010-08-11 v1 离散数学
摘要
瞬态代数是一种用于门电路险象检测的多值代数。由交替的0和1组成的序列（称为瞬态）表示信号值，门电路通过布尔函数到瞬态的扩展来建模。对于NOT、AND、OR和XOR门及其互补门，已知从输入瞬态计算输出瞬态的公式，但一般而言，即使判定输出瞬态长度是否超过给定界限的问题也是NP完全的。我们提出了一种评估一般布尔函数扩展的方法。我们引入并研究了一类具有以下性质的函数：无需在给定瞬态集上评估布尔函数的扩展，而是可以通过使用从给定瞬态导出的、长度至多为3的瞬态来获得相同的值。我们证明所有三变量函数以及某些其他函数都具有此性质，并且可以高效求值。
引用
@article{arxiv.1008.1666,
title = {On the Complexity of the Evaluation of Transient Extensions of Boolean Functions},
author = {Janusz Brzozowski and Baiyu Li and Yuli Ye},
journal= {arXiv preprint arXiv:1008.1666},
year = {2010}
}
备注
In Proceedings DCFS 2010, arXiv:1008.1270