準線形非決定性空間で既知のNP完全(またはNP中間)問題はありますか?


9

D S P A C E n )に含まれていることがわかっているNP完全問題(S U B S E T S U Mなど)があります。準線形空間についてはどうですか?SATSUBSETSUMDSPACE(n)

準線形非決定性空間で既知のNP完全(またはNP中間)問題はありますか?

回答:


14

多くのNP完全問題の平面バージョンは、いくつかのq < 1のに属しますNTISP(n,nq)q<1

たとえば、P。ChapdelaineおよびE. Grandjean(2006)による「非決定性線形時間および亜線形空間複雑度クラスの下限と完全な問題」を参照してください。


ありがとうございました!多対数空間について何か考えがありますか?
Abuzer Yakaryilmaz

14

問題はそのようなバージョンを持っています、ただそれをPADしてください!たとえば、長さmの後にm ^ 2 0が続く真の3CNFで構成される言語は、DSPACE(sqrt(n))にあります。


ありがとうございました!多対数空間について何か考えがありますか?
Abuzer Yakaryilmaz

1
2n

2
@Sasho:その後、問題はNP完全ではなくなります。PADを実行できるのは、ゼロの数だけです。
domotorp

1
2polylog

@domotorp:はい、そうです!ありがとうございました!
Abuzer Yakaryilmaz

11

NPO(logn)NPNPLMxLyM(x,y)xyMx,yMxLyM(x,y)

NP=NLNP=PNL


DSPACE(2n)IP(1)

1
NPNP

4
NSPACEoff-line(log)NP=NSPACEoff-line(log)NL=NSPACEon-line(log)
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.