π§© ΠΡΠ°ΡΠΊΠΎΡΡΡ = ΡΠΈΠ»Π° (Succinctness is Power)
ΠΡΡΠ΅ ΠΎΠ± ΡΡΡΠ΅ΡΠΈΠΊΠ΅ ΠΈ ΡΠΈΠ»Π΅ ΠΊΡΠ°ΡΠΊΠΎΡΡΠΈ β Π² ΡΠ·ΡΠΊΠ΅, ΠΊΠΎΠ΄Π΅ ΠΈ ΠΌΡΡΠ»Π΅Π½ΠΈΠΈ. ΠΡΡΠΌ Π΄ΠΎΠΊΠ°Π·ΡΠ²Π°Π΅Ρ, ΡΡΠΎ Π»Π°ΠΊΠΎΠ½ΠΈΡΠ½ΠΎΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ Π½Π΅ ΡΠΏΡΠΎΡΠ°Π΅Ρ, Π° ΡΡΠΈΠ»ΠΈΠ²Π°Π΅Ρ ΡΡΡΡ. ΠΠΎΠ»Π΅Π·Π½ΠΎ ΠΏΠΈΡΠ°ΡΠ΅Π»ΡΠΌ, ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΡΠ°ΠΌ ΠΈ ΠΌΡΡΠ»ΠΈΡΠ΅Π»ΡΠΌ, ΡΡΡΠ΅ΠΌΡΡΠΈΠΌΡΡ ΠΊ ΡΡΠ½ΠΎΡΡΠΈ. ΠΡΠΎΠ±Π΅Π½Π½ΠΎ Π²Π°ΠΆΠ½ΠΎ ΠΏΡΠΈ ΠΏΠ΅ΡΠ΅Π΄Π°ΡΠ΅ ΡΠ»ΠΎΠΆΠ½ΡΡ ΠΈΠ΄Π΅ΠΉ

Π§ΠΈΡΠ°ΠΉ Π²ΡΠ΅ 498 Π²ΡΠΆΠΈΠΌΠΎΠΊ Π±Π΅ΡΠΏΠ»Π°ΡΠ½ΠΎ
Π Π΅Π³ΠΈΡΡΡΠ°ΡΠΈΡ β 30 ΡΠ΅ΠΊΡΠ½Π΄. ΠΠ΅Π· ΠΊΠ°ΡΡΡ.