... 常数 d ,使得确定性的离线图灵机 M ,只用 dlogn 个工作带单元,就能实现上述归约 ... 定义,有 LOGSPACE CNLOGSPACE 。所以, NLOGSPACE = LOGSPACE 。( 2 )充分性:如果 ...
確定! 回上一頁