У меня возник вопрос. Требуется найти наибольшее по мощности множество
и не существует i ≠ j таких, что
.
Предположительно нужно взять все множества, где
элементов. Но доказать это у меня не получилось. Где можно почитать об этом?
У меня возник вопрос. Требуется найти наибольшее по мощности множество
и не существует i ≠ j таких, что
.
Предположительно нужно взять все множества, где
элементов. Но доказать это у меня не получилось. Где можно почитать об этом?
| # | User | Rating |
|---|---|---|
| 1 | Benq | 3792 |
| 2 | VivaciousAubergine | 3647 |
| 3 | Kevin114514 | 3603 |
| 4 | jiangly | 3583 |
| 5 | turmax | 3559 |
| 6 | tourist | 3541 |
| 7 | strapple | 3515 |
| 8 | ksun48 | 3461 |
| 9 | dXqwq | 3436 |
| 10 | Otomachi_Una | 3413 |
| # | User | Contrib. |
|---|---|---|
| 1 | Qingyu | 157 |
| 2 | adamant | 153 |
| 3 | Um_nik | 147 |
| 3 | Proof_by_QED | 147 |
| 5 | Dominater069 | 145 |
| 6 | errorgorn | 142 |
| 7 | cry | 139 |
| 8 | YuukiS | 135 |
| 9 | TheScrasse | 134 |
| 10 | chromate00 | 133 |
| Name |
|---|



http://en.wikipedia.org/wiki/Dilworth%27s_theorem
Еще точнее: http://en.wikipedia.org/wiki/Sperner%27s_theorem
http://en.wikipedia.org/wiki/Sperner_family