Pの捕捉：ブール検索の表現能力と効率的な評価について

要約

現代の情報検索が直面する複雑な論理要件に対し、従来の検索エンジンでは効率性と表現力の両立が困難でした。本論文は、多項式時間特性を直接評価できる検索言語 $\mathcal{L}_R$ を定義し、計算量クラス $\mathbf{P}$ を捉えることを証明しました。

全文は有料プランで閲覧できます。