เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2

เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2

เจนเฉ‡ เจนเจฌเจฐ!

ะ’ เจชเจนเจฟเจฒเจพ เจญเจพเจ— เจ‡เจธ เจฒเฉ‡เจ– เจตเจฟเฉฑเจš, เจ…เจธเฉ€เจ‚ เจšเจฐเจšเจพ เจ•เฉ€เจคเฉ€ เจ•เจฟ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจพ เจ•เจฐเจจ เจตเจพเจฒเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจฒเจˆ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจ•เจฟเจ‰เจ‚ เจœเจผเจฐเฉ‚เจฐเฉ€ เจนเฉ‹ เจธเจ•เจฆเจพ เจนเฉˆ, เจ…เจœเจฟเจนเฉ‡ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจœเจจเจฐเฉ‡เจŸเจฐเจพเจ‚ เจฒเจˆ เจ•เจฟเจนเฉœเฉ€เจ†เจ‚ เจฒเฉ‹เฉœเจพเจ‚ เจ…เฉฑเจ—เฉ‡ เจฐเฉฑเจ–เฉ€เจ†เจ‚ เจœเจพเจ‚เจฆเฉ€เจ†เจ‚ เจนเจจ, เจ…เจคเฉ‡ เจ‰เจนเจจเจพเจ‚ เจจเฉ‚เฉฐ เจฒเจพเจ—เฉ‚ เจ•เจฐเจจ เจฒเจˆ เจฆเฉ‹ เจชเจนเฉเฉฐเจšเจพเจ‚ 'เจคเฉ‡ เจตเจฟเจšเจพเจฐ เจ•เฉ€เจคเจพ เจ—เจฟเจ† เจนเฉˆเฅค

เจฒเฉ‡เจ– เจฆเฉ‡ เจ‡เจธ เจนเจฟเฉฑเจธเฉ‡ เจตเจฟเฉฑเจš, เจ…เจธเฉ€เจ‚ เจฅเฉเจฐเฉˆเจธเจผเจนเฉ‹เจฒเจก เจฆเจธเจคเจ–เจคเจพเจ‚ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจจ เจตเจพเจฒเฉ€ เจ‡เฉฑเจ• เจนเฉ‹เจฐ เจชเจนเฉเฉฐเจš 'เจคเฉ‡ เจกเฉ‚เฉฐเจ˜เจพเจˆ เจจเจพเจฒ เจตเจฟเจšเจพเจฐ เจ•เจฐเจพเจ‚เจ—เฉ‡เฅค

เจ•เฉเจฐเจฟเจชเจŸเฉ‹เจ—เฉเจฐเจพเจซเฉ€ เจฆเจพ เจ‡เฉฑเจ• เจฌเจฟเฉฑเจŸ

เจ‡เจน เจธเจฎเจเจฃ เจฒเจˆ เจ•เจฟ เจฅเฉเจฐเฉˆเจธเจผเจนเฉ‹เจฒเจก เจฆเจธเจคเจ–เจค เจ•เจฟเจตเฉ‡เจ‚ เจ•เฉฐเจฎ เจ•เจฐเจฆเฉ‡ เจนเจจ, เจคเฉเจนเจพเจจเฉ‚เฉฐ เจฅเฉ‹เฉœเจพ เจฌเฉเจจเจฟเจ†เจฆเฉ€ เจ•เฉเจฐเจฟเจชเจŸเฉ‹เจ—เฉเจฐเจพเจซเฉ€ เจธเจฎเจเจฃ เจฆเฉ€ เจฒเฉ‹เฉœ เจนเฉˆเฅค เจ…เจธเฉ€เจ‚ เจฆเฉ‹ เจธเฉฐเจ•เจฒเจชเจพเจ‚ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจพเจ‚เจ—เฉ‡: เจธเจ•เฉ‡เจฒเจฐ, เจœเจพเจ‚ เจธเจฟเจฐเจซเจผ เจธเฉฐเจ–เจฟเจ†เจตเจพเจ‚, เจœเจฟเจจเฉเจนเจพเจ‚ เจจเฉ‚เฉฐ เจ…เจธเฉ€เจ‚ เจ›เฉ‹เจŸเฉ‡ เจ…เฉฑเจ–เจฐเจพเจ‚ เจฆเฉเจ†เจฐเจพ เจฆเจฐเจธเจพเจตเจพเจ‚เจ—เฉ‡ (x, y) เจ…เจคเฉ‡ เจ…เฉฐเจกเจพเจ•เจพเจฐ เจ•เจฐเจต 'เจคเฉ‡ เจฌเจฟเฉฐเจฆเฉ‚, เจœเจฟเจจเฉเจนเจพเจ‚ เจจเฉ‚เฉฐ เจ…เจธเฉ€เจ‚ เจตเฉฑเจกเฉ‡ เจ…เฉฑเจ–เจฐเจพเจ‚ เจฆเฉเจ†เจฐเจพ เจฆเจฐเจธเจพเจตเจพเจ‚เจ—เฉ‡เฅค

เจฅเฉเจฐเฉˆเจธเจผเจนเฉ‹เจฒเจก เจนเจธเจคเจพเจ–เจฐเจพเจ‚ เจฆเฉ€เจ†เจ‚ เจฎเฉ‚เจฒ เจ—เฉฑเจฒเจพเจ‚ เจจเฉ‚เฉฐ เจธเจฎเจเจฃ เจฒเจˆ, เจคเฉเจนเจพเจจเฉ‚เฉฐ เจ‡เจน เจธเจฎเจเจฃ เจฆเฉ€ เจฒเฉ‹เฉœ เจจเจนเฉ€เจ‚ เจนเฉˆ เจ•เจฟ เจ…เฉฐเจกเจพเจ•เจพเจฐ เจตเจ•เจฐ เจ•เจฟเจตเฉ‡เจ‚ เจ•เฉฐเจฎ เจ•เจฐเจฆเฉ‡ เจนเจจ, เจ•เฉเจ เจฌเฉเจจเจฟเจ†เจฆเฉ€ เจšเฉ€เจœเจผเจพเจ‚ เจคเฉ‹เจ‚ เจ‡เจฒเจพเจตเจพ:

  1. เจ…เฉฐเจกเจพเจ•เจพเจฐ เจ•เจฐเจต 'เจคเฉ‡ เจฌเจฟเฉฐเจฆเฉ‚เจ†เจ‚ เจจเฉ‚เฉฐ เจ‡เฉฑเจ• เจธเจ•เฉ‡เจฒเจฐ เจฆเฉเจ†เจฐเจพ เจœเฉ‹เฉœเจฟเจ† เจ…เจคเฉ‡ เจ—เฉเจฃเจพ เจ•เฉ€เจคเจพ เจœเจพ เจธเจ•เจฆเจพ เจนเฉˆ (เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจธเจ•เฉ‡เจฒเจฐ เจฆเฉเจ†เจฐเจพ เจ—เฉเจฃเจพ เจจเฉ‚เฉฐ เจ‡เจธ เจคเจฐเฉเจนเจพเจ‚ เจฆเจฐเจธเจพเจตเจพเจ‚เจ—เฉ‡ xG, เจนเจพเจฒเจพเจ‚เจ•เจฟ เจจเฉ‹เจŸเฉ‡เจธเจผเจจ Gx เจธเจพเจนเจฟเจค เจตเจฟเฉฑเจš เจตเฉ€ เจ…เจ•เจธเจฐ เจตเจฐเจคเจฟเจ† เจœเจพเจ‚เจฆเจพ เจนเฉˆ)เฅค เจ‡เฉฑเจ• เจธเจ•เฉ‡เจฒเจฐ เจฆเฉเจ†เจฐเจพ เจœเฉ‹เฉœ เจ…เจคเฉ‡ เจ—เฉเจฃเจพ เจฆเจพ เจจเจคเฉ€เจœเจพ เจ‡เฉฑเจ• เจ…เฉฐเจกเจพเจ•เจพเจฐ เจ•เจฐเจต เจ‰เฉฑเจคเฉ‡ เจ‡เฉฑเจ• เจฌเจฟเฉฐเจฆเฉ‚ เจนเฉเฉฐเจฆเจพ เจนเฉˆเฅค

  2. เจ•เฉ‡เจตเจฒ เจฌเจฟเฉฐเจฆเฉ‚ เจจเฉ‚เฉฐ เจœเจพเจฃเจจเจพ G เจ…เจคเฉ‡ เจ‡เฉฑเจ• เจธเจ•เฉ‡เจฒเจฐ เจฆเฉ‡ เจจเจพเจฒ เจ‡เจธเจฆเจพ เจ‰เจคเจชเจพเจฆ xG เจ—เจฟเจฃเจฟเจ† เจจเจนเฉ€เจ‚ เจœเจพ เจธเจ•เจฆเจพ x.

เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฌเจนเฉเจชเจฆ เจฆเฉ€ เจงเจพเจฐเจจเจพ เจฆเฉ€ เจตเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจพเจ‚เจ—เฉ‡ p(x) เจกเจฟเจ—เจฐเฉ€ k-1. เจ–เจพเจธ เจคเฉŒเจฐ 'เจคเฉ‡, เจ…เจธเฉ€เจ‚ เจฌเจนเฉเจชเจฆ เจฆเฉ€ เจนเฉ‡เจ  เจฒเจฟเจ–เฉ€ เจตเจฟเจธเจผเฉ‡เจธเจผเจคเจพ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจพเจ‚เจ—เฉ‡: เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจฎเฉเฉฑเจฒ เจœเจพเจฃเจฆเฉ‡ เจนเจพเจ‚ p(x) เจ•เจฟเจธเฉ‡ เจตเฉ€ เจฒเจˆ k เจตเฉฑเจ–-เจตเฉฑเจ– x (เจ…เจคเฉ‡ เจธเจพเจกเฉ‡ เจ•เฉ‹เจฒ เจ‡เจธ เจฌเจพเจฐเฉ‡ เจ•เฉ‹เจˆ เจนเฉ‹เจฐ เจœเจพเจฃเจ•เจพเจฐเฉ€ เจจเจนเฉ€เจ‚ เจนเฉˆ p(x)), เจ…เจธเฉ€เจ‚ เจ—เจฃเจจเจพ เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเจพเจ‚ p(x) เจ•เจฟเจธเฉ‡ เจนเฉ‹เจฐ เจฒเจˆ x.

เจ‡เจน เจฆเจฟเจฒเจšเจธเจช เจนเฉˆ เจ•เจฟ เจ•เจฟเจธเฉ‡ เจตเฉ€ เจฌเจนเฉเจชเจฆ เจฒเจˆ p(x) เจ…เจคเฉ‡ เจ•เจฐเจต 'เจคเฉ‡ เจ•เฉเจ เจฌเจฟเฉฐเจฆเฉ‚ Gเจ…เจฐเจฅ เจœเจพเจฃเจจเจพ p(x)G เจ•เจฟเจธเฉ‡ เจตเฉ€ เจฒเจˆ k เจตเฉฑเจ–-เจตเฉฑเจ– เจ…เจฐเจฅ x, เจ…เจธเฉ€เจ‚ เจ—เจฃเจจเจพ เจตเฉ€ เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเจพเจ‚ p(x)G เจ•เจฟเจธเฉ‡ เจตเฉ€ เจฒเจˆ x.

เจฅเฉเจฐเฉˆเจธเจผเจนเฉ‹เจฒเจก เจฆเจธเจคเจ–เจค เจ•เจฟเจตเฉ‡เจ‚ เจ•เฉฐเจฎ เจ•เจฐเจฆเฉ‡ เจนเจจ เจ…เจคเฉ‡ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจ‰เจนเจจเจพเจ‚ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจจ เจฆเฉ‡ เจตเฉ‡เจฐเจตเจฟเจ†เจ‚ เจตเจฟเฉฑเจš เจ–เฉ‹เจฆเจฃ เจฒเจˆ เจ‡เจน เจ•เจพเจซเจผเฉ€ เจœเจพเจฃเจ•เจพเจฐเฉ€ เจนเฉˆเฅค

เจฅเฉเจฐเฉˆเจธเจผเจนเฉ‹เจฒเจก เจฆเจธเจคเจ–เจคเจพเจ‚ 'เจคเฉ‡ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจœเจจเจฐเฉ‡เจŸเจฐ

เจฆเฉฑเจธ เจฆเฉ‡เจˆเจ เจ•เจฟ เจธ n เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ‡เฉฑเจ• เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจšเจพเจนเฉเฉฐเจฆเฉ‡ เจนเจจ, เจ…เจคเฉ‡ เจ…เจธเฉ€เจ‚ เจšเจพเจนเฉเฉฐเจฆเฉ‡ เจนเจพเจ‚ เจ•เจฟ เจ•เฉ‹เจˆ เจตเฉ€ เจนเจฟเฉฑเจธเจพ เจฒเจตเฉ‡ k เจ‰เจนเจจเจพเจ‚ เจตเจฟเฉฑเจšเฉ‹เจ‚ เจ‡เฉฑเจ• เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจ•เจพเจซเจผเฉ€ เจธเจจ, เจชเจฐ เจ‡เจธ เจฒเจˆ เจนเจฎเจฒเจพเจตเจฐ เจœเฉ‹ เจ•เฉฐเจŸเจฐเฉ‹เจฒ เจ•เจฐเจฆเฉ‡ เจนเจจ k-1 เจœเจพเจ‚ เจ‡เจธ เจคเฉ‹เจ‚ เจ˜เฉฑเจŸ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจคเจฟเจ†เจฐ เจ•เฉ€เจคเฉ€ เจ—เจˆ เจธเฉฐเจ–เจฟเจ† เจฆเฉ€ เจญเจตเจฟเฉฑเจ–เจฌเจพเจฃเฉ€ เจœเจพเจ‚ เจชเฉเจฐเจญเจพเจต เจจเจนเฉ€เจ‚ เจฆเฉ‡ เจธเจ•เฉ‡เฅค

เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2

เจฎเฉฐเจจ เจฒเจ“ เจ•เจฟ เจ…เจœเจฟเจนเจพ เจฌเจนเฉเจชเจฆ เจนเฉˆ p(x) เจกเจฟเจ—เจฐเฉ€ k-1 เจชเจนเจฟเจฒเจพ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ•เฉ€ เจœเจพเจฃเจฆเจพ เจนเฉˆ เจชเฉ€ (1), เจฆเฉ‚เจœเจพ เจœเจพเจฃเจฆเจพ เจนเฉˆ p(2), เจ‡เจคเจ†เจฆเจฟ (n- เจœเจพเจฃเจฆเจพ เจนเฉˆ p(n)). เจ…เจธเฉ€เจ‚ เจ‡เจน เจตเฉ€ เจฎเฉฐเจจ เจฒเฉˆเจ‚เจฆเฉ‡ เจนเจพเจ‚ เจ•เจฟ เจ•เฉเจ เจชเฉ‚เจฐเจต-เจจเจฟเจฐเจงเจพเจฐเจค เจฌเจฟเฉฐเจฆเฉ‚ เจฒเจˆ G เจนเจฐ เจ•เฉ‹เจˆ เจœเจพเจฃเจฆเจพ เจนเฉˆ p(x)G เจธเจพเจฐเฉ‡ เจฎเฉเฉฑเจฒเจพเจ‚ เจฒเจˆ x. เจ…เจธเฉ€เจ‚ เจ•เจพเจฒ เจ•เจฐเจพเจ‚เจ—เฉ‡ p(i) "เจจเจฟเฉฑเจœเฉ€ เจญเจพเจ—" iเจญเจพเจ—เฉ€เจฆเจพเจฐ (เจ•เจฟเจ‰เจ‚เจ•เจฟ เจธเจฟเจฐเจซ iเจญเจพเจ—เฉ€เจฆเจพเจฐ เจ‰เจธ เจจเฉ‚เฉฐ เจœเจพเจฃเจฆเจพ เจนเฉˆ), เจ…เจคเฉ‡ p(i) เจœเฉ€ "เจœเจจเจคเจ• เจญเจพเจ—" i-th เจญเจพเจ—เฉ€เจฆเจพเจฐ (เจ•เจฟเจ‰เจ‚เจ•เจฟ เจธเจพเจฐเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ‰เจธเจจเฉ‚เฉฐ เจœเจพเจฃเจฆเฉ‡ เจนเจจ)เฅค เจœเจฟเจตเฉ‡เจ‚ เจ•เจฟ เจคเฉเจนเจพเจจเฉ‚เฉฐ เจฏเจพเจฆ เจนเฉˆ, เจ—เจฟเจ†เจจ p(i) เจœเฉ€ เจฌเจนเจพเจฒ เจ•เจฐเจจ เจฒเจˆ เจ•เจพเจซเจผเฉ€ เจจเจนเฉ€เจ‚ เจนเฉˆ p(i)

เจ…เจœเจฟเจนเจพ เจฌเจนเฉเจชเจฆ เจฌเจฃเจพเจ‰เจฃเจพ เจคเจพเจ‚ เจ•เจฟ เจธเจฟเจฐเจซ i-เจชเจนเจฟเจฒเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ…เจคเฉ‡ เจนเฉ‹เจฐ เจ•เฉ‹เจˆ เจตเฉ€ เจ‰เจธเจฆเฉ‡ เจจเจฟเฉฑเจœเฉ€ เจนเจฟเฉฑเจธเฉ‡ เจจเฉ‚เฉฐ เจจเจนเฉ€เจ‚ เจœเจพเจฃเจฆเจพ เจธเฉ€ - เจ‡เจน เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจฆเจพ เจธเจญ เจคเฉ‹เจ‚ เจ—เฉเฉฐเจเจฒเจฆเจพเจฐ เจ…เจคเฉ‡ เจฆเจฟเจฒเจšเจธเจช เจนเจฟเฉฑเจธเจพ เจนเฉˆ, เจ…เจคเฉ‡ เจ…เจธเฉ€เจ‚ เจนเฉ‡เจ เจพเจ‚ เจ‡เจธเจฆเจพ เจตเจฟเจธเจผเจฒเฉ‡เจธเจผเจฃ เจ•เจฐเจพเจ‚เจ—เฉ‡. เจนเฉเจฃ เจฒเจˆ, เจ†เจ“ เจ‡เจน เจฎเฉฐเจจ เจฒเจˆเจ เจ•เจฟ เจธเจพเจกเฉ‡ เจ•เฉ‹เจฒ เจ…เจœเจฟเจนเจพ เจฌเจนเฉเจชเจฆ เจนเฉˆ เจ…เจคเฉ‡ เจธเจพเจฐเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ†เจชเจฃเฉ‡ เจจเจฟเฉฑเจœเฉ€ เจญเจพเจ—เจพเจ‚ เจจเฉ‚เฉฐ เจœเจพเจฃเจฆเฉ‡ เจนเจจเฅค

เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจธเฉฐเจ–เจฟเจ† เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจ…เจœเจฟเจนเฉ‡ เจฌเจนเฉเจชเจฆ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฟเจตเฉ‡เจ‚ เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเจพเจ‚? เจธเจผเฉเจฐเฉ‚ เจ•เจฐเจจ เจฒเจˆ, เจธเจพเจจเฉ‚เฉฐ เจ•เฉเจ เจธเจŸเฉเจฐเจฟเฉฐเจ— เจฆเฉ€ เจฒเฉ‹เฉœ เจนเฉˆ เจœเฉ‹ เจชเจนเจฟเจฒเจพเจ‚ เจœเจจเจฐเฉ‡เจŸเจฐ เจฒเจˆ เจ‡เฉฐเจชเฉเฉฑเจŸ เจตเจœเฉ‹เจ‚ เจจเจนเฉ€เจ‚ เจตเจฐเจคเฉ€ เจ—เจˆ เจนเฉˆเฅค เจ‡เฉฑเจ• เจฌเจฒเจพเจ•เจšเฉˆเจจ เจฆเฉ‡ เจฎเจพเจฎเจฒเฉ‡ เจตเจฟเฉฑเจš, เจ†เจ–เจฐเฉ€ เจฌเจฒเจพเจ• เจฆเจพ เจนเฉˆเจธเจผ h เจ…เจœเจฟเจนเฉ€ เจฒเจพเจˆเจจ เจฒเจˆ เจ‡เฉฑเจ• เจšเฉฐเจ—เจพ เจ‰เจฎเฉ€เจฆเจตเจพเจฐ เจนเฉˆเฅค เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจจเฉ‚เฉฐ เจตเจฐเจคเจฆเฉ‡ เจนเฉ‹เจ เจ‡เฉฑเจ• เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจšเจพเจนเฉเฉฐเจฆเฉ‡ เจนเจจ h เจฌเฉ€เจœ เจตเจพเจ‚เจ— เจญเจพเจ—เฉ€เจฆเจพเจฐ เจชเจนเจฟเจฒเจพเจ‚ เจฌเจฆเจฒเจฆเฉ‡ เจนเจจ h เจ•เจฟเจธเฉ‡ เจตเฉ€ เจชเฉ‚เจฐเจต เจชเจฐเจฟเจญเจพเจธเจผเจฟเจค เจซเฉฐเจ•เจธเจผเจจ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจฆเฉ‡ เจนเฉ‹เจ เจ•เจฐเจต 'เจคเฉ‡ เจ‡เฉฑเจ• เจฌเจฟเฉฐเจฆเฉ‚ เจคเฉฑเจ•:

H = scalarToPoint(h)

เจซเจฟเจฐ เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ i เจ—เจฃเจจเจพ เจ•เจฐเจฆเจพ เจนเฉˆ เจ…เจคเฉ‡ เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจ•เจฐเจฆเจพ เจนเฉˆ Hi = p(i)H, เจ‰เจน เจ•เฉ€ เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเจจ เจ•เจฟเจ‰เจ‚เจ•เจฟ เจ‰เจน เจœเจพเจฃเจฆเฉ‡ เจนเจจ p(i) เจ…เจคเฉ‡ H. เจ–เฉเจฒเจพเจธเจพ Hเจฎเฉˆเจ‚ เจฆเฉ‚เจœเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจจเฉ‚เฉฐ เจชเฉเจฐเจพเจˆเจตเฉ‡เจŸ เจ•เฉฐเจชเฉ‹เจจเฉˆเจ‚เจŸ เจจเฉ‚เฉฐ เจฐเฉ€เจธเจŸเฉ‹เจฐ เจ•เจฐเจจ เจฆเฉ€ เจ‡เจœเจพเจœเจผเจค เจจเจนเฉ€เจ‚ เจฆเจฟเฉฐเจฆเจพ iเจญเจพเจ—เฉ€เจฆเจพเจฐ, เจ…เจคเฉ‡ เจ‡เจธเจฒเจˆ เจจเจฟเจœเฉ€ เจญเจพเจ—เจพเจ‚ เจฆเจพ เจ‡เฉฑเจ• เจธเจฎเฉ‚เจน เจฌเจฒเจพเจ• เจคเฉ‹เจ‚ เจฌเจฒเจพเจ• เจคเฉฑเจ• เจตเจฐเจคเจฟเจ† เจœเจพ เจธเจ•เจฆเจพ เจนเฉˆเฅค เจ‡เจธ เจคเจฐเฉเจนเจพเจ‚, เจนเฉ‡เจ เจพเจ‚ เจฆเฉฑเจธเฉ‡ เจ—เจ เจฎเจนเจฟเฉฐเจ—เฉ‡ เจชเฉŒเจฒเฉ€เจจเฉ‹เจฎเฉ€เจ…เจฒ เจœเจจเจฐเฉ‡เจธเจผเจจ เจเจฒเจ—เฉ‹เจฐเจฟเจฆเจฎ เจจเฉ‚เฉฐ เจธเจฟเจฐเจซเจผ เจ‡เฉฑเจ• เจตเจพเจฐ เจšเจฒเจพเจ‰เจฃ เจฆเฉ€ เจฒเฉ‹เฉœ เจนเฉˆเฅค

เจ•เจฆเฉ‹เจ‚ k เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจฆเจพ เจชเฉ‹เจธเจŸเจฎเจพเจฐเจŸเจฎ เจ•เฉ€เจคเจพ เจ—เจฟเจ† เจธเฉ€ Hi = p(i)H, เจนเจฐ เจ•เฉ‹เจˆ เจ—เจฃเจจเจพ เจ•เจฐ เจธเจ•เจฆเจพ เจนเฉˆ Hx = p(x)H เจธเจญ เจฒเจˆ x เจฌเจนเฉเจชเจฆ เจฆเฉ€ เจตเจฟเจธเจผเฉ‡เจธเจผเจคเจพ เจฒเจˆ เจงเฉฐเจจเจตเจพเจฆ เจœเจฟเจธ เจฌเจพเจฐเฉ‡ เจ…เจธเฉ€เจ‚ เจชเจฟเจ›เจฒเฉ‡ เจญเจพเจ— เจตเจฟเฉฑเจš เจšเจฐเจšเจพ เจ•เฉ€เจคเฉ€ เจนเฉˆเฅค เจ‡เจธ เจธเจฎเฉ‡เจ‚, เจธเจพเจฐเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ—เจฃเจจเจพ เจ•เจฐเจฆเฉ‡ เจนเจจ H0 = p(0)H, เจ…เจคเฉ‡ เจ‡เจน เจจเจคเฉ€เจœเจพ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจนเฉˆเฅค เจ•เจฟเจฐเจชเจพ เจ•เจฐเจ•เฉ‡ เจงเจฟเจ†เจจ เจฆเจฟเจ“ เจ•เจฟ เจ•เฉ‹เจˆ เจจเจนเฉ€เจ‚ เจœเจพเจฃเจฆเจพ p(0), เจ…เจคเฉ‡ เจ‡เจธ เจฒเจˆ เจ—เจฃเจจเจพ เจ•เจฐเจจ เจฆเจพ เจ‡เฉฑเจ•เฉ‹ เจ‡เฉฑเจ• เจคเจฐเฉ€เจ•เจพ เจนเฉˆ p(0)H - เจ‡เจน เจ‡เฉฐเจŸเจฐเจชเฉ‹เจฒเฉ‡เจธเจผเจจ เจนเฉˆ p(x)H, เจœเฉ‹ เจ•เจฟ เจ‰เจฆเฉ‹เจ‚ เจนเฉ€ เจธเฉฐเจญเจต เจนเฉˆ เจœเจฆเฉ‹เจ‚ k เจฎเฉเฉฑเจฒ p(i) H เจœเจพเจฃเจฟเจ† เจœเจพเจ‚เจฆเจพ เจนเฉˆเฅค เจ•เจฟเจธเฉ‡ เจตเฉ€ เจ›เฉ‹เจŸเฉ€ เจฎเจพเจคเจฐเจพ เจจเฉ‚เฉฐ เจ–เฉ‹เจฒเฉเจนเจฃเจพ p(i) H เจฌเจพเจฐเฉ‡ เจ•เฉ‹เจˆ เจœเจพเจฃเจ•เจพเจฐเฉ€ เจจเจนเฉ€เจ‚ เจฆเจฟเฉฐเจฆเจพ p(0)H

เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2

เจ‰เจชเจฐเฉ‹เจ•เจค เจœเจจเจฐเฉ‡เจŸเจฐ เจตเจฟเฉฑเจš เจ‰เจน เจธเจพเจฐเฉ€เจ†เจ‚ เจตเจฟเจธเจผเฉ‡เจธเจผเจคเจพเจตเจพเจ‚ เจนเจจ เจœเฉ‹ เจ…เจธเฉ€เจ‚ เจšเจพเจนเฉเฉฐเจฆเฉ‡ เจนเจพเจ‚: เจนเจฎเจฒเจพเจตเจฐ เจธเจฟเจฐเจซเจผ เจจเจฟเจฏเฉฐเจคเจฐเจฃ เจ•เจฐเจฆเฉ‡ เจนเจจ k-1 เจœเจพเจ‚ เจ˜เฉฑเจŸ เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจ•เฉ‹เจฒ เจธเจฟเฉฑเจŸเฉ‡ 'เจคเฉ‡ เจ•เฉ‹เจˆ เจœเจพเจฃเจ•เจพเจฐเฉ€ เจœเจพเจ‚ เจชเฉเจฐเจญเจพเจต เจจเจนเฉ€เจ‚ เจนเฉˆ, เจœเจฆเฉ‹เจ‚ เจ•เจฟ เจ•เฉ‹เจˆ เจตเฉ€ k เจญเจพเจ—เฉ€เจฆเจพเจฐ เจจเจคเฉ€เจœเจพ เจธเฉฐเจ–เจฟเจ†, เจ…เจคเฉ‡ เจ•เจฟเจธเฉ‡ เจตเฉ€ เจ‰เจช เจธเจฎเฉ‚เจน เจฆเฉ€ เจ—เจฃเจจเจพ เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเจจ k เจญเจพเจ—เฉ€เจฆเจพเจฐ เจนเจฎเฉ‡เจธเจผเจพ เจ‡เฉฑเจ•เฉ‹ เจฌเฉ€เจœ เจฒเจˆ เจ‡เฉฑเจ•เฉ‹ เจจเจคเฉ€เจœเฉ‡ 'เจคเฉ‡ เจ†เจ‰เจฃเจ—เฉ‡เฅค

เจ‡เฉฑเจ• เจธเจฎเฉฑเจธเจฟเจ† เจนเฉˆ เจœเฉ‹ เจ…เจธเฉ€เจ‚ เจ‰เฉฑเจชเจฐ เจงเจฟเจ†เจจ เจจเจพเจฒ เจŸเจพเจฒ เจฆเจฟเฉฑเจคเฉ€ เจนเฉˆเฅค เจ‡เฉฐเจŸเจฐเจชเฉ‹เจฒเฉ‡เจธเจผเจจ เจ•เฉฐเจฎ เจ•เจฐเจจ เจฒเจˆ, เจ‡เจน เจฎเจนเฉฑเจคเจตเจชเฉ‚เจฐเจจ เจนเฉˆ เจ•เจฟ เจฎเฉเฉฑเจฒ Hi เจœเฉ‹ เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ เจฆเฉเจ†เจฐเจพ เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจ•เฉ€เจคเจพ เจ—เจฟเจ† เจธเฉ€ i เจ‡เจน เจ…เจธเจฒ เจตเจฟเฉฑเจš เจ‰เจนเฉ€ เจธเฉ€ p(i) H เจ•เจฟเจ‰เจ‚เจ•เจฟ เจธเจฟเจตเจพเจ เจ•เฉ‹เจˆ เจจเจนเฉ€เจ‚ i-th เจญเจพเจ—เฉ€เจฆเจพเจฐ เจจเฉ‚เฉฐ เจชเจคเจพ เจจเจนเฉ€ เจนเฉˆ p(i), เจธเจฟเจตเจพเจ เจ•เฉ‹เจˆ เจจเจนเฉ€เจ‚ i-เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ‡เจธเจฆเฉ€ เจชเฉเจธเจผเจŸเฉ€ เจจเจนเฉ€เจ‚ เจ•เจฐ เจธเจ•เจฆเจพ เจนเฉˆ Hi เจ…เจธเจฒ เจตเจฟเฉฑเจš เจธเจนเฉ€ เจขเฉฐเจ— เจจเจพเจฒ เจ—เจฃเจจเจพ เจ•เฉ€เจคเฉ€ เจ—เจˆ เจนเฉˆ, เจ…เจคเฉ‡ เจธเจผเฉเฉฑเจงเจคเจพ เจฆเฉ‡ เจ•เจฟเจธเฉ‡ เจตเฉ€ เจ•เฉเจฐเจฟเจชเจŸเฉ‹เจ—เฉเจฐเจพเจซเจฟเจ• เจธเจฌเฉ‚เจค เจฆเฉ‡ เจฌเจฟเจจเจพเจ‚ Hi เจ‡เฉฑเจ• เจนเจฎเจฒเจพเจตเจฐ เจ•เจฟเจธเฉ‡ เจตเฉ€ เจฎเฉเฉฑเจฒ เจจเฉ‚เฉฐ เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจ•เจฐ เจธเจ•เจฆเจพ เจนเฉˆ เจ…เจงเจฟเจ•เจคเจฎ, เจ…เจคเฉ‡ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌเฉ‡ เจธเฉฐเจ–เจฟเจ† เจœเจจเจฐเฉ‡เจŸเจฐ เจฆเฉ‡ เจ†เจ‰เจŸเจชเฉเฉฑเจŸ เจจเฉ‚เฉฐ เจชเฉเจฐเจญเจพเจตเจฟเจค เจ•เจฐเจฆเจพ เจนเฉˆ:

เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2เจชเจนเจฟเจฒเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจฆเฉเจ†เจฐเจพ เจญเฉ‡เจœเฉ‡ เจ—เจ H_1 เจฆเฉ‡ เจตเฉฑเจ–-เจตเฉฑเจ– เจฎเฉเฉฑเจฒ เจตเฉฑเจ–-เจตเฉฑเจ– เจจเจคเฉ€เจœเฉ‡ H_0 เจตเฉฑเจฒ เจฒเฉˆ เจœเจพเจ‚เจฆเฉ‡ เจนเจจ

เจธเจนเฉ€ เจธเจพเจฌเจค เจ•เจฐเจจ เจฆเฉ‡ เจ˜เฉฑเจŸเฉ‹-เจ˜เฉฑเจŸ เจฆเฉ‹ เจคเจฐเฉ€เจ•เฉ‡ เจนเจจ Hi, เจ…เจธเฉ€เจ‚ เจฌเจนเฉเจชเจฆ เจฆเฉ€ เจชเฉ€เฉœเฉเจนเฉ€ เจฆเจพ เจตเจฟเจธเจผเจฒเฉ‡เจธเจผเจฃ เจ•เจฐเจจ เจคเฉ‹เจ‚ เจฌเจพเจ…เจฆ เจ‰เจนเจจเจพเจ‚ 'เจคเฉ‡ เจตเจฟเจšเจพเจฐ เจ•เจฐเจพเจ‚เจ—เฉ‡เฅค

เจฌเจนเฉเจชเฉฐเจฅเฉ€ เจชเฉ€เฉœเฉเจนเฉ€

เจชเจฟเจ›เจฒเฉ‡ เจญเจพเจ— เจตเจฟเฉฑเจš เจ…เจธเฉ€เจ‚ เจ‡เจน เจฎเฉฐเจจเจฟเจ† เจนเฉˆ เจ•เจฟ เจธเจพเจกเฉ‡ เจ•เฉ‹เจฒ เจ…เจœเจฟเจนเจพ เจฌเจนเฉเจชเจฆ เจนเฉˆ p(x) เจกเจฟเจ—เจฐเฉ€ k-1 เจ•เจฟ เจญเจพเจ—เฉ€เจฆเจพเจฐ i เจœเจพเจฃเจฆเจพ เจนเฉˆ p(i), เจ…เจคเฉ‡ เจ•เจฟเจธเฉ‡ เจนเฉ‹เจฐ เจ•เฉ‹เจฒ เจ‡เจธ เจฎเฉเฉฑเจฒ เจฌเจพเจฐเฉ‡ เจ•เฉ‹เจˆ เจœเจพเจฃเจ•เจพเจฐเฉ€ เจจเจนเฉ€เจ‚ เจนเฉˆเฅค เจ…เจ—เจฒเฉ‡ เจญเจพเจ— เจตเจฟเฉฑเจš เจธเจพเจจเฉ‚เฉฐ เจ•เฉเจ เจชเฉ‚เจฐเจต-เจจเจฟเจฐเจงเจพเจฐเจค เจฌเจฟเฉฐเจฆเฉ‚ เจฒเจˆ เจตเฉ€ เจ‡เจธเจฆเฉ€ เจฒเฉ‹เฉœ เจชเจตเฉ‡เจ—เฉ€ G เจนเจฐ เจ•เฉ‹เจˆ เจœเจพเจฃเจฆเจพ เจธเฉ€ p(x)G เจธเจญ เจฒเจˆ x.

เจ‡เจธ เจญเจพเจ— เจตเจฟเฉฑเจš เจ…เจธเฉ€เจ‚ เจ‡เจน เจฎเฉฐเจจเจพเจ‚เจ—เฉ‡ เจ•เจฟ เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ•เฉ‹เจฒ เจธเจฅเจพเจจเจ• เจคเฉŒเจฐ 'เจคเฉ‡ เจ•เฉเจ เจจเจฟเฉฑเจœเฉ€ เจ•เฉเฉฐเจœเฉ€ เจนเฉˆ xi, เจ‡เจธ เจคเจฐเฉเจนเจพเจ‚ เจ•เจฟ เจนเจฐ เจ•เฉ‹เจˆ เจธเฉฐเจฌเฉฐเจงเจฟเจค เจœเจจเจคเจ• เจ•เฉเฉฐเจœเฉ€ เจจเฉ‚เฉฐ เจœเจพเจฃเจฆเจพ เจนเฉˆ Xi.

เจ‡เฉฑเจ• เจธเฉฐเจญเจพเจตเฉ€ เจฌเจนเฉ-เจชเฉฑเจงเจฐเฉ€ เจชเฉ€เฉœเฉเจนเฉ€ เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจนเฉ‡เจ  เจฒเจฟเจ–เฉ‡ เจ…เจจเฉเจธเจพเจฐ เจนเฉˆ:

เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2

  1. เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ i เจธเจฅเจพเจจเจ• เจคเฉŒเจฐ 'เจคเฉ‡ เจ‡เฉฑเจ• เจฎเจจเจฎเจพเจจเฉ€ เจฌเจนเฉเจชเจฆ เจฌเจฃเจพเจ‰เจ‚เจฆเจพ เจนเฉˆ pi(x) เจกเจฟเจ—เจฐเฉ€ k-1เฅค เจ‰เจน เจซเจฟเจฐ เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ เจจเฉ‚เฉฐ เจญเฉ‡เจœเจฆเฉ‡ เจนเจจ j เจฎเจคเจฒเจฌ pi(j), เจœเจจเจคเจ• เจ•เฉเฉฐเจœเฉ€ เจจเจพเจฒ เจเจจเจ•เฉเจฐเจฟเจชเจŸเจก เจเจ•เจธเจœเฉ‡. เจ‡เจธ เจคเจฐเฉเจนเจพเจ‚ เจธเจฟเจฐเจซ i-เจต ะธ j-เจต เจญเจพเจ—เฉ€เจฆเจพเจฐ เจจเฉ‚เฉฐ เจชเจคเจพ เจนเฉˆ pi(j) เจญเจพเจ—เฉ€เจฆเจพเจฐ i เจตเฉ€ เจœเจจเจคเจ• เจคเฉŒเจฐ 'เจคเฉ‡ เจเจฒเจพเจจ เจ•เจฐเจฆเจพ เจนเฉˆ pi(j)G เจธเจญ เจฒเจˆ j เจคเฉฑเจ• 1 เจจเฉ‚เฉฐ k เจธเจผเจฎเฉ‚เจฒเฉ€เจ…เจค

  2. เจธเจพเจฐเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจšเฉเจฃเจจ เจฒเจˆ เจ•เฉเจ เจธเจนเจฟเจฎเจคเฉ€ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจฆเฉ‡ เจนเจจ k เจญเจพเจ—เฉ€เจฆเจพเจฐ เจœเจฟเจจเฉเจนเจพเจ‚ เจฆเฉ‡ เจฌเจนเฉเจชเจฆ เจตเจฐเจคเฉ‡ เจœเจพเจฃเจ—เฉ‡เฅค เจ•เจฟเจ‰เจ‚เจ•เจฟ เจ•เฉเจ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ”เจซเจฒเจพเจˆเจจ เจนเฉ‹ เจธเจ•เจฆเฉ‡ เจนเจจ, เจ…เจธเฉ€เจ‚ เจนเจฐ เจ•เจฟเจธเฉ‡ เจคเฉฑเจ• เจ‡เฉฐเจคเจœเจผเจพเจฐ เจจเจนเฉ€เจ‚ เจ•เจฐ เจธเจ•เจฆเฉ‡ n เจญเจพเจ—เฉ€เจฆเจพเจฐ เจฌเจนเฉเจชเจฆ เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจ•เจฐเจจเจ—เฉ‡เฅค เจ‡เจธ เจ•เจฆเจฎ เจฆเจพ เจจเจคเฉ€เจœเจพ เจ‡เฉฑเจ• เจธเฉˆเฉฑเจŸ เจนเฉˆ Z เจ˜เฉฑเจŸเฉ‹-เจ˜เฉฑเจŸ เจธเจผเจพเจฎเจฟเจฒ เจนเฉˆ k เจชเฉœเจพเจ… (1) เจตเจฟเฉฑเจš เจฌเจฃเจพเจ เจ—เจ เจฌเจนเฉเจชเจฆ.

  3. เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ‡เจน เจฏเจ•เฉ€เจจเฉ€ เจฌเจฃเจพเจ‰เจ‚เจฆเฉ‡ เจนเจจ เจ•เจฟ เจ‰เจน เจฎเฉเฉฑเจฒ เจœเจพเจฃเจฆเฉ‡ เจนเจจ pi(j) เจœเจจเจคเจ• เจคเฉŒเจฐ 'เจคเฉ‡ เจ˜เฉ‹เจธเจผเจฟเจค เจ•เฉ€เจคเฉ‡ เจ…เจจเฉเจธเจพเจฐ เจนเฉˆ pi(j)G เจ‡เจธ เจ•เจฆเจฎ เจฆเฉ‡ เจฌเจพเจ…เจฆ Z เจธเจฟเจฐเจซเจผ เจฌเจนเฉเจชเจฆ เจœเจฟเจนเจจเจพเจ‚ เจฒเจˆ เจจเจฟเฉฑเจœเฉ€ เจคเฉŒเจฐ 'เจคเฉ‡ เจชเฉเจฐเจธเจพเจฐเจฟเจค เจ•เฉ€เจคเจพ เจœเจพเจ‚เจฆเจพ เจนเฉˆ pi(j) เจœเจจเจคเจ• เจคเฉŒเจฐ 'เจคเฉ‡ เจ˜เฉ‹เจธเจผเจฟเจค เจ•เฉ€เจคเฉ‡ เจ…เจจเฉเจธเจพเจฐ เจนเฉˆ pi(j)G

  4. เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ j เจ‡เจธเจฆเฉ‡ เจจเจฟเฉฑเจœเฉ€ เจนเจฟเฉฑเจธเฉ‡ เจฆเฉ€ เจ—เจฃเจจเจพ เจ•เจฐเจฆเจพ เจนเฉˆ p(j) เจ‡เฉฑเจ• เจฐเจ•เจฎ เจฆเฉ‡ เจฐเฉ‚เจช เจตเจฟเฉฑเจš pi(j) เจธเจพเจฐเจฟเจ†เจ‚ เจฒเจˆ i ะฒ Z. เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ เจธเจพเจฐเฉ‡ เจฎเฉเฉฑเจฒเจพเจ‚ เจฆเฉ€ เจตเฉ€ เจ—เจฃเจจเจพ เจ•เจฐเจฆเจพ เจนเฉˆ p(x)G เจ‡เฉฑเจ• เจฐเจ•เจฎ เจฆเฉ‡ เจฐเฉ‚เจช เจตเจฟเฉฑเจš pi(x)G เจธเจพเจฐเฉ‡ i เจฒเจˆ ะฒ Z.

เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2

เจจเฉ‹เจŸ เจ•เจฐเฉ‹ p(x) - เจ‡เจน เจ…เจธเจฒ เจตเจฟเฉฑเจš เจ‡เฉฑเจ• เจฌเจนเฉเจชเจฆ เจนเฉˆ k-1, เจ•เจฟเจ‰เจ‚เจ•เจฟ เจ‡เจน เจตเจฟเจ…เจ•เจคเฉ€ เจฆเจพ เจœเฉ‹เฉœ เจนเฉˆ pi(x), เจœเจฟเจจเฉเจนเจพเจ‚ เจตเจฟเฉฑเจšเฉ‹เจ‚ เจนเจฐ เจ‡เฉฑเจ• เจกเจฟเจ—เจฐเฉ€ เจฆเจพ เจฌเจนเฉเจชเจฆ เจนเฉˆ k-1. เจซเจฟเจฐ, เจนเจฐ เจ‡เฉฑเจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ, เจœเจฆเจ•เจฟ, เจœเฉ‹ เจ•เจฟ เจจเฉ‹เจŸ เจ•เจฐเฉ‹ j เจœเจพเจฃเจฆเจพ เจนเฉˆ p(j), เจฌเจพเจฐเฉ‡ เจ‰เจจเฉเจนเจพเจ‚ เจจเฉ‚เฉฐ เจ•เฉ‹เจˆ เจœเจพเจฃเจ•เจพเจฐเฉ€ เจจเจนเฉ€เจ‚ เจนเฉˆ p(x) เจจเฉ‚เฉฐ x โ‰  เจœเฉ‡. เจฆเจฐเจ…เจธเจฒ, เจ‡เจธ เจฎเฉเฉฑเจฒ เจฆเฉ€ เจ—เจฃเจจเจพ เจ•เจฐเจจ เจฒเจˆ, เจ‰เจนเจจเจพเจ‚ เจจเฉ‚เฉฐ เจธเจญ เจ•เฉเจ เจœเจพเจฃเจจ เจฆเฉ€ เจœเจผเจฐเฉ‚เจฐเจค เจนเฉเฉฐเจฆเฉ€ เจนเฉˆ pi(x), เจ…เจคเฉ‡ เจœเจฟเฉฐเจจเจพ เจšเจฟเจฐ เจญเจพเจ—เฉ€เจฆเจพเจฐ j เจšเฉเจฃเฉ‡ เจนเฉ‹เจ เจฌเจนเฉเจชเจฆ เจตเจฟเฉฑเจšเฉ‹เจ‚ เจ˜เฉฑเจŸเฉ‹-เจ˜เฉฑเจŸ เจ‡เฉฑเจ• เจจเฉ‚เฉฐ เจจเจนเฉ€เจ‚ เจœเจพเจฃเจฆเจพ เจนเฉˆ, เจ‰เจนเจจเจพเจ‚ เจ•เฉ‹เจฒ เจ‡เจธ เจฌเจพเจฐเฉ‡ เจฒเฉ‹เฉœเฉ€เจ‚เจฆเฉ€ เจœเจพเจฃเจ•เจพเจฐเฉ€ เจจเจนเฉ€เจ‚ เจนเฉˆ p(x)เฅค

เจ‡เจน เจธเจฎเฉเฉฑเจšเฉ€ เจฌเจนเฉ-เจชเฉฑเจงเจฐเฉ€ เจชเฉ€เฉœเฉเจนเฉ€ เจฆเฉ€ เจชเฉเจฐเจ•เจฟเจฐเจฟเจ† เจนเฉˆ เจœเจฟเจธเจฆเฉ€ เจ†เจ–เจฐเฉ€ เจญเจพเจ— เจตเจฟเฉฑเจš เจฒเฉ‹เฉœ เจธเฉ€เฅค เจ‰เจชเจฐเฉ‹เจ•เจค เจ•เจฆเจฎ 1, 2 เจ…เจคเฉ‡ 4 เจตเจฟเฉฑเจš เจ•เจพเจซเจผเฉ€ เจธเจชเฉฑเจธเจผเจŸ เจ…เจฎเจฒ เจนเฉˆเฅค เจชเจฐ เจ•เจฆเจฎ 3 เจ‡เฉฐเจจเจพ เจฎเจพเจฎเฉ‚เจฒเฉ€ เจจเจนเฉ€เจ‚ เจนเฉˆ.

เจ–เจพเจธ เจคเฉŒเจฐ 'เจคเฉ‡, เจธเจพเจจเฉ‚เฉฐ เจ‡เจน เจธเจพเจฌเจค เจ•เจฐเจจ เจฆเฉ‡ เจฏเฉ‹เจ— เจนเฉ‹เจฃ เจฆเฉ€ เจฒเฉ‹เฉœ เจนเฉˆ เจ•เจฟ เจ‡เจน เจเจจเจ•เฉเจฐเจฟเจชเจŸเจก เจนเฉˆ pi(j) เจ…เจธเจฒ เจตเจฟเฉฑเจš เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจฒเฉ‹เจ•เจพเจ‚ เจจเจพเจฒ เจฎเฉ‡เจฒ เจ–เจพเจ‚เจฆเจพ เจนเฉˆ pi(j)G เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เจน เจธเจพเจฌเจค เจจเจนเฉ€เจ‚ เจ•เจฐ เจธเจ•เจฆเฉ‡, เจนเจฎเจฒเจพเจตเจฐ i เจ‡เจธ เจฆเฉ€ เจฌเจœเจพเจ เจ•เฉ‚เฉœเจพ เจญเฉ‡เจœ เจธเจ•เจฆเจพ เจนเฉˆ pi(j) เจญเจพเจ—เฉ€เจฆเจพเจฐ เจจเฉ‚เฉฐ j, เจ…เจคเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ j เจ…เจธเจฒ เจฎเฉเฉฑเจฒ เจชเฉเจฐเจพเจชเจค เจ•เจฐเจจ เจฆเฉ‡ เจฏเฉ‹เจ— เจจเจนเฉ€เจ‚ เจนเฉ‹เจตเฉ‡เจ—เจพ pi(j), เจ…เจคเฉ‡ เจ‡เจธเจฆเฉ‡ เจจเจฟเฉฑเจœเฉ€ เจนเจฟเฉฑเจธเฉ‡ เจฆเฉ€ เจ—เจฃเจจเจพ เจ•เจฐเจจ เจฆเฉ‡ เจฏเฉ‹เจ— เจจเจนเฉ€เจ‚ เจนเฉ‹เจตเฉ‡เจ—เจพ.

เจ‡เฉฑเจ• เจ•เฉเจฐเจฟเจชเจŸเฉ‹เจ—เฉเจฐเจพเจซเจฟเจ• เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจนเฉˆ เจœเฉ‹ เจคเฉเจนเจพเจจเฉ‚เฉฐ เจ‡เฉฑเจ• เจตเจพเจงเฉ‚ เจธเฉเจจเฉ‡เจนเจพ เจฌเจฃเจพเจ‰เจฃ เจฆเฉ€ เจ†เจ—เจฟเจ† เจฆเจฟเฉฐเจฆเจพ เจนเฉˆ เจธเจฌเฉ‚เจคi(j), เจœเจฟเจตเฉ‡เจ‚ เจ•เจฟ เจ•เฉ‹เจˆ เจตเฉ€ เจญเจพเจ—เฉ€เจฆเจพเจฐ, เจœเจฟเจธเจฆเจพ เจ•เฉเจ เจฎเฉเฉฑเจฒ เจนเฉ‹เจตเฉ‡ e, เจ…เจคเฉ‡ เจ‡เจน เจตเฉ€ เจชเฉเจฐเจฎเจพเจฃเฉ€(เจœเฉ‡) ะธ pi(j)G, เจธเจฅเจพเจจเจ• เจคเฉŒเจฐ 'เจคเฉ‡ เจ‡เจธเจฆเฉ€ เจชเฉเจธเจผเจŸเฉ€ เจ•เจฐ เจธเจ•เจฆเจพ เจนเฉˆ e - เจ‡เจน เจ…เจธเจฒ เจตเจฟเฉฑเจš เจนเฉˆ pi(j), เจญเจพเจ—เฉ€เจฆเจพเจฐ เจฆเฉ€ เจ•เฉเฉฐเจœเฉ€ เจจเจพเจฒ เจเจจเจ•เฉเจฐเจฟเจชเจŸ เจ•เฉ€เจคเจพ เจ—เจฟเจ† j. เจฌเจฆเจ•เจฟเจธเจฎเจคเฉ€ เจจเจพเจฒ, เจ…เจœเจฟเจนเฉ‡ เจธเจฌเฉ‚เจค เจฆเจพ เจ†เจ•เจพเจฐ เจ…เจตเจฟเจธเจผเจตเจพเจธเจผเจฏเฉ‹เจ— เจคเฉŒเจฐ 'เจคเฉ‡ เจตเฉฑเจกเจพ เจนเฉˆ, เจ…เจคเฉ‡ เจ‡เจน เจฆเจฟเฉฑเจคเจพ เจ—เจฟเจ† เจนเฉˆ เจ•เจฟ เจ‡เจธ เจจเฉ‚เฉฐ เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจ•เจฐเจจเจพ เจœเจผเจฐเฉ‚เจฐเฉ€ เจนเฉˆ O(nk) เจ‡เจธ เจฎเจ•เจธเจฆ เจฒเจˆ เจ…เจœเจฟเจนเฉ‡ เจธเจฌเฉ‚เจค เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจจเจนเฉ€เจ‚ เจ•เฉ€เจคเฉ€ เจœเจพ เจธเจ•เจฆเฉ€เฅค

เจ‡เจน เจธเจพเจฌเจค เจ•เจฐเจจ เจฆเฉ€ เจฌเจœเจพเจ pi(j) เจจเจพเจฒ เจธเฉฐเจฌเฉฐเจงเจฟเจค เจนเฉˆ pi(j)G เจ…เจธเฉ€เจ‚ เจชเฉŒเจฒเฉ€เจจเฉ‹เจฎเฉ€เจ…เจฒ เจœเจจเจฐเฉ‡เจธเจผเจจ เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจตเจฟเฉฑเจš เจฌเจนเฉเจค เจฒเฉฐเจฌเฉ‡ เจธเจฎเฉ‡เจ‚ เจฆเฉ€ เจฎเจฟเจ†เจฆ เจจเจฟเจฐเจงเจพเจฐเจค เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเจพเจ‚, เจœเจฟเจธ เจฆเฉŒเจฐเจพเจจ เจธเจพเจฐเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจชเฉเจฐเจพเจชเจค เจ•เฉ€เจคเฉ‡ เจเจจเจ•เฉเจฐเจฟเจชเจŸเจก เจฆเฉ€ เจœเจพเจ‚เจš เจ•เจฐเจฆเฉ‡ เจนเจจ pi(j), เจ…เจคเฉ‡ เจœเฉ‡เจ•เจฐ เจกเฉ€เจ•เฉเจฐเจฟเจชเจŸ เจ•เฉ€เจคเจพ เจธเฉเจจเฉ‡เจนเจพ เจœเจจเจคเจพ เจจเจพเจฒ เจฎเฉ‡เจฒ เจจเจนเฉ€เจ‚ เจ–เจพเจ‚เจฆเจพ pi(j)G, เจ‰เจน เจ‡เฉฑเจ• เจ•เฉเจฐเจฟเจชเจŸเฉ‹เจ—เฉเจฐเจพเจซเจฟเจ• เจธเจฌเฉ‚เจค เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจ•เจฐเจฆเฉ‡ เจนเจจ เจ•เจฟ เจ‰เจนเจจเจพเจ‚ เจจเฉ‚เฉฐ เจชเฉเจฐเจพเจชเจค เจนเฉ‹เจ‡เจ† เจเจจเจ•เฉเจฐเจฟเจชเจŸเจก เจธเฉเจจเฉ‡เจนเจพ เจ—เจฒเจค เจนเฉˆเฅค เจธเจพเจฌเจค เจ•เจฐเฉ‹ เจ•เจฟ เจธเฉฐเจฆเฉ‡เจธเจผ เจจเจพ เจจเจพเจฒ เจธเฉฐเจฌเฉฐเจงเจฟเจค เจนเฉˆ pi(G) เจ‡เจน เจธเจพเจฌเจค เจ•เจฐเจจ เจจเจพเจฒเฉ‹เจ‚ เจฌเจนเฉเจค เจธเฉŒเจ–เจพ เจนเฉˆ เจ•เจฟ เจ‡เจน เจฎเฉ‡เจฒ เจ–เจพเจ‚เจฆเจพ เจนเฉˆเฅค เจ‡เจน เจจเฉ‹เจŸ เจ•เฉ€เจคเจพ เจœเจพเจฃเจพ เจšเจพเจนเฉ€เจฆเจพ เจนเฉˆ เจ•เจฟ เจ‡เจธ เจฒเจˆ เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ เจจเฉ‚เฉฐ เจ…เจœเจฟเจนเฉ‡ เจธเจฌเฉ‚เจค เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจจเจฟเจฐเจงเจพเจฐเจค เจธเจฎเฉ‡เจ‚ เจฆเฉŒเจฐเจพเจจ เจ˜เฉฑเจŸเฉ‹-เจ˜เฉฑเจŸ เจ‡เฉฑเจ• เจตเจพเจฐ เจ”เจจเจฒเจพเจˆเจจ เจชเฉ‡เจธเจผ เจนเฉ‹เจฃ เจฆเฉ€ เจฒเฉ‹เฉœ เจนเฉเฉฐเจฆเฉ€ เจนเฉˆ, เจ…เจคเฉ‡ เจ‡เจน เจ‡เจธ เจงเจพเจฐเจจเจพ 'เจคเฉ‡ เจจเจฟเจฐเจญเจฐ เจ•เจฐเจฆเจพ เจนเฉˆ เจ•เจฟ เจœเฉ‡เจ•เจฐ เจ‰เจน เจ…เจœเจฟเจนเจพ เจธเจฌเฉ‚เจค เจชเฉเจฐเจ•เจพเจธเจผเจค เจ•เจฐเจฆเฉ‡ เจนเจจ, เจคเจพเจ‚ เจ‡เจน เจ‰เจธเฉ‡ เจจเจฟเจฐเจงเจพเจฐเจค เจธเจฎเฉ‡เจ‚ เจตเจฟเฉฑเจš เจฌเจพเจ•เฉ€ เจธเจพเจฐเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจคเฉฑเจ• เจชเจนเฉเฉฐเจš เจœเจพเจตเฉ‡เจ—เจพเฅค

เจœเฉ‡เจ•เจฐ เจ…เจธเฉ€เจ‚ เจ‡เฉฑเจ• เจฆเฉ‚เจœเฉ‡ 'เจคเฉ‡ เจญเจฐเฉ‹เจธเจพ เจจเจนเฉ€เจ‚ เจ•เจฐเจฆเฉ‡ เจคเจพเจ‚ เจ•เฉ€ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฌเจฃเจพเจ‰เจฃเจพ เจธเฉฐเจญเจต เจนเฉˆ? เจญเจพเจ— 2

เจœเฉ‡เจ•เจฐ เจ•เฉ‹เจˆ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ‡เจธ เจธเจฎเฉ‡เจ‚ เจฆเฉ‡ เจฆเฉŒเจฐเจพเจจ เจ”เจจเจฒเจพเจˆเจจ เจจเจนเฉ€เจ‚ เจ†เจ‡เจ†, เจ…เจคเฉ‡ เจ‰เจธ เจ•เฉ‹เจฒ เจ˜เฉฑเจŸเฉ‹-เจ˜เฉฑเจŸ เจ‡เฉฑเจ• เจ—เจฒเจค เจ•เฉฐเจชเฉ‹เจจเฉˆเจ‚เจŸ เจธเฉ€, เจคเจพเจ‚ เจ‰เจน เจตเจฟเจธเจผเฉ‡เจธเจผ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจ…เจ—เจฒเฉ€ เจ—เจฟเจฃเจคเฉ€ เจตเจฟเฉฑเจš เจนเจฟเฉฑเจธเจพ เจฒเฉˆเจฃ เจฆเฉ‡ เจฏเฉ‹เจ— เจจเจนเฉ€เจ‚ เจนเฉ‹เจตเฉ‡เจ—เจพเฅค เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ, เจนเจพเจฒเจพเจ‚เจ•เจฟ, เจ…เจœเฉ‡ เจตเฉ€ เจ•เฉฐเจฎ เจ•เจฐเฉ‡เจ—เจพ เจœเฉ‡เจ•เจฐ เจ˜เฉฑเจŸเฉ‹ เจ˜เฉฑเจŸ เจนเฉˆ k เจญเจพเจ—เฉ€เจฆเจพเจฐ เจœเจฟเจจเฉเจนเจพเจ‚ เจจเฉ‡ เจœเจพเจ‚ เจคเจพเจ‚ เจธเจนเฉ€ เจนเจฟเฉฑเจธเฉ‡ เจชเฉเจฐเจพเจชเจค เจ•เฉ€เจคเฉ‡ เจนเจจ เจœเจพเจ‚ เจจเจฟเจฐเจงเจพเจฐเจค เจธเจฎเฉ‡เจ‚ เจฆเฉ‡ เจ…เฉฐเจฆเจฐ เจ—เจฒเจคเฉ€ เจฆเจพ เจธเจฌเฉ‚เจค เจ›เฉฑเจกเจฃ เจตเจฟเฉฑเจš เจ•เจพเจฎเจฏเจพเจฌ เจนเฉ‹เจ เจนเจจเฅค

H_i เจฆเฉ€ เจธเจผเฉเฉฑเจงเจคเจพ เจฆเฉ‡ เจธเจฌเฉ‚เจค

เจ†เจ–เจฐเฉ€ เจญเจพเจ— เจœเจฟเจธ เจฌเจพเจฐเฉ‡ เจšเจฐเจšเจพ เจ•เฉ€เจคเฉ€ เจœเจพเจฃเฉ€ เจฌเจพเจ•เฉ€ เจนเฉˆ เจ‰เจน เจนเฉˆ เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจฆเฉ€ เจธเจผเฉเฉฑเจงเจคเจพ เจจเฉ‚เฉฐ เจ•เจฟเจตเฉ‡เจ‚ เจธเจพเจฌเจค เจ•เจฐเจจเจพ เจนเฉˆ Hi, เจ…เจฐเจฅเจพเจค เจ‰เจน Hi = p(i)H, เจฌเจฟเจจเจพเจ‚ เจ–เฉ‹เจฒเฉเจนเฉ‡ p(i)

เจธเจพเจจเฉ‚เฉฐ เจฏเจพเจฆ เจฐเฉฑเจ–เฉ‹ เจ•เจฟ เจฎเฉเฉฑเจฒ H, G, p(i) G เจœเจจเจคเจ• เจ…เจคเฉ‡ เจนเจฐ เจ•เจฟเจธเฉ‡ เจฒเจˆ เจœเจพเจฃเจฟเจ† เจœเจพเจ‚เจฆเจพ เจนเฉˆเฅค เจ•เจพเจฐเจตเจพเจˆ เจชเฉเจฐเจพเจชเจค เจ•เจฐเฉ‹ p(i) เจœเจพเจฃเจจเจพ p(i) เจœเฉ€ ะธ G เจกเจฟเจธเจ•เฉเจฐเจฟเจŸ เจฒเจ˜เฉ‚เจ—เจฃเจ• เจ•เจฟเจนเจพ เจœเจพเจ‚เจฆเจพ เจนเฉˆ, เจœเจพเจ‚ dlog, เจ…เจคเฉ‡ เจ…เจธเฉ€เจ‚ เจ‡เจน เจธเจพเจฌเจค เจ•เจฐเจจเจพ เจšเจพเจนเฉเฉฐเจฆเฉ‡ เจนเจพเจ‚:

dlog(p(i)G, G) = dlog(Hi, H)

เจฌเจฟเจจเจพเจ‚ เจ–เฉเจฒเจพเจธเจพ เจ•เฉ€เจคเฉ‡ p(i). เจ‰เจฆเจพเจนเจฐเจจ เจฒเจˆ, เจ…เจœเจฟเจนเฉ‡ เจธเจฌเฉ‚เจค เจฒเจˆ เจ‰เจธเจพเจฐเฉ€ เจฎเฉŒเจœเฉ‚เจฆ เจนเจจ Schnorr เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ.

เจ‡เจธ เจกเจฟเจœเจผเจพเจˆเจจ เจฆเฉ‡ เจจเจพเจฒ, เจนเจฐเฉ‡เจ• เจญเจพเจ—เฉ€เจฆเจพเจฐ เจฆเฉ‡ เจจเจพเจฒ Hi เจกเจฟเจœเจผเจพเจˆเจจ เจฆเฉ‡ เจ…เจจเฉเจธเจพเจฐ เจธเจผเฉเฉฑเจงเจคเจพ เจฆเจพ เจธเจฌเฉ‚เจค เจญเฉ‡เจœเจฆเจพ เจนเฉˆ.

เจ‡เฉฑเจ• เจตเจพเจฐ เจ‡เฉฑเจ• เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจธเฉฐเจ–เจฟเจ† เจ‰เจคเจชเฉฐเจจ เจนเฉ‹ เจœเจพเจฃ เจคเฉ‹เจ‚ เจฌเจพเจ…เจฆ, เจ‡เจธเจจเฉ‚เฉฐ เจ…เจ•เจธเจฐ เจ‰เจนเจจเจพเจ‚ เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจฆเฉเจ†เจฐเจพ เจตเจฐเจคเจฃ เจฆเฉ€ เจฒเฉ‹เฉœ เจนเฉเฉฐเจฆเฉ€ เจนเฉˆ เจœเจฟเจนเจจเจพเจ‚ เจจเฉ‡ เจ‡เจธเจจเฉ‚เฉฐ เจคเจฟเจ†เจฐ เจ•เฉ€เจคเจพ เจนเฉˆเฅค เจ…เจœเจฟเจนเฉ‡ เจญเจพเจ—เฉ€เจฆเจพเจฐ, เจจเฉฐเจฌเจฐ เจธเจฎเฉ‡เจค, เจธเจญ เจจเฉ‚เฉฐ เจœเจผเจฐเฉ‚เจฐ เจญเฉ‡เจœเจฃ Hi เจ…เจคเฉ‡ เจธเฉฐเจฌเฉฐเจงเจฟเจค เจธเจฌเฉ‚เจคเฅค

เจ‡เฉฑเจ• เจ–เฉ‹เจœเฉ€ เจชเจพเจ เจ• เจชเฉเฉฑเจ› เจธเจ•เจฆเจพ เจนเฉˆ: เจ•เจฟเจ‰เจ‚เจ•เจฟ เจ…เฉฐเจคเจฎ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจนเฉˆ H0, เจ…เจคเฉ‡ p(0)เจœเฉ€ - เจ‡เจน เจœเจจเจคเจ• เจœเจพเจฃเจ•เจพเจฐเฉ€ เจนเฉˆ, เจธเจพเจจเฉ‚เฉฐ เจนเจฐเฉ‡เจ• เจตเจฟเจ…เจ•เจคเฉ€ เจฒเจˆ เจธเจฌเฉ‚เจค เจฆเฉ€ เจฒเฉ‹เฉœ เจ•เจฟเจ‰เจ‚ เจนเฉˆ Hเจฎเฉˆเจ‚, เจ‡เจธเจฆเฉ€ เจฌเจœเจพเจ เจธเจฌเฉ‚เจค เจ•เจฟเจ‰เจ‚ เจจเจพ เจญเฉ‡เจœเฉ‹

dlog(p(0)G, G) = dlog(H0, H)

เจธเจฎเฉฑเจธเจฟเจ† เจ‡เจน เจนเฉˆ เจ•เจฟ เจ…เจœเจฟเจนเจพ เจธเจฌเฉ‚เจค Schnorr เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจ•เฉ‡ เจจเจนเฉ€เจ‚ เจฌเจฃเจพเจ‡เจ† เจœเจพ เจธเจ•เจฆเจพ เจนเฉˆ เจ•เจฟเจ‰เจ‚เจ•เจฟ เจ•เฉ‹เจˆ เจตเฉ€ เจฎเฉเฉฑเจฒ เจจเจนเฉ€เจ‚ เจœเจพเจฃเจฆเจพ เจนเฉˆ เจชเฉ€ (0), เจธเจฌเฉ‚เจค เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจœเจผเจฐเฉ‚เจฐเฉ€ เจนเฉˆ, เจ…เจคเฉ‡ เจนเฉ‹เจฐ เจ•เฉ€ เจนเฉˆ, เจชเฉ‚เจฐเจพ เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจœเจจเจฐเฉ‡เจŸเจฐ เจ‡เจธ เจคเฉฑเจฅ 'เจคเฉ‡ เจ…เจงเจพเจฐเจค เจนเฉˆ เจ•เจฟ เจ•เฉ‹เจˆ เจตเฉ€ เจ‡เจธ เจฎเฉเฉฑเจฒ เจจเฉ‚เฉฐ เจจเจนเฉ€เจ‚ เจœเจพเจฃเจฆเจพ เจนเฉˆเฅค เจ‡เจธ เจฒเจˆ เจธเจพเจฐเฉ‡ เจฎเฉเฉฑเจฒเจพเจ‚ เจฆเจพ เจนเฉ‹เจฃเจพ เจœเจผเจฐเฉ‚เจฐเฉ€ เจนเฉˆ Hi เจ…เจคเฉ‡ เจธเจนเฉ€ เจธเจพเจฌเจค เจ•เจฐเจจ เจฒเจˆ เจ‰เจนเจจเจพเจ‚ เจฆเฉ‡ เจตเจฟเจ…เจ•เจคเฉ€เจ—เจค เจธเจฌเฉ‚เจค H0.

เจนเจพเจฒเจพเจ‚เจ•เจฟ, เจœเฉ‡เจ•เจฐ เจ…เฉฐเจกเจพเจ•เจพเจฐ เจตเจ•เจฐเจพเจ‚ 'เจคเฉ‡ เจฌเจฟเฉฐเจฆเฉ‚เจ†เจ‚ 'เจคเฉ‡ เจ•เฉเจ เจ“เจชเจฐเฉ‡เจธเจผเจจ เจธเจจ เจœเฉ‹ เจ—เฉเจฃเจพ เจฆเฉ‡ เจธเจฎเจพเจจ เจนเจจ, เจคเจพเจ‚ เจธเจผเฉเฉฑเจงเจคเจพ เจฆเจพ เจธเจฌเฉ‚เจค H0 เจฎเจพเจฎเฉ‚เจฒเฉ€ เจนเฉ‹เจตเฉ‡เจ—เฉ€, เจ…เจธเฉ€เจ‚ เจฌเจธ เจ‡เจน เจฏเจ•เฉ€เจจเฉ€ เจฌเจฃเจพเจตเจพเจ‚เจ—เฉ‡ เจ•เจฟ

H0 ร— G = p(0)G ร— H

เจœเฉ‡เจ•เจฐ เจšเฉเจฃเฉ€ เจนเฉ‹เจˆ เจ•เจฐเจต เจธเจชเฉ‹เจฐเจŸ เจ•เจฐเจฆเฉ€ เจนเฉˆ เจ…เฉฐเจกเจพเจ•เจพเจฐ เจ•เจฐเจต เจœเฉ‹เฉœเฉ€เจ†เจ‚, เจ‡เจน เจธเจฌเฉ‚เจค เจ•เฉฐเจฎ เจ•เจฐเจฆเจพ เจนเฉˆเฅค เจ‡เจธ เจฎเจพเจฎเจฒเฉ‡ เจตเจฟเฉฑเจš H0 เจ•เฉ‡เจตเจฒ เจ‡เฉฑเจ• เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจœเจจเจฐเฉ‡เจŸเจฐ เจฆเจพ เจ†เจ‰เจŸเจชเฉเฉฑเจŸ เจจเจนเฉ€เจ‚ เจนเฉˆ, เจœเจฟเจธเจจเฉ‚เฉฐ เจ•เจฟเจธเฉ‡ เจตเฉ€ เจญเจพเจ—เฉ€เจฆเจพเจฐ เจฆเฉเจ†เจฐเจพ เจชเฉเจฐเจฎเจพเจฃเจฟเจค เจ•เฉ€เจคเจพ เจœเจพ เจธเจ•เจฆเจพ เจนเฉˆ เจœเฉ‹ เจœเจพเจฃเจฆเจพ เจนเฉˆ เจœเฉ€, เจเฉฑเจš ะธ p(0)เจœเฉ€. เจเฉฑเจš0 เจธเฉเจจเฉ‡เจนเฉ‡ 'เจคเฉ‡ เจ‡เฉฑเจ• เจฆเจธเจคเจ–เจค เจตเฉ€ เจนเฉˆ เจœเฉ‹ เจ•เจฟ เจ‡เฉฑเจ• เจฌเฉ€เจœ เจตเจœเฉ‹เจ‚ เจตเจฐเจคเจฟเจ† เจ—เจฟเจ† เจธเฉ€, เจ‡เจธเจฆเฉ€ เจชเฉเจธเจผเจŸเฉ€ เจ•เจฐเจฆเจพ เจนเฉˆ k ะธ n เจญเจพเจ—เฉ€เจฆเจพเจฐเจพเจ‚ เจจเฉ‡ เจ‡เจธ เจธเฉฐเจฆเฉ‡เจธเจผ 'เจคเฉ‡ เจฆเจธเจคเจ–เจค เจ•เฉ€เจคเฉ‡เฅค เจ‡เจธ เจคเจฐเฉเจนเจพเจ‚, เจœเฉ‡ เจฌเฉ€เจœ - เจฌเจฒเจพเจ•เจšเฉˆเจจ เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจตเจฟเฉฑเจš เจฌเจฒเจพเจ• เจฆเจพ เจนเฉˆเจธเจผ เจนเฉˆ, เจซเจฟเจฐ H0 เจ‡เฉฑเจ• เจฌเจฒเจพเจ• 'เจคเฉ‡ เจ‡เฉฑเจ• เจฌเจนเฉ-เจฆเจธเจคเจ–เจค เจ…เจคเฉ‡ เจ‡เฉฑเจ• เจฌเจนเฉเจค เจตเจงเฉ€เจ† เจฌเฉ‡เจคเจฐเจคเฉ€เจฌ เจจเฉฐเจฌเจฐ เจฆเฉ‹เจตเฉ‡เจ‚ เจนเจจเฅค

เจ…เฉฐเจค เจตเจฟเฉฑเจš

เจ‡เจน เจฒเฉ‡เจ– เจคเจ•เจจเฉ€เจ•เฉ€ เจฌเจฒเฉŒเจ— เจฒเฉœเฉ€ เจฆเจพ เจนเจฟเฉฑเจธเจพ เจนเฉˆ เจจเฉ‡เฉœเฉ‡. NEAR เจ‡เฉฑเจ• เจฌเจฒเจพเจ•เจšเฉˆเจจ เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจ…เจคเฉ‡ เจชเจฒเฉ‡เจŸเจซเจพเจฐเจฎ เจนเฉˆ เจœเฉ‹ เจตเจฟเจ•เฉ‡เจ‚เจฆเจฐเฉ€เจ•เฉเจฐเจฟเจค เจเจชเจฒเฉ€เจ•เฉ‡เจธเจผเจจเจพเจ‚ เจจเฉ‚เฉฐ เจตเจฟเจ•เจธเจค เจ•เจฐเจจ เจฒเจˆ เจตเจฟเจ•เจพเจธ เจ…เจคเฉ‡ เจ…เฉฐเจคเจฎ เจ‰เจชเจญเฉ‹เจ—เจคเจพเจตเจพเจ‚ เจฒเจˆ เจตเจฐเจคเฉ‹เจ‚ เจตเจฟเฉฑเจš เจ†เจธเจพเจจเฉ€ 'เจคเฉ‡ เจœเจผเฉ‹เจฐ เจฆเจฟเฉฐเจฆเจพ เจนเฉˆเฅค

เจชเฉเจฐเฉ‹เจŸเฉ‹เจ•เฉ‹เจฒ เจ•เฉ‹เจก เจ–เฉเฉฑเจฒเฉเจนเจพ เจนเฉˆ, เจธเจพเจกเจพ เจฒเจพเจ—เฉ‚เจ•เจฐเจจ Rust เจตเจฟเฉฑเจš เจฒเจฟเจ–เจฟเจ† เจ—เจฟเจ† เจนเฉˆ, เจ‡เจน เจฒเฉฑเจญเจฟเจ† เจœเจพ เจธเจ•เจฆเจพ เจนเฉˆ เจ‡เฉฑเจฅเฉ‡.

เจคเฉเจธเฉ€เจ‚ เจฆเฉ‡เจ– เจธเจ•เจฆเฉ‡ เจนเฉ‹ เจ•เจฟ NEAR เจฒเจˆ เจตเจฟเจ•เจพเจธ เจ•เจฟเจนเฉ‹ เจœเจฟเจนเจพ เจฆเจฟเจ–เจพเจˆ เจฆเจฟเฉฐเจฆเจพ เจนเฉˆ เจ…เจคเฉ‡ เจ”เจจเจฒเจพเจˆเจจ IDE เจตเจฟเฉฑเจš เจชเฉเจฐเจฏเฉ‹เจ— เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเฉ‹ เจ‡เฉฑเจฅเฉ‡.

เจคเฉเจธเฉ€เจ‚ เจฐเฉ‚เจธเฉ€ เจตเจฟเฉฑเจš เจธเจพเจฐเฉ€เจ†เจ‚ เจ–เจผเจฌเจฐเจพเจ‚ เจฆเฉ€ เจชเจพเจฒเจฃเจพ เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเฉ‹ เจŸเฉˆเจฒเฉ€เจ—เฉเจฐเจพเจฎ เจ—เจฐเฉเฉฑเจช เจ…เจคเฉ‡ เจ…เฉฐเจฆเจฐ VKontakte 'เจคเฉ‡ เจ—เจฐเฉเฉฑเจช, เจ…เจคเฉ‡ เจ…เจงเจฟเจ•เจพเจฐเฉ€ เจตเจฟเฉฑเจš เจ…เฉฐเจ—เจฐเฉ‡เจœเจผเฉ€ เจตเจฟเฉฑเจš เจŸเจตเจฟเฉฑเจŸเจฐ.

เจœเจฒเจฆเฉ€ เจฎเจฟเจฒเจฆเฉ‡ เจนเจพเจ‚!

เจธเจฐเฉ‹เจค: www.habr.com

เจ‡เฉฑเจ• เจŸเจฟเฉฑเจชเจฃเฉ€ เจœเฉ‹เฉœเฉ‹