Menemukan sampul minimal subset dari produk kartesius terbatas oleh produk kartesius

Diberikan subset dari produk kartesius dari dua set yang terbatas, saya ingin menemukan penutup minimal dengan set yang merupakan produk kartesius itu sendiri. $I \times J$

Misalnya, mengingat produk antara dan , saya dapat mengamati subset dan coba untuk menutupinya dengan jumlah minimal produk kartesius. $I=\{A,B,C\}$ $J=\{1,2,3\}$ $\{(A,2), (B,3), (B,2)\}$

Dua cara untuk melakukannya adalah dan , keduanya membutuhkan 2 produk. Solusi yang kurang optimal mungkin memecahnya menjadi 3 produk sepele. $\{A\} \times \{2\} + B \times \{2,3\}$ $\{A,B\}\times \{2\} + \{B\}\times \{3\}$

Dapatkah penutup optimal semacam itu ditemukan secara efisien (misalnya dalam waktu polinomial)?

algorithms set-cover

— yuvalm2
sumber

mengingatkan saya pada masalah ini, "factoring cartesian join of vektor bit" (cstheory.SE, diucapkan jauh berbeda) yang memiliki koneksi ke teori rangkaian batas bawah. konteks apa masalah Anda muncul?

— vzn

Konteks saya adalah keamanan jaringan. Dalam jaringan besar dengan banyak server, kebijakan keamanan menentukan mana yang dapat digunakan untuk berbicara. Jika kebijakan semacam itu dibangun secara bertahap dalam jangka waktu yang lama, (seperti biasanya), uraian kebijakan keamanan dapat disederhanakan dengan menggabungkan aturan keamanan bersama. Saya ingin menemukan penyederhanaan yang optimal.

— yuvalm2

Apakah hanya jumlah produk yang ingin diperkecil? Jika demikian, apa yang salah dengan menggunakan sebagai sampul Anda? Itu akan mencakup semua yang ada di subset Anda (dan beberapa lagi). Apakah Anda memiliki persyaratan bahwa solusinya tidak hanya mencakup subset, tetapi juga harus menghindari menutupi apa pun di luar subset?

I \times J

$I \times J$

— DW

Juga, karena ini berasal dari aplikasi praktis (dan jadi Anda mungkin mencari solusi praktis), dapatkah Anda memberikan gambaran ukuran parameter yang khas? misalnya, ukuran khas,, dan bagian Anda, hingga dalam urutan besarnya atau lebih; atau rentang nilai tipikal? Ini mungkin membantu mengevaluasi teknik mana yang paling efektif. Saya teringat peta minimalisasi logika , DNF , dan Karnaugh .

| I |

$|I|$

| J |

$|J|$

— DW

Mungkin cara lain untuk merumuskan ini adalah sebagai berikut: Mengingat bipartit grafik menemukan sejumlah minimum geng bipartit (atau bi-klik-klik) yang mencakup . Setiap klik berhubungan dengan produk unik di ruang kartesian Anda.

G = (L, R, E)

$G = (L, R, E)$

E

$E$

— Nicholas Mancuso

NM merumuskan kembali masalah ini dalam komentar sebagai menemukan jumlah minimum klik bipartit (bi-klik) yang mencakup grafik bipartit. dua set yang Anda sebutkan adalah 2 set simpul dari grafik bipartit. produk cartesian dari himpunan bagian dari dua set simpul adalah bikli. wikipedia menyatakan ini adalah masalah dimensi bipartit dan merupakan masalah GT18 di Garey dan Johnson , terbukti NP lengkap berdasarkan reformulasi langsung dari masalah dasar set SP7.

— vzn
sumber