TP完成問題の原子的観点【JST・京大機械翻訳】

Carter Daniel; Johnson Charles

プレプリント

J-GLOBAL ID：202202208224798118 整理番号：22P0301134

TP完成問題の原子的観点【JST・京大機械翻訳】

An Atomic Viewpoint of the TP Completion Problem

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2022年03月08日プレプリントサーバーでの情報更新日： 2022年10月22日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

著者らは,与えられたパターンがTPコンプレッサブルまたはTP非コンプレッサブルであるかどうかを決定できるように,触媒および阻害と呼ばれる2つの相補的技術を提示する。経験的に,これらの技法は,大多数の事例で時間において1つの非特定入力のみを考慮することを必要とし,これらの技術を自動化のために成熟させ,TP完了問題における将来の研究のための強力なフレームワークを作った。小さな修正で,これらの技術はTN完了問題にも適用可能である。2つの主要な応用を提供した。第1に,著者らは,計算可能性によってすべての4つの4つのパターンを特徴づける。このサイズの合計78の新しい閉塞があり,すべてのn組合せに対して3からnケースの6倍である。第2に,著者らは,単一非特定入力によるパターンの特性化として,TNケースにおけるいわゆる1変数閉塞の特性評価を提供した。また,これは,すべてのTN-計算可能なパターンがTP-完了できるという予測を証明するための新しい部分的結果を提供する。【JST・京大機械翻訳】

, ,

ネットワーク法 , 数値計算

, , ,

前のページに戻る