1
Kompleksitas memutuskan apakah keluarga adalah keluarga Sperner
Kita diberi keluarga dari himpunan bagian dari {1, ..., n}. Apakah mungkin untuk menemukan batas bawah non-sepele pada kompleksitas memutuskan apakah adalah keluarga Sperner? Batas bawah sepele adalah dan saya sangat curiga bahwa itu tidak ketat. mFF\mathcal{F}mmmFF\mathcal{F}O(nm)O(nm)O(n m) Ingatlah bahwa himpunan adalah keluarga Sperner jika untuk dan di ; menyiratkan …