言語のメンバーシップを決定しようとする非決定性マシンには、メンバーシップを証明するヒント(「証人」または「証明書」と呼ばれる)が表示されます(言語外の要素にはそのような証人は提供されません。定義は非対称です)。
したがって、非決定論的アルゴリズムがO(f(n))時間の問題を解決できる場合、これは証明書の長さがf(n)であることを意味しますか?そして、入力サイズはn?
また、O(f(n))時間で証明書を検証できるアルゴリズムAが存在する場合、これは、O(f(n))時間で問題を解決できる非決定論的アルゴリズムの存在をどのように意味しますか?