検索結果- 英語 - 英語

検索内容:

Knuth-Bendix completion algorithm

固有名詞
日本語の意味
(計算理論)項の集合に対する一群の方程式を、縮約性(コンフルエント性)を持つ項書き換え系へと変換するための、半決定的アルゴリズム
このボタンはなに?

大学院生たちは、項に関する方程式の集合を合流性のある項書換系に変換するための準決定アルゴリズムを実装し、それによって定理証明器を最適化した。

Knuth-Morris-Pratt algorithm

固有名詞
日本語の意味
Knuth-Morris-Prattアルゴリズムは、文字列探索において、あるテキスト内から指定されたパターン文字列の出現箇所を効率的に検索する線形時間アルゴリズムです。 / このアルゴリズムは、不一致が生じた場合にパターン文字列自体の情報を利用して次の比較位置を決定することで、検査する候補箇所の数を削減し、効率的な文字列探索を実現します。
このボタンはなに?

アルゴリズムの授業で、長いテキスト中のパターンのすべての出現を効率よく見つけるために、パターン自身の情報を使って不可能な一致位置を飛ばす線形時間の文字列検索アルゴリズムを実装しました。

関連語
Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★