2つのリストl1とl2については、すべてのe1∈l1、∃p（e1、e2）に対してチェックするにはどうすればよいでしょう？ここで、e2はl2の要素です。

Question

それは最高のタイトルだったかどうかわかりませんが、私は2つのpythonリストを持っています。 L1とL2の両方がタイプTのエレメントを持ち、同じ長さを持たない。

私はL1のすべての要素Eのことをチェックしたい型T.

の二つの要素についてのプロパティをチェックする述語である関数P（T、T）、P（E、Eを有しています'）が成り立つ。ここで、e'はL2のSOME要素である。基本的にL1の各要素については、2番目のリストに行き、述語が要素のいずれかに当てはまるかどうかを確認します。しかし、私はまた、他のリストについても同じことをチェックしたいと思っています。

p（T、T）は対称です。したがって、p（e、e '）ならばp（e'、e）。私はその対称性のために同じことを二度したくない。私は何とかp（e、e '）を見ればp（e'、e）を知っていて、2番目のリストをもう一度チェックする必要はないことを記録する必要があります。

これをPythonで行う最良の方法は何ですか？私は、e2が他のリストのメンバーである場合、p（e1、e2）が成立するかどうかをそれぞれのリストの各要素e1に別のフィールドを持つことを考えました。しかし、私はこれらのリストを両方ともコピーする必要があると思うので、私はそれを変更しません。これを行う良い方法はありますか？

Answer 1

pが本質的に役に立たないという事実は、本質的に役に立たない。 p(e, e')がわかっている場合、p(e', e)が保持されていますが、eとe'の両方が両方のリストにない場合、2回ではなく1回だけ述語評価を利用できます。リストに重複が多い場合でも、対称性を悪用しようとするよりも、pの評価を繰り返す方が効率的です。

チェックを行う最良の方法は、おそらくデータを再編成し、eの構造を利用してより効率的なアルゴリズムを見つけることですが、これまでの情報では解決できませんそれと。私が提案することができる最高は力ずくである：

def check(p, l1, l2): 
    for a in l1: 
     if not any(p(a, b) for b in l2): 
      return False 
    return True 

Answer 2

私はちょうどリストごとに辞書を作成します（dict1とdict2することができる）、そしてあなたが最初のリストを反復処理するとき、あなたはdict1[e] = e'とdict2[e'] = eの両方を設定します。次に、L2を反復するときは、最初に現在のeがdict2でないことを確認してください。 eの値が重複している場合は、L1の最初の反復にこのチェックを追加することもできます。私の電話にこれを書いてほしいと思っています。