抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ここでは,k-DNF分解能に関する2つの結果を示した。最初に,サイズkのパリティで拡張された分解能における指数関数的長さの避難を必要とするCNF公式が存在するが,k-DNF分解能における多項式長の避難を有することを証明した。次に,木のようなk-DNF分解能における小さな証明とdag様分解能における狭い証明は,CNFs上で同じ証明力を有することを示した。この後者の結果は,Krajicek(1994)において明らかに陰的であるが,この直接証明は分解能に焦点を合わせ,避難幅に関する情報を提供する。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】