Изменения

Перейти к: навигация, поиск

Теория Рамсея

36 байт добавлено, 20:34, 6 января 2014
Числа Рамсея для раскрасок в несколько цветов
}}
Обобщение оказывается настолько естественным что по сути не добавляет нам ничего нового: полностью аналогично [[#t1|теореме]] и [[#ts1|следствию]] можно доказать следующие факты.
{{Теорема
|id=t3.
|statement=Пусть <tex>k,n_1,...,n_k \ge 2</tex> - натуральные числа. Тогда выполняются следующие утверждения:
<tex>1) r(k;n_1,...,n_k) \le r(k;n_1-1,n_2,...,n_k)+r(k;n_1,n_2-1,...,n_k)++r(k;n_1,n_2,...,n_k-1)-k+2</tex>
<tex>2)r(k;n_1,...,n_k) \le \frac{(n_1+n_2+...+n_k)!}{n_1!*n_2!*...*n_k!}</tex>
|proof=
1) Доказательстве полностью аналогично пункту 1 доказательства [[#t1|теоремы]]
Тесрема Ю.З2) Доказательство аналогично [[#ts1|следствию 1]]. Пусть kНужно лишь убедиться в очевидном неравенстве для случая,niкогда хотя бы одно из чисел <tex>n_1,... ,пк n_k</tex> 2 — натуральные числа. Тогда выполняются слесукьиье утвержееьья.равно 1)г (к; Hiлевая часть в этом случае равна 1,...а правая, пк) < г (к; щ - очевидно не меньше 1, те2,... пк) + г (к; теь те2 - 1и заметить,... пк)+что полиномиальные коэффициенты из очевидных комбинаторных соображений удовлетворяют соотношению:
<tex>\frac{(n_1+n_2+r(k;ni,n2,.. .пк — 1) - к+ 2. (ЮЗn_k)2)г!}{к;п1,n_1!*n_2!*...*n_k!}=\sum\limits_{i = 1}^k\frac{(n_1+..,пк)<—j : г. +(10 n_i-1пр)+. • те2! пк\Доказательство. 1) Доказательстве полностью аналогично пункту 1 доказательства теоремы 1С.]2+n_k) Доказательство аналогично следстьик 1С.1 Нужно лишь убедить­ся в с невидном неравенстве для случая, когда хотя бы одне из чисел п\,!}{n_1!*...,пк равно ] *(леьая часть в этом случае равна n_i-1)!*. а правая, оче-ьидно не меньше 1] и заметить, что полиьомиалъьыс кеэффиььенты из с невидных комбинаторных соображений удевл створяют соотношению..*n_k!}</tex>
(те! + те2 + . ..пк)\ _ А (теН h (теСледовательно, - 1) Н РтеД!ni! • тг2! пк\ ^ теф (щ - 1)! пк\ '2=1Следовательно, неравенстьс (10.4) неравенство из данной теоремы выводится из неравенства (1 С.З) по индукниииндукции.}}
==Числа Рамсея больших размерностей==
299
правок

Навигация