Set intersection oracle とは

セット交差点オラクル(SIO)は、集合の集合を表すデータ構造であり、与えられた2つの集合の集合交点が空でないかどうかについての質問に迅速に応答することができる。
問題への入力はn個の有限集合である。すべての集合のサイズの合計はNである(N個の異なる要素があることも意味する)。 SIOは以下の形式の質問にすばやく答える必要があります。
「セットSiはセットSkと交差しますか?