抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
最初に,著者らは,「自然証明」が,Boole複雑性を用いてPot=NPを証明するための障壁でないという理由を与えた。次に,NPにおける適切なBoole関数の非単調複雑性に対する超多項式下限を証明し,これがなぜ可能でないかを理解するために,その拡張に対する近似法を検討した。近似法だけでは,任意の関数f∈B_nに対する超線形下限を証明できないといういくつかの証拠を与えた。さらに,非単調の下限とBoole関数の単調複雑性を証明する方法に関する概観を与えた。最後に,P対NP問題に関する研究をいかに進めるか,またNPにおけるBoole関数の非単調複雑性に対する超線形下限を証明できる個人意見を与えた。【JST・京大機械翻訳】