>>351
FNP と Complexity で Google 検索してトップに出る英語版の
Wikipedia にはちゃんと FNP の定義が書いてあるんだけどな．　

インフォーマルには NP のチューリングマシンを用いた定義で，出力として
Yes/No 以外も許したもののことだと思っておけばよい．

ハミルトン閉路（判定問題）が NP に属することの証明は次のように行う：
　適当に始点を選び「今いる頂点から移動できるまだ訪れていない頂点に
　非決定的に移動する」という操作を繰り返す．n ステップ後に始点に
　帰ってこれればハミルトン閉路が存在する．以上の手続きで，非決定的
　チューリングマシンで O(n) で解けるため，この問題は NP に属する．

この証明で，移動するところで頂点の履歴を覚えておき，始点に帰ってきた
ときに覚えたものを表示すればいいだけなので FNP は自明．