>>352
こんな問題を考えてみた

n次元上に存在する格子状立方体、1辺上に存在する点は10(全点数は10^n)
障害物は存在しない
ハミルトン路を求める

この時、存在判定は常にyesなのでO(1)つまりPかつNP
一方、経路を求めるために352の非決定的チューリングマシンを使うとO(10^n)つまりFNPに属さない


どうだろう?