Time complexity 具有{0,1}^n中一半字符串的NFA

如果有一个NFA M，它的语言L（M）是{0,1}*的子集，那么如何证明对于n>=0，确定L（M）在{0,1}^n中的字符串是否少于一半是NP难的。

首先，你必须确定你提出的问题是否确实是可解的

假设它确实可由NFA解，那么它肯定可由相应的图灵机（TM）解

设L（TM）=L（M）

然后，存在一个确定性图灵机，可以验证给定问题集的解决方案。因此，该问题是NP问题

根据你的问题，为了确定当n>=0时，L（M）在{0,1}^n中的字符串是否少于一半，这个问题是可判定的，并且可以简化为p类型

因此，我们可以通过采用一种算法来证明它是NP难的，这种算法可以将它转化为另一个在多项式时间内已经被证明是NP难的问题

缺少制定算法所需的数据