The Boolean formula value problem is in ALOGTIME
The Boolean formula value problem is in ALOGTIME
复制标题
布尔公式值问题在ALOGTIME中
DOI:
10.1145/28395.28409
复制
发表时间:
1987
期刊:
影响因子:
--
通讯作者:
S. Buss
中科院分区:
文献类型:
--
作者:
S. Buss
The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish notation Boolean formulas is also in alternating log time. These results are optimal since the Boolean formula value problem is complete for alternating log time under deterministic log time reductions. Consequently, it is also complete for alternating log time under AC 0 reductions.