NP困難な問題の平均時解析