抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
加算による整数に対する一次論理を考察した。この論理は,モジュロカウント,閾値計数,および厳密計数量子化器によって古典的一次論理を拡張し,変数(ここでは,係数および閾値が明示的に与えられる)のタプルに適用した。著者らの主な結果は,この論理に対する満足が2倍指数空間で決定可能であることを示した。閾値および厳密計数量子化器のみを許容するならば,線形に多くの交替を持つ交互2倍指数時間の上限を証明した。この後者の結果は,量子化器を計数することなく一次論理のBermanの厳密な複雑性にほぼ整合する。これらの結果を得るために,まず,多項式時間における古典的一次論理(第2の結果を証明する)に閾値および厳密計数量子化器を変換する。タプルに対する残りのモジュロカウント量子化器を処理するために,まず,単一要素に対する量子化器を修正するために二重指数時間においてそれらを縮小する。これらの量子化器に対して,一次論理に対するReddyおよびLovelandの手順と同様の量子化器除去手順を提供し,この過程に現れる係数,定数および弾性率の成長を解析した。このようにして得られた限界は,上記の最初の結果を意味する有界サイズの整数に対する元の公式における定量化を制限することを可能にした。この論理は,2022年にChistikovらによって考慮された論理とは比較できない。それらは,量子化器におけるより一般的な計数操作を可能にするが,しかし,非ary量子化器のみである。例えば,H”artig量子化器の非ユニナリーバージョンは,不可解な理論をもたらすので,非ユニタから非ユニナリー量子化器への移動は自明でない。【JST・京大機械翻訳】