finding all regex matches has always been O(n²). even in the engines built to prevent it | ian erik varatalu全ての正規表現の照合は、単一照合でさえ線形時間を保証するエンジンでも、多数の一致を列挙する場合に二次的な時間計算量 O(n²) に陥ってしまうという、1970 年代から存在する未解決の問題について解説されています。

• 全ての正規表現の照合は、単一照合でさえ線形時間を保証するエンジンでも、多数の一致を列挙する場合に二次的な時間計算量 O(n²) に陥ってしまうという、1970 年代から存在する未解決の問題について解説されています。
• Aho-Corasick アルゴリズムによる固定文字列照合や Hyperscan の「最早期一致」セマンティクスなど、既存の回避策はそれぞれ制限があり、一般的なユーザーの期待とする左側長一致を維持しつつも完全に線形化するのが不可能であったことが指摘されました。
• 著者 RE# エンジンの開発を通じて、2 つのパスを行う新たな手法で任意のパターンと入論に対して常に二次計算量を超えずに一致を検出可能であることを示し、ログ解析や大規模ファイル検索における重大な性能課題に対し解決策を提供しました。

検索処理における暗黙的な時間計算量の爆発増大は、システムを無効化し、セキュリティ上の深刻な影響を与える ReDoS アタックの根本原因となっており、技術者にとって重大な問題です。