แแก แกแขแแขแแ แแ แแก แแแ แแแแแ
แ แแชแ แแก แแแแแแแฎแ
แฐแแแ แแแแขแแก แจแแแแแ, แคแแฅแขแแแ แแแแ, แแฌแงแแแ แกแแแแแแ แแก แแแ แแแแ. แแกแแแแแแแแ แแแแฎแแแ!
แ แแแแ แ แแแแแแแแแก แจแแกแ แฃแแแแแช แแ แฃแแแ แแงแแก, แงแแแแแแแแก แฃแแแ แแแแแ แแ แกแแแ แแแแแฏแ:
- แแแแแฌแงแแแขแแ แ แ แแแแแแก แแแฆแฌแแแ แแกแฃแ แ;
- แแแแแฌแงแแแขแแ แ แแแแ แแแแฆแฌแแแ แแฅแแแแก แแแแแแก;
- แแแแ แจแแแก แแแแแแแแ.
แแก แแกแแแ แแฎแแแ แแ แแแ แแแแ แแแแก. แ แแแแกแแช แฉแแแ แแฌแแ แ แแแแก, แฉแแแ แแแญแแ แแแแ:
- แแแแแฌแงแแแขแแก แ แ แฃแแแ แแแแแแแแก แแ แแแ แแแแ;
- แแแแกแแแฆแแ แแก, แ แแแแ แฃแแแ แจแแแกแ แฃแแแก แแแแแกแ แแแแแแแแ;
- แแแฌแแ แ แจแแกแแแแแแกแ แแแแ.
แแแแ แแแแแฏแ, แ แ แแฅแแ แฃแแแ, แซแแแแแ แแแแจแแแแแแแแแแ, แแแแ แแ แแฆแแก แแแแแ แแ แแแกแแฃแแ แแ. แกแแแแแแแ แแ แแแแแแฎแแแแแ แแแ แแแ แแ แก. แงแแแแ แแ แแแ แแแแกแขแ แแกแ แฃแแแแก แแแ แแฃแจแแแแแก แแแฌแงแแแแแแ. แแฅแแแ แแ แแแฏแแแแแ แแแกแแฌแแ แแ, แแฃ แแ แแแแแฌแงแแแขแ แแ แแฃแแแ แก แฌแแ แ แแฃ แแแแแชแแแแ แแแแแก. แแแแแแก แแแ แแแแฃแแ แแแแ แฃแแแ แแงแแก แฌแแ แแแแแแแแแ. แแ แแฅแแแ แแฃแชแแแแแแแ แแคแแฅแ แแ แแแแแ, แแฃ แ แแก แแแแแแแแแก แแ แแแ แแแ แแ แแ แแแฌแแ แแ แ แแขแแแฆแแช แแ แแแแแแ, แ แแ แแแแ แ แแแแ แฆแแช แแ แแฃแแแ แแ แแแแแแฅแชแแแ.
แแฃแกแขแแ แ แแแแ แฎแแแแ แแ แแแแแก แฌแแแแกแฌแแ แแแ แแแแแแ? แ แแแแแแ แซแแแแกแฎแแแแ แฃแแแ แฉแแแแแ แแแแกแแแแก? แแก แงแแแแแคแแ แ แแแแแแแแแแฃแแแ แแแแแ, แแฃ แ แแแแแแแ แแแแแแแฅแกแฃแ แแ แแแแแแแก แแแแแแ แแแ. แแแแฃแจแแแ, แ แแ แแแแแแ แแแแฌแแ แแ แจแแชแแแแแก แขแแแแ แแแขแฃแแ แแแแแฌแแแแแฃแแ แกแแกแขแแแ. แแ แจแแแแฎแแแแแจแ, แกแแแแ แแแแแ แแแแก แแแแกแฎแแแแแ, แแแ แแแ แฃแแแ แแแคแแฅแ แแ. แ แ แแแฎแแแแ, แแฃ แฉแแแ แฃแแ แแแแ แฃแแแ แแแแแแ แแแ แแแแแ แชแแแแแ 1-แแ? แแ แแ แจแแฎแแแแแ, แแฅ แงแแแแแคแแ แ แขแ แแแแแแฃแ แแ แแ แคแแฅแ แ แแ แแ แแก แกแแญแแ แ, แแแแ แแ แจแแแแแ แแแแฎแกแแแก, แ แแ แแแแแญแแ แแแแ แจแแแซแแแแ แแแฎแแแก. แแแแขแแ, แแแแกแแแแกแแช แแ, แ แแ แแแแแแ แแ แแแแแแ แแแ แขแแแแ แแฃ แ แแฃแแ, แฏแแ แฃแแแ แแแคแแฅแ แแแ.
แแฃ แฌแแแแกแฌแแ แคแแฅแ แแแ แแ แแแแแแแก แจแแกแแซแแ แแแแแฌแงแแแขแแแ, แจแแแแซแแแแ แแแแแแแ แแแชแแแแ แจแแชแแแแแแ. แแแแ แแ แแก แแแแแฎแแแก, แ แแ แแฅแแแแ แแแ แแแแแแ แแงแแก แแแแแแ. แแแแก แแแกแแฆแฌแแแแ, แแฅแแแ แฃแแแ แแแฌแแ แแ แแฅแแแแ แแแ แแแ. แแ แซแแแแแ แแแแฌแแแก แแแ แแฃแแแแแแแก แชแแขแแขแ: โแ แแแแกแแช แฌแแ , แแฃแแแแ แแแฉแแแแแแก, แ แแแแแแแ แแแฃแแแแแ แแ แจแแแ แแแ แแแแแแโ. แแฃ แแ แฌแแ , แแฎแแแแ แแแแแแ, แ แแ แคแแฅแ แแ. แแ แแฅแแแ แฃแแแ แแแฌแแ แแ แแฅแแแแ แแแ แแแ แกแแแชแแคแแแแชแแแแแก แกแแฎแแ.
แกแแแชแแคแแแแชแแแแ แแกแ แฃแแแแแ แแแแ แคแฃแแฅแชแแแก, แแแแกแแแฃแแ แแแแ แแแ แแ แแแฅแขแแแจแ. แแแแ แแ แแ แแฎแแแแ แแ แ แแแแแแแแ แแแกแแฃแแ แแ: แแกแแแ แแแแฎแแแ แแแแแ แแแแแแ แแแ แแแแแแแจแ. แแแแคแแแ แคแแฅแ แ แซแแแแแ แแแแจแแแแแแแแแ แแ แกแแแแแแ แ แแฃแแแ, แแแแขแแ แแฅ แ แแแแ แแแฎแแแ แแแ แแแญแแ แแแแ. แ แ แแแแแ แฃแแแ แแแแฌแแ แแ แกแแแชแแคแแแแชแแแแ? แแแแแแแ, แแก แงแแแแแแแแก แแแ แแแแ แแแแฎแแแ แแ แแแ แแแแกแขแแแแกแแแแก: แ แ แแแแแ แแแแฌแแ แ. แแแกแแ แแ แแ แกแฌแแ แ แแแกแฃแฎแ แแ แแ แกแแแแแก: แแ แแแแแแแแ, แ แแแแแแกแแช แฉแแแ แแฌแงแแแขแ, แซแแแแแ แแ แแแแแคแแ แแแแแแ. แแแแแแ แแแกแแแแก TLA+ แแ แแก แกแแแชแแคแแแแชแแแก แแแ, แ แแแแแแช แแ แจแแแแแฃแจแแแ. แกแฎแแแแแกแแแแก แฃแคแ แ แแแกแแฎแแ แฎแแแแแแ แฉแแแฃแ แแก แแแแแงแแแแแ. แงแแแแแคแแ แ แแแแแแแแแแฃแแแ แกแแขแฃแแชแแแแ.
แฃแคแ แ แแแแจแแแแแแแแแแ แแแแแ แแ แแ แแแแฎแแ: แ แแแแ แแแแแฆแฌแแแ แฃแคแ แ แแแแคแแ แแแ แแแแแแแก? แแแกแฃแฎแ: แแแชแแแแ แแแแแแ แฃแแแ แแแคแแฅแ แแ. แแก แแ แแก แแแ แแแแแแแก แแแ, แ แแแแแแแช แแแแ แแแแแขแแแชแ แแแแ 500 แฌแแแก แแแแแแแแแแแจแ. แแแชแแแแ แแแแจแ แฉแแแ แแแจแแแแแ แ แแแแแแแก แแแแแแแขแแแฃแ แแแแแแแแก. แแกแขแ แแแแแแ แแงแ แแแแแ แแแ แแแแ แแแชแแแแ แแแ แแ แกแแขแงแแแก แแแแชแ แ แแแแแแแ. แแกแขแ แแแแแแแจแ แแแแแงแแแแแฃแ แแแแแแแขแแแฃแ แแแแแแจแ แชแแฃแ แ แกแฎแแฃแแแแ แฉแแแแแแแ, แ แแแแ แช แฌแแ แขแแแแแ แแแกแแ, แแแแแชแแแแ แแ แแแแฃแแกแแ, แแฃแแชแ แกแแแแแแแแแแจแ แแกแแแ แฃแแแแฃแ แแกแแ แ แแฃแแ แแแแแฅแขแแแแ แแแแแแแ แแ แแแแแแแแแแ, แขแแแฆแแแแแ แแ แแแฅแชแแแแแแ. แแก แแแแแแ, แแกแแแ แ แแแแ แช แแแแแกแแแแ แ แกแฎแแ, แจแแแฅแแแ แแแ แแแแฃแแ แแ แแแแแแแแแก แแแแแกแแญแ แแแแ. แจแแกแแแแจแแแแแ แแแแก แแแกแแแแแแแ, แแฃ แกแแ แฃแแแ แแแแแ แแแ แขแแแแกแแแแก, แแฃ แแแแแแขแแก แแแแแ แแญแแ แแแแแ. แแแแ แแ แแฃ แแกแฃแ แ แแ แแแแแแขแแก แแแแแแแก แแ แแแแแแแ แแแ, แแก แแแแแแ แแ แแแฃแจแแแแแก.
แแแแแแแขแแแ แกแแจแฃแแแแแแก แแแแซแแแแก แแแแแกแแแฆแแ แแ แแแแแแแก แแแแกแแแแแ. แแ แแแชแแแแ แแแ แแแแฉแแแแแแก, แแฃ แ แแแแ แฃแแแแจแแ แแแแ แแก แแแแกแแแแแ แ แแแแแแแก. แแแแแ แแแกแแฃแแ แแ แฉแแแแก แแแชแแแแ แแแแแ, แแแแแแฃแขแแ แฃแ แแแชแแแแ แแแแแแ. แ แแแแแแ, แ แแแแแแแช แฉแแแ แแแฃแจแแแแ, แแ แแก แกแฎแแแแแกแฎแแ แกแแฎแแก แแแแแแแแแแ แกแแกแขแแแแแ: แแ แแชแแกแแ แแแ, แกแแแแแแจแ แแแแกแแแแแ, แแแแแแฃแขแแ แแแ, แแ แแแ แแแแแแก แจแแแกแ แฃแแแแแแ แแ แ.แจ. แแ แแแกแแฃแแ แแ แแ แแแ แแแแก แแแจแแแแแแ แแแแแแฃแขแแ แแ, แแแแ แแ แแแแแแแ, แงแแแแ แแก แแแกแแแแ แแฎแแแ แแแแแกแแแแ แแแแแแแแแ แกแแกแขแแแแก. แฉแแแแก แแแชแแแแ แแแแจแ แฉแแแ แแแงแแแแแ แแ แแแแ แแแแกแฎแแแแแแฃแ แแแแแแก: แขแฃแ แแแแแก แแแแฅแแแแก, แแแแแแแแแแก แแแฌแแแแแ แแ แแแฌแแกแ แแแแแฃแ แแแแแแแฅแขแก แแ แแแแ แกแฎแแแก.
แ แ แแ แแก แแ แแแ แแแ? แแก แแ แแก แแแแแกแแแแ แ แแแแ, แ แแแแแแช แจแแแซแแแแ แแแแแฃแแแแแแแแ แแแแแฎแแแแแแแแก. แแแแฃแจแแแ, แแ แแฃแแแ แแก แแแฌแแ แ แแแญแแ แแแแ. แฉแแแ แแแกแ แฃแแแแ แกแแ แแแแแแแแแก: แแแแฃแจแแแแแ แแแแฎแแแ แแแแแก แฎแแแแแก แแ แแแ แแแแก แจแแกแแฎแแ, แจแแแแแ แแฌแแ แ แแ แแแ แแแแก แแแฆแแแ แแแแแก แแแแแ แแแแก แแ แแแแแก แแฌแแ แ แแแแก. แแแแแก แแแฌแแ แแกแแก, แฉแแแ แแฎแแแแแแ, แ แแ แฃแแแ แแแแฌแแ แแ แขแแฅแกแขแแก แคแแ แแแขแแ แแแ. แแฅ แแแแแ แฃแแแ แแแแแแฌแงแแแขแแ แกแแแ แแ แแแแแแ: แแแแแกแแแฆแแ แแ แ แ แขแแฅแกแขแก แแแแแ แฃแแแแก แแก แแแกแขแ แฃแแแแขแ; แแแ แฉแแแ แแแแแ แแแแ แคแแ แแแขแแ แแแแกแแแแก; แแแแแก แแแฌแแ แ. แแ แแแแชแแแแก แแฅแแก แแแแแกแ แฅแแแแแแชแแแ: แกแฌแแ แแ แฉแแแแ แแแคแแกแ แกแแขแงแแแแจแ. แฉแแแ แแกแแแ แแฎแกแแแ แแ แฅแแแแแแชแแแแก แกแแ แแขแแแแ - แ แแแแ แช แฎแแแแแ, แแกแแแ แแแแ แแแแ แแ แแแแ แแแแแแ.
แแแแแ แฃแคแ แ แแแขแแแฃแ แแ แแแแแแฎแแแแ แแแ แแแแ แแแแแฏแ: แ แ แแ แแแแแแแก แฌแงแแแขแก แแ แแแ แแแ. แแฅ แฉแแแ แงแแแแแแ แฎแจแแ แแ แแแคแแ แแแแ แแ แแแ แแแแก, แ แแแแ แช แคแฃแแฅแชแแแก, แ แแแแแแช แแฆแแแก แแแ แแแแฃแ แจแแงแแแแแก แแ แแฌแแ แแแแแก แแแ แแแแฃแ แแแแแแแแแแก. แแแแแแแขแแแแจแ แคแฃแแฅแชแแ แฉแแแฃแแแแ แแ แแฆแฌแแ แแแแ, แ แแแแ แช แฌแงแแแแแแแก แแแฌแแกแ แแแแแฃแแ แแแแ แแแ. แแแแแแแแแ, แแแขแฃแ แแแฃแ แ แ แแชแฎแแแแแก แแแแแ แแขแแก แคแฃแแฅแชแแ แแฆแฌแแ แแแแ, แ แแแแ แช แกแแแ แแแแ {<0,0>, <1,1>, <2,4>, <3,9>, ...}. แแกแแแ แคแฃแแฅแชแแแก แแแแแแ แแ แแก แแแแแแฃแแ แฌแงแแแแแก แแแ แแแแ แแแแแแแขแแแแก แกแแแ แแแแ, แแแฃ แแแขแฃแ แแแฃแ แ แ แแชแฎแแแแ. แคแฃแแฅแชแแแก แแแแกแแกแแแฆแแ แแ, แฃแแแ แแแแแกแแแฆแแ แแ แแแกแ แคแแ แแแแแ แแ แคแแ แแฃแแ.
แแแแ แแ แคแฃแแฅแชแแแแ แแแแแแแขแแแแจแ แแ แแ แแก แแแแแ, แ แแช แคแฃแแฅแชแแแแ แแ แแแ แแแแ แแแแก แแแแแจแ. แแแแแแแขแแแ แแแชแแแแแแ แแแ แขแแแแ. แแแแแแแแ แ แแฃแแ แแแแแแแแแแแกแแแแก แแ แ แแ แแแฅแแก, แแแแแ แแแแแแฎแแแแ แแแ แขแแแ: แคแฃแแฅแชแแ C-แจแ แแ แกแขแแขแแแฃแ แ แแแแแแ Java-แจแ, แ แแแแแแช แแแ แฃแแแแก แแ แ แแแแแ แ แแชแฎแแแก แฃแแแแแก แกแแแ แแ แแแแงแแคแก. แแ แแแแแแแก แกแแแชแแคแแแแชแแแจแ แฉแแแ แแแแฌแแ แ: แแแแแแก GCD(M,N)
แแ แแฃแแแแขแแแแกแแแแก M
ะธ N
แกแแ GCD(M,N)
- แคแฃแแฅแชแแ, แ แแแแแก แแแแแแ แแ แแก แแแแแ แ แแชแฎแแแแแก แฌแงแแแแแ แกแแแ แแแแ, แฎแแแ แแแแ แฃแแแแแก แแแแจแแแแแแแ แแ แแก แฃแแแแแกแ แ แแชแฎแแ, แ แแแแแแช แแงแแคแ M
ะธ N
. แ แแแแ แฃแแแแจแแ แแแแ แแก แแแแแแ แ แแแแแแแก? แแแแแแ แแฃแจแแแแก แแแแ แ แแชแฎแแแแแ, แฎแแแ C แแ Java-แจแ แแแแฅแแก 32-แแแขแแแแ int
. แแก แแแแแแ แกแแจแฃแแแแแแก แแแแซแแแแก แแแแแแฌแงแแแขแแ แแ แแก แแฃ แแ แ แแแแแ แแแแ แกแฌแแ แ GCD
, แแแแ แแ แแก แฎแแแก แแ แจแแฃแจแแแก แแแแแแแแแก แจแแชแแแแแแก. แแแแก แแแกแญแแ แแแแ แฃแคแ แ แ แแฃแแ แแแแแแ, แ แแแแแกแแแแกแแช แแ แ แแ แแ แแก.
แแแแแ แแแกแแฃแแ แแ แคแฃแแฅแชแแแก, แ แแแแ แช แแแแแแแก แจแแแฆแฃแแแแแแ. แแแแแแ แแ แแ แแแ แแแ (แ แแแแ แแชแแ แแแแ แแชแแฃแแ แกแแกแขแแแ) แแ แแแ แฃแแแแก แแฎแแแแ แแแ แแแแฃแ แแแแจแแแแแแแแก แแแ แแแแฃแแ แแ แแฃแแแแขแแแแกแแแแก, แแแ แจแแฃแซแแแแ แแฃแแแแแแ แแแฃแจแแแ. แแแ แแ แแแแกแ, แแแแแแแก แคแฃแแฅแชแแ แแ แแ แแก แแแ แแแ แแแ แแแแฃแแ แแแแ แ แกแแคแแฎแฃแ แแ: แแ แแแแแแแก แแแแแญแ แแก แแแแแแแแ. แกแฌแ แแคแ แแแแแแแแ แแ แแฃแจแขแแแแก แแแแแแแแ แแ แแกแ แแ แแแแแ แคแฃแแฅแชแแแก แแแแแแก, แแแแ แแ แแกแแแ แกแ แฃแแแแ แแแแกแฎแแแแแแฃแแ แแแแแ แแแแแแแ. แแแแขแแ, แแแแก แแฆแกแแฌแแ แแ, แแฃ แ แแแแ แแแแฆแฌแแแ แแ แแแ แแแแก แแแแแแ, แแ แแแงแแแแ แแแแกแฎแแแแแแฃแ แแแแแแก, แแแแแ แฅแแแ แแแก แกแขแแแแแ แขแฃแแ แฅแชแแแแแ แแแแแแ. แแ แแแ แแแ แแแกแจแ แฌแแ แแแแแแแแแแ แ แแแแ แช แงแแแแ แแแกแแจแแแแ แฅแชแแแแก แแ แแแแแแแแ, แ แแแแแแแแแ แแแแแแฃแแ, แแแแแก แแฎแ แแ, แแ แแก แแแแแแแ แแแแแแแก แแแแแแแแแแ แแแ, แฎแแแ แแแแแแแ แแแแ แแ แแก แแแแจแแแแแแแแแแก แแแแแญแแแ แชแแแแแแแแ.
แแแแฎแแ, แ แแแแ แ แแฅแแแแ แแแแแแแแก แแแแแ แแแแแก แแแแ แ แแแแแฏแ. แฃแแแ แแแแแแแแแแแ GCD(M, N)
. แฉแแแ แแแแชแแแแแแแชแแแก แแแแแแแแ M
แ แแแแ แช x
แฎแแแ N
แ แแแแ แช y
, แจแแแแแ แ แแแแแแฏแแ แแ แแแแแแแแแแ แแ แชแแแแแแแแแแ แฃแคแ แ แแชแแ แแก แฃแคแ แ แแแแก, แกแแแแ แแกแแแ แแ แแแแแแแแ แแแแแแ. แแแแแแแแแ, แแฃ M = 12
แฎแแแ N = 18
, แฉแแแ แจแแแแแซแแแ แแฆแแฌแแ แแ แจแแแแแแ แฅแชแแแ:
[x = 12, y = 18] โ [x = 12, y = 6] โ [x = 6, y = 6]
แแ แแฃ M = 0
ะธ N = 0
? แแฃแแ แแงแแคแ แงแแแแ แ แแชแฎแแแ, แแแแขแแ แแ แจแแแแฎแแแแแจแ แแ แแ แกแแแแแก แฃแแแแแกแ แแแแงแแคแ. แแ แกแแขแฃแแชแแแจแ, แฉแแแ แฃแแแ แแแแฃแแ แฃแแแแ แแแ แแแ แกแแคแแฎแฃแ แก แแ แแแแแแฎแแ: แแแแแแแแแ แแแญแแ แแแแ GCD แแแแแแแแ แแ แแแแแแแแแ แ แแชแฎแแแแแกแแแแก? แแฃ แแก แแ แแ แแก แกแแญแแ แ, แแแจแแ แฃแแ แแแแ แฃแแแ แจแแชแแแแแ แกแแแชแแคแแแแชแแ.
แแฅ แแชแแ แ แแแแแฎแแแแ แฃแแแ แแแแแแแแแ แแ แแแฃแฅแขแแฃแแแแแก แจแแกแแฎแแ. แแก แฎแจแแ แแ แแแแแแแ แแฆแแจแ แแแฌแแ แแแ แแแแแก แฎแแแแแแก แ แแแแแแแแแ. แแแแ แแ แแฅแแแแ แแแแฃแจแแแแ แ แแแแ แแ แฃแคแ แ แกแแกแแ แแแแแแ, แแฃ แแแแจแแ แแแ แฎแแแแแแก แแแ แแแแฃแ แ แแแแแแแแแก, แ แแแแแ แแแแแแแ แแแแแแ แแแฅแแ แจแแชแแแแแแแกแแแแก. แแ แแแแแก แแแจแแ แแแแก แฃแแแ แขแแแแกแ แแแ แแแ แแแ แแขแแแแแ. แกแแแกแแแแ แจแแกแแซแแแแแแแ, แ แแ แแฅแแแ แฃแแ แแแแ แแ แแแแญแแ แแแ แงแแแแ แแแ แ แแ แกแแกแขแแแแ, แ แแแแแก แแแแฎแแ แชแแแแแแแกแแช แชแแแแแแ. แแ แแแ แแแแก แแแแแ แขแแแแแแกแ แแ แแ แแแก แแแแแแแแก แงแแแแแแ แกแฌแ แแคแ แแแ แแ แแก แแ แแแแแแแแ แแก, แ แแช แแ แฃแแแ แแแแแแแแก. แแแแ แ แแแแแฏแ แแ แแก แแแแ แ แงแแแแแแ แแ แแแก แแแแแแแแก แแแขแแแชแแแแ. แแฃ แแฅแแแ แจแแแคแแกแแแ แแ แแแฃแฅแขแแฃแแแแแก แแแฌแแ แแแ แกแขแ แแฅแแแแแแ, แแแจแแ แคแแฅแ แ แแแแแ, แแฃ แ แแแแ แฃแแแ แจแแแกแ แฃแแแ แแแแแแแแ, แแแแซแฃแแแแ แแแแแแแแ แแ แแแฃแฅแขแแฃแแ, แแแแขแแ แ แแ แแฅแแแ แจแแแแซแแแแ แแแแแแแ แแ แแแแแ แแ แแแแแแ แแแแแแแ แแแแแ. แแฅ แแฃแกแข แกแขแแขแแกแขแแแแก แแแ แแแแชแแแ, แ แแแแแ แแ แแแฅแแก แกแแจแฃแแแแแ แแแแแแแแ แกแขแ แแฅแแแแแแก แ แแแแแแแแ, แ แแช แแ แแแแฌแแ แ แแแแก แแแแ, แ แแ แแ แ แแแแแขแแ แ แกแแแชแแคแแแแชแแแแ, แแแฃ แแแ แแแ แแ แแแแ แ แกแแคแแฎแฃแ แแ. แแ แแฅแกแแแ แแแแแขแแก แแแงแแแแแ แแฅแแช แแ แจแแแซแแแแ, แ แแแแแ แแฅแกแแแ แแแแแขแจแ แแ แแแแฅแแก แแแ แแแแ แแแแแฏแแก แจแแกแ แฃแแแแแก แฃแคแแแแ, แแแแชแแแ แฌแแแแกแฌแแ แแ แแก แแแแกแแแฆแแ แฃแแ.
แแ แแคแแ แแแแฃแ แกแแแชแแคแแแแชแแแแจแ แแแแ แ แกแแ แแฃแแแก แแแแแขแแแแแ แแแแแแแ. แคแฃแแฅแชแแแแแก แแแแชแ แ แกแแแชแแคแแแแชแแแแแก แแแฌแแ แ แ แแฃแแ แแ แแคแแ แแ, แแแแแ แแ แแแแแแฎแแแแ. แแแแก แแแชแแแแ, แฉแแแ แแแกแแฃแแ แแแ แกแขแแแแแ แขแฃแแ แฅแชแแแแก แซแแแแ แ แกแแแชแแคแแแแชแแแแแก แแแฌแแ แแแ. แแ แกแแแแแก แแแแ แแแ, แ แแแแแแช แแแแแแก, แ แแ แฅแชแแแแก แแแแแกแแแแ แ แแแแ แแแ แจแแแซแแแแ แแฆแฌแแ แแแ แแงแแก แฃแกแแคแ แแฎแแแแแก แกแแแฃแแ แแแแก แแแแแงแแแแแแ (แฃแกแแคแ แแฎแแแแ) แแ แแแแแ แฉแแแแก แแแแกแแแแแ (แกแแชแแชแฎแแ). แฃแกแแคแ แแฎแแแแ แแแจแแแแก, แ แแ แชแฃแแ แแ แแคแแ แ แแแฎแแแแ, แแ แแแ แแแ แแ แแแกแชแแแก แแ แแกแฌแแ แแแกแฃแฎแก. แแแแแ แฉแแแ แแแจแแแแก, แ แแ แแแ แ แแฃ แแแแแ แ แแฆแแช แแแ แแ แแแฎแแแแ, แแแฃ แแ แแแ แแแ แแแ แ แแฃ แแแแแ แแแกแชแแแก แกแฌแแ แแแกแฃแฎแก. แ แแแแ แช แฌแแกแ, แฃแกแแคแ แแฎแแแแ แฃแคแ แ แแแแจแแแแแแแแแ แแแฉแแแแแแแแแ, แจแแชแแแแแแ แงแแแแแแ แฎแจแแ แแ แแฅ แฎแแแแ. แแแแขแแ, แแ แแแก แแแแแแแแก แแแแแแ, แแแแแ แฉแแแแแ แแ แแแกแแฃแแ แแ, แแฃแแชแ แแก, แ แ แแฅแแ แฃแแแ, แแกแแแ แแแแจแแแแแแแแแแ.
แฉแแแ แแแแแฆแฌแแแ แฃแกแแคแ แแฎแแแแแก, แแแ แแแ แ แแแจแ, แจแแกแแซแแ แกแแฌแงแแกแ แแแแแแแ แแแแแแแก แแแแ แแแแก แแแแแแแแแ. แแ แแแแ แ, แฃแ แแแแ แแแแแแ แงแแแแ แจแแกแแซแแ แแแแแแแแ แกแแฎแแแแฌแแคแแกแแแ แแแแแแฃแแ แกแแฎแแแแฌแแคแแกแแแแก. แแแแ แแแแแฅแแแแแ แ แแแแ แช แแแชแแแแ แแแ แแ แแแแแกแแแฆแแ แแ แแแแแแแ แแแแแแ แแแแแแแขแแแฃแ แแ. แกแแฌแงแแกแ แแแแแแแ แแแแแแแก แกแแแ แแแแ แแฆแฌแแ แแแแ แคแแ แแฃแแแ, แแแแแแแแแ, แแแแแแแแก แแแแแ แแแแแก แจแแแแฎแแแแแจแ: (x = M) โง (y = N)
. แแแ แแแแฃแแ แฆแแ แแแฃแแแแแแแกแแแแก M
ะธ N
แแ แกแแแแแก แแฎแแแแ แแ แแ แกแแฌแงแแกแ แแแแแแแ แแแแ. แจแแแแแ แแแแแแแ แแแแแกแแแ แฃแ แแแแ แแแแ แแฆแฌแแ แแแแ แคแแ แแฃแแแ, แ แแแแแจแแช แจแแแแแแ แแแแแแแ แแแแแก แชแแแแแแแ แแฌแแ แแแ แแแ แขแแแ แแกแแแแแ, แฎแแแ แแแแแแแแ แ แแแแแแแ แแแแแก แชแแแแแแแ แแฌแแ แแแ แแแ แขแแแแก แแแ แแจแ. แแแแแแแแก แแแแแ แแแแแก แจแแแแฎแแแแแจแ แกแแฅแแ แแแแฅแแก แแ แ แคแแ แแฃแแแก แแแกแฃแแฅแชแแแกแแแ, แ แแแแแแแแแ แแ แแจแ x
แแ แแก แงแแแแแแ แแแแ แแแแจแแแแแแแ แแ แแแแ แแจแ - y
:
แแแ แแแ แจแแแแฎแแแแแจแ, y-แแก แแฎแแแ แแแแจแแแแแแแ แฃแแ แแก y-แแก แฌแแแ แแแแจแแแแแแแแก, แฎแแแ x-แแก แแฎแแ แแแแจแแแแแแแแก แแแฆแแแ แฃแคแ แ แแแแ แชแแแแแแก แแแแแแแแแแ. แแแแ แ แจแแแแฎแแแแแจแ แฉแแแ แแแ แแฅแแ แแแแแแแแ.
แแแแฃแแ แฃแแแแ แแแแแแแแก แแแแแ แแแแก. แแแแแ แแ แแฎแแ แแแแฃแจแแแ M = 12
, N = 18
. แแก แแแแกแแแฆแแ แแแก แแ แ แกแแฌแงแแก แแแแแแแ แแแแแก, (x = 12) โง (y = 18)
. แจแแแแแ แฉแแแ แแแแ แแแแ แแ แแแแจแแแแแแแแแก แแแแแ แแแชแแแฃแ แคแแ แแฃแแแจแ แแ แแแฆแแแ:
แแฅ แแ แแก แแ แแแแแ แแ แจแแกแแซแแ แแแแแกแแแแแ: x' = 18 - 12 โง y' = 12
แแ แฉแแแ แแแฆแแแ แฅแชแแแแก: [x = 12, y = 18]
. แแแแแแแแฃแ แแ, แฉแแแ แจแแแแแซแแแ แแฆแแฌแแ แแ แงแแแแ แแแแแแแ แแแแ แฉแแแแก แฅแชแแแแจแ: [x = 12, y = 18] โ [x = 12, y = 6] โ [x = 6, y = 6]
.
แแแแ แแแแแแแ แแแแแจแ [x = 6, y = 6]
แแแแแฎแแขแแแก แแ แแแ แแแฌแแแ แแชแแแ แ แแฅแแแแ, แแแแขแแ แแแก แจแแแแแแ แแแแแแแ แแแแ แแ แแฅแแก. แแกแ แ แแ, แฉแแแ แแแแฅแแก แแแแ แ แกแแคแแฎแฃแ แแก แกแ แฃแแ แแแแฃแกแขแแแ - แ แแแแ แช แฎแแแแแ, แแก แแ แแก แกแแแแแแ แฉแแแฃแแแแ แแแ แแแแแแแขแแแ, แ แแแแ แช แแแแแแ แแแกแ แแ แแแชแแแแ แแแจแ, แแ แแ แ แฃแชแแแฃแ แ, แ แแแแ แช แแแแแแฃแขแแ แฃแแ แแแชแแแแ แแแแจแ.
แแก แแ แ แคแแ แแฃแแ แจแแแซแแแแ แแแแ แแแแแแแก แแ แแแแแแ แแแแแแแก แแ แ แคแแ แแฃแแแจแ. แแก แแแแแแแขแฃแ แ แแ แแแแแแแ แแกแแฎแกแแแแแ, แแแแ แแ แแฎแแ แแแกแแแแก แแ แ แแ แแ แแก. แแ แแแแแแ แแแแแแ แจแแแซแแแแ แแแแแญแแ แแแก แแฎแแแแ แกแแชแแชแฎแแแกแฃแแแ แแแแแแแกแแแแก, แแก แแ แแ แแก แกแแญแแ แ แฃแกแแคแ แแฎแแแแแกแแแแก. แแ แแแแแแ แแแแแแ, แ แแแแ แช แแกแแแ, แแ แแแแฌแแแก, แแก แแ แแ แแก แฉแแแฃแแแแ แแแ แแแแแแแขแแแ, แแแแ แแ แกแแชแแชแฎแแแก แจแแแแฎแแแแแจแ แแก แแฃแชแแแแแแแ แแแ แแขแแแแ.
แแแแแแแแก แแแแแ แแแแจแ, แแแแแแฃแแ แแแแจแแแแแแแแกแแแแก x
ะธ y
แแฅแแก แฃแแแแแแฃแ แ แฆแแ แแแฃแแแแแแ x'
ะธ y'
, แ แแช แญแแจแแแ แแขแก แฎแแแก แแแแแ แแแแแก แจแแแแแ แแแแแแแ แแแแแกแแแ. แกแฎแแ แกแแขแงแแแแแ แ แแ แแแฅแแแ, แแแแแแแแก แแแแแ แแแแ แแแขแแ แแแแแกแขแฃแแแ. แแ แแแแขแแ แแแแแกแขแฃแแ แแแแแ แแแแแก แแแแแแแ แแแแกแแแแก, แแแแแแแแแแ แแแแแแแ แแแแแก แฃแแแ แฐแฅแแแแแก แแ แแแแแ แจแแกแแซแแ แแแแแแแแ แแแแแแแ แแแแ แแ แ แแ แแแแแแฃแ แแ แแแ แแแแแแแฃแ แชแแแแแแก แแแแจแแแแแแแแก แแฅแแก แแ แแแแแ แแ แแแแแแ แแแฃแแ แชแแแแแแก แแแแจแแแแแแแ, แแกแแแ, แ แแ แแแแจแแ แ แจแแแแแ แแแแแแแ แแแแแกแแแ แแ แแก แญแแจแแแ แแขแ. แแแแก แแแแแแแแ แแแแแแแ, แแแแ แแ แแฎแแ แแแแแแแแแแก แแ แแแแแงแแแ.
แกแแแฃแจแแ แฎแแแกแแฌแงแแก แจแแกแแฅแแแแแแ แกแแญแแ แแ แคแแ แแแแฃแ แ แแแแแแแขแแแ. แ แแแแ แแแแฎแแแแ แกแแแชแแคแแแแชแแ แคแแ แแแแฃแ แ? แแแแกแแแแแก แฉแแแ แแแญแแ แแแแ แคแแ แแแแฃแ แ แแแ, แแแแแแแแแ,
แขแแแ แแแจแแแก แกแแแแแแ แกแแแแฃแแฎแแแแ แแแจแแแแก, แ แแ แแแจแแแก แแแ แชแฎแแแ แแแแจแแแแแแแ แแแแแกแแแฆแแ แแแ แแแจแแแก แแแ แฏแแแแ แแแแจแแแแแแแแก แขแแแ. แแ แกแแแแแแ, แกแแแชแแคแแแแชแแ แแ แแก แแแแแแ แขแแแ, แฉแแแแก แจแแแแฎแแแแแจแ แแ แ แแแแแแ แขแแแ. TLA+-แแก แกแแแชแแคแแแแชแแแก, แแฅแแแ แฃแแแ แแแแแแขแแ แแแแแแ แแชแแแแ แแ แแแ แแแแฃแแ แกแแแขแแฅแกแ, แ แแแแ แช แแแแแ แแแชแแแฃแ แกแแแแแจแ. ASCII-แจแ แแกแ แแแแแแงแฃแ แแแ:
แ แแแแ แช แฎแแแแแ, แแ แแคแแ แแ แ แแฃแแ. TLA+-แแก แกแแแชแแคแแแแชแแ แจแแแซแแแแ แจแแแแฌแแแแก, แแแฃ แแชแแ แ แแแแแแจแ แงแแแแ แจแแกแแซแแ แฅแชแแแแก แแแแ แแแก แแแแแ. แฉแแแแก แจแแแแฎแแแแแจแ, แแก แแแแแแ แแฅแแแแ แแแ แแแแฃแแ แแแแจแแแแแแแแแ M
ะธ N
. แแก แแ แแก แซแแแแแ แแคแแฅแขแฃแ แ แแ แแแ แขแแแ แแแแแแแฌแแแแแก แแแแแแ, แ แแแแแแช แแ แแก แกแ แฃแแแแ แแแขแแแแขแฃแ แ. แแกแแแ แจแแกแแซแแแแแแแ แคแแ แแแแฃแ แ แกแแแแ แแแแก แแขแแแชแแแฃแแแแแแแก แแแฌแแ แ แแ แแแแ แแแฅแแแแแฃแ แ แจแแแแฌแแแแ, แแแแ แแ แแแแก แแแแ แแ แ แกแญแแ แแแแ, แแแแขแแ แแแแก แแแแฅแแแก แแ แแแแ แแแแแแแก.
TLA+-แแก แแแแแแ แ แแแแฃแกแ แแ แแก แแก, แ แแ แแแแแแแขแแแแ แแ แแ แแแ แแแแกแขแแแก แแ แแแแแแฃแขแแ แฃแ แแแชแแแแ แแแก แแแแแแแขแแแแก แแจแแแแแ. แแ แแ แจแแฎแแแแแ แแก แฎแฃแแ แแแแ แแฆแแ แก, แแแแ แแ, แกแแแฌแฃแฎแแ แแ, แแแแก แแแแแ แกแแ แแแแฃแแแแแ แแแฃแแแกแฎแแแ. แฉแแแ แแแแแแ แฃแแ แแแแ แแแฃแแแแแแแ, แ แแแแ แชแแแแแแแ แแแฎแกแแ TLA+ แ แแแแแแแแ แแแแแแแแแ แแกแแแแก. แ แแแแ แช แแ แคแแ แแฃแแแแ แแแ แแแแ แแแแแฉแแแ, แแแจแแแแ แจแฃแจแแก แแแแแแแ แแแฎแแแแ. แแกแ แ แแ, แแฃ TLA+ แจแแแแจแแแแแ, แจแแแแซแแแแ แแแแแแงแแแแ
แแฅแแแ แแแแแ แแแแแ แแขแแกแขแแก, แ แแ TLA + แแ PlusCal แแ แแก แแแแแแแขแแแ แแ แแแแแแแขแแแ แแฃแจแแแแก แแฎแแแแ แแแแแแแแแ แแแแแแแแแแแ. แแ แแฅแขแแแแจแ แแญแแ แแแแแ แ แแแแฃแ แ แแแ แขแแแแแแ, แแ แแชแแแฃแ แแแแ, แแแแแฅแขแแแแ แแ แ.แจ. แแก แแ แแกแฌแแ แแ. แแ แ แแก แฌแแ แก แแ แแก แแแฃแแแแแ, แ แแแแแแช Amazon-แจแ แแฃแจแแแแแ: โแฉแแแ แแแแแแแงแแแแ TLA+ แแ แแแแแแ แแ แแแฅแขแแ แแ แแแแแแฃแ แจแแแแฎแแแแแจแ, แแแก แแแแแงแแแแแแ แแแแจแแแแแแแแแ แชแแแแแแแ แจแแแขแแแ แแแแแแแแ แแแแจแ, แ แแแแแ แฉแแแ แจแแแซแแแแ แกแแจแแจแ แจแแชแแแแแแแก แแแญแแ แ, แกแแแแ แฌแแ แแแแแแก แแแแแแแแแ, แแ แแแแขแแ, แ แแ แแก แแแแซแแแแแ แกแแญแแ แ แแแ แก แแ แแแแแแก. แแแแแแแแ แแฃแจแแแแแก แแแ แแกแแฃแแ แแแขแแแแแแชแแ แแ แแแ แแแแก แกแแแแแแแแแแแ แแแแแแแแก แแแ แแจแ". แฎแจแแ แแ แแแกแแแ, แ แแ แคแแ แแแแฃแ แ แแแแแแแแแก แแแแแงแแแแแแกแแก แแแฆแแแ แแ แแแคแแฅแขแฃแ แแแแก โ แแ แแฅแขแแแแจแ แงแแแแแคแแ แ แแฃแกแขแแ แกแแแแ แแกแแแ แแ. แแแ แแ แแแแกแ, แแ แกแแแแแก แแแกแแแ แแแ, แ แแ แแแแแฏแแ แแแ แแแ แแแ แฌแแฃแแแแแแแ แคแแ แแแแฃแ แ แแแแแแแแแก แกแแญแแ แแแแแจแ, แแแจแแแแช แแ, แแฃ แแ แแแ แแแแกแขแแแ แแแ แฌแแฃแแแแฃแแแ แแ แแแ แแแ แกแแ แแแแแแแแแแแจแ. แแ แแแฃแแแแแ แฌแแ แก: โแแแแแฏแแ แแแ แแฎแแ แซแแแแ แแแซแฃแแแแแ แแแฌแแ แแ แกแแแชแแคแแแแชแแแแ TLA +-แแกแแแแก แแ แแแแแ แแขแฃแแแ แแแแแงแแก แแ แ แแแแกแแแแกโ. แแกแ แ แแ, แ แแแแกแแช แแแแแฏแแ แแแ แฎแแแแแแ, แ แแ TLA+ แแฃแจแแแแก, แแกแแแ แกแแแแแแแแแแ แแฆแแแแ แแแก. แแ แแก แแแฃแแแแแแ แแก แแแฌแแ แ แแแแฎแแแแแแ แแฅแแกแ แแแแก แฌแแ (2014 แฌแแแก แแฅแขแแแแแ แ), แแแแ แแ แแฎแแ, แ แแแแแแแแแช แแ แแแชแ, TLA+ แแแแแแงแแแแแ 14 แแ แแแฅแขแจแ แแ แแ แ 10. แแแแแ แแ แแ แแแแแแแแ แแฎแแแ XBox 360-แแก แแแแแแแก. แกแขแแแแแ แ แแแแแแ แฉแแ แแ แแแแแ แแแ แแ แแแฌแแ แ แแแฎแกแแแ แแแแก แกแแกแขแแแแก แกแแแชแแคแแแแชแแ. แแ แกแแแชแแคแแแแชแแแก แฌแงแแแแแแ, แแแแแแก แจแแชแแแแ, แ แแแแแแช แกแฎแแแแแแ แแ แจแแฃแแฉแแแแแแ แแแ แฉแแแแแ แแ แ แแก แแแแแช แงแแแแแ XBox 360 แแแแ แแ แแแฎแ แกแแแแแก แแแแแงแแแแแแก แจแแแแแ. IBM-แแก แแแแแแ แแแแ แแแแแแกแขแฃแ แแก, แ แแ แแแแ แขแแกแขแแแ แแแ แแแแแแแแแแ แแ แจแแชแแแแแก.
TLA +-แแก แจแแกแแฎแแ แแแขแ แจแแแแซแแแแ แฌแแแแแแฎแแ แแแขแแ แแแขแจแ, แแแแ แแ แแฎแแ แแแแแ แแแกแแฃแแ แแ แแ แแคแแ แแแแฃแ แกแแแชแแคแแแแชแแแแแ. แฉแแแ แแจแแแแแแ แแแแฌแแแก แแ แแแ แแแแแแก แแแฌแแ แ, แ แแแแแแแช แแแแแแแแแแ แฃแแชแแ แแก แกแแแ แแ แแแแงแแคแก แแ แแกแแแแกแก. แแแแ แแ แฃแคแ แ แฎแจแแ แแ แแฌแแ แ แแ แแแ แแแแแก, แ แแแแ แแชแแ แแแแแแ แแ แแแขแแ แแก แแแกแขแ แฃแแแแขแ, แ แแแแแแช แแแแฌแแ แ TLA+-แแกแแแแก. แฃแแแ แขแแแแกแ แแแแฃแจแแแแแแก แจแแแแแ, TLA + แแแแ แแกแ แแแแแแงแฃแ แแแ:
แแแแ แแ แแแแแ แแแงแแแแแ แแแแแแแแจแ, แแแแฎแแแ แแแแแก แแแแ แแแแแแแแแ แกแฃแ แแ แจแแแ แแแแแกแ แแ แขแแแแแแก แแแจแแแแแก แแแกแฌแแ แแแ. แแกแ แ แแ, แกแฌแแ แ แคแแ แแแขแแ แแแ แฃแคแ แ แแกแ แแแแแแงแฃแ แแแ:
แแแแแแฎแแแแ แแแแแ แแ แแ แแแแแแแแ:
แแฅ, แแแ แแฅแแ, แฌแงแแ แแจแ แขแแแแแแก, แแแแแขแแแแกแ แแ แแแแ แแแแแแแก แแแจแแแแแก แแแกแฌแแ แแแ แจแแแแฎแแแแแแ แแงแ, แแแแขแแ แฃแแแ แขแแแแกแ แแแแฃแจแแแแแ แกแแแกแแแแ แกแแแแแ แแกแแ. แแแแแแแ, แกแฌแแ แ แคแแ แแแขแแ แแแแก แแฃแกแขแ แแแแแแแขแแแฃแ แ แแแแแแ แขแแแ แแ แแ แกแแแแแก, แ แแแแแ โแกแฌแแ แโ แแ แจแแแแฎแแแแแจแ แแแจแแแแก โแ แแช แแแแฎแแแ แแแแแก แฃแแแโ แแ แแแแก แแแแแแแขแแแฃแ แแ แแแแแแแ แจแแฃแซแแแแแแแ.
แ แแแแ แช แฉแแแก, แแฃ แฉแแแ แแ แแแแฅแแก แญแแจแแแ แแขแแแแก แแแแแแ แขแแแ, แแแจแแ แแแแฃแกแขแแแ แฃแกแแ แแแแแแ. แแแแ แแ แแก แแ แแ แแก. แแฎแแแแ แแแแขแแ, แ แแ แฉแแแ แแ แแแชแแ, แ แ แฃแแแ แแแแแแแแก แแ แแแ แแแแ, แแ แแแจแแแแก, แ แแ แแ แแแญแแ แแแแ แแแคแแฅแ แแ แแแแแ, แแฃ แ แแแแ แแฃแจแแแแก แแแ - แแแ แแฅแแ, แฉแแแ แแแแแ แฃแคแ แ แแแขแ แซแแแแกแฎแแแแ แแแญแแ แแแแ. แกแแแชแแคแแแแชแแ แแฅ แแแแกแแแฃแแ แแแแ แแแแจแแแแแแแแแแ. แจแแฃแซแแแแแแแ แกแขแ แฃแฅแขแฃแ แแ แแแฃแแ แแแญแแแแกแแแแก แแแขแแแแแฃแ แ แแ แแแ แแแแก แแแแแแแ, แแแแ แแ แแก แแ แแแจแแแแก แแแแก, แ แแ แกแแแ แแแ แแ แฃแแแ แแแแฆแแ แแแ แแ แชแแแแแแ แแแแก แแแแแแแ แแแแแก แฌแแ แ แแ แแ แแก แแแ แแ. แแแแแก แแแแฌแแ แ แแฅแแกแ แฌแแกแแก แแแแฃแกแขแแแ แแแแแแ แขแแแแแแ แแแแแแขแแ แแแแก แกแแฎแแ java แคแแแแจแ. แแฅ แแแชแแแฃแแแ แแ แ-แแ แแ แฌแแกแแก แแแแแแแแ: a left-comment token is LeftComment aligned with its covering token
. แแก แฌแแกแ แแแฌแแ แแแแ, แแแฅแแแ, แแแแแแแขแแแฃแ แ แแแแแแกแฃแ แแแแแ: LeftComment aligned
, left-comment
ะธ covering token
- แขแแ แแแแแแ แแแแแแ แขแแแแแแ. แแแแแแแขแแแแกแแแ แแกแ แแฆแฌแแ แแ แแแแแแแขแแแแก: แฌแแ แแ แขแแ แแแแแแแก แแแแแแ แขแแแแแก แแ แแแแแ แแแงแ แแแแแแ แฌแแกแแแก. แแกแแแ แกแแแชแแคแแแแชแแแก แฃแแแ แแขแแกแแแ แแก แแ แแก, แ แแ แแฅแแกแ แฌแแกแ แแแแ แแ แฃแคแ แ แแแแแแ แแแกแแแแแ แแ แแแแแ แแฃแแแ, แแแแ แ แแแแแก 850 แฎแแแ. แฃแแแ แแแฅแแแก, แ แแ แแ แฌแแกแแแแก แแแฌแแ แ แแแแแแ แแ แแงแ, แแแ แแแแแ แแแแก แกแแแแแแ แแแแ แแ แ แแแกแญแแ แแ. แกแแแชแแแแฃแ แแ แแ แแแแแแ แแแแฌแแ แ แแแแ, แ แแแแแจแแช แแแแฅแแแแแ, แ แแแแแ แฌแแกแ แแงแ แแแแแงแแแแแฃแแ. แแแแก แฌแงแแแแแแ, แ แแ แแ แแแแแแชแแแ แแก แแฅแแกแ แฌแแกแ แ แแแแแแแแ แแแแแแแแแ, แแ แแแแแฌแแ แแแแแก 850 แฎแแแแก แแแแแ แแแ แแ แจแแชแแแแแแแก แแแแแ แกแแแแแแ แแแ แขแแแ แแฆแแแฉแแแ. แฏแแแแก แแฅแแก แจแแกแแแแจแแแแ แแแกแขแ แฃแแแแขแแแ แแแแกแแแแก. แแแแ แ แแ แแแแแฌแแ แ, แแแแ แแ แแแขแฎแแแก แแแแญแแ แแแแแแ แแ แคแแ แแแขแแ แแแแช แฃแฎแแ แแกแฎแ แแฅแแแแแแ.
แ แแขแแ แแแ แแฅแแ แแแแแงแแแแแฃแแ แแคแแชแแแแฃแ แ แกแแแชแแคแแแแชแแ? แแ แแ แแฎแ แแ, แกแฌแแ แ แจแแกแ แฃแแแแ แแฅ แแ แช แแกแ แแแแจแแแแแแแแแแ. แกแขแ แฃแฅแขแฃแ แฃแแ แแแแแแแแญแแแแ แแฃแชแแแแแแแ แแ แแแแฌแแแแแ แแแแแแก, แแแแขแแ แแ แแแแแฌแแ แแแกแ แกแฌแแ แแ แแฃแจแแแแ แงแแแแ แฃแชแแแฃแ แกแแขแฃแแชแแแจแ. แแแแแ แฃแคแ แ แแแแจแแแแแแแแแแ แแก แคแแฅแขแ, แ แแ แแ แแ แแฅแแแแ แจแแกแแแแแแกแ แฎแแแกแแฌแงแแแแ. TLA+ แแแแแแแก แจแแแแฌแแแแ แแฅ แฃแกแแ แแแแแแ, แแแแขแแ แแแแแแแแแแแก แฎแแแแ แแแฌแแ แ แแแแแฌแแแก.
แแแแแ แแแงแแแแแ แกแแแชแแคแแแแชแแแก แแฅแแก แงแแแแ แกแแแชแแคแแแแชแแแกแแแแก แกแแแ แแ แแแฎแแกแแแแแแแแแ. แแก แฃแคแ แ แแแฆแแแ แแแแแ แแแแ แ แแแแ. แแก แจแแแซแแแแ แแแแฎแแ แชแแแแแแก แแแแแกแแแแ แแแแแ. แแแแแกแแแแ แ แแแกแขแ แฃแแแแขแ แแ แแแแแแ แฃแกแแ แแแแแแ แแแก แแแกแแฌแแ แแ. แแ แช แแ แแ แแ แแแ แแแแ แแแแก แแฃแ แกแ แแ แแแแแฎแแแ แแแแ แแ แกแแแชแแคแแแแชแแแก แแแฌแแ แแจแ. แแ แแ แแ แกแแแแแก แฎแแแกแแฌแงแแแแ, แ แแแแแแแช แแ แกแแแชแแคแแแแชแแแก แแ แแกแแญแแ แ แแแฎแแแก, แแฃ, แ แ แแฅแแ แฃแแแ, แแ แฌแแ แ แแแแก แกแแแชแแแแฃแ แแ TLA+-แจแ แกแขแ แฃแฅแขแฃแ แแ แแแฃแแ แแแญแแแแแ แแ แแแ แแแแแแก แแแกแแฌแแ แแ. แแ แแแแแก, แแก แกแแแชแแคแแแแชแแ แแ แแคแแ แก แแแแแแก แแแแก แจแแกแแฎแแ, แแฃ แ แแแแ แแแแฌแแ แ แแแแก, แแก แแฎแแแแ แแกแแฎแแแแแก แ แแก แแแแแแแก แแก แแแแ. แฉแแแ แแฌแแ แ แกแแแชแแคแแแแชแแแก, แ แแแ แแแแแแฎแแแ แแก แแ แแแแแแแก แแแแแญแ แแจแ, แกแแแแ แแแแแ แคแแฅแ แก แแแแแฌแงแแแ.
แแแแ แแ แแ แกแแแชแแคแแแแชแแแก แแกแแแ แแฅแแก แแแฎแแกแแแแแแแแแ, แ แแแแแแแช แแแแแกแฎแแแแแแก แแแก แกแฎแแ แกแแแชแแคแแแแชแแแแแกแแแ. แกแฎแแ แกแแแชแแคแแแแชแแแแแก 95% แแแแจแแแแแแแแแ แแแแแ แแ แแแ แขแแแแ:
แแแ แแ แแแแกแ, แแก แกแแแชแแคแแแแชแแ แแ แแก แฌแแกแแแแก แแแแ แแแ. แ แแแแ แช แฌแแกแ, แแก แชแฃแแ แกแแแชแแคแแแแชแแแก แแแจแแแแ. แฌแแกแแแแก แแ แแแแแแแแแก แจแแแแแแแแก แแแแแแ แกแแแแแแ แ แแฃแแแ, แ แแก แแแแแช แแแแ แแ แ แแแแแฌแแ แแแแ แแแแแ แแแแกแแแแก. แแฃแแชแ แแ แจแแแแฎแแแแแจแ แฃแแแแแกแ แแแ แแแ แแแแแแ.
แฆแแ แก แ แแแแแแแแ แกแแขแงแแแก แแฅแแ แแ แแแ แแแแแแ, แ แแแแแแแช แแฃแแแแแแ แแฃแจแแแแก. แ แแแแ แช แฌแแกแ, แแกแแแ แแฃแจแแแแแ แแแ แแแแแฃแ แแ, แแแแแแแแแ, แแแแ แแชแแฃแแ แกแแกแขแแแแแ แแ แแแแแฌแแแแแฃแแ แกแแกแขแแแแแ. แซแแแแแ แชแแขแแก แจแแฃแซแแแ แแแแ แแแแแแ แแแแแแ แแแแ แแ แฅแแฆแแแแแ แแ แแ แแ แแแ แแแ แจแแ แแก, แแฃแแชแ แแแแกแฆแแช แจแแแซแแแ แแแแก แแแแแแแแ. แแแแขแแ, แฉแแแ แแแญแแ แแแแ แแแกแขแ แฃแแแแขแแแ, แ แแแแแแแช แจแแแแแฌแแแแแ แฉแแแแก แแฃแจแแแแแก - แแแแแแแแแ, TLA + แแ PlusCal.
แ แแขแแ แแงแ แกแแญแแ แ แกแแแชแแคแแแแชแแแก แแแฌแแ แ, แแฃ แฃแแแ แแแชแแแ, แแแแแ แแขแฃแแแ แ แ แฃแแแ แแแแแแแแแแแ แแแแ? แกแแแแแแแแแแจแ, แแ แแแแแแ, แ แแ แแแชแแแ. แแแ แแ แแแแกแ, แแแแฃแกแขแแแแ, แแฃแขแกแแแแแ แก แแฆแแ แกแญแแ แแแแ แแแแจแ แจแแกแแแ, แ แแแ แแแแแแก, แ แแก แแแแแแแก แแก. แแ แแแฅแแก แฌแแกแ: แแ แฃแแแ แแ แกแแแแแแแก แแแแแแ แฌแแกแแแ. แแ แฌแแกแแแแ แแ แแก แแแแแแแแแแกแ, แ แ แแฅแแ แฃแแแ, แแก แแ แแก แแ แแแแแ แแ แแแแแแ แฌแแกแ, แ แแแแแกแแช แแ แแแแงแแแแ: แแแแฃแกแขแแแ, แแฃ แ แแก แแแแแแแก แแแแ, แฃแแแ แแชแแแแแก แฎแแแฎแก แงแแแแแคแแ แก, แ แแช แแแ แฃแแแ แแชแแแแแ แแแแแก แแแแแงแแแแแแกแแก.
แแแจ, แ แ แฃแแแ แแชแแแแแ แแ แแแ แแแแกแขแแแแ แแแ แแแแแแแก แจแแกแแฎแแ? แแแแฌแงแแแแแแแแก, แแกแแแ, แ แแแแ แช แงแแแแ: แแฃ แแ แฌแแ แ, แแแจแแ แแฎแแแแ แแแฉแแแแแแแ, แ แแ แคแแฅแ แแแ. แแกแแแ, แแฅแแแ แฃแแแ แแคแแฅแ แแ แแแแแ แแแแแแ, แ แแช แแแจแแแแก, แ แแ แแแแแ แแแแแแ แฃแแแ แแแฌแแ แแ. แกแแแชแแคแแแแชแแ แแ แแก แแก, แ แแกแแช แฉแแแ แแฌแแ แ แแแแแ แแแแก แแแฌแงแแแแแแ. แแแแฃแกแขแแแ แกแแญแแ แแ แแแแแกแแแแ แ แแแแแกแแแแก, แ แแแแแก แแแแแงแแแแแ แแ แจแแชแแแ แแแแแกแแแแ แก แจแแฃแซแแแ. แแ แแก โแแแฆแแชโ แจแแแซแแแแ แแแแแ แแงแแก แแแแแก แแแขแแ แ แแแกแ แแแฌแแ แแแแ แแ แแ แแแแก แจแแแแแ. แกแแแชแแคแแแแชแแ แกแแญแแ แแ แแแแ แแ แแแ แแแแแแกแ แแ แกแแกแขแแแแแแกแแแแก, แแแแกแแแแกแแแแก, แแแแแแแแแกแแแแก แแ แแแแฏแแ แแ แแ แแแแแแแก แ แแฃแแ แกแแฅแชแแแแแกแแแแกแแช แแ. แแแแแ แแขแฃแแแ แ แ แฃแแแ แแฌแแ แแก แแแแแ? แแฅแแแ แฃแแแ แแฆแฌแแ แแ แ แแก แแแแแแแก แแก, แแแฃ แ แ แจแแแซแแแแ แแงแแก แกแแกแแ แแแแแ แแแแแกแแแแ แ แแแแแแแแแกแแแแก, แ แแแแแแช แแงแแแแแก แแ แแแแก. แแแแฏแแ แจแแแซแแแแ แกแแญแแ แ แแแฎแแแก แแแแก แแแแฃแกแขแแแ, แแฃ แ แแแแ แแกแ แฃแแแแก แแแแ แแแแแก แแแแแแก. แแฃ แฉแแแ แแแแแแ แแ แแก แแแแแแ แแแแแ แแแแแแแก แแกแแแแแแแแกแแก, แแแจแแ แแแก แแแแแ แแแแก แแฃแฌแแแแแ. แแฃ แแก แ แแฆแแช แฃแคแ แ แแแแกแแแฃแแ แแแฃแแ แแ แแฎแแแแ, แแแจแแ แฉแแแ แแแก แแแฆแแแ แแแแแก แแแแแแแก แแฃแฌแแแแแ. แแฅ แคแแ แแแแฃแ แ แแแแกแฎแแแแแแ แแ แแ แแก: แแ แแแ แแ แแก แแ แแแ แแแแก แแแกแขแ แแฅแขแฃแแ แแแแแแ.
แแฃแกแขแแ แ แแแแ แฃแแแ แแแฌแแ แ แแแแแก แกแแแชแแคแแแแชแแ? แ แแช แแแแแแ แแ: แแก แฃแแแ แแงแแก แแ แแ แแแแแ แฃแคแ แ แแแฆแแแ แแแแ แ แแแแแ แแแแ. แแแ แฃแแแ แแฆแฌแแ แแก แแแแแแแ แแแแ แแ แฅแชแแแ. แแก แแกแแแ แแแแชแ แ แฃแแแ แแงแแก, แ แแแแ แช แแแแก แแแแชแแแ แแแแแฎแแแก. แแฃ แแฅแแแ แฌแแ แ แกแแแชแแคแแแแชแแแก, แแฃ แ แแแแ แฃแแแ แแแแฎแแ แชแแแแแแก แแแแแแแแ, แจแแแแซแแแแ แแแฌแแ แแ แแก แคแกแแแแแแแแจแ แแ PlusCal-แแ. แแฅแแแ แฃแแแ แแกแฌแแแแแ แ แแแแ แแแฌแแ แแ แกแแแชแแคแแแแชแแแแ แแคแแชแแแแฃแ แกแแแชแแคแแแแชแแแแแ. แแก แแแแชแแแ แแฃแชแแแแแแ แฃแแแ แแแก, แ แแช แแแแแฎแแแ แแแแ แแ แแคแแ แแแแฃแ แกแแแแแฎแแแจแแช. แ แแแแ แกแฌแแแแแแ แคแแ แแแแฃแ แ แกแแแชแแคแแแแชแแแแแก แแแฌแแ แแก? แ แแชแ แแ แแแ แแแแ แแแ แแแกแฌแแแแแ, แแฌแแ แแแ แแ แแแ แแแแแก แแ แจแแแแแ แแแกแฌแแ แแแแแ แแแ. แแฅแแช แแแแแแ: แแแฌแแ แ แกแแแชแแคแแแแชแแ, แจแแแแแฌแแ แแแแแแแก แจแแแแแฌแแแแแแ แแ แจแแแกแฌแแ แ แจแแชแแแแแแ. TLA+ แจแแแซแแแแ แแ แแงแแก แกแแฃแแแแแกแ แแแ แคแแ แแแแฃแ แ แกแแแชแแคแแแแชแแแกแแแแก แแ แกแฎแแ แแแ, แกแแแแ แแฃแแแ, แฃแแแแแกแ แแฅแแแแ แแฅแแแแ แแแแแ แแขแฃแแ แกแแญแแ แแแแแกแแแแก. TLA+-แแก แฃแแแ แแขแแกแแแ แแก แแ แแก, แ แแ แซแแแแแ แแแ แแแ แแกแฌแแแแแก แแแแแแแขแแแฃแ แแแ แแแแแแแก.
แ แแแแ แแแแแแแแจแแ แแ แกแแแชแแคแแแแชแแ แแ แแแแ? แแแแแแขแแ แแแแก แแแฎแแแ แแแแ, แ แแแแแแแช แแแแแจแแ แแแแ แแแแแแแขแแแฃแ แชแแแแแแกแ แแ แแแ แแแแฎแแ แชแแแแแแแก. แแฃ แแฅแแแ แแฃแจแแแแ แแ แแคแแแแแแแ, แแแจแแ แแ แแแ แแแแก แแแแแแ แแแฅแแแแแ แแแแแซแแแแก แแแกแแแแแ แแ แแแฃแแแแแก แแแกแแแแแ. แแแแขแแ, แแฅแแแ แแฃแกแขแแ แฃแแแ แแแฌแแ แแ, แแฃ แ แแแแ แฎแแ แชแแแแแแแ แแ แแคแแแ แแ แแ แแแ แแแแ แแแแก แกแขแ แฃแฅแขแฃแ แแแแก แแแแ .
แฃแแแ แแฆแแแแจแแแก, แ แแ แแ แชแแ แแ แแแแแแฆแแแจแแฃแแ แแ แแฎแแแ แแแแแก แแแฌแแ แแก แ แแแแฃแ แแ แแชแแกแก. แ แแชแ แแแแก แฌแแ , แแแฃ แแแกแแแ แกแแคแแฎแฃแ แก แแกแ แฃแแแ, แแกแแแ แฃแแแ แแคแแฅแ แ แแ แแแคแแฅแ แแ แแ แแแ แแแแก แกแแจแฃแแแแแแ. แแฃ แฅแแแแแแชแแแ แแฆแแแฉแแแแแ แ แแฃแแ แแ แแ แ แแจแแแ แ, แแฅแแแ แฃแแแ แแแฌแแ แแ แแแกแ แกแแแชแแคแแแแชแแ. แแแแ แแ แแ แแฅ แแ แแกแแฃแแ แแ แแแแแ แแแแแ. แแฅแแแ แจแแแแซแแแแ แแแแแแงแแแแ แแแแแกแแแแ แ แแ แแแ แแแแ แแแแก แแแ, แแแแแกแแแแ แ แแแแแแแแแแแ, แแก แแ แแฎแแแ แแแ. แแกแแแ, แแ แชแแ แแ แแแแแ แฉแแแแแแแแแ แแ แแแแแ แแชแฎแแแก แแแแแก แขแแกแขแแ แแแแกแ แแ แแแแแ แแแแก แแฃแชแแแแแแแแแก. แแแจแแแแช แแ, แแฃ แแแกแขแ แแฅแขแฃแแ แแแแแแ แกแฌแแ แแ แแ แแก แแแฌแแ แแแ, แจแแแซแแแแ แแงแแก แจแแชแแแแแแ แแแก แแแแฎแแ แชแแแแแแแจแ.
แกแแแชแแคแแแแชแแแแแก แฉแแฌแแ แ แแแแแขแแแแแ แแแแแฏแแ แแแแแ แแแแก แแ แแชแแกแจแ. แแแกแ แฌแงแแแแแแ, แแแแ แ แจแแชแแแแแก แแแคแแฅแกแแ แแแ แจแแกแแซแแแแแแแ แแแแแแแ แซแแแแกแฎแแแแแ - แฉแแแ แแก แแแชแแ แแแแแแแแก แแ แแแ แแแแกแขแแแแก แแแแแชแแแแแแแแแ. แกแแแชแแคแแแแชแแแแแ, แแ แแแ แแแแแแก แฎแแ แแกแฎแ แฃแคแ แ แแแฆแแแ แฎแแแแ. แแแจ, แ แแขแแ แแแแแแแแ แ แแกแ แฎแจแแ แแ แแแ แแแ แแจแ? แ แแแแแ แฌแแ แ แ แแฃแแแ. แแ แฌแแ แ แ แแฃแแแ, แ แแแแแ แแแแกแแแแแก แกแแญแแ แแ แคแแฅแ แ แแ แคแแฅแ แแช แ แแฃแแแ. แงแแแแแแแแก แฃแคแ แ แแแแแแแ แแแแก แแ แแขแแแแแ, แ แแกแแช แคแแฅแ แแ. แแฅ แจแแแแซแแแแ แแแฎแแขแแ แแแแแแแแ แกแแ แแแแแแ - แ แแช แฃแคแ แ แแแแแแแก แ แแแแ, แแแ แฃแคแ แ แแแแ แแแ แแแฎแแ แ. แกแแญแแ แแ แแฃแแแแแแก แแแ แฏแแจแ แแ แฌแแ แแก แแแ แฏแแจแ. แกแแญแแ แแ แแ แแฅแขแแแ.
แกแแแชแแคแแแแชแแ แจแแแซแแแแ แแ แแกแฌแแ แ แแงแแก. แจแแกแแซแแแ แกแแแแ แแแฃแจแแแ แจแแชแแแแ, แแ แแแแฎแแแแแแ แจแแแชแแแแแก, แแ แแแฃแแฏแแแแกแแแ แแแแญแแ แแแ. แแแแแกแแแแ แ แแแแ, แ แแแแแกแแช แแแแแ แแงแแแแแก, แฃแแแ แจแแแชแแแแแก, แแกแ แ แแ แแแ แ แแฃ แแแแแ แกแแแชแแคแแแแชแแ แแฆแแ แแแแฎแแแแ แแ แแแ แแแแก. แแแแแแฃแ แจแแแแฎแแแแแจแ, แแ แจแแแแฎแแแแแจแ, แแฅแแแ แฃแแแ แแแฌแแ แแ แแฎแแแ แกแแแชแแคแแแแชแแ แแ แแแแแแแแ แแแแแฌแแ แแ แแแแ. แฉแแแ แแแ แแแ แแแชแแ, แ แแ แแแแก แแ แแแแ แแแแแแแก. แแ แแฅแขแแแแจแ, แฉแแแ แแแกแฌแแ แแแ แแแแก แแ, แจแแกแแซแแแ, แแแแฎแแแแ แกแแแชแแคแแแแชแแแก. แแฃ แแก แแฃแชแแแแแแแ แแแฎแแแแ แแแ แ แแฃ แแแแแ, แแแจแแ แ แแขแแ แฌแแ แ แกแแแชแแคแแแแชแแแก แกแแแ แแแ? แฃแแแ แแแแแก แงแแแแแกแ, แแ แแแ แแกแแแแก, แ แแแแแแช แแแแ แแแแฅแขแแ แแแก แแฅแแแแก แแแแก, แกแแแชแแคแแแแชแแแจแ แงแแแแแ แแแแแขแแแแแ แกแแขแงแแ แแฅแ แแจแ แแฅแแแแ แแ แแก แแแแแแแแ แจแแกแแซแแแ แแแแแ แแงแแ. แแ แฎแจแแ แแ แแแแแซแฆแแ แกแแแฃแแแ แแแแก แแแแก แแแแ, แ แแ แแ แแแแแฆแ แกแแแแแ แแกแ แกแแแชแแคแแแแชแแแแ, แ แแแแกแแช แแแแแแแ แฉแแแก แแแแก. แแ แแ แฃแคแ แ แแแข แกแแแชแแคแแแแชแแแก แแฌแแ แแแแ แ แแแแ. แแแแขแแ, แแแแแก แ แแแแฅแขแแ แแแแกแแก, แกแแแชแแคแแแแชแแ แงแแแแแแแแก แฃแแแ แแแแแฎแแแแก. แแแแ แแช, แงแแแแแ แแแแแกแแแฏแแแกแแก แแแแ แฃแแ แแกแแแแ, แฃแคแ แ แแ แฃแคแ แ แ แแฃแแ แฎแแแแ แแแกแ แฌแแแแแฎแแ แแ แจแแแแ แฉแฃแแแแ. แแก แแ แแก แแแขแ แแแแแก แแ แแ. แแแแ แแ แแฃ แแ แแแแฌแงแแแ แกแแแชแแคแแแแชแแแ, แแแจแแ แแฅแแแแก แแแแ แแแฌแแ แแแ แงแแแแแ แกแขแ แแฅแแแ แแฅแแแแ แ แแแแฅแขแแ แแแ แแ แแแแ แแฅแแแแ แฃแฎแแ แฎแฃแแ แแ แซแแแแ แฌแแกแแแแแฎแ แแแแแแแแแ.
แ แแแแ แช แแฅแแ
แจแแแแซแแแแ แแแขแ แฌแแแแแแฎแแ TLA + แแ PlusCal-แแก แจแแกแแฎแแ แกแแแชแแแแฃแ แแแแกแแแขแแ, แจแแแแซแแแแ แแฅ แฌแแกแแแ แฉแแแ แกแแฌแงแแกแ แแแแ แแแแแ
แแแฎแแแ แแแแแแแแแกแฌแแแแ, แ แแ แแก แแ แแก แแแ แแแแแ. แ แแแแกแแช แฌแแ แ แแแแแแขแแ แแแก, แแแฎแกแแแแแ, แ แแ แแแขแแ แ แแแ แแ แฌแแแแแแฎแแแก. แแฃ แแแแแแแแแ แแกแฃแ แ แแแขแแ แแแ แกแแฃแแแ แ, แแแจแแ แแก แแฅแแแแ Hydra 2019 แแแแคแแ แแแชแแแแ, แ แแแแแแช แแแแแแ แแแแ 11 แฌแแแก 12-2019 แแแแแกแก แกแแแแข-แแแขแแ แแฃแ แแจแ. แแแแแแแแแก แจแแซแแแ แจแแกแแซแแแแแแแ
แแคแแชแแแแฃแ แแแแแแแ แแแ .
แฌแงแแ แ: www.habr.com