ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² написании студСнчСских Ρ€Π°Π±ΠΎΡ‚
АнтистрСссовый сСрвис

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. 
ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°

Π Π΅Ρ„Π΅Ρ€Π°Ρ‚ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

Π¨ΠΈΡ€ΠΎΠΊΠΎ извСстныС Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ сокращённого умноТСния ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π° суммы ΠΈ Ρ€Π°Π·Π½ΠΎΡΡ‚ΠΈ, ΠΊΡƒΠ±Π° суммы ΠΈ Ρ€Π°Π·Π½ΠΎΡΡ‚ΠΈ, ΡΠ²Π»ΡΡŽΡ‚ΡΡ частными случаями Π±ΠΈΠ½ΠΎΠΌΠ° ΠΡŒΡŽΡ‚ΠΎΠ½Π°. Если ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ n Π±ΠΈΠ½ΠΎΠΌΠ° ΠΡŒΡŽΡ‚ΠΎΠ½Π° нСвысока, коэффициСнты ΠΌΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½Π° ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ Π½Π°ΠΉΠ΄Π΅Π½Ρ‹ Π½Π΅ Ρ€Π°ΡΡ‡Ρ‘Ρ‚ΠΎΠΌ ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ количСства сочСтаний, Π° Ρ ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠ³ΠΎ Ρ‚Ρ€Π΅ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊΠ° Паскаля. Π€ΠΎΡ€ΠΌΡƒΠ»Π° Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ-ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ (ΠΈΠ»ΠΈ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ-ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ) — комбинаторная… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π° (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

Π’Π΅ΠΊΡ‚ΠΎΡ€-упорядочСнный Π½Π°Π±ΠΎΡ€ элСмСнтов. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Ρ‹ Π²Π΅ΠΊΡ‚ΠΎΡ€Π° Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π°ΠΌΠΈ ΠΈΠ»ΠΈ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π°ΠΌΠΈ. Число ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ — Π΄Π»ΠΈΠ½Π° Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

Π”Π²Π° Π²Π΅ΠΊΡ‚ΠΎΡ€Π° Ρ€Π°Π²Π½Ρ‹, Ссли ΠΎΠ½ΠΈ ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²ΡƒΡŽ Π΄Π»ΠΈΠ½Ρƒ ΠΈ Ρ€Π°Π²Π½Ρ‹ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Ρ‹: ΠΈ.

ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΠ΅ΠΉ Π²Π΅ΠΊΡ‚ΠΎΡ€Π° Π½Π° ΠΎΡΡŒ () называСтся Π΅Π³ΠΎ i-я ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π°.

ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΠ΅ΠΉ Π²Π΅ΠΊΡ‚ΠΎΡ€Π° Π½Π° ΠΎΡΠΈ с Π½ΠΎΠΌΠ΅Ρ€Π°ΠΌΠΈ называСтся Π²Π΅ΠΊΡ‚ΠΎΡ€ Π΄Π»ΠΈΠ½Ρ‹ .

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅

ΠŸΡ€ΡΠΌΡ‹ΠΌ (Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ) ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств ΠΈ () называСтся мноТСство всСх Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ², Ρ‚Π°ΠΊΠΈΡ…, Ρ‡Ρ‚ΠΎ :

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ X2 Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚ΠΎΠΌ мноТСства X, мноТСство X3 Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ — Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΊΡƒΠ±ΠΎΠΌ мноТСства X.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… мноТСств ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌΠΈ свойствами:

  • 1. AΠ§B? BΠ§A-Π½Π΅ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ
  • 2. AΠ§ (BΠ§Π‘) = (AΠ§B) Π§C= AΠ§BΠ§C — Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ
Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

3. AΠ§ (BC) = (AΠ§B) (AΠ§C) — Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΏΠΎ ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΡŽ.

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.
4. AΠ§ (BC) = (AΠ§ B) (AΠ§ C) - Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΏΠΎ ΠΏΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΡŽ.

4. AΠ§ (BC) = (AΠ§ B) (AΠ§ C) — Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΏΠΎ ΠΏΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΡŽ.

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.
  • 5. AΠ§ (BC) = (AΠ§B)(BΠ§C)— Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΏΠΎ Ρ€Π°Π·Π½ΠΎΡΡ‚ΠΈ
  • 6. (A Π§ B)(C Π§ D)=(AC)Π§ (BD)

Π”ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ Ρ‚Π΅ΠΎΡ€Π΅Ρ‚ΠΈΠΊΠΎ-мноТСствСнныС тоТдСства Π”ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ тоТдСства:

  • 1. ;
  • 2. ;
  • 3. ;
  • 4. ;
  • 5. ;
  • 6. ;
  • 7. ;
  • 8. ;
  • 9. ;
  • 10. ;
  • 11. ;
  • 12. ;
  • 13. ;
  • 14. ;
  • 15. ;
  • 16. ;
  • 17. ;
  • 18. ;
  • 19. ;
  • 20. ;

Π”ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ:

  • 1. ΠΈ ;
  • 2. ΠΈ ;
  • 3. ;
  • 4. ;
  • 5. ;
  • 6. ;
  • 7. ;
  • 8. ;
  • 9. .

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Π΅ ΠΈ Π±Π΅ΡΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Π΅ ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ называСтся ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ΠΌ, Ссли ΠΎΠ½ΠΎ состоит ΠΈΠ· ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ числа элСмСнтов, ΠΈ бСсконСчным Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΎΠΌ случаС.

ΠœΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ мноТСства, А — это число Π΅Π³ΠΎ элСмСнтов.

ΠœΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ мноТСства ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ |A|.

Π’Π·Π°ΠΈΠΌΠ½ΠΎ-ΠΎΠ΄Π½ΠΎΠ·Π½Π°Π½ΠΎΠ΅ соотвСтствиС мноТСств, А ΠΈ Π’ — это Ρ‚Π°ΠΊΠΎΠ΅ соотвСтствиС, ΠΊΠΎΠ³Π΄Π° ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ элСмСнту мноТСства, А ΡΡ‚авится Π² ΡΠΎΠΎΡ‚вСтствиС СдинствСнный элСмСнт мноТСства Π’, ΠΈ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ элСмСнту мноТСства Π’ ΡΡ‚авится Π² ΡΠΎΠΎΡ‚вСтствиС СдинствСнный элСмСнт мноТСства А.

Π”Π²Π° мноТСства Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ эквивалСнтными, Ссли ΠΌΠ΅ΠΆΠ΄Ρƒ ΠΈΡ… ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°ΠΌΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ Π²Π·Π°ΠΈΠΌΠ½ΠΎ-ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΠ΅ соотвСтствиС. Π’Π°ΠΊΠΈΠ΅ мноТСства Π΅Ρ‰Ρ‘ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Ρ€Π°Π²Π½ΠΎΠΌΠΎΡ‰Π½Ρ‹ΠΌΠΈ.

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ, А ΡΠ²Π»ΡΠ΅Ρ‚ся счётным, Ссли ΠΌΠ΅ΠΆΠ΄Ρƒ, А ΠΈ ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎΠΌ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл ΠΌΠΎΠΆΠ½ΠΎ ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ Π²Π·Π°ΠΈΠΌΠΎ-ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΠ΅ соотвСтствиС.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€.

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° Ρ†Π΅Π»Ρ‹Ρ… ΠΈ Ρ€Π°Ρ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл ΡΠ²Π»ΡΡŽΡ‚ΡΡ счётными.

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ называСтся Π½Π΅ Π±ΠΎΠ»Π΅Π΅ Ρ‡Π΅ΠΌ счётным, Ссли ΠΎΠ½ΠΎ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎ ΠΈΠ»ΠΈ счётно.

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ называСтся нСсчётным, Ссли ΠΎΠ½ΠΎ бСсконСчно ΠΈ Π½Π΅ ΡΠ²Π»ΡΠ΅Ρ‚ся счётным.

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ [0, 1] ΠΈ Π»ΡŽΠ±ΠΎΠ΅ эквивалСнтноС Π΅ΠΌΡƒ мноТСство Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ ΠΊΠΎΠ½Ρ‚ΠΈΠ½ΡƒΠ°Π»ΡŒΠ½Ρ‹ΠΌΠΈ.

ΠšΠΎΠ½Ρ‚ΠΈΠ½ΡƒΠ°Π»ΡŒΠ½ΠΎΠ΅ мноТСство — мноТСство, Ρ€Π°Π²Π½ΠΎΠΌΠΎΡ‰Π½ΠΎΠ΅ мноТСству Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл.

НахоТдСниС мощности объСдинСния мноТСств.

ΠœΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ объСдинСния Π΄Π²ΡƒΡ… мноТСств:

ΠœΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ объСдинСния Ρ‚Ρ€Π΅Ρ… мноТСств:

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

Π‘Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ ΠΈ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡƒ ΠΎ ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΠΈ прямого произвСдСния ΠŸΡƒΡΡ‚ΡŒ — ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Π΅ мноТСства. БоотвСтствСнно мощности этих мноТСств Ρ€Π°Π²Π½Ρ‹:

.

Π’ΠΎΠ³Π΄Π° ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ прямого произвСдСния мноТСств Ρ€Π°Π²Π½Π° ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΡŽ мощностСй ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΡ… мноТСств, Ρ‚. Π΅.

.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠΌ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ.

Для Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠ° Ρ‚Ρ€ΠΈΠ²ΠΈΠ°Π»ΡŒΠ½ΠΎ Π²Π΅Ρ€Π½Π°. ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ ΠΎΠ½Π° Π²Π΅Ρ€Π½Π° ΠΈ Π΄Π»Ρ ΠΈ Π΄ΠΎΠΊΠ°ΠΆΠ΅ΠΌ Π΅Π΅ ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ для .

По ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΡŽ.

.

Π’ΠΎΠ·ΡŒΠΌΠ΅ΠΌ любой Π²Π΅ΠΊΡ‚ΠΎΡ€ ΠΈΠ· ΠΈ ΠΏΡ€ΠΈΠΏΠΈΡˆΠ΅ΠΌ справа элСмСнт. Π­Ρ‚ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΡΠ΄Π΅Π»Π°Ρ‚ΡŒ способом, Ρ‚. Π΅. ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ² ΠΈΠ· .

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, ΠΈΠ· Π²ΡΠ΅Ρ… Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ² приписываниСм справа элСмСнта ΠΈΠ· ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Π²Π΅ΠΊΡ‚ΠΎΡ€ΠΎΠ², ΠΏΡ€ΠΈΡ‡Π΅ΠΌ всС ΠΎΠ½ΠΈ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ для Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠ° Π²Π΅Ρ€Π½Π° ΠΈ, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, Π²Π΅Ρ€Π½Π° для Π»ΡŽΠ±Ρ‹Ρ… .

БлСдствиС:

НСравСнство мощностСй ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ мощностями Бвойства слоТСния ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ (ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ, Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΈ Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ):

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

Бвойства, Π²ΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰ΠΈΠ΅ Π²ΠΎΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π² ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ:

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ соотвСтствиями Π’Π°ΠΊ ΠΊΠ°ΠΊ соотвСтствия ΠΌΠΎΠΆΠ½ΠΎ ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ мноТСствами, Ρ‚ΠΎ Π²ΡΠ΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ мноТСствами (пСрСсСчСниС, объСдинСниС, Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ, Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ ΠΈ Ρ‚. Π΄.) ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΡ‚ΡŒ ΠΈ ΠΊ ΡΠΎΠΎΡ‚вСтствиям.

Бвойства Π±ΠΈΠ½Π°Ρ€Π½Ρ‹Ρ… ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ.

1. Π Π΅Ρ„Π»Π΅ΠΊΡΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ X Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся рСфлСксивным, Ссли для любого xX ΠΈΠΌΠ΅Π΅Ρ‚ мСсто xRx, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ, ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт xX Π½Π°Ρ…одится Π² ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΈ R ΠΊ ΡΠ°ΠΌΠΎΠΌΡƒ сСбС.

ВсС Π΄ΠΈΠ°Π³ΠΎΠ½Π°Π»ΡŒΠ½Ρ‹Π΅ элСмСнты ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρ‹ Ρ€Π°Π²Π½Ρ‹ 1; ΠΏΡ€ΠΈ Π·Π°Π΄Π°Π½ΠΈΠΈ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ Π³Ρ€Π°Ρ„ΠΎΠΌ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт ΠΈΠΌΠ΅Π΅Ρ‚ ΠΏΠ΅Ρ‚Π»ΡŽ — Π΄ΡƒΠ³Ρƒ (x, x).

2. ΠΠ½Ρ‚ΠΈΡ€Π΅Ρ„Π»Π΅ΠΊΡΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ X Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся антирСфлСксивным, Ссли ΠΈΠ· x1Rx2 слСдуСт, Ρ‡Ρ‚ΠΎ x1x2 .(Π½ΠΈ ΠΎΠ΄ΠΈΠ½ элСмСнт xX Π½Π΅ Π½Π°Ρ…одится Π² ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΈ R Ρ ΡΠ°ΠΌΠΈΠΌ собой).

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

ВсС Π΄ΠΈΠ°Π³ΠΎΠ½Π°Π»ΡŒΠ½Ρ‹Π΅ элСмСнты ΡΠ²Π»ΡΡŽΡ‚ΡΡ Π½ΡƒΠ»Π΅Π²Ρ‹ΠΌΠΈ; ΠΏΡ€ΠΈ Π·Π°Π΄Π°Π½ΠΈΠΈ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ Π³Ρ€Π°Ρ„ΠΎΠΌ Π½ΠΈ ΠΎΠ΄ΠΈΠ½ элСмСнт Π½Π΅ ΠΈΠΌΠ΅Π΅Ρ‚ ΠΏΠ΅Ρ‚Π»ΠΈ — Π½Π΅Ρ‚ Π΄ΡƒΠ³ Π²ΠΈΠ΄Π° (x, x).

3. Π‘ΠΈΠΌΠΌΠ΅Ρ‚Ρ€ΠΈΡ‡Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ X называСтся симмСтричным, Ссли для ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΏΠ°Ρ€Ρ‹ (x1, x2)X2 ΠΈΠ· x1Rx2 слСдуСт x2Rx1 (ΠΈΠ½Π°Ρ‡Π΅ говоря, для любой ΠΏΠ°Ρ€Ρ‹ R выполняСтся Π»ΠΈΠ±ΠΎ Π² ΠΎΠ±Π΅ стороны, Π»ΠΈΠ±ΠΎ Π½Π΅ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ΅Ρ‚ся Π²ΠΎΠΎΠ±Ρ‰Π΅).

ΠœΠ°Ρ‚Ρ€ΠΈΡ†Π° симмСтричного ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ являСтся симмСтричной ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ Π³Π»Π°Π²Π½ΠΎΠΉ Π΄ΠΈΠ°Π³ΠΎΠ½Π°Π»ΠΈ, Π° Π² Π·Π°Π΄Π°ΡŽΡ‰Π΅ΠΌ Π³Ρ€Π°Ρ„Π΅ для ΠΊΠ°ΠΆΠ΄ΠΎΠΉ Π΄ΡƒΠ³ΠΈ ΠΈΠ· xi Π² xk сущСствуСт ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΎ направлСнная Π΄ΡƒΠ³Π° ΠΈΠ· xk Π² xi.

4. ΠΡΠΈΠΌΠΌΠ΅Ρ‚Ρ€ΠΈΡ‡Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся асиммСтричным, Ссли для ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΏΠ°Ρ€Ρ‹ (x1, x2) X2 ΠΈΠ· x1Rx2 слСдуСт, Ρ‡Ρ‚ΠΎ Π½Π΅ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ΅Ρ‚ся x2Rx1 (ΠΈΠ½Π°Ρ‡Π΅ говоря, для любой ΠΏΠ°Ρ€Ρ‹ R Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ΅Ρ‚ся Π»ΠΈΠ±ΠΎ Π² ΠΎΠ΄Π½Ρƒ сторону, Π»ΠΈΠ±ΠΎ Π½Π΅ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ΅Ρ‚ся Π²ΠΎΠΎΠ±Ρ‰Π΅).

5. ΠΠ½Ρ‚ΠΈΡΠΈΠΌΠΌΠ΅Ρ‚Ρ€ΠΈΡ‡Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся антисиммСтричным, Ссли ΠΈΠ· x1Rx2 ΠΈ x2Rx1 слСдуСт, Ρ‡Ρ‚ΠΎ x1=x2.

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

6. Π’Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½Ρ‹ΠΌ, Ссли для Π»ΡŽΠ±Ρ‹Ρ… x1, x2, x3 ΠΈΠ· x1Rx2 ΠΈΠ· x2Rx3 слСдуСт x1Rx3.

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

Π’ Π³Ρ€Π°Ρ„Π΅, Π·Π°Π΄Π°ΡŽΡ‰Π΅ΠΌ Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R, для всякой ΠΏΠ°Ρ€Ρ‹ Π΄ΡƒΠ³ Ρ‚Π°ΠΊΠΈΡ…, Ρ‡Ρ‚ΠΎ ΠΊΠΎΠ½Π΅Ρ† ΠΏΠ΅Ρ€Π²ΠΎΠΉ совпадаСт с Π½Π°Ρ‡Π°Π»ΠΎΠΌ Π²Ρ‚ΠΎΡ€ΠΎΠΉ, сущСствуСт Ρ‚Ρ€Π΅Ρ‚ΡŒΡ Π΄ΡƒΠ³Π°, ΠΈΠΌΠ΅ΡŽΡ‰Π°Ρ ΠΎΠ±Ρ‰Π΅Π΅ Π½Π°Ρ‡Π°Π»ΠΎ с ΠΏΠ΅Ρ€Π²ΠΎΠΉ ΠΈ ΠΎΠ±Ρ‰ΠΈΠΉ ΠΊΠΎΠ½Π΅Ρ† со Π²Ρ‚ΠΎΡ€ΠΎΠΉ.

7. ΠΠ½Ρ‚ΠΈΡ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся Π°Π½Ρ‚ΠΈΡ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½Ρ‹ΠΌ, Ссли для Π»ΡŽΠ±Ρ‹Ρ… x1, x2,x3 ΠΈΠ· x1Rx2 ΠΈ x2Rx3 слСдуСт, Ρ‡Ρ‚ΠΎ x1Rx3 Π½Π΅ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ΅Ρ‚ся.

8. Π‘Π²ΡΠ·Π½ΠΎΡΡ‚ΡŒ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ R Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся связным, Ссли любой ΠΏΠ°Ρ€Ρ‹ x1x2 R Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ΅Ρ‚ся хотя Π±Ρ‹ Π² ΠΎΠ΄Π½Ρƒ сторону (ΠΈΠ· x1Rx2 ΠΈΠ»ΠΈ x2Rx1).

Π’ΠΈΠΏΡ‹ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ эквивалСнтности.

Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ называСтся ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ эквивалСнтности (обозначаСтся), Ссли ΠΎΠ½ΠΎ.

  • 1) рСфлСксивно;
  • 2) симмСтрично;
  • 3) Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎ.

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ порядка Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ называСтся ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ частичного порядка (обозначаСтся), Ссли ΠΎΠ½ΠΎ.

  • 1) рСфлСксивно;
  • 2) антисиммСтрично;
  • 3) Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎ.

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ строгого порядка Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ называСтся ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ строгого порядка (обозначаСтся <), Ссли ΠΎΠ½ΠΎ.

  • 1) антирСфлСксивно (Ссли a, Ρ‚ΠΎ ab)
  • 2) асиммСтрично (Ссли aΡ‚ΠΎ Π½Π΅ Π²Π΅Ρ€Π½ΠΎ b)
  • 3) Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎ (Ссли a ΠΈ b, Ρ‚ΠΎ a).

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ толСрантности

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ называСтся ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ толСрантности, Ссли ΠΎΠ½ΠΎ:

  • 1) рСфлСксивно;
  • 2) симмСтрично;

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ доминирования

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ называСтся ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ доминирования, Ссли ΠΎΠ½ΠΎ:

  • 1) антирСфлСксивно;
  • 2) асиммСтрично.
  • 5. ΠŸΡ€Π°Π²ΠΈΠ»ΠΎ суммы

Если Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ A ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ m ΡΠΏΠΎΡΠΎΠ±Π°ΠΌΠΈ, Π° Π΄Ρ€ΡƒΠ³ΠΎΠΉ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ Π’ ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ n ΡΠΏΠΎΡΠΎΠ±Π°ΠΌΠΈ, Ρ‚ΠΎ Π²Ρ‹Π±ΠΎΡ€ «Π»ΠΈΠ±ΠΎ А, Π»ΠΈΠ±ΠΎ Π’» ΠΌΠΎΠΆΠ½ΠΎ ΠΎΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΈΡ‚ΡŒ (m+n) способами.

ΠŸΡ€ΠΈ использовании ΠΏΡ€Π°Π²ΠΈΠ»Π° суммы Π½Π°Π΄ΠΎ ΡΠ»Π΅Π΄ΠΈΡ‚ΡŒ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π½ΠΈ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΡΠΏΠΎΡΠΎΠ±ΠΎΠ² Π²Ρ‹Π±ΠΎΡ€Π° ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°, А Π½Π΅ ΡΠΎΠ²ΠΏΠ°Π΄Π°Π» с ΠΊΠ°ΠΊΠΈΠΌ-Π»ΠΈΠ±ΠΎ способом Π²Ρ‹Π±ΠΎΡ€Π° ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° Π’. мноТСство проСкция Π²Π΅ΠΊΡ‚ΠΎΡ€ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Π° Если Ρ‚Π°ΠΊΠΈΠ΅ совпадСния Π΅ΡΡ‚ΡŒ, ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ суммы ΡƒΡ‚Ρ€Π°Ρ‡ΠΈΠ²Π°Π΅Ρ‚ силу, ΠΈ ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ лишь (m + n — k) способов Π²Ρ‹Π±ΠΎΡ€Π°, Π³Π΄Π΅ k—число совпадСний.

ΠŸΡ€Π°Π²ΠΈΠ»ΠΎ произвСдСния Если ΠΎΠ±ΡŠΠ΅ΠΊΡ‚, А ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ m ΡΠΏΠΎΡΠΎΠ±Π°ΠΌΠΈ ΠΈ Π΅ΡΠ»ΠΈ послС ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Ρ‚Π°ΠΊΠΎΠ³ΠΎ Π²Ρ‹Π±ΠΎΡ€Π° ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ Π’ ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ n ΡΠΏΠΎΡΠΎΠ±Π°ΠΌΠΈ, Ρ‚ΠΎ Π²Ρ‹Π±ΠΎΡ€ ΠΏΠ°Ρ€Ρ‹ (А, Π’) Π² ΡƒΠΊΠ°Π·Π°Π½Π½ΠΎΠΌ порядкС ΠΌΠΎΠΆΠ½ΠΎ ΠΎΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΈΡ‚ΡŒ mn ΡΠΏΠΎΡΠΎΠ±Π°ΠΌΠΈ.

ΠŸΡ€ΠΈ этом число способов Π²Ρ‹Π±ΠΎΡ€Π° Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ элСмСнта Π½Π΅ Π·Π°Π²ΠΈΡΠΈΡ‚ ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, ΠΊΠ°ΠΊ ΠΈΠΌΠ΅Π½Π½ΠΎ Π²Ρ‹Π±Ρ€Π°Π½ ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ элСмСнт.

ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½Ρ‹Π΅ ΠΊΠΎΠ½Ρ„ΠΈΠ³ΡƒΡ€Π°Ρ†ΠΈΠΈ Набор элСмСнтов xi1,…, xik ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° X={x1, …, xn} называСтся Π²Ρ‹Π±ΠΎΡ€ΠΊΠΎΠΉ объСма k ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΈΠ»ΠΈ, ΠΈΠ½Π°Ρ‡Π΅, (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠΎΠΉ.

Π’Ρ‹Π±ΠΎΡ€ΠΊΠ° называСтся упорядочСнной, Ссли Π·Π°Π΄Π°Π½ порядок слСдования элСмСнтов Π² Π½Π΅ΠΉ. Π”Π²Π΅ упорядочСнныС Π²Ρ‹Π±ΠΎΡ€ΠΊΠΈ, Ρ€Π°Π·Π»ΠΈΡ‡Π°ΡŽΡ‰ΠΈΠ΅ΡΡ лишь порядком слСдования элСмСнтов, ΡΡ‡ΠΈΡ‚Π°ΡŽΡ‚ΡΡ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹ΠΌΠΈ. Если порядок слСдования элСмСнтов Π² Π²Ρ‹Π±ΠΎΡ€ΠΊΠ΅ Π½Π΅ ΡΠ²Π»ΡΠ΅Ρ‚ся сущСствСнным, Ρ‚ΠΎ Ρ‚акая Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° называСтся нСупорядочСнной.

ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠΎΠΉ Π±Π΅Π· ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π΅Π½ΠΈΠΉ ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² называСтся всякий упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· ΡΡ‚ΠΈΡ… элСмСнтов.

Π Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠ΅ΠΌ Π±Π΅Π· ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π΅Π½ΠΈΠΉ ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· k Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… элСмСнтов Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ n-элСмСнтного мноТСства (упорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° Π±Π΅Π· Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠΉ называСтся). ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠ° Ρ‚Π°ΠΊΠΆΠ΅ являСтся Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠ΅ΠΌ ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ n.

Число Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠΉ (Π±Π΅Π· ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π΅Π½ΠΈΠΉ) ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ся ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΠ΅Ρ‚ся ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅

Π‘ΠΎΡ‡Π΅Ρ‚Π°Π½ΠΈΠ΅ΠΌ Π±Π΅Π· ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π΅Π½ΠΈΠΉ ΠΈΠ· n ΠΏΠΎ k называСтся нСупорядочСнный Π½Π°Π±ΠΎΡ€ k элСмСнтов, Π²Ρ‹Π±Ρ€Π°Π½Π½Ρ‹Ρ… ΠΈΠ· Π΄Π°Π½Π½Ρ‹Ρ… n элСмСнтов (нСупорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° Π±Π΅Π· возвращСния). Наборы, ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‰ΠΈΠ΅ΡΡ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ порядком слСдования элСмСнтов (Π½ΠΎ Π½Π΅ составом), ΡΡ‡ΠΈΡ‚Π°ΡŽΡ‚ΡΡ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹ΠΌΠΈ, этим сочСтания ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‚ΡΡ ΠΎΡ‚ Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠΉ.

Π‘ΠΎΡ‡Π΅Ρ‚Π°Π½ΠΈΠ΅ΠΌ Π±Π΅Π· ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π΅Π½ΠΈΠΉ ΠΈΠ· n ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся нСупорядочСнный Π½Π°Π±ΠΎΡ€ k ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ², Π²Ρ‹Π±Ρ€Π°Π½Π½Ρ‹Ρ… ΠΈΠ· Π΄Π°Π½Π½Ρ‹Ρ… n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² (нСупорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° Π±Π΅Π· возвращСния). Наборы, ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‰ΠΈΠ΅ΡΡ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ порядком слСдования элСмСнтов (Π½ΠΎ Π½Π΅ ΡΠΎΡΡ‚Π°Π²ΠΎΠΌ), ΡΡ‡ΠΈΡ‚Π°ΡŽΡ‚ΡΡ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹ΠΌΠΈ, этим сочСтания ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‚ΡΡ ΠΎΡ‚ Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠΉ.

ΠšΠΎΠ»ΠΈΡ‡Π΅ΡΡ‚Π²ΠΎ всСх Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… сочСтаний (Π±Π΅Π· ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π΅Π½ΠΈΠΉ) ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ ΠΈΠ»ΠΈ :

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

Бвойства сочСтаний

Π Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠ΅ΠΌ с повторСниями ΠΈΠ· n элСмСнтов ΠΏΠΎ k называСтся упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· k элСмСнтов Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ n-элСмСнтного мноТСства, срСди ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ элСмСнты (упорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° с Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ΠΌ). Число элСмСнтов ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π²ΠΈΠ΄Π° Π½Π΅ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ. Число Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠΉ с повторСниями ΠΈΠ· n элСмСнтов ΠΏΠΎ k обозначаСтся ΠΈ вычисляСтся ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠΈ с повторСниями ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠ°ΠΌΠΈ с повторСниями ΠΈΠ· n элСмСнтов ΠΏΠΎ k называСтся упорядочСнноС подмноТСство ΠΈΠ· k элСмСнтов n-элСмСнтного мноТСства, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт мноТСства встрСчаСтся ki Ρ€Π°Π· (ΠΏΡ€ΠΈΡ‡Π΅ΠΌ, k1+k2+...+kn=k). Число пСрСстановок с повторСниями обозначаСтся БочСтаниями с повторСниями ΠΈΠ· n элСмСнтов ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ нСупорядочСнныС подмноТСства k элСмСнтов, Π²Ρ‹Π±Ρ€Π°Π½Π½Ρ‹Ρ… ΠΈΠ· Π΄Π°Π½Π½Ρ‹Ρ… n элСмСнтов, срСди ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ элСмСнты, ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‚ΡΡ ΠΎΠ½ΠΈ хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΈΠΌ элСмСнтом (нСупорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° с Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ΠΌ). Число элСмСнтов ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π²ΠΈΠ΄Π° Π½Π΅ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ.

Π Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠ΅ΠΌ с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· k ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ n-элСмСнтного мноТСства, срСди ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ элСмСнты (упорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° с Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ΠΌ). Число элСмСнтов ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π²ΠΈΠ΄Π° Π½Π΅ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ. Число Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠΉ с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ся ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΠ΅Ρ‚ся ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠΈ с ΠΏΠΎΠ²Ρ‚орСниями ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠ°ΠΌΠΈ с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся упорядочСнноС подмноТСство ΠΈΠ· k ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² n-элСмСнтного мноТСства, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт мноТСства встрСчаСтся ki Ρ€Π°Π· (ΠΏΡ€ΠΈΡ‡Π΅ΠΌ, k1+k2+…+kn=k). Число пСрСстановок с ΠΏΠΎΠ²Ρ‚орСниями обозначаСтся БочСтаниями с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ся нСупорядочСнныС подмноТСства k ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ², Π²Ρ‹Π±Ρ€Π°Π½Π½Ρ‹Ρ… ΠΈΠ· Π΄Π°Π½Π½Ρ‹Ρ… n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ², срСди ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ элСмСнты, ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‚ΡΡ ΠΎΠ½ΠΈ хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΈΠΌ элСмСнтом (нСупорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° с Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ΠΌ). Число элСмСнтов ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π²ΠΈΠ΄Π° Π½Π΅ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ.

Число Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… сочСтаний с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ся ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΠ΅Ρ‚ся ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ Π Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠ΅ΠΌ с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· k ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ n-элСмСнтного мноТСства, срСди ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ элСмСнты (упорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° с Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ΠΌ). Число элСмСнтов ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π²ΠΈΠ΄Π° Π½Π΅ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ. Число Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ΠΈΠΉ с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ся ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΠ΅Ρ‚ся ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠΈ с ΠΏΠΎΠ²Ρ‚орСниями ΠŸΠ΅Ρ€Π΅ΡΡ‚Π°Π½ΠΎΠ²ΠΊΠ°ΠΌΠΈ с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся упорядочСнноС подмноТСство ΠΈΠ· k ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² n-элСмСнтного мноТСства, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт мноТСства встрСчаСтся ki Ρ€Π°Π· (ΠΏΡ€ΠΈΡ‡Π΅ΠΌ, k1+k2+…+kn=k). Число пСрСстановок с ΠΏΠΎΠ²Ρ‚орСниями обозначаСтся БочСтаниями с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ся нСупорядочСнныС подмноТСства k ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ², Π²Ρ‹Π±Ρ€Π°Π½Π½Ρ‹Ρ… ΠΈΠ· Π΄Π°Π½Π½Ρ‹Ρ… n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ², срСди ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ элСмСнты, ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‚ΡΡ ΠΎΠ½ΠΈ хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΈΠΌ элСмСнтом (нСупорядочСнная (n, k)-Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° с Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ΠΌ). Число элСмСнтов ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π²ΠΈΠ΄Π° Π½Π΅ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ.

Число Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… сочСтаний с ΠΏΠΎΠ²Ρ‚орСниями ΠΈΠ· n ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΏΠΎ k ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ся ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΠ΅Ρ‚ся ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°. Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

Π‘ΠΈΠ½ΠΎΠΌ ΠΡŒΡŽΡ‚ΠΎΠ½Π° Π‘ΠΈΠ½ΠΎΠΌ ΠΡŒΡŽΡ‚ΠΎΠ½Π° — это Ρ„ΠΎΡ€ΠΌΡƒΠ»Π°, Π²Ρ‹Ρ€Π°ΠΆΠ°ΡŽΡ‰Π°Ρ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ Π² Π²ΠΈΠ΄Π΅ ΠΌΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½Π°. Π­Ρ‚Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄:

Π³Π΄Π΅ число сочСтаний ΠΈΠ· n элСмСнтов ΠΏΠΎ k.

Π³Π΄Π΅ число сочСтаний ΠΈΠ· n элСмСнтов ΠΏΠΎ k.

Π’Π΅ΠΊΡ‚ΠΎΡ€Ρ‹. ΠŸΡ€ΠΎΠ΅ΠΊΡ†ΠΈΡ Π²Π΅ΠΊΡ‚ΠΎΡ€Π°.

Π¨ΠΈΡ€ΠΎΠΊΠΎ извСстныС Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ сокращённого умноТСния ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π° суммы ΠΈ Ρ€Π°Π·Π½ΠΎΡΡ‚ΠΈ, ΠΊΡƒΠ±Π° суммы ΠΈ Ρ€Π°Π·Π½ΠΎΡΡ‚ΠΈ, ΡΠ²Π»ΡΡŽΡ‚ΡΡ частными случаями Π±ΠΈΠ½ΠΎΠΌΠ° ΠΡŒΡŽΡ‚ΠΎΠ½Π°. Если ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ n Π±ΠΈΠ½ΠΎΠΌΠ° ΠΡŒΡŽΡ‚ΠΎΠ½Π° нСвысока, коэффициСнты ΠΌΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½Π° ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ Π½Π°ΠΉΠ΄Π΅Π½Ρ‹ Π½Π΅ Ρ€Π°ΡΡ‡Ρ‘Ρ‚ΠΎΠΌ ΠΏΠΎ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ количСства сочСтаний, Π° Ρ ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠ³ΠΎ Ρ‚Ρ€Π΅ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊΠ° Паскаля.

Π’Ρ€Π΅ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ Паскаля ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄:

  • 1
  • 1 2 1
  • 1 3 3 1
  • 1 4 6 4 1
  • 1 5 10 10 5 1
  • 1 6 15 20 15 6 1

1 7 21 35 35 21 7 1

1 8 28 56 70 56 28 8 1

Π€ΠΎΡ€ΠΌΡƒΠ»Π° Π±ΠΈΠ½ΠΎΠΌΠ° ΠΡŒΡŽΡ‚ΠΎΠ½Π° ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ±ΠΎΠ±Ρ‰Π΅Π½Π° для ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΠΎΠ³ΠΎ числа слагаСмых:

, Π³Π΄Π΅

Π€ΠΎΡ€ΠΌΡƒΠ»Π° Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ ΠΈ ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ

Π€ΠΎΡ€ΠΌΡƒΠ»Π° Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ-ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ (ΠΈΠ»ΠΈ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ-ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ) — комбинаторная Ρ„ΠΎΡ€ΠΌΡƒΠ»Π°, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰Π°Ρ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ объСдинСния ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ числа ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… мноТСств, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π² ΠΎΠ±Ρ‰Π΅ΠΌ случаС ΠΌΠΎΠ³ΡƒΡ‚ ΠΏΠ΅Ρ€Π΅ΡΠ΅ΠΊΠ°Ρ‚ΡŒΡΡ Π΄Ρ€ΡƒΠ³ с Π΄Ρ€ΡƒΠ³ΠΎΠΌ. Π’ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ вСроятностСй Π°Π½Π°Π»ΠΎΠ³ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ-ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ извСстСн ΠΊΠ°ΠΊ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° ΠŸΡƒΠ°Π½ΠΊΠ°Ρ€Π΅[1].

НапримСр, Π² ΡΠ»ΡƒΡ‡Π°Π΅ Π΄Π²ΡƒΡ… мноТСств Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ-ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΉ ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄:

Π’ ΡΡƒΠΌΠΌΠ΅ элСмСнты пСрСсСчСния ΡƒΡ‡Ρ‚Π΅Π½Ρ‹ Π΄Π²Π°ΠΆΠ΄Ρ‹, ΠΈ Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΊΠΎΠΌΠΏΠ΅Π½ΡΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ это ΠΌΡ‹ Π²Ρ‹Ρ‡ΠΈΡ‚Π°Π΅ΠΌ ΠΈΠ· ΠΏΡ€Π°Π²ΠΎΠΉ части Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹. Π‘ΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ этого рассуТдСния Π²ΠΈΠ΄Π½Π° ΠΈΠ· Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΡ‹ Π­ΠΉΠ»Π΅Ρ€Π°-Π’Π΅Π½Π½Π° для Π΄Π²ΡƒΡ… мноТСств, ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠΉ Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅ справа.

Π’Π°ΠΊΠΈΠΌ ΠΆΠ΅ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΈ Π² ΡΠ»ΡƒΡ‡Π°Π΅ мноТСств процСсс нахоТдСния количСства элСмСнтов объСдинСния состоит Π²ΠΎ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΈ всСго, Π·Π°Ρ‚Π΅ΠΌ ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΈ лишнСго, Π·Π°Ρ‚Π΅ΠΌ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΈ ΠΎΡˆΠΈΠ±ΠΎΡ‡Π½ΠΎ ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½Π½ΠΎΠ³ΠΎ ΠΈ Ρ‚Π°ΠΊ Π΄Π°Π»Π΅Π΅, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Π² ΠΏΠΎΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΌ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΈ ΠΈ ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΈ ΠœΠ΅Ρ‚ΠΎΠ΄ Ρ€Π΅ΠΊΡƒΡ€Ρ€Π΅Π½Ρ‚Π½Ρ‹Ρ… ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ Основная идСя ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ Π² Ρ‚ΠΎΠΌ, Ρ‡Ρ‚ΠΎ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΠΈ ΠΌΠΎΠΆΠ½ΠΎ свСсти ΠΊ Π²Ρ‹Ρ‡ΠΈΡΠ»Π΅Π½ΠΈΡŽ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ, ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΡ… Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½Ρ‹ΠΉ Π²ΠΈΠ΄, Π½ΠΎ ΠΌΠ΅Π½ΡŒΡˆΠΈΠΉ порядок. Если удаСтся ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ Π²ΠΈΠ΄ этой зависимости Π² Π²ΠΈΠ΄Π΅ явной Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹, Ρ‚ΠΎ ΡΡ‚Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° — ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌ Π΅Π΅ ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ΠΌ — ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΡ‚ Π½Π°ΠΌ «ΡΠΏΡƒΡΡ‚ΠΈΡ‚ΡŒΡΡ» ΠΊ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Слям ΠΌΠ°Π»Ρ‹Ρ… порядков.

ΠŸΡ€ΠΎΠΈΠ·Π²ΠΎΠ΄ΡΡ‰ΠΈΠ΅ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ ΠŸΡ€ΠΎΠΈΠ·Π²ΠΎΠ΄ΡΡ‰Π΅ΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠ΅ΠΉ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ

a0,a1,a2,… (1.1)

Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ стСпСнной ряд Π²ΠΈΠ΄Π°

(1.2).

(1.2).

Часто Π±Ρ‹Π²Π°Π΅Ρ‚ ΡƒΠ΄ΠΎΠ±Π½ΠΎ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Ρ‚ΡŒ ряд Π²ΠΈΠ΄Π°

, (1.3).

, (1.3).

ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ называСтся ΡΠΊΡΠΏΠΎΠ½Π΅Π½Ρ†ΠΈΠ°Π»ΡŒΠ½ΠΎΠΉ производящСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠ΅ΠΉ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ a0, a1,a2,…

Числа an ΠΈ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ся коэффициСнтами ряда (1.2) ΠΈ Ρ€ΡΠ΄Π° (1.3) соотвСтствСнно.

Π›ΠΈΠ½Π΅ΠΉΠ½Ρ‹Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ часто Π²ΡΡ‚Ρ€Π΅Ρ‡Π°ΡŽΡ‰ΠΈΠ΅ΡΡ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ числовыми ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡΠΌΠΈ.

Π›ΠΈΠ½Π΅ΠΉΠ½Ρ‹Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ часто Π²ΡΡ‚Ρ€Π΅Ρ‡Π°ΡŽΡ‰ΠΈΠ΅ΡΡ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ числовыми ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡΠΌΠΈ.

Если

Ρ‚ΠΎ Π‘Π΄Π²ΠΈΠ³ Π½Π°Ρ‡Π°Π»Π°

Π’ΠΏΡ€Π°Π²ΠΎ Если

Ρ‚ΠΎ.

Ρ‚ΠΎ.

Π²Π»Π΅Π²ΠΎ Если Ρ‚ΠΎ.

Π²Π»Π΅Π²ΠΎ Если Ρ‚ΠΎ.

ИзмСнСниС ΠΌΠ°ΡΡˆΡ‚Π°Π±Π° Если Ρ‚ΠΎ.

ИзмСнСниС ΠΌΠ°ΡΡˆΡ‚Π°Π±Π° Если Ρ‚ΠΎ.

ПодобиС Если Ρ‚ΠΎ Π‘Π²Ρ‘Ρ€Ρ‚ΠΊΠ° Если.

ПодобиС Если Ρ‚ΠΎ Π‘Π²Ρ‘Ρ€Ρ‚ΠΊΠ° Если.

Ρ‚ΠΎ ΠœΠ΅Ρ‚ΠΎΠ΄ Π²Π΅Ρ‚Π²Π΅ΠΉ ΠΈ Π³Ρ€Π°Π½ΠΈΡ† Π’ основС ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π²Π΅Ρ‚Π²Π΅ΠΉ ΠΈ Π³Ρ€Π°Π½ΠΈΡ† Π»Π΅ΠΆΠΈΡ‚ идСя ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ разбиСния мноТСства допустимых Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ Π½Π° подмноТСства (стратСгия β€œΡ€Π°Π·Π΄Π΅Π»ΡΠΉ ΠΈ властвуй”). На ΠΊΠ°ΠΆΠ΄ΠΎΠΌ шагС ΠΌΠ΅Ρ‚ΠΎΠ΄Π° элСмСнты разбиСния ΠΏΠΎΠ΄Π²Π΅Ρ€Π³Π°ΡŽΡ‚ΡΡ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ΅ для выяснСния, содСрТит Π΄Π°Π½Π½ΠΎΠ΅ подмноТСство ΠΎΠΏΡ‚ΠΈΠΌΠ°Π»ΡŒΠ½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ ΠΈΠ»ΠΈ Π½Π΅Ρ‚. ΠŸΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ° осущСствляСтся посрСдством вычислСния ΠΎΡ†Π΅Π½ΠΊΠΈ снизу для Ρ†Π΅Π»Π΅Π²ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π½Π° Π΄Π°Π½Π½ΠΎΠΌ подмноТСствС. Если ΠΎΡ†Π΅Π½ΠΊΠ° снизу Π½Π΅ мСньшС Ρ€Π΅ΠΊΠΎΡ€Π΄Π° β€” Π½Π°ΠΈΠ»ΡƒΡ‡ΡˆΠ΅Π³ΠΎ ΠΈΠ· Π½Π°ΠΉΠ΄Π΅Π½Π½Ρ‹Ρ… Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ, Ρ‚ΠΎ подмноТСство ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΡ‚Π±Ρ€ΠΎΡˆΠ΅Π½ΠΎ. ΠŸΡ€ΠΎΠ²Π΅Ρ€ΡΠ΅ΠΌΠΎΠ΅ подмноТСство ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΡ‚Π±Ρ€ΠΎΡˆΠ΅Π½ΠΎ Π΅Ρ‰Π΅ ΠΈ Π² Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° Π² Π½Π΅ΠΌ удаСтся Π½Π°ΠΉΡ‚ΠΈ Π½Π°ΠΈΠ»ΡƒΡ‡ΡˆΠ΅Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅. Если Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Ρ†Π΅Π»Π΅Π²ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π½Π° Π½Π°ΠΉΠ΄Π΅Π½Π½ΠΎΠΌ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΈ мСньшС Ρ€Π΅ΠΊΠΎΡ€Π΄Π°, Ρ‚ΠΎ происходит смСна Ρ€Π΅ΠΊΠΎΡ€Π΄Π°. По ΠΎΠΊΠΎΠ½Ρ‡Π°Π½ΠΈΡŽ Ρ€Π°Π±ΠΎΡ‚Ρ‹ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ° Ρ€Π΅ΠΊΠΎΡ€Π΄ являСтся Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ Π΅Π³ΠΎ Ρ€Π°Π±ΠΎΡ‚Ρ‹.

Ρ‚ΠΎ ΠœΠ΅Ρ‚ΠΎΠ΄ Π²Π΅Ρ‚Π²Π΅ΠΉ ΠΈ Π³Ρ€Π°Π½ΠΈΡ† Π’ ΠΎΡΠ½ΠΎΠ²Π΅ ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π²Π΅Ρ‚Π²Π΅ΠΉ ΠΈ Π³Ρ€Π°Π½ΠΈΡ† Π»Π΅ΠΆΠΈΡ‚ идСя ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ разбиСния мноТСства допустимых Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ Π½Π° ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° (стратСгия «Ρ€Π°Π·Π΄Π΅Π»ΡΠΉ ΠΈ Π²Π»Π°ΡΡ‚Π²ΡƒΠΉ»). На ΠΊΠ°ΠΆΠ΄ΠΎΠΌ шагС ΠΌΠ΅Ρ‚ΠΎΠ΄Π° элСмСнты разбиСния ΠΏΠΎΠ΄Π²Π΅Ρ€Π³Π°ΡŽΡ‚ΡΡ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ΅ для выяснСния, содСрТит Π΄Π°Π½Π½ΠΎΠ΅ подмноТСство ΠΎΠΏΡ‚ΠΈΠΌΠ°Π»ΡŒΠ½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ ΠΈΠ»ΠΈ Π½Π΅Ρ‚. ΠŸΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ° осущСствляСтся посрСдством вычислСния ΠΎΡ†Π΅Π½ΠΊΠΈ снизу для Ρ†Π΅Π»Π΅Π²ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π½Π° Π΄Π°Π½Π½ΠΎΠΌ подмноТСствС. Если ΠΎΡ†Π΅Π½ΠΊΠ° снизу Π½Π΅ ΠΌΠ΅Π½ΡŒΡˆΠ΅ Ρ€Π΅ΠΊΠΎΡ€Π΄Π° — Π½Π°ΠΈΠ»ΡƒΡ‡ΡˆΠ΅Π³ΠΎ ΠΈΠ· Π½Π°ΠΉΠ΄Π΅Π½Π½Ρ‹Ρ… Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ, Ρ‚ΠΎ ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΡ‚Π±Ρ€ΠΎΡˆΠ΅Π½ΠΎ. ΠŸΡ€ΠΎΠ²Π΅Ρ€ΡΠ΅ΠΌΠΎΠ΅ подмноТСство ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΡ‚Π±Ρ€ΠΎΡˆΠ΅Π½ΠΎ Π΅Ρ‰Π΅ ΠΈ Π² Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° Π² Π½Π΅ΠΌ удаСтся Π½Π°ΠΉΡ‚ΠΈ Π½Π°ΠΈΠ»ΡƒΡ‡ΡˆΠ΅Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅. Если Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Ρ†Π΅Π»Π΅Π²ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π½Π° Π½Π°ΠΉΠ΄Π΅Π½Π½ΠΎΠΌ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΈ мСньшС Ρ€Π΅ΠΊΠΎΡ€Π΄Π°, Ρ‚ΠΎ ΠΏΡ€ΠΎΠΈΡΡ…ΠΎΠ΄ΠΈΡ‚ смСна Ρ€Π΅ΠΊΠΎΡ€Π΄Π°. По ΠΎΠΊΠΎΠ½Ρ‡Π°Π½ΠΈΡŽ Ρ€Π°Π±ΠΎΡ‚Ρ‹ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ° Ρ€Π΅ΠΊΠΎΡ€Π΄ являСтся Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ Π΅Π³ΠΎ Ρ€Π°Π±ΠΎΡ‚Ρ‹.

Если удаСтся ΠΎΡ‚Π±Ρ€ΠΎΡΠΈΡ‚ΡŒ всС элСмСнты разбиСния, Ρ‚ΠΎ Ρ€Π΅ΠΊΠΎΡ€Π΄ — ΠΎΠΏΡ‚ΠΈΠΌΠ°Π»ΡŒΠ½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Π·Π°Π΄Π°Ρ‡ΠΈ. Π’ ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС, ΠΈΠ· Π½Π΅ΠΎΡ‚Π±Ρ€ΠΎΡˆΠ΅Π½Π½Ρ‹Ρ… подмноТСств выбираСтся Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ пСрспСктивноС (Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, с Π½Π°ΠΈΠΌΠ΅Π½ΡŒΡˆΠΈΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ΠΌ Π½ΠΈΠΆΠ½Π΅ΠΉ ΠΎΡ†Π΅Π½ΠΊΠΈ), ΠΈ ΠΎΠ½ΠΎ подвСргаСтся Ρ€Π°Π·Π±ΠΈΠ΅Π½ΠΈΡŽ. НовыС подмноТСства вновь ΠΏΠΎΠ΄Π²Π΅Ρ€Π³Π°ΡŽΡ‚ΡΡ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ΅ ΠΈ Ρ‚. Π΄.

ВычислСниС Π½ΠΈΠΆΠ½Π΅ΠΉ Π³Ρ€Π°Π½ΠΈΡ†Ρ‹ являСтся ваТнСйшим элСмСнтом Π΄Π°Π½Π½ΠΎΠΉ схСмы. Для ΠΏΡ€ΠΎΡΡ‚Π΅ΠΉΡˆΠ΅ΠΉ Π·Π°Π΄Π°Ρ‡ΠΈ размСщСния ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΡΠΏΠΎΡΠΎΠ±ΠΎΠ² Π΅Π΅ ΠΏΠΎΡΡ‚роСния состоит Π² ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΌ.

Π—Π°ΠΏΠΈΡˆΠ΅ΠΌ ΠΈΡΡ…ΠΎΠ΄Π½ΡƒΡŽ Π·Π°Π΄Π°Ρ‡Ρƒ Π² Ρ‚Π΅Ρ€ΠΌΠΈΠ½Π°Ρ… цСлочислСнного Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠ³ΠΎ программирования.

Π’Π²Π΅Π΄Π΅ΠΌ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅:

Π‘ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ Π²Π²Π΅Π΄Π΅Π½Π½Ρ‹Ρ… ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΡ€ΠΎΡΡ‚Π΅ΠΉΡˆΠ°Ρ Π·Π°Π΄Π°Ρ‡Π° размСщСния записываСтся ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ

yi Ρ–xij, i ОI, j ОJ,

xij, yi, yi О {0, 1}, iОI, jОJ.

ДвойствСнная Π·Π°Π΄Π°Ρ‡Π° Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠ³ΠΎ программирования ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄:

vj Ј gij + wij, iОI, jОJ,

wij Ρ– 0, iОI, jОJ.

ΠŸΡ€ΠΈΠ±Π»ΠΈΠΆΠ΅Π½Π½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ двойствСнной Π·Π°Π΄Π°Ρ‡ΠΈ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ Π½ΠΈΠΆΠ½Π΅ΠΉ ΠΎΡ†Π΅Π½ΠΊΠΈ.

Для сокращСния размСрности Π·Π°Π΄Π°Ρ‡ΠΈ примСняСтся Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹ΠΉ Π±Π»ΠΎΠΊ ΠΏΡ€Π΅Π΄Π²Π°Ρ€ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ ΠΎΡ‚Π±Ρ€Π°ΠΊΠΎΠ²ΠΊΠΈ. Он ΠΎΡΠ½ΠΎΠ²Π°Π½ Π½Π° ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠΈ условий Π΄ΠΎΠΏΠΎΠ»Π½ΡΡŽΡ‰Π΅ΠΉ нСТСсткости для Π·Π°Π΄Π°Ρ‡ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠ³ΠΎ программирования

Если для ΠΎΠΏΡ‚ΠΈΠΌΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ двойствСнной Π·Π°Π΄Π°Ρ‡ΠΈ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ Π² скобках ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ для Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ iОI , Ρ‚ΠΎ β€œΡΠΊΠΎΡ€Π΅Π΅ всСго” Π² исходной цСлочислСнной Π·Π°Π΄Π°Ρ‡Π΅ yi = 0, ΠΈ Ρ€Π°Π·ΠΌΠ΅Ρ€Π½ΠΎΡΡ‚ΡŒ ΠΌΠΎΠΆΠ½ΠΎ ΡƒΠΌΠ΅Π½ΡŒΡˆΠΈΡ‚ΡŒ. ΠŸΠΎΠ½ΡΡ‚Π½ΠΎ, Ρ‡Ρ‚ΠΎ Π΄Π°Π½Π½Ρ‹ΠΉ эвристичСский ΠΏΡ€ΠΈΠ΅ΠΌ Π½Π΅ всСгда ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎΠΌΡƒ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡŽ. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ Π² качСствС ΠΏΠΎΡ€ΠΎΠ³Π° Π»ΡƒΡ‡ΡˆΠ΅ Π±Ρ€Π°Ρ‚ΡŒ Π½Π΅ 0, Π° Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Ρƒ d Ρ–0, Π²Ρ‹Π±ΠΎΡ€ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ зависит ΠΎΡ‚ исходных Π΄Π°Π½Π½Ρ‹Ρ…. Π­Ρ‚Ρƒ Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Ρƒ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΏΠΎΡ€ΠΎΠ³ΠΎΠΌ ΠΎΡ‚Π±Ρ€Π°ΠΊΠΎΠ²ΠΊΠΈ. ΠžΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΈ d Ρ– max ci, Ρ€Π°Π·ΠΌΠ΅Ρ€Π½ΠΎΡΡ‚ΡŒ Π·Π°Π΄Π°Ρ‡ΠΈ Π½Π΅ сокращаСтся.

Если для ΠΎΠΏΡ‚ΠΈΠΌΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ двойствСнной Π·Π°Π΄Π°Ρ‡ΠΈ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ Π² ΡΠΊΠΎΠ±ΠΊΠ°Ρ… ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ для Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ iОI, Ρ‚ΠΎ «ΡΠΊΠΎΡ€Π΅Π΅ всСго» Π² ΠΈΡΡ…ΠΎΠ΄Π½ΠΎΠΉ цСлочислСнной Π·Π°Π΄Π°Ρ‡Π΅ yi = 0, ΠΈ Ρ€Π°Π·ΠΌΠ΅Ρ€Π½ΠΎΡΡ‚ΡŒ ΠΌΠΎΠΆΠ½ΠΎ ΡƒΠΌΠ΅Π½ΡŒΡˆΠΈΡ‚ΡŒ. ΠŸΠΎΠ½ΡΡ‚Π½ΠΎ, Ρ‡Ρ‚ΠΎ Π΄Π°Π½Π½Ρ‹ΠΉ эвристичСский ΠΏΡ€ΠΈΠ΅ΠΌ Π½Π΅ Π²ΡΠ΅Π³Π΄Π° ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎΠΌΡƒ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡŽ. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ ΠΏΠΎΡ€ΠΎΠ³Π° Π»ΡƒΡ‡ΡˆΠ΅ Π±Ρ€Π°Ρ‚ΡŒ Π½Π΅ 0, Π° Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Ρƒ d Ρ–0, Π²Ρ‹Π±ΠΎΡ€ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ зависит ΠΎΡ‚ ΠΈΡΡ…ΠΎΠ΄Π½Ρ‹Ρ… Π΄Π°Π½Π½Ρ‹Ρ…. Π­Ρ‚Ρƒ Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Ρƒ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΏΠΎΡ€ΠΎΠ³ΠΎΠΌ ΠΎΡ‚Π±Ρ€Π°ΠΊΠΎΠ²ΠΊΠΈ. ΠžΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΈ d Ρ– max ci, Ρ€Π°Π·ΠΌΠ΅Ρ€Π½ΠΎΡΡ‚ΡŒ Π·Π°Π΄Π°Ρ‡ΠΈ Π½Π΅ ΡΠΎΠΊΡ€Π°Ρ‰Π°Π΅Ρ‚ся.

Π”Ρ€ΡƒΠ³ΠΎΠΉ способ ΡƒΠΌΠ΅Π½ΡŒΡˆΠ΅Π½ΠΈΡ трудоСмкости Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ° состоит Π² ΠΈΡΠΊΡƒΡΡΡ‚Π²Π΅Π½Π½ΠΎΠΌ Π·Π°Π²Ρ‹ΡˆΠ΅Π½ΠΈΠΈ Π½ΠΈΠΆΠ½Π΅ΠΉ ΠΎΡ†Π΅Π½ΠΊΠΈ. ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ нас интСрСсуСт Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠΏΡ‚ΠΈΠΌΠ°Π»ΡŒΠ½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅, Π½ΠΎ ΠΈ ΠΏΡ€ΠΈΠ±Π»ΠΈΠΆΠ΅Π½Π½Ρ‹Π΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ с ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ ΠΏΠΎΠ³Ρ€Π΅ΡˆΠ½ΠΎΡΡ‚ΡŒΡŽ Π½Π΅ Π±ΠΎΠ»Π΅Π΅ e. Π’ΠΎΠ³Π΄Π° Π·Π°Π²Ρ‹ΡˆΠ΅Π½ΠΈΠ΅ Π½ΠΈΠΆΠ½Π΅ΠΉ ΠΎΡ†Π΅Π½ΠΊΠΈ Π² (1 + e) Ρ€Π°Π· ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ ΠΆΠ΅Π»Π°Π΅ΠΌΠΎΠΌΡƒ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρƒ.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ