2025-11-19T16:52:14.243866

Learning Weighted Automata over Number Rings, Concretely and Categorically

Aristote, van Gool, Petrişan et al.
We develop a generic reduction procedure for active learning problems. Our approach is inspired by a recent polynomial-time reduction of the exact learning problem for weighted automata over integers to that for weighted automata over rationals (Buna-Marginean et al. 2024). Our procedure improves the efficiency of a category-theoretic automata learning algorithm, and poses new questions about the complexity of its implementation when instantiated to concrete categories. As our second main contribution, we address these complexity aspects in the concrete setting of learning weighted automata over number rings, that is, rings of integers in an algebraic number field. Assuming a full representation of a number ring OK, we obtain an exact learning algorithm of OK-weighted automata that runs in polynomial time in the size of the target automaton, the logarithm of the length of the longest counterexample, the degree of the number field, and the logarithm of its discriminant. Our algorithm produces an automaton that has at most one more state than the minimal one, and we prove that doing better requires solving the principal ideal problem, for which the best currently known algorithm is in quantum polynomial time.
academic

āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇āϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻž, āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟāĻ­āĻžāĻŦ⧇ āĻāĻŦāĻ‚ āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧāĻ­āĻžāĻŦ⧇

āĻŽā§ŒāϞāĻŋāĻ• āϤāĻĨā§āϝ

  • āĻĒāĻ¤ā§āϰ āφāχāĻĄāĻŋ: 2504.16596
  • āĻļāĻŋāϰ⧋āύāĻžāĻŽ: āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇āϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻž, āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟāĻ­āĻžāĻŦ⧇ āĻāĻŦāĻ‚ āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧāĻ­āĻžāĻŦ⧇
  • āϞ⧇āĻ–āĻ•: āϕ⧋āϝāĻŧ⧇āĻ¨ā§āϟāĻŋāύ āĻ…ā§āϝāĻžāϰāĻŋāĻ¸ā§āĻŸā§‹āϟ, āĻ¸ā§āϝāĻžāĻŽ āĻ­ā§āϝāĻžāύ āϗ⧁āϞ, āĻĄā§āϝāĻžāύāĻŋāϝāĻŧ⧇āϞāĻž āĻĒ⧇āĻŸā§āϰāĻŋāĻļāĻžāύ, āĻŽāĻžāĻšāϏāĻž āĻļāĻŋāϰāĻŽā§‹āĻšāĻžāĻŽā§āĻŽāĻžāĻĻāĻŋ
  • āĻļā§āϰ⧇āĻŖā§€āĻŦāĻŋāĻ­āĻžāĻ—: cs.FL (āφāύ⧁āĻˇā§āĻ āĻžāύāĻŋāĻ• āĻ­āĻžāώāĻž āĻāĻŦāĻ‚ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āϤāĻ¤ā§āĻ¤ā§āĻŦ)
  • āĻĒā§āϰāĻ•āĻžāĻļāύāĻžāϰ āϏāĻŽāϝāĻŧ: ⧍ā§Ļ⧍ā§Ģ āϏāĻžāϞ⧇āϰ ā§¨ā§Š āĻāĻĒā§āϰāĻŋāϞ (arXiv āĻĒā§āϰāĻžāĻ•-āĻĒā§āϰāĻŋāĻ¨ā§āϟ)
  • āĻĒāĻ¤ā§āϰ āϞāĻŋāĻ™ā§āĻ•: https://arxiv.org/abs/2504.16596

āϏāĻžāϰāϏāĻ‚āĻ•ā§āώ⧇āĻĒ

āĻāχ āĻĒāĻ¤ā§āϰāϟāĻŋ āĻāĻ•āϟāĻŋ āϏāĻžāĻ°ā§āĻŦāϜāύ⧀āύ āϏāĻ•ā§āϰāĻŋāϝāĻŧ āĻļ⧇āĻ–āĻžāϰ āϏāĻŽāĻ¸ā§āϝāĻž āĻšā§āϰāĻžāϏ āĻĒāĻĻā§āϧāϤāĻŋ āĻŦāĻŋāĻ•āĻžāĻļ āĻ•āϰ⧇āĨ¤ āĻāχ āĻĒāĻĻā§āϧāϤāĻŋāϟāĻŋ āĻŦ⧁āύāĻž-āĻŽāĻžāĻ°ā§āϜāĻŋāύāĻŋāϝāĻŧāĻžāύ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝāĻĻ⧇āϰ (⧍ā§Ļ⧍ā§Ē) āĻĻā§āĻŦāĻžāϰāĻž āϏāĻŽā§āĻĒā§āϰāϤāĻŋ āĻĒā§āϰāĻ¸ā§āϤāĻžāĻŦāĻŋāϤ āĻĒā§‚āĻ°ā§āĻŖāϏāĻ‚āĻ–ā§āϝāĻžāϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āύāĻŋāĻ°ā§āϭ⧁āϞāĻ­āĻžāĻŦ⧇ āĻļ⧇āĻ–āĻžāϰ āϏāĻŽāĻ¸ā§āϝāĻžāϕ⧇ āĻŽā§‚āϞāĻĻ āϏāĻ‚āĻ–ā§āϝāĻžāϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻžāϰ āϏāĻŽāĻ¸ā§āϝāĻžāϝāĻŧ āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ⧇ āĻšā§āϰāĻžāϏ āĻ•āϰāĻžāϰ āĻĻā§āĻŦāĻžāϰāĻž āĻ…āύ⧁āĻĒā§āϰāĻžāĻŖāĻŋāϤāĨ¤ āĻāχ āĻĒāĻĻā§āϧāϤāĻŋāϟāĻŋ āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻžāϰ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽā§‡āϰ āĻĻāĻ•ā§āώāϤāĻž āωāĻ¨ā§āύāϤ āĻ•āϰ⧇ āĻāĻŦāĻ‚ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āωāĻĻāĻžāĻšāϰāϪ⧇ āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύ āϜāϟāĻŋāϞāϤāĻž āϏāĻŽā§āĻĒāĻ°ā§āϕ⧇ āύāϤ⧁āύ āĻĒā§āϰāĻļā§āύ āωāĻ¤ā§āĻĨāĻžāĻĒāύ āĻ•āϰ⧇āĨ¤ āĻĻā§āĻŦāĻŋāϤ⧀āϝāĻŧ āĻĒā§āϰāϧāĻžāύ āĻ…āĻŦāĻĻāĻžāύ āĻšāĻŋāϏāĻžāĻŦ⧇, āϞ⧇āĻ–āĻ•āϰāĻž āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇āϰ (āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āϏāĻ‚āĻ–ā§āϝāĻž āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āĻĒā§‚āĻ°ā§āĻŖāϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ) āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻžāϰ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āϏ⧇āϟāĻŋāĻ‚āϝāĻŧ⧇ āĻāχ āϜāϟāĻŋāϞāϤāĻžāϰ āϏāĻŽāĻ¸ā§āϝāĻžāϗ⧁āϞāĻŋ āϏāĻŽāĻžāϧāĻžāύ āĻ•āϰ⧇āύāĨ¤ āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ OK āĻāϰ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻĒā§āϰāϤāĻŋāύāĻŋāϧāĻŋāĻ¤ā§āĻŦ āĻ…āύ⧁āĻŽāĻžāύ āĻ•āϰ⧇, OK-āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āϜāĻ¨ā§āϝ āĻāĻ•āϟāĻŋ āύāĻŋāĻ°ā§āϭ⧁āϞ āĻļ⧇āĻ–āĻžāϰ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĻ…āĻ°ā§āϜāύ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇, āϝāĻž āϞāĻ•ā§āĻˇā§āϝ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āφāĻ•āĻžāϰ, āĻĻā§€āĻ°ā§āϘāϤāĻŽ āĻĒā§āϰāϤāĻŋāĻŦāĻžāĻĻā§€ āĻĻ⧈āĻ°ā§āĻ˜ā§āϝ⧇āϰ āϞāĻ—āĻžāϰāĻŋāĻĻāĻŽ, āϏāĻ‚āĻ–ā§āϝāĻž āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āĻĄāĻŋāĻ—ā§āϰāĻŋ āĻāĻŦāĻ‚ āĻŦāĻŋāϚāĻžāϰāĻ• āϞāĻ—āĻžāϰāĻŋāĻĻāĻŽā§‡āϰ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇ āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ āϜāϟāĻŋāϞāϤāĻž āϰāϝāĻŧ⧇āϛ⧇āĨ¤ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĻĻā§āĻŦāĻžāϰāĻž āωāĻ¤ā§āĻĒāĻžāĻĻāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰāϟāĻŋ āϏāĻ°ā§āĻŦāύāĻŋāĻŽā§āύ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āĻšā§‡āϝāĻŧ⧇ āϏāĻ°ā§āĻŦāĻžāϧāĻŋāĻ• āĻāĻ•āϟāĻŋ āĻ…āĻŦāĻ¸ā§āĻĨāĻž āĻŦ⧇āĻļāĻŋ āĻāĻŦāĻ‚ āφāϰāĻ“ āĻ­āĻžāϞ āĻ•āϰāĻžāϰ āϜāĻ¨ā§āϝ āĻĒā§āϰāϧāĻžāύ āφāĻĻāĻ°ā§āĻļ āϏāĻŽāĻ¸ā§āϝāĻž āϏāĻŽāĻžāϧāĻžāύ āĻ•āϰāĻž āĻĒā§āϰāϝāĻŧā§‹āϜāύ āĻĒā§āϰāĻŽāĻžāĻŖāĻŋāϤ āĻšāϝāĻŧ⧇āϛ⧇, āϝāĻ–āύ āĻŦāĻ°ā§āϤāĻŽāĻžāύ⧇ āĻĒāϰāĻŋāϚāĻŋāϤ āϏ⧇āϰāĻž āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āϕ⧋āϝāĻŧāĻžāĻ¨ā§āϟāĻžāĻŽ āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ⧇āϰāĨ¤

āĻ—āĻŦ⧇āώāĻŖāĻž āĻĒāϟāĻ­ā§‚āĻŽāĻŋ āĻāĻŦāĻ‚ āĻĒā§āϰ⧇āϰāĻŖāĻž

āϏāĻŽāĻ¸ā§āϝāĻž āĻĒāϟāĻ­ā§‚āĻŽāĻŋ

ā§§. āĻ§ā§āϰ⧁āĻŦāĻ• āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻž: āĻ…ā§āϝāĻžāĻ™ā§āĻ—āϞ⧁āχāύ⧇āϰ L* āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĻ¨ā§āϝ⧂āύāϤāĻŽ āĻĒāĻ°ā§āϝāĻžāĻĒā§āϤ āĻļāĻŋāĻ•ā§āώāĻ• (MAT) āĻ•āĻžāĻ āĻžāĻŽā§‹āϰ āĻ…āϧ⧀āύ⧇ āύāĻŋāĻ°ā§āϧāĻžāϰāĻ• āϏ⧀āĻŽāĻŋāϤ āĻ…āĻŦāĻ¸ā§āĻĨāĻž āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻĻāĻ•ā§āώāϤāĻžāϰ āϏāĻžāĻĨ⧇ āĻļ⧇āĻ–āĻžāϝāĻŧ, āϝāĻž āĻ—āĻŖāύāĻžāĻŽā§‚āϞāĻ• āĻļ⧇āĻ–āĻžāϰ āϤāĻ¤ā§āĻ¤ā§āĻŦ⧇āϰ āĻāĻ•āϟāĻŋ āĻ§ā§āϰ⧁āĻŦāĻ• āĻĢāϞāĻžāĻĢāϞāĨ¤

āĨ¨. āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻžāϰ āĻšā§āϝāĻžāϞ⧇āĻžā§āϜ: āĻļ⧇āĻ–āĻžāϰ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽāϕ⧇ āφāϰāĻ“ āĻĒā§āϰāĻ•āĻžāĻļāύ⧀āϝāĻŧ āĻŽāĻĄā§‡āϞ⧇ āĻĒā§āϰāϏāĻžāϰāĻŋāϤ āĻ•āϰāĻž (āϝ⧇āĻŽāύ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ) āĻšā§āϝāĻžāϞ⧇āĻžā§āĻœā§‡āϰ āĻŽā§āĻ–ā§‹āĻŽā§āĻ–āĻŋ āĻšāϝāĻŧ, āĻŦāĻŋāĻļ⧇āώāϤ āϝāĻ–āύ āĻ“āϜāύ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇ āύāϝāĻŧ āĻŦāϰāĻ‚ āĻŦāϞāϝāĻŧ⧇ āĻĨāĻžāϕ⧇āĨ¤

āĨŠ. āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ āĻĒāĻĻā§āϧāϤāĻŋāϰ āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž:

  • āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āϜāĻ¨ā§āϝ, āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ āĻļ⧇āĻ–āĻžāϰ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āϰāϝāĻŧ⧇āϛ⧇
  • āϏāĻžāϧāĻžāϰāĻŖ āĻŦāϞāϝāĻŧ⧇āϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āϜāĻ¨ā§āϝ, āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ āĻĒāĻĻā§āϧāϤāĻŋāϗ⧁āϞāĻŋ āĻšāϝāĻŧ āĻ…āĻ¤ā§āϝāϧāĻŋāĻ• āϜāϟāĻŋāϞ āĻŦāĻž āϏ⧀āĻŽāĻŋāϤ āĻĒā§āϰāϝāĻŧā§‹āĻ—āϝ⧋āĻ—ā§āϝāϤāĻž āϰāϝāĻŧ⧇āϛ⧇
  • āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻĒāĻĻā§āϧāϤāĻŋ āϏāĻ°ā§āĻŦāϜāύ⧀āύ āĻšāϞ⧇āĻ“ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύ⧇ āϏ⧂āϚāϕ⧀āϝāĻŧ āϜāϟāĻŋāϞāϤāĻž āĻšāϤ⧇ āĻĒāĻžāϰ⧇

āĻ—āĻŦ⧇āώāĻŖāĻž āĻĒā§āϰ⧇āϰāĻŖāĻž

āĨ§. āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻĒā§āϰāϝāĻŧā§‹āϜāύ: āĻāĻŽāύ āĻāĻ•āϟāĻŋ āĻ•āĻžāĻ āĻžāĻŽā§‹ āĻĒā§āϰāϝāĻŧā§‹āϜāύ āϝāĻž āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻĒāĻĻā§āϧāϤāĻŋāϰ āϏāĻ°ā§āĻŦāϜāύ⧀āύāϤāĻž āĻŦāϜāĻžāϝāĻŧ āϰ⧇āϖ⧇ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻĒāϰāĻŋāĻ¸ā§āĻĨāĻŋāϤāĻŋāϤ⧇ āĻŦāĻšā§āĻĒāĻĻā§€ āϜāϟāĻŋāϞāϤāĻž āϰāϝāĻŧ⧇āϛ⧇ āĨ¨. āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻ• āĻĒā§āϰāϝāĻŧā§‹āĻ—: āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ āĻ•ā§āϰāĻŋāĻĒā§āĻŸā§‹āĻ—ā§āϰāĻžāĻĢāĻŋ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇ āϗ⧁āϰ⧁āĻ¤ā§āĻŦāĻĒā§‚āĻ°ā§āĻŖ āĻĒā§āϰāϝāĻŧā§‹āĻ— āϰāϝāĻŧ⧇āϛ⧇, āĻāϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āĻĻāĻ•ā§āώ āĻļ⧇āĻ–āĻž āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻ• āĻŽā§‚āĻ˛ā§āϝ āϰāϝāĻŧ⧇āϛ⧇ āĨŠ. āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āϏ⧀āĻŽāĻžāύāĻž: āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻ¨ā§āϝ⧂āύāϤāĻŽāĻ•āϰāϪ⧇āϰ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āϏ⧀āĻŽāĻž āĻ…āĻ¨ā§āĻŦ⧇āώāĻŖ āĻ•āϰāĻž, āĻŦāĻŋāĻļ⧇āώāϤ āĻĢāĻžāϟ⧁ āϏāĻŽā§āĻĒāĻ¤ā§āϤāĻŋāϰ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ

āĻŽā§‚āϞ āĻ…āĻŦāĻĻāĻžāύ

āĨ§. āϏāĻ°ā§āĻŦāϜāύ⧀āύ āĻšā§āϰāĻžāϏ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ: āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨŠ āĻĒā§āϰāĻ¸ā§āϤāĻžāĻŦ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇, āϝāĻž āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻ•āĻžāĻ āĻžāĻŽā§‹āϰ āĻ…āϧ⧀āύ⧇ āĻāĻ•āϟāĻŋ āϏāĻ°ā§āĻŦāϜāύ⧀āύ āĻšā§āϰāĻžāϏ āĻĒāĻĻā§āϧāϤāĻŋ āϝāĻž āĻāĻ•āϟāĻŋ āĻļ⧇āĻ–āĻžāϰ āϏāĻŽāĻ¸ā§āϝāĻž āĻļā§āϰ⧇āĻŖā§€āϕ⧇ āφāϰāĻ“ āϏāĻšāĻœā§‡ āĻĒāϰāĻŋāϚāĻžāϞāύāĻžāϝ⧋āĻ—ā§āϝ āĻļ⧇āĻ–āĻžāϰ āϏāĻŽāĻ¸ā§āϝāĻžāϝāĻŧ āĻšā§āϰāĻžāϏ āĻ•āϰ⧇

āĨ¨. āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ: āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨĒ āĻŦāĻŋāĻ•āĻžāĻļ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇, āϝāĻž āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ OK āĻāϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ āĻļ⧇āĻ–āĻžāϰ āϜāĻ¨ā§āϝ āĻŦāĻŋāĻļ⧇āώāĻ­āĻžāĻŦ⧇ āĻĄāĻŋāϜāĻžāχāύ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇

āĨŠ. āĻĒā§āϰāĻžāϝāĻŧ āϏāĻ°ā§āĻŦā§‹āĻ¤ā§āϤāĻŽāϤāĻž āĻĢāϞāĻžāĻĢāϞ: āĻĒā§āϰāĻŽāĻžāĻŖāĻŋāϤ āĻšāϝāĻŧ⧇āϛ⧇ āϝ⧇ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĻĻā§āĻŦāĻžāϰāĻž āωāĻ¤ā§āĻĒāĻžāĻĻāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰāϟāĻŋ āϏāĻ°ā§āĻŦāύāĻŋāĻŽā§āύ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āĻšā§‡āϝāĻŧ⧇ āϏāĻ°ā§āĻŦāĻžāϧāĻŋāĻ• āĻāĻ•āϟāĻŋ āĻ…āĻŦāĻ¸ā§āĻĨāĻž āĻŦ⧇āĻļāĻŋ (āĻĒā§āϰāĻžāϝāĻŧ āĻ¨ā§āϝ⧂āύāϤāĻŽāϤāĻž)

āĨĒ. āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āϜāϟāĻŋāϞāϤāĻž āϏ⧀āĻŽāĻžāύāĻž: āĻĒā§āϰāĻŽāĻžāĻŖāĻŋāϤ āĻšāϝāĻŧ⧇āϛ⧇ āϝ⧇ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻ¨ā§āϝ⧂āύāϤāĻŽ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻ…āĻ°ā§āϜāύ āĻ•āϰāĻž āĻĒā§āϰāϧāĻžāύ āφāĻĻāĻ°ā§āĻļ āϏāĻŽāĻ¸ā§āϝāĻž (PIP-āĻ•āĻ āĻŋāύ) āϏāĻŽāĻžāϧāĻžāύ⧇āϰ āϏāĻŽāϤ⧁āĻ˛ā§āϝ, āϏāĻŽāĻ¸ā§āϝāĻžāϰ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āύāĻŋāĻŽā§āύ āϏ⧀āĻŽāĻž āĻĒā§āϰāϤāĻŋāĻˇā§āĻ āĻž āĻ•āϰ⧇

āĨĢ. āĻĢāĻžāϟ⧁ āϏāĻŽā§āĻĒāĻ¤ā§āϤāĻŋ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ: āĻĒā§āϰāĻŽāĻžāĻŖāĻŋāϤ āĻšāϝāĻŧ⧇āϛ⧇ āϝ⧇ āĻĄā§‡āĻĄā§‡āĻ•āĻŋāĻ¨ā§āĻĄ āĻĄā§‹āĻŽā§‡āχāύāϗ⧁āϞāĻŋ "āĻĒā§āϰāĻžāϝāĻŧ āĻļāĻ•ā§āϤāĻŋāĻļāĻžāϞ⧀ āĻĢāĻžāϟ⧁ āĻŦāϞāϝāĻŧ", āĻ§ā§āϰ⧁āĻŦāĻ• āĻĢāĻžāϟ⧁ āϏāĻŽā§āĻĒāĻ¤ā§āϤāĻŋ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ āĻ•āϰ⧇

āĻĒāĻĻā§āϧāϤāĻŋ āĻŦāĻŋāĻ¸ā§āϤāĻžāϰāĻŋāϤ

āĻ•āĻžāĻœā§‡āϰ āϏāĻ‚āĻœā§āĻžāĻž

āχāύāĻĒ⧁āϟ: āĻāĻ•āϟāĻŋ āĻ…āϜāĻžāύāĻž OK-āĻ­āĻžāϰāĻŋāϤ āĻ­āĻžāώāĻž L: ÎŖ* → OK (oracle āĻ…ā§āϝāĻžāĻ•ā§āϏ⧇āϏ⧇āϰ āĻŽāĻžāĻ§ā§āϝāĻŽā§‡) āφāωāϟāĻĒ⧁āϟ: āĻāĻ•āϟāĻŋ OK-āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āϝāĻž L āĻ—āĻŖāύāĻž āĻ•āϰ⧇ āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž: āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āϜāϟāĻŋāϞāϤāĻž āϞāĻ•ā§āĻˇā§āϝ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āφāĻ•āĻžāϰ, āĻĻā§€āĻ°ā§āϘāϤāĻŽ āĻĒā§āϰāϤāĻŋāĻŦāĻžāĻĻā§€ āĻĻ⧈āĻ°ā§āĻ˜ā§āϝ⧇āϰ āϞāĻ—āĻžāϰāĻŋāĻĻāĻŽ, āϏāĻ‚āĻ–ā§āϝāĻž āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āĻĄāĻŋāĻ—ā§āϰāĻŋ āĻāĻŦāĻ‚ āĻŦāĻŋāϚāĻžāϰāĻ• āϞāĻ—āĻžāϰāĻŋāĻĻāĻŽā§‡āϰ āĻŦāĻšā§āĻĒāĻĻā§€

āĻŽā§‚āϞ āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āĻ•āĻžāĻ āĻžāĻŽā§‹

āĨ§. āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻ­āĻŋāĻ¤ā§āϤāĻŋ

āĻĒāĻ¤ā§āϰāϟāĻŋ āĻĢāĻžāĻ‚āϟāϰ āĻĻ⧃āĻˇā§āϟāĻŋāĻ­āĻ™ā§āĻ—āĻŋ āĻ—ā§āϰāĻšāĻŖ āĻ•āϰ⧇, āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰāϕ⧇ āĻĢāĻžāĻ‚āϟāϰ A: I → C āĻšāĻŋāϏāĻžāĻŦ⧇ āĻĻ⧇āϖ⧇, āϝ⧇āĻ–āĻžāύ⧇:

  • I āĻšāϞ āĻŦāĻ°ā§āĻŖāĻŽāĻžāϞāĻž ÎŖ āĻĻā§āĻŦāĻžāϰāĻž āωāĻ¤ā§āĻĒāĻžāĻĻāĻŋāϤ āĻŽā§āĻ•ā§āϤ āĻŦāĻŋāĻ­āĻžāĻ—
  • C āĻšāϞ āφāωāϟāĻĒ⧁āϟ āĻŦāĻŋāĻ­āĻžāĻ— (āϝ⧇āĻŽāύ āĻŽāĻĄāĻŋāωāϞ āĻŦāĻŋāĻ­āĻžāĻ— ModR)

āĨ¨. āϏāĻ°ā§āĻŦāϜāύ⧀āύ āĻšā§āϰāĻžāϏ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ (āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨŠ)

āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āϧāĻžāϰāĻŖāĻž:
āĨ§. "āϏāĻšāϜ āĻĒāϰāĻŋāϚāĻžāϞāύāĻžāϝ⧋āĻ—ā§āϝ" āĻŦāĻŋāĻ­āĻžāĻ— D-āϤ⧇ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļāĻŋāϖ⧁āύ
āĨ¨. āĻĢāĻžāĻ‚āϟāϰ F: C → D āĻāϰ āĻŽāĻžāĻ§ā§āϝāĻŽā§‡ āϏāĻ‚āϝ⧋āĻ— āĻ¸ā§āĻĨāĻžāĻĒāύ āĻ•āϰ⧁āύ
āĨŠ. āĻĢāϞāĻžāĻĢāϞāϕ⧇ āϞāĻ•ā§āĻˇā§āϝ āĻŦāĻŋāĻ­āĻžāĻ— C-āϤ⧇ āϟāĻžāύāϤ⧇ āĻĄāĻžāύ āϏāĻšāϝ⧋āĻ—ā§€ G: D → C āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰ⧁āύ

āĻŽā§‚āϞ āĻ…āύ⧁āĻŽāĻžāύ (āĻ…āύ⧁āĻŽāĻžāύ āĨ§āĨ¨):

  • F āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ morphism āĻļā§āϰ⧇āĻŖā§€ āϏāĻ‚āϰāĻ•ā§āώāĻŖ āĻ•āϰ⧇
  • F āĻāϰ āĻĄāĻžāύ āϏāĻšāϝ⧋āĻ—ā§€ āϰāϝāĻŧ⧇āϛ⧇
  • āχāωāύāĻŋāϟ āĻāĻŦāĻ‚ āϕ⧋-āχāωāύāĻŋāϟ morphisms āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āϏāĻŽā§āĻĒāĻ¤ā§āϤāĻŋ āϰāϝāĻŧ⧇āϛ⧇

āĨŠ. āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύ (āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨĒ)

āϧāĻžāĻĒ āĨ§: āĻĒāĻļā§āϚāĻžāĻĻā§āĻŦāĻ°ā§āϤ⧀ āϏāĻ‚āϝ⧋āĻ—

āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ A āĻāϰ āĻĒāĻļā§āϚāĻžāĻĻā§āĻŦāĻ°ā§āϤ⧀ āĻ¸ā§āĻĨāĻžāύ⧇āϰ āĻ­āĻŋāĻ¤ā§āϤāĻŋ B āĻ—āĻŖāύāĻž āĻ•āϰ⧁āύ
āĻŽā§āϝāĻžāĻŸā§āϰāĻŋāĻ•ā§āϏ B āĻĻā§āĻŦāĻžāϰāĻž A āϏāĻ‚āϝ⧋āĻ— āĻ•āϰ⧇ A' āĻĒāĻžāύ

āϧāĻžāĻĒ āĨ¨: āϏāĻžāĻŽāύ⧇āϰ āĻŽāĻĄāĻŋāωāϞ āωāĻ¤ā§āĻĒāĻžāĻĻāύ

āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨĢ āĻ•āϞ āĻ•āϰ⧁āύ A' āĻāϰ āϏāĻžāĻŽāύ⧇āϰ OK-āĻŽāĻĄāĻŋāωāϞ⧇āϰ āωāĻ¤ā§āĻĒāĻžāĻĻāĻ• āϏ⧇āϟ āĻ—āĻŖāύāĻž āĻ•āϰāϤ⧇
āĻĻ⧁āχ-āĻĒāĻ°ā§āϝāĻžāϝāĻŧ⧇āϰ āĻ•ā§ŒāĻļāϞ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰ⧁āύ:
- āĻĒā§āϰāĻĨāĻŽ āĻĒāĻ°ā§āϝāĻžāϝāĻŧ: K-āϤ⧇ āĻ°ā§āϝāĻžāĻ™ā§āĻ• āĻŦ⧃āĻĻā§āϧāĻŋāĻ•āĻžāϰ⧀ āĻļāĻŦā§āĻĻ āϖ⧁āρāϜ⧁āύ
- āĻĻā§āĻŦāĻŋāϤ⧀āϝāĻŧ āĻĒāĻ°ā§āϝāĻžāϝāĻŧ: OK-āϤ⧇ āĻŽāĻĄāĻŋāωāϞ āωāĻ¤ā§āĻĒāĻžāĻĻāύ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻ•āϰ⧁āύ

āϧāĻžāĻĒ āĨŠ: āϏāĻŋāωāĻĄā§‹-āĻ­āĻŋāĻ¤ā§āϤāĻŋ āĻ—āĻŖāύāĻž

āϏāĻŋāωāĻĄā§‹ āĻšāĻžāĻ°ā§āĻŽāĻžāχāϟ āĻ¸ā§āĻŸā§āϝāĻžāĻ¨ā§āĻĄāĻžāĻ°ā§āĻĄ āĻĢāĻ°ā§āĻŽ (pseudo-HNF) āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰ⧇ āωāĻ¤ā§āĻĒāĻžāĻĻāĻ• āϏ⧇āϟ āĻĨ⧇āϕ⧇ āϏāĻŋāωāĻĄā§‹-āĻ­āĻŋāĻ¤ā§āϤāĻŋ āĻ—āĻŖāύāĻž āĻ•āϰ⧁āύ
āϏāĻŋāωāĻĄā§‹-āĻ­āĻŋāĻ¤ā§āϤāĻŋ āĻĢāĻ°ā§āĻŽ: {(ai, vi) | āĨ§ ≤ i ≤ ℓ}, āϝ⧇āĻ–āĻžāύ⧇ ai āĻšāϞ āĻ­āĻ—ā§āύāĻžāĻ‚āĻļ āφāĻĻāĻ°ā§āĻļ

āϧāĻžāĻĒ āĨĒ: āĻĒā§āϰāĻžāϝāĻŧ āĻ¨ā§āϝ⧂āύāϤāĻŽ āωāĻ¤ā§āĻĒāĻžāĻĻāĻ• āϏ⧇āϟ

āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨŦ āĻĻā§āĻŦāĻžāϰāĻž āϏāĻŋāωāĻĄā§‹-āĻ­āĻŋāĻ¤ā§āϤāĻŋāϕ⧇ āφāĻ•āĻžāϰ āϏāĻ°ā§āĻŦāĻžāϧāĻŋāĻ• ℓ+āĨ§ āĻāϰ āωāĻ¤ā§āĻĒāĻžāĻĻāĻ• āϏ⧇āĻŸā§‡ āϰ⧂āĻĒāĻžāĻ¨ā§āϤāϰāĻŋāϤ āĻ•āϰ⧁āύ
āφāĻĻāĻ°ā§āĻļ āĻ•āĻžāϰāĻŖ āĻĒāϰāĻŋāĻŽāĻžāĻ°ā§āϜāύ āĻāĻŦāĻ‚ āĻšā§€āύāĻž āĻ…āĻŦāĻļ⧇āώ āωāĻĒāĻĒāĻžāĻĻā§āϝ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰ⧁āύ

āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āωāĻĻā§āĻ­āĻžāĻŦāύ āĻĒāϝāĻŧ⧇āĻ¨ā§āϟ

āĨ§. āĻĻ⧁āχ-āĻĒāĻ°ā§āϝāĻžāϝāĻŧ⧇āϰ āωāĻ¤ā§āĻĒāĻžāĻĻāύ āĻ•ā§ŒāĻļāϞ: āĻĒā§āϰāĻĨāĻŽā§‡ K āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇ āĻ°ā§āϝāĻžāĻ™ā§āĻ• āύāĻŋāĻ°ā§āϧāĻžāϰāĻŖ āĻ•āϰ⧁āύ, āϤāĻžāϰāĻĒāϰ OK āĻĒāϰāĻŋāĻŦ⧇āĻļ⧇ āĻŽāĻĄāĻŋāωāϞ āĻ•āĻžāĻ āĻžāĻŽā§‹ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻ•āϰ⧁āύ, āϏ⧂āϚāϕ⧀āϝāĻŧ āϜāϟāĻŋāϞāϤāĻž āĻāĻĄāĻŧāĻžāύ

āĨ¨. āϏāĻŋāωāĻĄā§‹-āĻ­āĻŋāĻ¤ā§āϤāĻŋ āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋ: āĻĄā§‡āĻĄā§‡āĻ•āĻŋāĻ¨ā§āĻĄ āĻĄā§‹āĻŽā§‡āχāύ⧇āϰ āĻ•āĻžāĻ āĻžāĻŽā§‹ āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰ⧇, āϏāĻŋāωāĻĄā§‹-āĻ­āĻŋāĻ¤ā§āϤāĻŋāϰ āĻŽāĻžāĻ§ā§āϝāĻŽā§‡ āĻ…-āĻĒā§āϰāϧāĻžāύ āφāĻĻāĻ°ā§āĻļ āĻĄā§‹āĻŽā§‡āχāύ⧇āϰ āĻĒāϰāĻŋāĻ¸ā§āĻĨāĻŋāϤāĻŋ āĻĒāϰāĻŋāϚāĻžāϞāύāĻž āĻ•āϰ⧁āύ

āĨŠ. āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻāĻŦāĻ‚ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽā§‡āϰ āϏāĻŽāĻ¨ā§āĻŦāϝāĻŧ: āĻŦāĻŋāĻŽā§‚āĻ°ā§āϤ āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻ•āĻžāĻ āĻžāĻŽā§‹āϕ⧇ āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύāϝ⧋āĻ—ā§āϝ āĻŦāĻšā§āĻĒāĻĻā§€ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽā§‡ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻ•āϰ⧁āύ

āĻĒāϰ⧀āĻ•ā§āώāĻžāĻŽā§‚āϞāĻ• āϏ⧇āϟāφāĻĒ

āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āϝāĻžāϚāĻžāχāĻ•āϰāĻŖ

āĻĒāĻ¤ā§āϰāϟāĻŋ āĻĒā§āϰāϧāĻžāύāϤ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻ•āĻžāϜ, āύāĻŋāĻŽā§āύāϞāĻŋāĻ–āĻŋāϤ āωāĻĒāĻžāϝāĻŧ⧇ āϝāĻžāϚāĻžāχ āĻ•āϰāĻž āĻšāϝāĻŧ:

āĨ§. āϜāϟāĻŋāϞāϤāĻž āĻŦāĻŋāĻļā§āϞ⧇āώāĻŖ: āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨĒ āĻāĻŦāĻ‚ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĨĢ āĻāϰ āϏāĻŽāϝāĻŧ āϜāϟāĻŋāϞāϤāĻžāϰ āĻŦāĻŋāĻ¸ā§āϤāĻžāϰāĻŋāϤ āĻŦāĻŋāĻļā§āϞ⧇āώāĻŖ āĨ¨. āϏāĻ āĻŋāĻ•āϤāĻž āĻĒā§āϰāĻŽāĻžāĻŖ: āωāĻĒāĻĒāĻžāĻĻā§āϝ āĨ§āĨŽ āĻāϰ āĻŽāĻžāĻ§ā§āϝāĻŽā§‡ āϏāĻ°ā§āĻŦāϜāύ⧀āύ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽā§‡āϰ āϏāĻ āĻŋāĻ•āϤāĻž āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āϰ⧁āύ āĨŠ. āωāĻĻāĻžāĻšāϰāĻŖ āϝāĻžāϚāĻžāχāĻ•āϰāĻŖ: āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āωāĻĻāĻžāĻšāϰāĻŖ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰ⧁āύ (āϝ⧇āĻŽāύ āωāĻĻāĻžāĻšāϰāĻŖ āĨ§) Zi√āĨĢ āĻ āĻĒāϰāĻŋāĻ¸ā§āĻĨāĻŋāϤāĻŋ āĻŦā§āϝāĻžāĻ–ā§āϝāĻž āĻ•āϰāϤ⧇

āϜāϟāĻŋāϞāϤāĻž āϏ⧀āĻŽāĻžāύāĻž

āωāĻĒāĻĒāĻžāĻĻā§āϝ āĨ¨: OK āĻāϰ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻĒā§āϰāϤāĻŋāύāĻŋāϧāĻŋāĻ¤ā§āĻŦ āĻĻ⧇āĻ“āϝāĻŧāĻž, OK-āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āύāĻŋāĻ°ā§āϭ⧁āϞ āĻļ⧇āĻ–āĻž āύāĻŋāĻŽā§āύāϞāĻŋāĻ–āĻŋāϤ āĻĒāϰāĻžāĻŽāĻŋāϤāĻŋāϗ⧁āϞāĻŋāϰ āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ⧇ āϏāĻŽāĻžāϧāĻžāύāϝ⧋āĻ—ā§āϝ:

  • āϞāĻ•ā§āĻˇā§āϝ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āφāĻ•āĻžāϰ
  • āĻĻā§€āĻ°ā§āϘāϤāĻŽ āĻĒā§āϰāϤāĻŋāĻŦāĻžāĻĻā§€ āĻĻ⧈āĻ°ā§āĻ˜ā§āϝ⧇āϰ āϞāĻ—āĻžāϰāĻŋāĻĻāĻŽ
  • āϏāĻ‚āĻ–ā§āϝāĻž āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āĻĄāĻŋāĻ—ā§āϰāĻŋ d
  • āĻŦāĻŋāϚāĻžāϰāĻ• ΔK āĻāϰ āϞāĻ—āĻžāϰāĻŋāĻĻāĻŽ

āĻĒāϰ⧀āĻ•ā§āώāĻžāĻŽā§‚āϞāĻ• āĻĢāϞāĻžāĻĢāϞ

āĻĒā§āϰāϧāĻžāύ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻĢāϞāĻžāĻĢāϞ

āĨ§. āĻĒā§āϰāĻžāϝāĻŧ āϏāĻ°ā§āĻŦā§‹āĻ¤ā§āϤāĻŽāϤāĻž (āωāĻĒāĻžāĻĻāĻžāύ āĨ§āĨĻ): āĻĄā§‡āĻĄā§‡āĻ•āĻŋāĻ¨ā§āĻĄ āĻĄā§‹āĻŽā§‡āχāύ R āĻāϰ āϜāĻ¨ā§āϝ, āϝāĻĻāĻŋ L āĻ°ā§āϝāĻžāĻ™ā§āĻ• n āĻāϰ āĻāĻ•āϟāĻŋ R-āĻ­āĻžāϰāĻŋāϤ āĻ­āĻžāώāĻž āĻšāϝāĻŧ, āϤāĻŦ⧇ āϏāĻ°ā§āĻŦāĻžāϧāĻŋāĻ• n+āĨ§ āĻ…āĻŦāĻ¸ā§āĻĨāĻžāϰ āĻāĻ•āϟāĻŋ R-āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ āϝāĻž L āĻ—āĻŖāύāĻž āĻ•āϰ⧇

āĨ¨. āϜāϟāĻŋāϞāϤāĻž āύāĻŋāĻŽā§āύ āϏ⧀āĻŽāĻž (āωāĻĒāĻžāĻĻāĻžāύ āĨ¨āĨŦ): OK-āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻ…āĻŦāĻ¸ā§āĻĨāĻž-āĻ¨ā§āϝ⧂āύāϤāĻŽ āĻ•āĻŋāύāĻž āϤāĻž āύāĻŋāĻ°ā§āϧāĻžāϰāĻŖ āĻ•āϰāĻž PIP-āĻ•āĻ āĻŋāύ

āĨŠ. āĻĢāĻžāϟ⧁ āϏāĻŽā§āĻĒāĻ¤ā§āϤāĻŋ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ (āĻ…āύ⧁āϏāĻŋāĻĻā§āϧāĻžāĻ¨ā§āϤ āĨ§āĨŦ): āĻĄā§‡āĻĄā§‡āĻ•āĻŋāĻ¨ā§āĻĄ āĻĄā§‹āĻŽā§‡āχāύāϗ⧁āϞāĻŋ āĻĒā§āϰāĻžāϝāĻŧ āĻļāĻ•ā§āϤāĻŋāĻļāĻžāϞ⧀ āĻĢāĻžāϟ⧁ āĻŦāϞāϝāĻŧ

āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āωāĻĻāĻžāĻšāϰāĻŖ āĻŦāĻŋāĻļā§āϞ⧇āώāĻŖ

āωāĻĻāĻžāĻšāϰāĻŖ āĨ§: āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ R = Zi√āĨĢ āĻ:

  • āĻāĻ•āϟāĻŋ āĨŠ-āĻ…āĻŦāĻ¸ā§āĻĨāĻžāϰ R-āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇
  • āĻāĻ•āϟāĻŋ āϏāĻŽāϤ⧁āĻ˛ā§āϝ āĨ¨-āĻ…āĻŦāĻ¸ā§āĻĨāĻžāϰ K-āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ (K = Q(i√āĨĢ))
  • āĻļāĻ•ā§āϤāĻŋāĻļāĻžāϞ⧀ āĻĢāĻžāϟ⧁ āϏāĻŽā§āĻĒāĻ¤ā§āϤāĻŋ āϏāĻ°ā§āĻŦāĻĻāĻž āϏāĻ¤ā§āϝ āύāϝāĻŧ āϤāĻž āĻĒā§āϰāĻĻāĻ°ā§āĻļāύ āĻ•āϰ⧇, āĻ•āĻŋāĻ¨ā§āϤ⧁ āĻĒā§āϰāĻžāϝāĻŧ āĻļāĻ•ā§āϤāĻŋāĻļāĻžāϞ⧀ āĻĢāĻžāϟ⧁ āϏāĻŽā§āĻĒāĻ¤ā§āϤāĻŋ āϏāĻ¤ā§āϝ

āϏāĻŽā§āĻĒāĻ°ā§āĻ•āĻŋāϤ āĻ•āĻžāϜ

āĻ§ā§āϰ⧁āĻŦāĻ• āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻž

  • āĻ…ā§āϝāĻžāĻ™ā§āĻ—āϞ⧁āχāύ⧇āϰ L* āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ: āύāĻŋāĻ°ā§āϧāĻžāϰāĻ• āϏ⧀āĻŽāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āĻŦāĻšā§āĻĒāĻĻā§€ āĻļ⧇āĻ–āĻž
  • āĻŦ⧇āχāĻŽā§‡āϞ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝāϰāĻž: āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ⧇āϰ āĻļ⧇āĻ–āĻžāϰ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ

āĻŦāϞāϝāĻŧ⧇āϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ

  • āĻ­ā§āϝāĻžāύ āĻšāĻŋāϝāĻŧāĻžāĻ°ā§āĻĄāϟ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝāϰāĻž: āĻĒā§āϰāϧāĻžāύ āφāĻĻāĻ°ā§āĻļ āĻĄā§‹āĻŽā§‡āχāύ⧇ āĻļ⧇āĻ–āĻž, āĻ•āĻŋāĻ¨ā§āϤ⧁ āϜāϟāĻŋāϞāϤāĻž āϏ⧀āĻŽāĻžāύāĻž āĻ›āĻžāĻĄāĻŧāĻžāχ
  • āĻŦ⧁āύāĻž-āĻŽāĻžāĻ°ā§āϜāĻŋāύāĻŋāϝāĻŧāĻžāύ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝāϰāĻž: Z āĻĨ⧇āϕ⧇ Q āĻ āĻšā§āϰāĻžāϏ, āĻāχ āĻĒāĻ¤ā§āϰ⧇āϰ āϏāϰāĻžāϏāϰāĻŋ āĻ…āύ⧁āĻĒā§āϰ⧇āϰāĻŖāĻž

āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻĒāĻĻā§āϧāϤāĻŋ

  • āĻ•āϞāĻ•āĻŽā§āĻŦ⧇āϟ-āĻĒ⧇āĻŸā§āϰāĻŋāĻļāĻžāύ: āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻ¨ā§āϝ⧂āύāϤāĻŽāĻ•āϰāϪ⧇āϰ āĻĢāĻžāĻ‚āϟāϰ āĻĒāĻĻā§āϧāϤāĻŋ
  • āφāϰāĻŦāĻžāϟ-āĻļā§āϰ⧋āĻĄāĻžāϰ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝāϰāĻž: āĻļ⧇āĻ–āĻžāϰ āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āĻĒāĻĻā§āϧāϤāĻŋ

āωāĻĒāϏāĻ‚āĻšāĻžāϰ āĻāĻŦāĻ‚ āφāϞ⧋āϚāύāĻž

āĻĒā§āϰāϧāĻžāύ āωāĻĒāϏāĻ‚āĻšāĻžāϰ

āĨ§. āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇āϰ āωāĻĒāϰ āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻžāϰ āĻĒā§āϰāĻĨāĻŽ āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĻŦāĻŋāĻ•āĻžāĻļ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇ āĨ¨. āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻ¨ā§āϝ⧂āύāϤāĻŽ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻ…āĻ°ā§āϜāύ⧇āϰ āĻ•āĻ āĻŋāύāϤāĻž āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇ (PIP-āĻ•āĻ āĻŋāύ) āĨŠ. āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻāĻŦāĻ‚ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽā§‡āϰ āĻŽāĻ§ā§āϝ⧇ āϏ⧇āϤ⧁ āĻĒā§āϰāϤāĻŋāĻˇā§āĻ āĻž āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇

āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž

āĨ§. āĻĒā§āϰāϤāĻŋāύāĻŋāϧāĻŋāĻ¤ā§āĻŦ āĻĒā§āϰāϝāĻŧā§‹āϜāύ⧀āϝāĻŧāϤāĻž: āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ OK āĻāϰ "āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻĒā§āϰāϤāĻŋāύāĻŋāϧāĻŋāĻ¤ā§āĻŦ" āĻĒā§āϰāϝāĻŧā§‹āϜāύ, āϝāĻž āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻ•āĻ­āĻžāĻŦ⧇ āĻ…āĻ°ā§āϜāύ āĻ•āϰāĻž āĻ•āĻ āĻŋāύ āĻšāϤ⧇ āĻĒāĻžāϰ⧇ āĨ¨. āĻĒā§āϰāĻžāϝāĻŧ āϏāĻ°ā§āĻŦā§‹āĻ¤ā§āϤāĻŽāϤāĻž: āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĻĻā§āĻŦāĻžāϰāĻž āωāĻ¤ā§āĻĒāĻžāĻĻāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰāϟāĻŋ āϏāĻ°ā§āĻŦāύāĻŋāĻŽā§āύ āĻĨ⧇āϕ⧇ āĻāĻ•āϟāĻŋ āĻ…āĻŦāĻ¸ā§āĻĨāĻž āĻŦ⧇āĻļāĻŋ āĻšāϤ⧇ āĻĒāĻžāϰ⧇ āĨŠ. āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻ•āĻžāĻ āĻžāĻŽā§‹: āĻĒāĻĻā§āϧāϤāĻŋ āĻĄā§‡āĻĄā§‡āĻ•āĻŋāĻ¨ā§āĻĄ āĻĄā§‹āĻŽā§‡āχāύ⧇āϰ āϜāĻ¨ā§āϝ āĻŦāĻŋāĻļ⧇āώāĻ­āĻžāĻŦ⧇ āĻĄāĻŋāϜāĻžāχāύ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇, āϏāĻžāϧāĻžāϰāĻŖ āĻŦāϞāϝāĻŧ⧇ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ āĻ…āĻ¸ā§āĻĒāĻˇā§āϟ

āĻ­āĻŦāĻŋāĻˇā§āϝāϤ āĻĻāĻŋāĻ•āύāĻŋāĻ°ā§āĻĻ⧇āĻļāύāĻž

āĨ§. āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝ āĻŦāϞāϝāĻŧ āĻļā§āϰ⧇āĻŖā§€: āĻ…-āĻĄā§‡āĻĄā§‡āĻ•āĻŋāĻ¨ā§āĻĄ āĻĄā§‹āĻŽā§‡āχāύ⧇ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ āĻ—āĻŦ⧇āώāĻŖāĻž āĻ•āϰ⧁āύ āĨ¨. āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻ• āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύ: āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āϏāĻĢāϟāĻ“āϝāĻŧā§āϝāĻžāϰ āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύ āĻāĻŦāĻ‚ āĻĒāϰ⧀āĻ•ā§āώāĻžāĻŽā§‚āϞāĻ• āϝāĻžāϚāĻžāχāĻ•āϰāĻŖ āĻŦāĻŋāĻ•āĻžāĻļ āĻ•āϰ⧁āύ āĨŠ. āĻĒā§āϰāϝāĻŧā§‹āĻ— āĻ…āĻ¨ā§āĻŦ⧇āώāĻŖ: āĻ•ā§āϰāĻŋāĻĒā§āĻŸā§‹āĻ—ā§āϰāĻžāĻĢāĻŋ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻĒā§āϰāϝāĻŧā§‹āĻ—

āĻ—āĻ­ā§€āϰ āĻŽā§‚āĻ˛ā§āϝāĻžāϝāĻŧāύ

āϏ⧁āĻŦāĻŋāϧāĻž

āĨ§. āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻ—āĻ­ā§€āϰāϤāĻž: āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āϤāĻ¤ā§āĻ¤ā§āĻŦ, āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āϏāĻ‚āĻ–ā§āϝāĻž āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻāĻŦāĻ‚ āĻ—āĻŖāύāĻžāĻŽā§‚āϞāĻ• āϜāϟāĻŋāϞāϤāĻž āϤāĻ¤ā§āĻ¤ā§āĻŦāϕ⧇ āϚāϤ⧁āϰāĻ­āĻžāĻŦ⧇ āĻāĻ•āĻ¤ā§āϰāĻŋāϤ āĻ•āϰ⧇ āĨ¨. āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āωāĻĻā§āĻ­āĻžāĻŦāύ: āĻĻ⧁āχ-āĻĒāĻ°ā§āϝāĻžāϝāĻŧ⧇āϰ āĻļ⧇āĻ–āĻžāϰ āĻ•ā§ŒāĻļāϞ āĻāĻŦāĻ‚ āϏāĻŋāωāĻĄā§‹-āĻ­āĻŋāĻ¤ā§āϤāĻŋ āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāϰ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ…āĻ¤ā§āϝāĻ¨ā§āϤ āϏ⧃āϜāύāĻļā§€āϞ āĨŠ. āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖāϤāĻž: āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āĻāĻŦāĻ‚ āύāĻŋāĻŽā§āύ āϏ⧀āĻŽāĻž āωāĻ­āϝāĻŧāχ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰ⧇, āϏāĻŽāĻ¸ā§āϝāĻžāϰ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āϚāĻŋāĻ¤ā§āϰ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰ⧇ āĨĒ. āĻ•āĻ ā§‹āϰāϤāĻž: āĻ—āĻžāĻŖāĻŋāϤāĻŋāĻ• āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āĻ ā§‹āϰ, āϜāϟāĻŋāϞāϤāĻž āĻŦāĻŋāĻļā§āϞ⧇āώāĻŖ āĻŦāĻŋāĻ¸ā§āϤāĻžāϰāĻŋāϤ

āĻ…āĻĒā§‚āĻ°ā§āĻŖāϤāĻž

āĨ§. āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻ•āϤāĻž: āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻ• āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύ āĻāĻŦāĻ‚ āĻĒāϰ⧀āĻ•ā§āώāĻžāĻŽā§‚āϞāĻ• āϝāĻžāϚāĻžāχāĻ•āϰāϪ⧇āϰ āĻ…āĻ­āĻžāĻŦ āĨ¨. āĻĒāĻžāĻ āϝ⧋āĻ—ā§āϝāϤāĻž: āĻ…-āĻŦāĻŋāĻļ⧇āώāĻœā§āĻžāĻĻ⧇āϰ āϜāĻ¨ā§āϝ āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻ…āĻ‚āĻļ āĻŦā§‹āĻāĻž āĻ•āĻ āĻŋāύ āĻšāϤ⧇ āĻĒāĻžāϰ⧇ āĨŠ. āĻĒā§āϰāϝāĻŧā§‹āĻ—āϝ⧋āĻ—ā§āϝāϤāĻžāϰ āĻĒāϰāĻŋāϧāĻŋ: āĻĒāĻĻā§āϧāϤāĻŋāϰ āĻĒā§āϰāϝāĻŧā§‹āĻ—āϝ⧋āĻ—ā§āϝāϤāĻž āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āĻ•āĻžāĻ āĻžāĻŽā§‹āϤ⧇ āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧ

āĻĒā§āϰāĻ­āĻžāĻŦ

āĨ§. āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻ…āĻŦāĻĻāĻžāύ: āĻ­āĻžāϰāĻŋāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻžāϰ āϤāĻ¤ā§āĻ¤ā§āĻŦ⧇ āϗ⧁āϰ⧁āĻ¤ā§āĻŦāĻĒā§‚āĻ°ā§āĻŖ āĻ…āĻŦāĻĻāĻžāύ āϰāĻžāϖ⧇ āĨ¨. āĻĒāĻĻā§āϧāϤāĻŋāĻŦāĻŋāĻĻā§āϝāĻž: āϕ⧀āĻ­āĻžāĻŦ⧇ āĻŦāĻŋāĻŽā§‚āĻ°ā§āϤ āĻŦāĻŋāĻ­āĻžāĻ—ā§€āϝāĻŧ āĻĒāĻĻā§āϧāϤāĻŋāϕ⧇ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻ•āϰāϤ⧇ āĻšāϝāĻŧ āϤāĻž āĻĒā§āϰāĻĻāĻ°ā§āĻļāύ āĻ•āϰ⧇ āĨŠ. āφāĻ¨ā§āϤāσāĻļ⧃āĻ™ā§āĻ–āϞāĻž: āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āϤāĻ¤ā§āĻ¤ā§āĻŦ, āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āϏāĻ‚āĻ–ā§āϝāĻž āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻāĻŦāĻ‚ āĻ—āĻŖāύāĻžāĻŽā§‚āϞāĻ• āϜāϟāĻŋāϞāϤāĻž āϏāĻ‚āϝ⧁āĻ•ā§āϤ āĻ•āϰ⧇

āĻĒā§āϰāϝ⧋āĻœā§āϝ āĻĒāϰāĻŋāĻ¸ā§āĻĨāĻŋāϤāĻŋ

āĨ§. āĻ•ā§āϰāĻŋāĻĒā§āĻŸā§‹āĻ—ā§āϰāĻžāĻĢāĻŋ: āϜāĻžāϞāĻŋ āĻ•ā§āϰāĻŋāĻĒā§āĻŸā§‹āĻ—ā§āϰāĻžāĻĢāĻŋāϤ⧇ āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇āϰ āĻĒā§āϰāϝāĻŧā§‹āĻ— āĨ¨. āĻĒā§āϰāϤ⧀āϕ⧀ āĻ—āĻŖāύāĻž: āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āϏāĻ‚āĻ–ā§āϝāĻž āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇ āĻ—āĻŖāύāĻžāĻŽā§‚āϞāĻ• āϏāĻŽāĻ¸ā§āϝāĻž āĨŠ. āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻ—āĻŦ⧇āώāĻŖāĻž: āφāϰāĻ“ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻžāϰ āĻ—āĻŦ⧇āώāĻŖāĻžāϰ āϜāĻ¨ā§āϝ āĻ­āĻŋāĻ¤ā§āϤāĻŋ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰ⧇

āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āĻŦāĻŋāĻŦāϰāĻŖ āĻĒāϰāĻŋāĻĒā§‚āϰāĻ•

āϏāĻ‚āĻ–ā§āϝāĻž āĻŦāϞāϝāĻŧ⧇āϰ āĻĒā§āϰāϤāĻŋāύāĻŋāϧāĻŋāĻ¤ā§āĻŦ

āĻĒāĻ¤ā§āϰāϟāĻŋ OK āĻāϰ "āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻĒā§āϰāϤāĻŋāύāĻŋāϧāĻŋāĻ¤ā§āĻŦ" āĻĒā§āϰāϝāĻŧā§‹āϜāύ āϝāĻžāϰ āĻŽāĻ§ā§āϝ⧇ āϰāϝāĻŧ⧇āϛ⧇:

  • āĻ…āĻŦāĻŋāĻšā§āϛ⧇āĻĻā§āϝ āĻ­āĻŋāĻ¤ā§āϤāĻŋ Ί = {ΉāĨ§,...,Ήd}
  • āĻĒā§āϰāĻžāĻĨāĻŽāĻŋāĻ• āωāĻĒāĻžāĻĻāĻžāύ θ āĻāĻŦāĻ‚ āĻāϰ āĻ¨ā§āϝ⧂āύāϤāĻŽ āĻŦāĻšā§āĻĒāĻĻā§€
  • āϜāϟāĻŋāϞāϤāĻž āĻĒāϰāĻŋāĻŽāĻžāĻĒ CK = d⁴(log d + log ΔK)

āĻ…ā§āϝāĻžāϞāĻ—āϰāĻŋāĻĻāĻŽ āϜāϟāĻŋāϞāϤāĻž

āĻŽā§‚āϞ āϜāϟāĻŋāϞāϤāĻž āϏ⧀āĻŽāĻžāύāĻž āφāϏ⧇:

  • āϏāĻŋāωāĻĄā§‹ HNF āĻ—āĻŖāύāĻž: āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ (Biasse-Fieker-Hofmann)
  • āĻ•āĻ ā§‹āϰ āĻŦāĻ°ā§āϧāύāĻļā§€āϞ āĻļ⧃āĻ™ā§āĻ–āϞ āĻĻ⧈āĻ°ā§āĻ˜ā§āϝ: āϞ⧇āĻŽā§āĻŽāĻž āĨ¨āĨĒ āĻĻā§āĻŦāĻžāϰāĻž log(N(d)) āĻšāĻŋāϏāĻžāĻŦ⧇ āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧ
  • āφāĻĻāĻ°ā§āĻļ āĻ…āĻĒāĻžāϰ⧇āĻļāύ: CK-āϤ⧇ āĻŦāĻšā§āĻĒāĻĻā§€ āϏāĻŽāϝāĻŧ

āĻāχ āĻĒāĻ¤ā§āϰāϟāĻŋ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻ•āĻŽā§āĻĒāĻŋāωāϟāĻžāϰ āĻŦāĻŋāĻœā§āĻžāĻžāύ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇ āϗ⧁āϰ⧁āĻ¤ā§āĻŦāĻĒā§‚āĻ°ā§āĻŖ āĻ…āĻŦāĻĻāĻžāύ āϰāĻžāϖ⧇, āĻŦāĻŋāĻļ⧇āώāϤ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āĻ•ā§āϰāĻŋāϝāĻŧ āϝāĻ¨ā§āĻ¤ā§āϰ āĻļ⧇āĻ–āĻž āĻāĻŦāĻ‚ āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āĻ—āĻŖāύāĻžāϰ āϛ⧇āĻĻ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āĨ¤ āϝāĻĻāĻŋāĻ“ āĻŦā§āϝāĻŦāĻšāĻžāϰāĻŋāĻ•āϤāĻž āϝāĻžāϚāĻžāχāĻ•āϰāϪ⧇āϰ āϜāĻ¨ā§āϝ āĻ…āĻĒ⧇āĻ•ā§āώāĻž āĻ•āϰāϛ⧇, āĻāϰ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻŽā§‚āĻ˛ā§āϝ āĻāĻŦāĻ‚ āĻĒāĻĻā§āϧāϤāĻŋāĻ—āϤ āϤāĻžā§ŽāĻĒāĻ°ā§āϝ āωāĻ˛ā§āϞ⧇āĻ–āϝ⧋āĻ—ā§āϝāĨ¤