Upgrade to Pro — share decks privately, control downloads, hide ads and more …

第8回 CrypGeek勉強会

Sponsored · SiteGround - Reliable hosting with speed, security, and support you can count on.

第8回 CrypGeek勉強会

第8回 CrypGeek勉強会の資料です。

Avatar for titech.crypto

titech.crypto

June 17, 2018
Tweet

More Decks by titech.crypto

Other Decks in Technology

Transcript

  1. ྔࢠྗֶͱ͸? χϡʔτϯྗֶ ཻࢠ ి࣓ؾֶ ೾ dྔࢠྗֶ ೾ཻࢠ (x, p) <latexit

    sha1_base64="NEQuolWvNLQXm2O28snoUJqORI0=">AAACnHichVFdKwRRGH6Mr7W+FjdKSTaitL0jRa4UFyTla5dCmhlnOe3szDQzu2HzB9y4RK6IC/kRkht+gKT8Abmk3Ljw7uyUEN5pznnOc97nPc/bqzum9HyihzKlvKKyqjpSE62tq29ojDU1pzw75xoiadim7S7qmidMaYmkL31TLDqu0LK6KRb0zGjxfiEvXE/a1ry/5YiVrLZuybQ0NJ+pZM9mn9O7GotTgoLo+AnUEMQRxrQdu8Iy1mDDQA5ZCFjwGZvQ4PG3BBUEh7kVFJhzGcngXmAHUdbmOEtwhsZshtd1Pi2FrMXnYk0vUBv8ism/y8oOdNEdndML3dAFPdH7r7UKQY2ily3e9ZJWOKuNu61zb/+qsrz72PhU/enZRxpDgVfJ3p2AKXZhlPT57f2XueHZrkI3ndAz+z+mB7rmDqz8q3E2I2aP/vCjs5dS34/0zupbuqRTumdFlIemfh/RT5DqT6iUUGcG4iMT4fgiaEMnenhGgxjBOKaR5Dcl9nCAQ6VdGVMmlalSqlIWalrwJZTUB6T8mN4=</latexit> <latexit sha1_base64="NEQuolWvNLQXm2O28snoUJqORI0=">AAACnHichVFdKwRRGH6Mr7W+FjdKSTaitL0jRa4UFyTla5dCmhlnOe3szDQzu2HzB9y4RK6IC/kRkht+gKT8Abmk3Ljw7uyUEN5pznnOc97nPc/bqzum9HyihzKlvKKyqjpSE62tq29ojDU1pzw75xoiadim7S7qmidMaYmkL31TLDqu0LK6KRb0zGjxfiEvXE/a1ry/5YiVrLZuybQ0NJ+pZM9mn9O7GotTgoLo+AnUEMQRxrQdu8Iy1mDDQA5ZCFjwGZvQ4PG3BBUEh7kVFJhzGcngXmAHUdbmOEtwhsZshtd1Pi2FrMXnYk0vUBv8ism/y8oOdNEdndML3dAFPdH7r7UKQY2ily3e9ZJWOKuNu61zb/+qsrz72PhU/enZRxpDgVfJ3p2AKXZhlPT57f2XueHZrkI3ndAz+z+mB7rmDqz8q3E2I2aP/vCjs5dS34/0zupbuqRTumdFlIemfh/RT5DqT6iUUGcG4iMT4fgiaEMnenhGgxjBOKaR5Dcl9nCAQ6VdGVMmlalSqlIWalrwJZTUB6T8mN4=</latexit> <latexit sha1_base64="NEQuolWvNLQXm2O28snoUJqORI0=">AAACnHichVFdKwRRGH6Mr7W+FjdKSTaitL0jRa4UFyTla5dCmhlnOe3szDQzu2HzB9y4RK6IC/kRkht+gKT8Abmk3Ljw7uyUEN5pznnOc97nPc/bqzum9HyihzKlvKKyqjpSE62tq29ojDU1pzw75xoiadim7S7qmidMaYmkL31TLDqu0LK6KRb0zGjxfiEvXE/a1ry/5YiVrLZuybQ0NJ+pZM9mn9O7GotTgoLo+AnUEMQRxrQdu8Iy1mDDQA5ZCFjwGZvQ4PG3BBUEh7kVFJhzGcngXmAHUdbmOEtwhsZshtd1Pi2FrMXnYk0vUBv8ism/y8oOdNEdndML3dAFPdH7r7UKQY2ily3e9ZJWOKuNu61zb/+qsrz72PhU/enZRxpDgVfJ3p2AKXZhlPT57f2XueHZrkI3ndAz+z+mB7rmDqz8q3E2I2aP/vCjs5dS34/0zupbuqRTumdFlIemfh/RT5DqT6iUUGcG4iMT4fgiaEMnenhGgxjBOKaR5Dcl9nCAQ6VdGVMmlalSqlIWalrwJZTUB6T8mN4=</latexit> <latexit sha1_base64="NEQuolWvNLQXm2O28snoUJqORI0=">AAACnHichVFdKwRRGH6Mr7W+FjdKSTaitL0jRa4UFyTla5dCmhlnOe3szDQzu2HzB9y4RK6IC/kRkht+gKT8Abmk3Ljw7uyUEN5pznnOc97nPc/bqzum9HyihzKlvKKyqjpSE62tq29ojDU1pzw75xoiadim7S7qmidMaYmkL31TLDqu0LK6KRb0zGjxfiEvXE/a1ry/5YiVrLZuybQ0NJ+pZM9mn9O7GotTgoLo+AnUEMQRxrQdu8Iy1mDDQA5ZCFjwGZvQ4PG3BBUEh7kVFJhzGcngXmAHUdbmOEtwhsZshtd1Pi2FrMXnYk0vUBv8ism/y8oOdNEdndML3dAFPdH7r7UKQY2ily3e9ZJWOKuNu61zb/+qsrz72PhU/enZRxpDgVfJ3p2AKXZhlPT57f2XueHZrkI3ndAz+z+mB7rmDqz8q3E2I2aP/vCjs5dS34/0zupbuqRTumdFlIemfh/RT5DqT6iUUGcG4iMT4fgiaEMnenhGgxjBOKaR5Dcl9nCAQ6VdGVMmlalSqlIWalrwJZTUB6T8mN4=</latexit> ૬ۭؒͷ࠲ඪ | i <latexit sha1_base64="Rytw679EoECzdwEJlI2YXwfFB4Q=">AAACpHichVFNLwNRFD3Gd30VG4lNoyFWzR2REKsmNiQW2ioSLZkZT72YzoyZaZMqf8AfsLBBWIgfIWLDDxCR+ANiSWJj4XY6iSC4k3nvvPPuue/cXN0xpecTPTQojU3NLa1t7ZGOzq7unmhv36Jnl1xDZA3btN1lXfOEKS2R9aVvimXHFVpRN8WSvjVdu18qC9eTtrXgVxyRL2oFS25IQ/OZyu/mHE/Gcq5mFUyxFo1TgoKI/QRqCOIIY96OXiGHddgwUEIRAhZ8xiY0ePytQAXBYS6PKnMuIxncC+whwtoSZwnO0Jjd4rXAp5WQtfhcq+kFaoNfMfl3WRnDMN3ROb3QDV3QE73/Wqsa1Kh5qfCu17XCWevZH8i8/asq8u5j81P1p2cfG5gMvEr27gRMrQujri/vHLxkptLD1RE6oWf2f0wPdM0dWOVX4ywl0od/+NHZS73vR3pn9S1d0indsyLCQ1O/j+gnWBxLqJRQU+Px5Gw4vjYMYgijPKMJJDGDeWT5zW0c4AjHyogyp2SUbD1VaQg1/fgSyuoHFyuc4g==</latexit> <latexit sha1_base64="Rytw679EoECzdwEJlI2YXwfFB4Q=">AAACpHichVFNLwNRFD3Gd30VG4lNoyFWzR2REKsmNiQW2ioSLZkZT72YzoyZaZMqf8AfsLBBWIgfIWLDDxCR+ANiSWJj4XY6iSC4k3nvvPPuue/cXN0xpecTPTQojU3NLa1t7ZGOzq7unmhv36Jnl1xDZA3btN1lXfOEKS2R9aVvimXHFVpRN8WSvjVdu18qC9eTtrXgVxyRL2oFS25IQ/OZyu/mHE/Gcq5mFUyxFo1TgoKI/QRqCOIIY96OXiGHddgwUEIRAhZ8xiY0ePytQAXBYS6PKnMuIxncC+whwtoSZwnO0Jjd4rXAp5WQtfhcq+kFaoNfMfl3WRnDMN3ROb3QDV3QE73/Wqsa1Kh5qfCu17XCWevZH8i8/asq8u5j81P1p2cfG5gMvEr27gRMrQujri/vHLxkptLD1RE6oWf2f0wPdM0dWOVX4ywl0od/+NHZS73vR3pn9S1d0indsyLCQ1O/j+gnWBxLqJRQU+Px5Gw4vjYMYgijPKMJJDGDeWT5zW0c4AjHyogyp2SUbD1VaQg1/fgSyuoHFyuc4g==</latexit> <latexit sha1_base64="Rytw679EoECzdwEJlI2YXwfFB4Q=">AAACpHichVFNLwNRFD3Gd30VG4lNoyFWzR2REKsmNiQW2ioSLZkZT72YzoyZaZMqf8AfsLBBWIgfIWLDDxCR+ANiSWJj4XY6iSC4k3nvvPPuue/cXN0xpecTPTQojU3NLa1t7ZGOzq7unmhv36Jnl1xDZA3btN1lXfOEKS2R9aVvimXHFVpRN8WSvjVdu18qC9eTtrXgVxyRL2oFS25IQ/OZyu/mHE/Gcq5mFUyxFo1TgoKI/QRqCOIIY96OXiGHddgwUEIRAhZ8xiY0ePytQAXBYS6PKnMuIxncC+whwtoSZwnO0Jjd4rXAp5WQtfhcq+kFaoNfMfl3WRnDMN3ROb3QDV3QE73/Wqsa1Kh5qfCu17XCWevZH8i8/asq8u5j81P1p2cfG5gMvEr27gRMrQujri/vHLxkptLD1RE6oWf2f0wPdM0dWOVX4ywl0od/+NHZS73vR3pn9S1d0indsyLCQ1O/j+gnWBxLqJRQU+Px5Gw4vjYMYgijPKMJJDGDeWT5zW0c4AjHyogyp2SUbD1VaQg1/fgSyuoHFyuc4g==</latexit> <latexit sha1_base64="Rytw679EoECzdwEJlI2YXwfFB4Q=">AAACpHichVFNLwNRFD3Gd30VG4lNoyFWzR2REKsmNiQW2ioSLZkZT72YzoyZaZMqf8AfsLBBWIgfIWLDDxCR+ANiSWJj4XY6iSC4k3nvvPPuue/cXN0xpecTPTQojU3NLa1t7ZGOzq7unmhv36Jnl1xDZA3btN1lXfOEKS2R9aVvimXHFVpRN8WSvjVdu18qC9eTtrXgVxyRL2oFS25IQ/OZyu/mHE/Gcq5mFUyxFo1TgoKI/QRqCOIIY96OXiGHddgwUEIRAhZ8xiY0ePytQAXBYS6PKnMuIxncC+whwtoSZwnO0Jjd4rXAp5WQtfhcq+kFaoNfMfl3WRnDMN3ROb3QDV3QE73/Wqsa1Kh5qfCu17XCWevZH8i8/asq8u5j81P1p2cfG5gMvEr27gRMrQujri/vHLxkptLD1RE6oWf2f0wPdM0dWOVX4ywl0od/+NHZS73vR3pn9S1d0indsyLCQ1O/j+gnWBxLqJRQU+Px5Gw4vjYMYgijPKMJJDGDeWT5zW0c4AjHyogyp2SUbD1VaQg1/fgSyuoHFyuc4g==</latexit> ঢ়ଶϕΫτϧ ݹయྗֶͰ͸ɺҐஔͱӡಈྔΛܾΊΕ͹ɺཻ ࢠͷঢ়ଶΛ׬શʹهड़Ͱ͖Δɻ ҐஔͱӡಈྔΛಉ࣌ʹܾΊΔ͜ͱ͕Ͱ͖ͳ͍ x p ~ 2 <latexit sha1_base64="El24i3QUOaiT2xpIda8rk3+OJug=">AAACv3ichVFBS9xAFP6MrbVrq1t7KfQSuig9LS8iKD0peqi3Xe2qYGSZpLNrMJvEZHbpGvYPiHcPniz1IL15VRDxoj+gFKF/QHq04MWDL9lAaaX2DTPvzTfve/M9nhW4TqSILnu03keP+570P80NPHs+OJR/MbwY+c3QlhXbd/1w2RKRdB1PVpSjXLkchFI0LFcuWeszyftSS4aR43sfVDuQqw1R95yaYwvFUDU/as5KVwn9U+YD3azLDd2shcKOzTVLhJ14rJOr5gtUpNT0+4GRBQVkVvLzpzDxET5sNNGAhAfFsQuBiNcKDBACxlYRMxZy5KTvEh3kmNvkLMkZgtF1Put8W8lQj+9JzShl2/yLyztkpo4R+kYHdE3n9JWu6PafteK0RqKlzd7qcmVQHdp6tXDzX1aDvcLab9aDmhVqmEy1Oqw9SJGkC7vLb23uXC+8mx+JR+kz/WT9e3RJZ9yB1/pl75fl/O4DeizW0u37B90y+4JO6At9Z0YyNOPvEd0PFseKBhWN8nhhai4bXz9e4w3e8owmMIX3KKHCf27jEEc41qa1uuZpQTdV68k4L/GHae07FAOmng==</latexit> <latexit sha1_base64="El24i3QUOaiT2xpIda8rk3+OJug=">AAACv3ichVFBS9xAFP6MrbVrq1t7KfQSuig9LS8iKD0peqi3Xe2qYGSZpLNrMJvEZHbpGvYPiHcPniz1IL15VRDxoj+gFKF/QHq04MWDL9lAaaX2DTPvzTfve/M9nhW4TqSILnu03keP+570P80NPHs+OJR/MbwY+c3QlhXbd/1w2RKRdB1PVpSjXLkchFI0LFcuWeszyftSS4aR43sfVDuQqw1R95yaYwvFUDU/as5KVwn9U+YD3azLDd2shcKOzTVLhJ14rJOr5gtUpNT0+4GRBQVkVvLzpzDxET5sNNGAhAfFsQuBiNcKDBACxlYRMxZy5KTvEh3kmNvkLMkZgtF1Put8W8lQj+9JzShl2/yLyztkpo4R+kYHdE3n9JWu6PafteK0RqKlzd7qcmVQHdp6tXDzX1aDvcLab9aDmhVqmEy1Oqw9SJGkC7vLb23uXC+8mx+JR+kz/WT9e3RJZ9yB1/pl75fl/O4DeizW0u37B90y+4JO6At9Z0YyNOPvEd0PFseKBhWN8nhhai4bXz9e4w3e8owmMIX3KKHCf27jEEc41qa1uuZpQTdV68k4L/GHae07FAOmng==</latexit> <latexit sha1_base64="El24i3QUOaiT2xpIda8rk3+OJug=">AAACv3ichVFBS9xAFP6MrbVrq1t7KfQSuig9LS8iKD0peqi3Xe2qYGSZpLNrMJvEZHbpGvYPiHcPniz1IL15VRDxoj+gFKF/QHq04MWDL9lAaaX2DTPvzTfve/M9nhW4TqSILnu03keP+570P80NPHs+OJR/MbwY+c3QlhXbd/1w2RKRdB1PVpSjXLkchFI0LFcuWeszyftSS4aR43sfVDuQqw1R95yaYwvFUDU/as5KVwn9U+YD3azLDd2shcKOzTVLhJ14rJOr5gtUpNT0+4GRBQVkVvLzpzDxET5sNNGAhAfFsQuBiNcKDBACxlYRMxZy5KTvEh3kmNvkLMkZgtF1Put8W8lQj+9JzShl2/yLyztkpo4R+kYHdE3n9JWu6PafteK0RqKlzd7qcmVQHdp6tXDzX1aDvcLab9aDmhVqmEy1Oqw9SJGkC7vLb23uXC+8mx+JR+kz/WT9e3RJZ9yB1/pl75fl/O4DeizW0u37B90y+4JO6At9Z0YyNOPvEd0PFseKBhWN8nhhai4bXz9e4w3e8owmMIX3KKHCf27jEEc41qa1uuZpQTdV68k4L/GHae07FAOmng==</latexit> <latexit sha1_base64="El24i3QUOaiT2xpIda8rk3+OJug=">AAACv3ichVFBS9xAFP6MrbVrq1t7KfQSuig9LS8iKD0peqi3Xe2qYGSZpLNrMJvEZHbpGvYPiHcPniz1IL15VRDxoj+gFKF/QHq04MWDL9lAaaX2DTPvzTfve/M9nhW4TqSILnu03keP+570P80NPHs+OJR/MbwY+c3QlhXbd/1w2RKRdB1PVpSjXLkchFI0LFcuWeszyftSS4aR43sfVDuQqw1R95yaYwvFUDU/as5KVwn9U+YD3azLDd2shcKOzTVLhJ14rJOr5gtUpNT0+4GRBQVkVvLzpzDxET5sNNGAhAfFsQuBiNcKDBACxlYRMxZy5KTvEh3kmNvkLMkZgtF1Put8W8lQj+9JzShl2/yLyztkpo4R+kYHdE3n9JWu6PafteK0RqKlzd7qcmVQHdp6tXDzX1aDvcLab9aDmhVqmEy1Oqw9SJGkC7vLb23uXC+8mx+JR+kz/WT9e3RJZ9yB1/pl75fl/O4DeizW0u37B90y+4JO6At9Z0YyNOPvEd0PFseKBhWN8nhhai4bXz9e4w3e8owmMIX3KKHCf27jEEc41qa1uuZpQTdV68k4L/GHae07FAOmng==</latexit> ෆ֬ఆੑݪཧ
  2. લఏ஌ࣝ1:ॏͶ߹Θͤ(Superposition) ྔࢠϏοτ(qubit)[3] ɹݹయϏοτ͸0͔1͔ͷͲͪΒ͔ͷঢ়ଶ͔͠ͱΔ͜ͱ͕Ͱ͖ͳ͍͕ɺྔࢠϏοτ͸ɺ0ͱ1͚ͩͰͳ͘0 ͱ1ͷঢ়ଶͷྔࢠྗֶతॏͶ߹Θͤঢ়ଶ΋ͱΔ͜ͱ͕Ͱ͖Δɻϒϥ-έοτه๏Ͱ͸ɺ1ྔࢠϏοτ͸ɺ ҎԼͷΑ͏ʹදݱ͞ΕΔɻ͜͜Ͱɺα, β͸ ؔ܎Λຬͨ͢ෳૉ਺Ͱ͋Δɻ͜ΕΛ؍ଌͨ͠ ࡍʹɺঢ়ଶ ΛಘΔ֬཰ ͸Ͱ͋Γɺ

    ঢ়ଶΛಘΔ֬཰͸ Ͱ͋Δɻಉ͡ه๏ͰݹయϏοτΛදݱ ͢Δͱɺ͸ɺͲͪΒ͔͕0Ͱɺ΋͏Ұํ͕1Ͱ͋Δɻ | i = ↵|0i + |1i <latexit sha1_base64="9jP9x7tmaODV5eFzfcNHTnvdEV8=">AAACy3ichVFNSxxBEH2O+dBNjKu5BHIZshgEYamRQIIgCF7MIeBHVgVHlp6xXRt7Z4aZ3gXd9ejFP5BAThE9hPyHhJBDzA8QEfIHQo4KXjykZnYkRFFrmO7Xr+tVv6K8SKvEEB13Wd137t6739NbePCw71F/cWBwPgkbsS8rfqjDeNETidQqkBWjjJaLUSxF3dNywVufTO8XmjJOVBi8NRuRXK6LWqBWlS8MU9XiaNuNEmW7sQhqWtrjtit0tCbsNl1QI64nDRNOThSqxRKVKQv7KnByUEIe02HxG1ysIISPBuqQCGAYawgk/C3BASFibhkt5mJGKruX2EKBtQ3OkpwhmF3ntcanpZwN+JzWTDK1z69o/mNW2hiiQ/pEJ3RAn+k3nV9bq5XVSL1s8O51tDKq9u88mTu7VVXn3WDtn+pGzwareJV5Vew9ypi0C7+jb26+O5kbmx1qPadd+sP+P9IxfecOguapvz8jZz/c4MdjL52+f9E5q3/SV9qjI1akQ3Muj+gqmB8tO1R2Zl6UJl7n4+vBUzzDMM/oJSYwhWlU+M33+IIfOLDeWIm1abU7qVZXrnmM/8La/gsdGar0</latexit> <latexit sha1_base64="9jP9x7tmaODV5eFzfcNHTnvdEV8=">AAACy3ichVFNSxxBEH2O+dBNjKu5BHIZshgEYamRQIIgCF7MIeBHVgVHlp6xXRt7Z4aZ3gXd9ejFP5BAThE9hPyHhJBDzA8QEfIHQo4KXjykZnYkRFFrmO7Xr+tVv6K8SKvEEB13Wd137t6739NbePCw71F/cWBwPgkbsS8rfqjDeNETidQqkBWjjJaLUSxF3dNywVufTO8XmjJOVBi8NRuRXK6LWqBWlS8MU9XiaNuNEmW7sQhqWtrjtit0tCbsNl1QI64nDRNOThSqxRKVKQv7KnByUEIe02HxG1ysIISPBuqQCGAYawgk/C3BASFibhkt5mJGKruX2EKBtQ3OkpwhmF3ntcanpZwN+JzWTDK1z69o/mNW2hiiQ/pEJ3RAn+k3nV9bq5XVSL1s8O51tDKq9u88mTu7VVXn3WDtn+pGzwareJV5Vew9ypi0C7+jb26+O5kbmx1qPadd+sP+P9IxfecOguapvz8jZz/c4MdjL52+f9E5q3/SV9qjI1akQ3Muj+gqmB8tO1R2Zl6UJl7n4+vBUzzDMM/oJSYwhWlU+M33+IIfOLDeWIm1abU7qVZXrnmM/8La/gsdGar0</latexit> <latexit sha1_base64="9jP9x7tmaODV5eFzfcNHTnvdEV8=">AAACy3ichVFNSxxBEH2O+dBNjKu5BHIZshgEYamRQIIgCF7MIeBHVgVHlp6xXRt7Z4aZ3gXd9ejFP5BAThE9hPyHhJBDzA8QEfIHQo4KXjykZnYkRFFrmO7Xr+tVv6K8SKvEEB13Wd137t6739NbePCw71F/cWBwPgkbsS8rfqjDeNETidQqkBWjjJaLUSxF3dNywVufTO8XmjJOVBi8NRuRXK6LWqBWlS8MU9XiaNuNEmW7sQhqWtrjtit0tCbsNl1QI64nDRNOThSqxRKVKQv7KnByUEIe02HxG1ysIISPBuqQCGAYawgk/C3BASFibhkt5mJGKruX2EKBtQ3OkpwhmF3ntcanpZwN+JzWTDK1z69o/mNW2hiiQ/pEJ3RAn+k3nV9bq5XVSL1s8O51tDKq9u88mTu7VVXn3WDtn+pGzwareJV5Vew9ypi0C7+jb26+O5kbmx1qPadd+sP+P9IxfecOguapvz8jZz/c4MdjL52+f9E5q3/SV9qjI1akQ3Muj+gqmB8tO1R2Zl6UJl7n4+vBUzzDMM/oJSYwhWlU+M33+IIfOLDeWIm1abU7qVZXrnmM/8La/gsdGar0</latexit> <latexit sha1_base64="9jP9x7tmaODV5eFzfcNHTnvdEV8=">AAACy3ichVFNSxxBEH2O+dBNjKu5BHIZshgEYamRQIIgCF7MIeBHVgVHlp6xXRt7Z4aZ3gXd9ejFP5BAThE9hPyHhJBDzA8QEfIHQo4KXjykZnYkRFFrmO7Xr+tVv6K8SKvEEB13Wd137t6739NbePCw71F/cWBwPgkbsS8rfqjDeNETidQqkBWjjJaLUSxF3dNywVufTO8XmjJOVBi8NRuRXK6LWqBWlS8MU9XiaNuNEmW7sQhqWtrjtit0tCbsNl1QI64nDRNOThSqxRKVKQv7KnByUEIe02HxG1ysIISPBuqQCGAYawgk/C3BASFibhkt5mJGKruX2EKBtQ3OkpwhmF3ntcanpZwN+JzWTDK1z69o/mNW2hiiQ/pEJ3RAn+k3nV9bq5XVSL1s8O51tDKq9u88mTu7VVXn3WDtn+pGzwareJV5Vew9ypi0C7+jb26+O5kbmx1qPadd+sP+P9IxfecOguapvz8jZz/c4MdjL52+f9E5q3/SV9qjI1akQ3Muj+gqmB8tO1R2Zl6UJl7n4+vBUzzDMM/oJSYwhWlU+M33+IIfOLDeWIm1abU7qVZXrnmM/8La/gsdGar0</latexit>
  3. લఏ஌ࣝ1:ॏͶ߹Θͤ(Superposition) ྔࢠϏοτ(qubit) ɹྔࢠϏοτ͸ݹయϏοτͱ͸ҧ͍ɺ͔͔͚ͩͰ͸ͳ͘ɺͦͷlதؒతzͳঢ়ଶ΋औΔ͜ͱ͕Ͱ͖Δɻ ͳͲͷ஋ΛͱΔΘ͚Ͱ͸ͳ͍ɻ  ͨͩ͠ɺॏͳΓ߹ͬͨঢ়ଶ͕อͨΕΔͷ͸ɺ୭΋؍ଌ͍ͯ͠ͳ͍ঢ়ଶʹݶΓɺͦΕΛ؍ଌ͢Δͱ͋Δ֬཰ Ͱcʼʹɺ·ͨผͷ֬཰ͰcʼʹͳΔɻ ɹݹయϏοτ͸ɺྫ͑͹ɺͭฒ΂ͨʻʼ΍ʻʼͱ͍ͬͨݸʑͷ৘ใΛݸผʹ͔͠ѻ͑ͳ͍͕ɺ ྔࢠϏοτͰ͸ɺcʼ͔Βcʼ·Ͱɺͭͷશͯͷঢ়ଶΛಉ࣌ʹѻ͑ΔɻݸྔࢠϏοτΛฒ΂Ε ͹ɺѻ͑Δঢ়ଶ͸ஹʹ΋ͳΓɺ͜ͷஹݸͷঢ়ଶʹରͯ͋͠ΔॲཧΛߦ͏ͱஹݸͷॏͶ߹Θͬͨ͞શͯ

    ͷঢ়ଶʹରͯ͠ฒྻతʹͦͷॲཧ͕ߦΘΕΔɻ ɹ΋ͪΖΜɺஹݸͷঢ়ଶͰಉ࣌ʹॲཧ͕ߦ͑ͨͱͯ͠΋ɺҰ౓ଌఆ͢Ε͹ɺͦͷதͷͲΕ͔ͭͷঢ়ଶ ͕֬཰తʹબ୒͞Εͯ͠·͏ɻͦΕͰ͸ҙຯ͕ͳ͍ͷͰɺ࠷ऴతʹɺཉ͍͠౴ͷঢ়ଶ͚ͩΛऔΓग़ͨ͢Ί ʹɺཉ͍͠౴͕ଌఆʹΑΓબ୒͞ΕΔ֬཰ΛߴΊΔ͜ͱ͕ඞཁ͕͋Δɻ͜ͷΑ͏ʹɺྔࢠܭࢉͰ͸ଌఆ͕ ܾఆతͳҙຯΛ࣋ͪɺଌఆͱ͍͏ॲཧʹࢸΔ·Ͱʹ͍͔ʹͯ͠ॏͶ߹Θͤঢ়ଶΛޮ཰Α͘ॲཧ͢Δ͔Λߟ ͑Δͷ͕ྔࢠΞϧΰϦζϜͷݚڀͰ͋Δɻ
  4. ૉҼ਺෼ղ͕ղ͚Ε͹RSA͕ղ͚Δ!? • ެ։伴 e,Nɺൿີ伴 d, ϝοηʔδ m, ॺ໊ σ ͱ͢Δͱɹɹɹɹɹɹɹɹ

    Ͱ͋Δ Α͏ͳॺ໊͕ੜ੒͞ΕΔɻ(N͸ೋͭͷେ͖ͳૉ਺ p,q Λ͔͚ͨ΋ͷ N = p×q) • ݕূ͸ެ։伴ʹΑͬͯߦΘΕΔɻɹɹɹɹɹɹɹɹ Λຬͨ͢d,eͷଘࡏ͸ΦΠ ϥʔͷఆཧʹΑͬͯอূ͞ΕΔɻ • ΦΠϥʔͷఆཧ ਖ਼੔਺ a, m ͕ޓ͍ʹૉͰ͋Δͱ͖ɼҎԼ͕੒Γཱͭɻ ΦΠϥʔؔ਺ φ(m)͸ʮm ΑΓখ͍͞ਖ਼ͷ੔਺ͷ͏ͪɼmͱޓ͍ʹૉͳ਺ͷݸ਺ʯ = md modN <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="GK+yu5p5rX62Hfl1QWATA+LddZs=">AAACiXichVG7SgNBFD1Z3zGa2Ak2waBYhbs2ioUIIlrmYR6gIexuRl3c7C67m0AM/kBaCwsrRQvxI0Rs9ANEAv6AWEawSeHNJiAa1DvMzJ0zc+6cy1FtQ3c9omZAGhgcGh4ZHQuOh4ITk+FIKOtaFUcTGc0yLCevKq4wdFNkPN0zRN52hFJWDZFTD9c797mqcFzdMre9mi0KZWXf1Pd0TfEYShQjMYqTH9H+RO4lMfTCitxhFyVY0FBBGQImPM4NKHB57EAGwWasgDpjDme6fy9wjCBzK/xK8AuF0UNe9/m000NNPndquj5b418Mng4zo5ijJ7qmFj3QDb1S+9dadb9GR0uNd7XLFXYx3JhOf/zLKvPu4eCL9admD3tY9rXqrN32kU4XWpdfPTptpVdSc/V5uqA31n9OTbrnDszqu3aVFKmzP/SorKXb9wu1mf1It3RJz8wIsmfyT4f6k+xiXKa4nCSMYgazWGBrlrCGLSSQ4a9KaOBEmpZWpY2ut1KgZ/IUvoW0+Qkqq5VN</latexit> <latexit sha1_base64="eZRYUGY2+4FUPu/qdyuzLapdE6Q=">AAACpXichVHLSsNAFD3GV62v6kbBTVAUV+XGjVIQBDeuxFe1YLUk6VgH8yJJC1r6A/6AC1e+FqJ+g4gb/QARwR8QlwpuXHibFkRFvSGZM2fm3JzLMTxLBiHRQ4PS2NTc0hpri7d3dHZ1J3o6lgO36JsibbqW62cMPRCWdEQ6lKElMp4vdNuwxIqxNV09XykJP5CusxRue2LN1guO3JCmHjKVS/RlA1mwdXVStdfzajaVTdluvjxbySWGKElRqT+BVgdDqNecm7hCFnm4MFGEDQEHIWMLOgJ+VqGB4DG3hjJzPiMZnQtUEGdtkW8JvqEzu8XfAu9W66zD+2rPIFKb/BeLX5+VKobpjk7phW7ojJ7o/dde5ahH1cs2r0ZNK7xc927/4tu/KpvXEJufqj89h9jARORVsncvYqpTmDV9aWfvZTG1MFweoUN6Zv8H9EDXPIFTejVP5sXC/h9+DPZSm/uR3ll9S5d0TPesiHNo2veIfoLlsaRGSW2eEMMABjHK0YxjCjOYQzqyeIRzXChjSkbJ1eJVGuo59+JLKfoHnFqfJg==</latexit> <latexit sha1_base64="eZRYUGY2+4FUPu/qdyuzLapdE6Q=">AAACpXichVHLSsNAFD3GV62v6kbBTVAUV+XGjVIQBDeuxFe1YLUk6VgH8yJJC1r6A/6AC1e+FqJ+g4gb/QARwR8QlwpuXHibFkRFvSGZM2fm3JzLMTxLBiHRQ4PS2NTc0hpri7d3dHZ1J3o6lgO36JsibbqW62cMPRCWdEQ6lKElMp4vdNuwxIqxNV09XykJP5CusxRue2LN1guO3JCmHjKVS/RlA1mwdXVStdfzajaVTdluvjxbySWGKElRqT+BVgdDqNecm7hCFnm4MFGEDQEHIWMLOgJ+VqGB4DG3hjJzPiMZnQtUEGdtkW8JvqEzu8XfAu9W66zD+2rPIFKb/BeLX5+VKobpjk7phW7ojJ7o/dde5ahH1cs2r0ZNK7xc927/4tu/KpvXEJufqj89h9jARORVsncvYqpTmDV9aWfvZTG1MFweoUN6Zv8H9EDXPIFTejVP5sXC/h9+DPZSm/uR3ll9S5d0TPesiHNo2veIfoLlsaRGSW2eEMMABjHK0YxjCjOYQzqyeIRzXChjSkbJ1eJVGuo59+JLKfoHnFqfJg==</latexit> <latexit sha1_base64="rRXXKthAZ80vkyFenYOIYoQu96E=">AAACsHichVHLSsNQEJ3Gd31VXSi4CRbFVZm4UQqCoAtXUq3VgtGQpNd6NS+StKChP+APuHDlayHqN4i40Q8QEfwBcangxoXTNCBarBNu7rnnzpl7htEcg3s+4lNMaGpuaW1r74h3dnX39Cb6+lc8u+TqLKfbhu3mNdVjBrdYzue+wfKOy1RTM9iqtjNbvV8tM9fjtrXs7zps3VSLFt/kuuoTpSQGZY8XTVWcFs2Ngiin5bRpF4KFipJIYgrDEOuBFIEkRJGxEzcgQwFs0KEEJjCwwCdsgAoefWsgAYJD3DoExLmEeHjPoAJx0pYoi1GGSuwO/Yt0WotYi87Vml6o1ukVg5ZLShFG8QHP8Q3v8AJf8PPPWkFYo+pll3atpmWO0rs/lP34V2XS7sPWt6qhZx82YSr0ysm7EzLVLvSavrx38JZNL40GY3iMr+T/CJ/wljqwyu/62SJbOmzgRyMvtb6f8ZPU93iNp/hIijgNTfo9onqwMpGSMCUtYnJmLhpfOwzDCIzTjCZhBuYhA7nQ6wlcwpUwIeQFRVBrqUIs0gzAjxC2vwCJLKBA</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> <latexit sha1_base64="AcHk7/bnIdLA2hT6le1A2wlhQqw=">AAACsHichVHLSsNQEB3ju76qLhTcBIviqkyKoBSEgi5cSavWFqyGJL3Wq3mRpAUt/QF/wIUrXwtRv0HEjX6ASMEfEJcKblw4SQOiok64ueeeO2fuGUa1de56iPUmobmlta29ozPS1d3T2xftH1hxrbKjsaxm6ZaTVxWX6dxkWY97OsvbDlMMVWc5dXvWv89VmONyy1z2dmy2Ziglk29wTfGIkqNDBZeXDEWcEY31olhIFpKGVawu1ORoDOMYhPgTSCGIQRhpK3oNBSiCBRqUwQAGJniEdVDApW8VJECwiVuDKnEOIR7cM6hBhLRlymKUoRC7Tf8SnVZD1qSzX9MN1Bq9otNySCnCGN7jGb7gLZ7jE77/Wqsa1PC97NCuNrTMlvv2hpfe/lUZtHuw+an607MHGzAdeOXk3Q4Yvwutoa/s7r8sJRfHquN4hM/k/xDreEMdmJVX7TTDFg/+8KOSl0bfj/hO6ju8whN8IEWEhiZ9H9FPsJKISxiXMpOx1Fw4vg4YgVGYoBlNQQrmIQ3ZwOsxXMClkBDygiwojVShKdQMwpcQtj4AimygRA==</latexit> m = e = (md)e modN <latexit sha1_base64="FmYmW7yp+88rNbOk7MMVnfPpJ94=">AAACu3ichVFNSxtRFD2Oto2xbaJuBDeDIcVuwh0RKgEhoIuuxI9GA0bDzOQlfXW+mJkEYshe/ANddFXRhRS6bXdSuml/QBGhf6C4jOAmC28mA6WVpneY98477577zuUaniWDkOhqRBkde/DwUWI8OfH4ydNUenJqO3AbvimKpmu5fsnQA2FJRxRDGVqi5PlCtw1L7BgHK/37nabwA+k6r8KWJ/Zsve7ImjT1kKlKes5Wl9VyIOu2ru4LxvP2fvU5o3K+nLfdanutU0lnKEdRqPeBFoMM4lh3019QRhUuTDRgQ8BByNiCjoC/XWggeMztoc2cz0hG9wIdJFnb4CzBGTqzB7zW+bQbsw6f+zWDSG3yKxb/PitVZOkHnVOXvtEH+kW9f9ZqRzX6Xlq8GwOt8Cqp45mt2/+qbN5DvP6tGuo5RA1LkVfJ3r2I6XdhDvTNw7fdrfxmtv2MTuia/b+nK/rKHTjNG/NsQ2y+G+LHYC+Dvn9Sj9Xf6YJO6ZIVSR6a9veI7oPthZxGOW1jMVNYjceXwCzmMM8zeoECXmIdRX7zCB/xCZ+VZcVU3ijWIFUZiTXT+COUxh3YAKOT</latexit> <latexit sha1_base64="FmYmW7yp+88rNbOk7MMVnfPpJ94=">AAACu3ichVFNSxtRFD2Oto2xbaJuBDeDIcVuwh0RKgEhoIuuxI9GA0bDzOQlfXW+mJkEYshe/ANddFXRhRS6bXdSuml/QBGhf6C4jOAmC28mA6WVpneY98477577zuUaniWDkOhqRBkde/DwUWI8OfH4ydNUenJqO3AbvimKpmu5fsnQA2FJRxRDGVqi5PlCtw1L7BgHK/37nabwA+k6r8KWJ/Zsve7ImjT1kKlKes5Wl9VyIOu2ru4LxvP2fvU5o3K+nLfdanutU0lnKEdRqPeBFoMM4lh3019QRhUuTDRgQ8BByNiCjoC/XWggeMztoc2cz0hG9wIdJFnb4CzBGTqzB7zW+bQbsw6f+zWDSG3yKxb/PitVZOkHnVOXvtEH+kW9f9ZqRzX6Xlq8GwOt8Cqp45mt2/+qbN5DvP6tGuo5RA1LkVfJ3r2I6XdhDvTNw7fdrfxmtv2MTuia/b+nK/rKHTjNG/NsQ2y+G+LHYC+Dvn9Sj9Xf6YJO6ZIVSR6a9veI7oPthZxGOW1jMVNYjceXwCzmMM8zeoECXmIdRX7zCB/xCZ+VZcVU3ijWIFUZiTXT+COUxh3YAKOT</latexit> <latexit sha1_base64="FmYmW7yp+88rNbOk7MMVnfPpJ94=">AAACu3ichVFNSxtRFD2Oto2xbaJuBDeDIcVuwh0RKgEhoIuuxI9GA0bDzOQlfXW+mJkEYshe/ANddFXRhRS6bXdSuml/QBGhf6C4jOAmC28mA6WVpneY98477577zuUaniWDkOhqRBkde/DwUWI8OfH4ydNUenJqO3AbvimKpmu5fsnQA2FJRxRDGVqi5PlCtw1L7BgHK/37nabwA+k6r8KWJ/Zsve7ImjT1kKlKes5Wl9VyIOu2ru4LxvP2fvU5o3K+nLfdanutU0lnKEdRqPeBFoMM4lh3019QRhUuTDRgQ8BByNiCjoC/XWggeMztoc2cz0hG9wIdJFnb4CzBGTqzB7zW+bQbsw6f+zWDSG3yKxb/PitVZOkHnVOXvtEH+kW9f9ZqRzX6Xlq8GwOt8Cqp45mt2/+qbN5DvP6tGuo5RA1LkVfJ3r2I6XdhDvTNw7fdrfxmtv2MTuia/b+nK/rKHTjNG/NsQ2y+G+LHYC+Dvn9Sj9Xf6YJO6ZIVSR6a9veI7oPthZxGOW1jMVNYjceXwCzmMM8zeoECXmIdRX7zCB/xCZ+VZcVU3ijWIFUZiTXT+COUxh3YAKOT</latexit> <latexit sha1_base64="FmYmW7yp+88rNbOk7MMVnfPpJ94=">AAACu3ichVFNSxtRFD2Oto2xbaJuBDeDIcVuwh0RKgEhoIuuxI9GA0bDzOQlfXW+mJkEYshe/ANddFXRhRS6bXdSuml/QBGhf6C4jOAmC28mA6WVpneY98477577zuUaniWDkOhqRBkde/DwUWI8OfH4ydNUenJqO3AbvimKpmu5fsnQA2FJRxRDGVqi5PlCtw1L7BgHK/37nabwA+k6r8KWJ/Zsve7ImjT1kKlKes5Wl9VyIOu2ru4LxvP2fvU5o3K+nLfdanutU0lnKEdRqPeBFoMM4lh3019QRhUuTDRgQ8BByNiCjoC/XWggeMztoc2cz0hG9wIdJFnb4CzBGTqzB7zW+bQbsw6f+zWDSG3yKxb/PitVZOkHnVOXvtEH+kW9f9ZqRzX6Xlq8GwOt8Cqp45mt2/+qbN5DvP6tGuo5RA1LkVfJ3r2I6XdhDvTNw7fdrfxmtv2MTuia/b+nK/rKHTjNG/NsQ2y+G+LHYC+Dvn9Sj9Xf6YJO6ZIVSR6a9veI7oPthZxGOW1jMVNYjceXwCzmMM8zeoECXmIdRX7zCB/xCZ+VZcVU3ijWIFUZiTXT+COUxh3YAKOT</latexit> a'(m) ⌘ 1 (mod m) <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit> <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit> <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit> <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit>
  5. ૉҼ਺෼ղ͕ղ͚Ε͹RSA͕ղ͚Δ!? : ΦΠϥʔؔ਺ φ(m)͸ʮm ΑΓখ͍͞ਖ਼ͷ੔਺ͷ͏ͪɼmͱޓ͍ʹૉͳ਺ͷݸ਺ʯ • m͕ૉ਺pͷ࣌ɺm ΑΓখ͍͞ਖ਼ͷ੔਺ͷ͏ͪɼmͱޓ͍ʹૉͳ਺͸1, 2, ...

    p-1ͳͷͰɺφ(m) = p-1 ɻ • m͕N=p×q (ૉ਺p,q) ͷ࣌ɺm ΑΓখ͍͞ਖ਼ͷ੔਺ͷ͏ͪɼmͱޓ͍ʹૉͳ਺͸ 1, 2, ... p-1 ͱ 1, 2, ... q- 1 ͷ೚ҙͷ૊ΈͷੵͰ͋ΔͷͰɺφ(m) = (p - 1)(q - 1) ɻ • ͜ΕΑΓɺൿີ伴d͕ٻΊΒΕΔ[8]ɻ
 ެ։伴 e,Nɺॺ໊ σ ͸ط஌Ͱɺࠓɺ߹੒਺NͷૉҼ਺p, q͕ٻ·ͬͨ࣌ɺp, qΑΓφ(m)͕Θ͔ΔɻΦΠ ϥʔͷఆཧΑΓɺφ(m) = d+e-1ͱͳΔd, eͷଘࡏ͕ࣔ͞Εɺॺ໊ΛݕূͰ͖Δൿີ伴d͕ٻΊΒΕΔɻ • ެ։伴҉߸(RSA҉߸)ͷ҆શੑ͸ૉҼ਺෼ղͷࠔ೉ੑʹ݁ͼͭ͘ɻ
 a'(m) ⌘ 1 (mod m) <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit> <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit> <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit> <latexit sha1_base64="tP4Md2HraJwE80lHzwl4Myu6fiQ=">AAACuXichVE9TxtBEH0cJBBDYpM0kWhOWCCnseZoQEmDlIYq4iPGljCx9s5re/F9cXc+CSxaCv5AilSgpEDQJm2EaOAHRBESfwBREikNRcbnk6IEhczpdt++nTf7RmP6tgojoosBbXDowcPhkUeZ0bHHT7K58aerodcJLFmyPNsLKqYIpa1cWYpUZMuKH0jhmLYsm+3XvftyLINQee7baMuX645ouqqhLBExVcvp4l23GovAb6mC82JHr8rNjop1Q6/6jlfXHb2Wy1ORktDvAiMFeaSx6OVOUEUdHix04EDCRcTYhkDI3xoMEHzm1tFlLmCkknuJHWRY2+EsyRmC2TavTT6tpazL517NMFFb/IrNf8BKHVP0jQ7phs7oiK7o9p+1ukmNnpct3s2+Vvq17N7zlZ//VTm8R2j9Vt3rOUIDc4lXxd79hOl1YfX18fb7m5WXy1PdaTqga/a/Txd0yh248Q/r05Jc/nCPH5O99Pu+pFtWn9NX+kjfWZHhoRl/j+guWJ0pGlQ0lig//yYd3wgmMIkCz2gW81jAIkr85i6O8RlftFea0FraRj9VG0g1z/BHaOEvbOqj5A==</latexit>
  6. ShorͷૉҼ਺෼ղΞϧΰϦζϜ 1. ޓ͍ʹૉͳ਺̣,̰Λݟ͚ͭΔɻ
 ̣ͱ̰ͷ࠷େެ໿਺ gcd(N,a) ΛϢʔΫϦουͷޓআ๏Ͱܭࢉ͢Δɻ͜Ε͕̍Ͱͳ͔ͬͨ ΒҼ਺͕ݟ͔ͭͬͨ͜ͱʹͳΔɻgcd(N,a) ͕̍ͳΒ̣ͱ̰͸ޓ͍ʹૉͰ͋Δ͔Β࣍ͷε ςοϓʹਐΉɻ 2.

    Ґ਺́Λݟ͚ͭΔɻ
 ̣ͱ̰͕ޓ͍ʹૉͰ͋Δͱ͖ɺɹɹɹɹɹɹ Ͱ͋ΔΑ͏ͳ࠷খͳ́ΛҐ਺ʢOrder)ͱ ݺͿɻ̣ͱ̰͕ޓ͍ʹૉͰ͋Δͱ͖ɼNΑΓখ͍͞Ґ਺͕́ඞͣଘࡏ͢Δɻ(ϑΣϧϚʔ ͷখఆཧ [5]) ap 1 ⌘ 1 mod p <latexit sha1_base64="wv3hAjKr1ljg18MqtZ36AwC+Hrw=">AAACuXichVE9TxtBEH1c+HAcAk7SINFYWKA0sebSJHIapDRJZz4MSByx9o4Fb7gv7taWyMltivyBFFSgpIighRYhGvgBKELKH4goQUpDwfh8UpQgYE63+/btvNk3Gjt0VayJznqMB719/QO5h/lHg4+HhgtPns7FQTNyZM0J3CBasEUsXeXLmlbalQthJIVnu3LeXnvbuZ9vyShWgT+rN0K55IlVX60oR2im6oWi+JCEL8y2JdebqlU0rYrlCd2IvMQLlttWJawXSlSmNIo3gZmBErKoBoVDWFhGAAdNeJDwoRm7EIj5W4QJQsjcEhLmIkYqvZdoI8/aJmdJzhDMrvG6yqfFjPX53KkZp2qHX3H5j1hZxDid0g+6oGPaod90dWutJK3R8bLBu93VyrA+/GVk5s+9Ko93jcZf1Z2eNVbwOvWq2HuYMp0unK6+9enrxUxlejyZoG06Z/9bdEZH3IHfunS+T8npzTv82Oyl2/cvumL1CR3QN/rJijwPzfx/RDfB3MuySWVzikqT77Px5TCKMTznGb3CJN6hihq/+Rm72MO+8cYQRsP42E01ejLNM/wTRnwNbsakyQ==</latexit> <latexit sha1_base64="wv3hAjKr1ljg18MqtZ36AwC+Hrw=">AAACuXichVE9TxtBEH1c+HAcAk7SINFYWKA0sebSJHIapDRJZz4MSByx9o4Fb7gv7taWyMltivyBFFSgpIighRYhGvgBKELKH4goQUpDwfh8UpQgYE63+/btvNk3Gjt0VayJznqMB719/QO5h/lHg4+HhgtPns7FQTNyZM0J3CBasEUsXeXLmlbalQthJIVnu3LeXnvbuZ9vyShWgT+rN0K55IlVX60oR2im6oWi+JCEL8y2JdebqlU0rYrlCd2IvMQLlttWJawXSlSmNIo3gZmBErKoBoVDWFhGAAdNeJDwoRm7EIj5W4QJQsjcEhLmIkYqvZdoI8/aJmdJzhDMrvG6yqfFjPX53KkZp2qHX3H5j1hZxDid0g+6oGPaod90dWutJK3R8bLBu93VyrA+/GVk5s+9Ko93jcZf1Z2eNVbwOvWq2HuYMp0unK6+9enrxUxlejyZoG06Z/9bdEZH3IHfunS+T8npzTv82Oyl2/cvumL1CR3QN/rJijwPzfx/RDfB3MuySWVzikqT77Px5TCKMTznGb3CJN6hihq/+Rm72MO+8cYQRsP42E01ejLNM/wTRnwNbsakyQ==</latexit> <latexit sha1_base64="wv3hAjKr1ljg18MqtZ36AwC+Hrw=">AAACuXichVE9TxtBEH1c+HAcAk7SINFYWKA0sebSJHIapDRJZz4MSByx9o4Fb7gv7taWyMltivyBFFSgpIighRYhGvgBKELKH4goQUpDwfh8UpQgYE63+/btvNk3Gjt0VayJznqMB719/QO5h/lHg4+HhgtPns7FQTNyZM0J3CBasEUsXeXLmlbalQthJIVnu3LeXnvbuZ9vyShWgT+rN0K55IlVX60oR2im6oWi+JCEL8y2JdebqlU0rYrlCd2IvMQLlttWJawXSlSmNIo3gZmBErKoBoVDWFhGAAdNeJDwoRm7EIj5W4QJQsjcEhLmIkYqvZdoI8/aJmdJzhDMrvG6yqfFjPX53KkZp2qHX3H5j1hZxDid0g+6oGPaod90dWutJK3R8bLBu93VyrA+/GVk5s+9Ko93jcZf1Z2eNVbwOvWq2HuYMp0unK6+9enrxUxlejyZoG06Z/9bdEZH3IHfunS+T8npzTv82Oyl2/cvumL1CR3QN/rJijwPzfx/RDfB3MuySWVzikqT77Px5TCKMTznGb3CJN6hihq/+Rm72MO+8cYQRsP42E01ejLNM/wTRnwNbsakyQ==</latexit> <latexit sha1_base64="wv3hAjKr1ljg18MqtZ36AwC+Hrw=">AAACuXichVE9TxtBEH1c+HAcAk7SINFYWKA0sebSJHIapDRJZz4MSByx9o4Fb7gv7taWyMltivyBFFSgpIighRYhGvgBKELKH4goQUpDwfh8UpQgYE63+/btvNk3Gjt0VayJznqMB719/QO5h/lHg4+HhgtPns7FQTNyZM0J3CBasEUsXeXLmlbalQthJIVnu3LeXnvbuZ9vyShWgT+rN0K55IlVX60oR2im6oWi+JCEL8y2JdebqlU0rYrlCd2IvMQLlttWJawXSlSmNIo3gZmBErKoBoVDWFhGAAdNeJDwoRm7EIj5W4QJQsjcEhLmIkYqvZdoI8/aJmdJzhDMrvG6yqfFjPX53KkZp2qHX3H5j1hZxDid0g+6oGPaod90dWutJK3R8bLBu93VyrA+/GVk5s+9Ko93jcZf1Z2eNVbwOvWq2HuYMp0unK6+9enrxUxlejyZoG06Z/9bdEZH3IHfunS+T8npzTv82Oyl2/cvumL1CR3QN/rJijwPzfx/RDfB3MuySWVzikqT77Px5TCKMTznGb3CJN6hihq/+Rm72MO+8cYQRsP42E01ejLNM/wTRnwNbsakyQ==</latexit> ar ⌘ 1 mod p <latexit sha1_base64="ygMi2FtcJGMW2Ft6kTPY2HjfA5o=">AAACt3ichVFNSxtRFD2OraZp1Wg3BaEEg+Iq3OmmmlXAjd1p0qjgpGFmfDEP58uZl4AO2bnqH+jClWIX1aXdl9JN+wNKEfoHpMsUunHRm8mAtKLeYd4777x77juXawWOjBTRxZA2/ODhyGjmUfbxk7Hxidzk1Frkt0Nb1Gzf8cMNy4yEIz1RU1I5YiMIhelajli3dpb69+sdEUbS916rvUDUXXPbk01pm4qpRu65+SYOu4bYbctOXjdKhmuqVujGrr/VNUpBI1egIiWRvwn0FBSQxoqf+wwDW/Bhow0XAh4UYwcmIv42oYMQMFdHzFzISCb3Al1kWdvmLMEZJrM7vG7zaTNlPT73a0aJ2uZXHP5DVuYxS9/pA/XoK53RJV3dWitOavS97PFuDbQiaEy8fVb9c6/K5V2hda2607NCEwuJV8neg4Tpd2EP9J39d71qqTIbz9Ex/WL/R3RBX7gDr/Pbfr8qKod3+LHYy6Dvn3TF6m/0iU7oByuyPDT9/xHdBGsvijoV9VUqlF+l48tgGjOY5xm9RBnLWEGN3zzAKc7xUVvUGlpTaw1StaFU8xT/hLb7F0tSpFk=</latexit> <latexit sha1_base64="ygMi2FtcJGMW2Ft6kTPY2HjfA5o=">AAACt3ichVFNSxtRFD2OraZp1Wg3BaEEg+Iq3OmmmlXAjd1p0qjgpGFmfDEP58uZl4AO2bnqH+jClWIX1aXdl9JN+wNKEfoHpMsUunHRm8mAtKLeYd4777x77juXawWOjBTRxZA2/ODhyGjmUfbxk7Hxidzk1Frkt0Nb1Gzf8cMNy4yEIz1RU1I5YiMIhelajli3dpb69+sdEUbS916rvUDUXXPbk01pm4qpRu65+SYOu4bYbctOXjdKhmuqVujGrr/VNUpBI1egIiWRvwn0FBSQxoqf+wwDW/Bhow0XAh4UYwcmIv42oYMQMFdHzFzISCb3Al1kWdvmLMEZJrM7vG7zaTNlPT73a0aJ2uZXHP5DVuYxS9/pA/XoK53RJV3dWitOavS97PFuDbQiaEy8fVb9c6/K5V2hda2607NCEwuJV8neg4Tpd2EP9J39d71qqTIbz9Ex/WL/R3RBX7gDr/Pbfr8qKod3+LHYy6Dvn3TF6m/0iU7oByuyPDT9/xHdBGsvijoV9VUqlF+l48tgGjOY5xm9RBnLWEGN3zzAKc7xUVvUGlpTaw1StaFU8xT/hLb7F0tSpFk=</latexit> <latexit sha1_base64="ygMi2FtcJGMW2Ft6kTPY2HjfA5o=">AAACt3ichVFNSxtRFD2OraZp1Wg3BaEEg+Iq3OmmmlXAjd1p0qjgpGFmfDEP58uZl4AO2bnqH+jClWIX1aXdl9JN+wNKEfoHpMsUunHRm8mAtKLeYd4777x77juXawWOjBTRxZA2/ODhyGjmUfbxk7Hxidzk1Frkt0Nb1Gzf8cMNy4yEIz1RU1I5YiMIhelajli3dpb69+sdEUbS916rvUDUXXPbk01pm4qpRu65+SYOu4bYbctOXjdKhmuqVujGrr/VNUpBI1egIiWRvwn0FBSQxoqf+wwDW/Bhow0XAh4UYwcmIv42oYMQMFdHzFzISCb3Al1kWdvmLMEZJrM7vG7zaTNlPT73a0aJ2uZXHP5DVuYxS9/pA/XoK53RJV3dWitOavS97PFuDbQiaEy8fVb9c6/K5V2hda2607NCEwuJV8neg4Tpd2EP9J39d71qqTIbz9Ex/WL/R3RBX7gDr/Pbfr8qKod3+LHYy6Dvn3TF6m/0iU7oByuyPDT9/xHdBGsvijoV9VUqlF+l48tgGjOY5xm9RBnLWEGN3zzAKc7xUVvUGlpTaw1StaFU8xT/hLb7F0tSpFk=</latexit> <latexit sha1_base64="ygMi2FtcJGMW2Ft6kTPY2HjfA5o=">AAACt3ichVFNSxtRFD2OraZp1Wg3BaEEg+Iq3OmmmlXAjd1p0qjgpGFmfDEP58uZl4AO2bnqH+jClWIX1aXdl9JN+wNKEfoHpMsUunHRm8mAtKLeYd4777x77juXawWOjBTRxZA2/ODhyGjmUfbxk7Hxidzk1Frkt0Nb1Gzf8cMNy4yEIz1RU1I5YiMIhelajli3dpb69+sdEUbS916rvUDUXXPbk01pm4qpRu65+SYOu4bYbctOXjdKhmuqVujGrr/VNUpBI1egIiWRvwn0FBSQxoqf+wwDW/Bhow0XAh4UYwcmIv42oYMQMFdHzFzISCb3Al1kWdvmLMEZJrM7vG7zaTNlPT73a0aJ2uZXHP5DVuYxS9/pA/XoK53RJV3dWitOavS97PFuDbQiaEy8fVb9c6/K5V2hda2607NCEwuJV8neg4Tpd2EP9J39d71qqTIbz9Ex/WL/R3RBX7gDr/Pbfr8qKod3+LHYy6Dvn3TF6m/0iU7oByuyPDT9/xHdBGsvijoV9VUqlF+l48tgGjOY5xm9RBnLWEGN3zzAKc7xUVvUGlpTaw1StaFU8xT/hLb7F0tSpFk=</latexit>
  7. ShorͷૉҼ਺෼ղΞϧΰϦζϜ 3. r ͕ۮ਺ͷͱ͖
 ࣜมܗͯ͠ɺɹɹɹɹɹɹɹɹɹɹɹɹɹɹɹ ΛಘΔͷͰɺ ɹɹɹɹɹɹɹɹɹ Ͱͳ͍͔͗Γ࠷େެ໿਺ ɹɹɹɹɹɹɹɹ·ͨ͸ ʊʊʊʊʊʊ_____͕Ҽ਺Λ༩͑Δɻ

    4. ͕́ح਺·ͨ͸ɹɹɹɹɹɹɹɹɹ ͷͱ͖ɻ
 ผͷ̰ΛબΜͰɼ͕́ۮ਺Ͱ͋Γɼɹɹɹɹɹɹɹɹɹ Ͱͳ͍Α͏ͳ਺̰Λ ಘΔ·Ͱ̰Λม͑ͯ΍Ε͹Α͍ɻେࡶ೺ʹ͸ɼ֬཰50%Ҏ্Ͱ๬·͍̰͠Λ ಘΔ͜ͱ͕Ͱ͖ΔͷͰɼ͜ͷࢼߦ͸͙͢ʹऴΘΔɻ (ar/2 + 1)(ar/2 1) = integer ⇥ N <latexit sha1_base64="D0gZXTq800vFIH+UjCX3sSFHlvI=">AAACxXichVFLSxxBEP6cxNf6WuMl4GVwMSiJa40XJSAIOWgu4iOrgpplZmzXxnkx07tgFvHu0YsHT4o5SP6AN1Ev+gNEhPwB8WjAiwdrZweDSkw13V31dX3VX1FW4MhIEV3VaG/e1tbVNzSmmppbWtvS7e9mIr8Y2iJn+44fzllmJBzpiZySyhFzQShM13LErLX6pfI+WxJhJH3vm1oLxKJrFjy5LG1TMZRPf+oxv5fD/oF1/aNu9D4GfUavPqxLT4mCCPUFJV0R6eP5dIayFJv+0jESJ4PEJvz0MRawBB82inAh4EGx78BExGseBggBY4soMxayJ+N3gXWkmFvkLMEZJqOrfBY4mk9Qj+NKzShm2/yLwztkpo5uuqADuqUz+kXXdP/PWuW4RkXLGt9WlSuCfNvm++m7/7JcvhVW/rJe1aywjKFYq2TtQYxUurCr/NKP7dvpz1Pd5Q+0Rzesf5eu6JQ78Ep/7J+TYmrnFT0Wa6n2/ZvumX1OR7RPl8xI8dCM5yN66cwMZA3KGpOUGfmajK8BnehCD89oECMYwwRy/OcWDnGME21UczWllaqpWk3C6cAT0zYeADFCpnM=</latexit> <latexit sha1_base64="D0gZXTq800vFIH+UjCX3sSFHlvI=">AAACxXichVFLSxxBEP6cxNf6WuMl4GVwMSiJa40XJSAIOWgu4iOrgpplZmzXxnkx07tgFvHu0YsHT4o5SP6AN1Ev+gNEhPwB8WjAiwdrZweDSkw13V31dX3VX1FW4MhIEV3VaG/e1tbVNzSmmppbWtvS7e9mIr8Y2iJn+44fzllmJBzpiZySyhFzQShM13LErLX6pfI+WxJhJH3vm1oLxKJrFjy5LG1TMZRPf+oxv5fD/oF1/aNu9D4GfUavPqxLT4mCCPUFJV0R6eP5dIayFJv+0jESJ4PEJvz0MRawBB82inAh4EGx78BExGseBggBY4soMxayJ+N3gXWkmFvkLMEZJqOrfBY4mk9Qj+NKzShm2/yLwztkpo5uuqADuqUz+kXXdP/PWuW4RkXLGt9WlSuCfNvm++m7/7JcvhVW/rJe1aywjKFYq2TtQYxUurCr/NKP7dvpz1Pd5Q+0Rzesf5eu6JQ78Ep/7J+TYmrnFT0Wa6n2/ZvumX1OR7RPl8xI8dCM5yN66cwMZA3KGpOUGfmajK8BnehCD89oECMYwwRy/OcWDnGME21UczWllaqpWk3C6cAT0zYeADFCpnM=</latexit> <latexit sha1_base64="D0gZXTq800vFIH+UjCX3sSFHlvI=">AAACxXichVFLSxxBEP6cxNf6WuMl4GVwMSiJa40XJSAIOWgu4iOrgpplZmzXxnkx07tgFvHu0YsHT4o5SP6AN1Ev+gNEhPwB8WjAiwdrZweDSkw13V31dX3VX1FW4MhIEV3VaG/e1tbVNzSmmppbWtvS7e9mIr8Y2iJn+44fzllmJBzpiZySyhFzQShM13LErLX6pfI+WxJhJH3vm1oLxKJrFjy5LG1TMZRPf+oxv5fD/oF1/aNu9D4GfUavPqxLT4mCCPUFJV0R6eP5dIayFJv+0jESJ4PEJvz0MRawBB82inAh4EGx78BExGseBggBY4soMxayJ+N3gXWkmFvkLMEZJqOrfBY4mk9Qj+NKzShm2/yLwztkpo5uuqADuqUz+kXXdP/PWuW4RkXLGt9WlSuCfNvm++m7/7JcvhVW/rJe1aywjKFYq2TtQYxUurCr/NKP7dvpz1Pd5Q+0Rzesf5eu6JQ78Ep/7J+TYmrnFT0Wa6n2/ZvumX1OR7RPl8xI8dCM5yN66cwMZA3KGpOUGfmajK8BnehCD89oECMYwwRy/OcWDnGME21UczWllaqpWk3C6cAT0zYeADFCpnM=</latexit> <latexit sha1_base64="D0gZXTq800vFIH+UjCX3sSFHlvI=">AAACxXichVFLSxxBEP6cxNf6WuMl4GVwMSiJa40XJSAIOWgu4iOrgpplZmzXxnkx07tgFvHu0YsHT4o5SP6AN1Ev+gNEhPwB8WjAiwdrZweDSkw13V31dX3VX1FW4MhIEV3VaG/e1tbVNzSmmppbWtvS7e9mIr8Y2iJn+44fzllmJBzpiZySyhFzQShM13LErLX6pfI+WxJhJH3vm1oLxKJrFjy5LG1TMZRPf+oxv5fD/oF1/aNu9D4GfUavPqxLT4mCCPUFJV0R6eP5dIayFJv+0jESJ4PEJvz0MRawBB82inAh4EGx78BExGseBggBY4soMxayJ+N3gXWkmFvkLMEZJqOrfBY4mk9Qj+NKzShm2/yLwztkpo5uuqADuqUz+kXXdP/PWuW4RkXLGt9WlSuCfNvm++m7/7JcvhVW/rJe1aywjKFYq2TtQYxUurCr/NKP7dvpz1Pd5Q+0Rzesf5eu6JQ78Ep/7J+TYmrnFT0Wa6n2/ZvumX1OR7RPl8xI8dCM5yN66cwMZA3KGpOUGfmajK8BnehCD89oECMYwwRy/OcWDnGME21UczWllaqpWk3C6cAT0zYeADFCpnM=</latexit> ar/2 ± 1 ⌘ 0 mod N <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> gcd(ar/2 + 1, N) <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="GK+yu5p5rX62Hfl1QWATA+LddZs=">AAACiXichVG7SgNBFD1Z3zGa2Ak2waBYhbs2ioUIIlrmYR6gIexuRl3c7C67m0AM/kBaCwsrRQvxI0Rs9ANEAv6AWEawSeHNJiAa1DvMzJ0zc+6cy1FtQ3c9omZAGhgcGh4ZHQuOh4ITk+FIKOtaFUcTGc0yLCevKq4wdFNkPN0zRN52hFJWDZFTD9c797mqcFzdMre9mi0KZWXf1Pd0TfEYShQjMYqTH9H+RO4lMfTCitxhFyVY0FBBGQImPM4NKHB57EAGwWasgDpjDme6fy9wjCBzK/xK8AuF0UNe9/m000NNPndquj5b418Mng4zo5ijJ7qmFj3QDb1S+9dadb9GR0uNd7XLFXYx3JhOf/zLKvPu4eCL9admD3tY9rXqrN32kU4XWpdfPTptpVdSc/V5uqA31n9OTbrnDszqu3aVFKmzP/SorKXb9wu1mf1It3RJz8wIsmfyT4f6k+xiXKa4nCSMYgazWGBrlrCGLSSQ4a9KaOBEmpZWpY2ut1KgZ/IUvoW0+Qkqq5VN</latexit> <latexit sha1_base64="joamPgwIf/s67EJnloIoQMZzagw=">AAACoHichVFNLwNRFD3GdxVlJbFpCCGoOzbESmJjJbTaiq9mZvrUxHRmMjNt0PgD/oCFREII4keI2PADRCT+gFiS2Fi4M20iiLov7737znvnvnNzVNvQXY/osUaqratvaGxqDrWEW9vaIx3hlGsVHE0kNcuwnEVVcYWhmyLp6Z4hFm1HKHnVEGl1c9q/TxeF4+qWueBt22I1r+RMfV3XFI+hTKQzp2UHlLWSMzq2OyQPR2cHQ5lIL8UoiOjvRK4kvajEnBW5xgqysKChgDwETHicG1Dg8liGDILN2CpKjDmc6cG9wC5CzC3wK8EvFEY3ec3xabmCmnz2a7oBW+NfDJ4OM6Poo3u6oFe6pUt6po8/a5WCGr6Wbd7VMlfYmfa9rsT7v6w87x42vlhVNXtYx0SgVWftdoD4XWhlfnFn/zUxGe8r9dMxvbD+I3qkG+7ALL5pp/MiflBFj8payn0/0Qez7+iKTuiBGb5p8k+LfiepsZhMMXme0IRu9GCArRnHFGYwhyR/tYVDnOFcGpES0lLZXqmm4nMnvoW08gmDAZwX</latexit> <latexit sha1_base64="joamPgwIf/s67EJnloIoQMZzagw=">AAACoHichVFNLwNRFD3GdxVlJbFpCCGoOzbESmJjJbTaiq9mZvrUxHRmMjNt0PgD/oCFREII4keI2PADRCT+gFiS2Fi4M20iiLov7737znvnvnNzVNvQXY/osUaqratvaGxqDrWEW9vaIx3hlGsVHE0kNcuwnEVVcYWhmyLp6Z4hFm1HKHnVEGl1c9q/TxeF4+qWueBt22I1r+RMfV3XFI+hTKQzp2UHlLWSMzq2OyQPR2cHQ5lIL8UoiOjvRK4kvajEnBW5xgqysKChgDwETHicG1Dg8liGDILN2CpKjDmc6cG9wC5CzC3wK8EvFEY3ec3xabmCmnz2a7oBW+NfDJ4OM6Poo3u6oFe6pUt6po8/a5WCGr6Wbd7VMlfYmfa9rsT7v6w87x42vlhVNXtYx0SgVWftdoD4XWhlfnFn/zUxGe8r9dMxvbD+I3qkG+7ALL5pp/MiflBFj8payn0/0Qez7+iKTuiBGb5p8k+LfiepsZhMMXme0IRu9GCArRnHFGYwhyR/tYVDnOFcGpES0lLZXqmm4nMnvoW08gmDAZwX</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> <latexit sha1_base64="g4ADT/iWcBaA1qvetHUdal+kZ7o=">AAACq3ichVFNL8RQFD3qe3wNNhKbiQkhGLc2xEpiw0YwBvE1aTvPaHTapu1MMPEH/AELiYQQxI8QseEHiEj8AbEksbFw22kiCG7T98477577zs1VbUN3PaKHMqm8orKquqY2Ulff0NgUbW6Zc628o4mUZhmWs6AqrjB0U6Q83TPEgu0IJacaYl7dGPPv5wvCcXXLnPW2bLGSU7KmvqZrisdUOtqS1TLdymrRGRjc6ZX7YpM9kXQ0TgkKIvYTyCGII4wpK3qFZWRgQUMeOQiY8BgbUODytwQZBJu5FRSZcxjpwb3ADiKszXOW4AyF2Q1es3xaClmTz35NN1Br/IrBv8PKGDrpjs7phW7ogp7o/ddaxaCG72WLd7WkFXa6abct+favKse7h/VP1Z+ePaxhOPCqs3c7YPwutJK+sL33khyZ6Sx20RE9s/9DeqBr7sAsvGon02Jm/w8/Knsp9f1I76y+pUs6pntW+EOTv4/oJ5gbTMiUkKcpPjoRjq8G7ehAN89oCKMYxxRS/OYmDnCKM6lfSkqL0nIpVSoLNa34EpL4AFBenTE=</latexit> gcd(ar/2 1, N) <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="GK+yu5p5rX62Hfl1QWATA+LddZs=">AAACiXichVG7SgNBFD1Z3zGa2Ak2waBYhbs2ioUIIlrmYR6gIexuRl3c7C67m0AM/kBaCwsrRQvxI0Rs9ANEAv6AWEawSeHNJiAa1DvMzJ0zc+6cy1FtQ3c9omZAGhgcGh4ZHQuOh4ITk+FIKOtaFUcTGc0yLCevKq4wdFNkPN0zRN52hFJWDZFTD9c797mqcFzdMre9mi0KZWXf1Pd0TfEYShQjMYqTH9H+RO4lMfTCitxhFyVY0FBBGQImPM4NKHB57EAGwWasgDpjDme6fy9wjCBzK/xK8AuF0UNe9/m000NNPndquj5b418Mng4zo5ijJ7qmFj3QDb1S+9dadb9GR0uNd7XLFXYx3JhOf/zLKvPu4eCL9admD3tY9rXqrN32kU4XWpdfPTptpVdSc/V5uqA31n9OTbrnDszqu3aVFKmzP/SorKXb9wu1mf1It3RJz8wIsmfyT4f6k+xiXKa4nCSMYgazWGBrlrCGLSSQ4a9KaOBEmpZWpY2ut1KgZ/IUvoW0+Qkqq5VN</latexit> <latexit sha1_base64="C+AUhe2GyoSwO6afEGitjRtmPDQ=">AAACoHichVHLSsNAFD2Nr1ofra4EN8WiKGi96UZxJbhxJWqtiq+SxLGGpklI0qKW/oA/4EIQFEXFjxBxox8gIvgD4lLBjQtv0oKoqHeYmTtn5tw5l6Pahu56RA8hqa6+obEp3BxpaW1rj8Y6Wuddq+hoIqNZhuUsqoorDN0UGU/3DLFoO0IpqIZYUPMT/v1CSTiubplz3rYtVgtKztQ3dE3xGMrGOnPaer+yVnaGU5UheTA+NRDJxhKUpCDiPxO5liRQi2krdoUVrMOChiIKEDDhcW5AgctjGTIINmOrKDPmcKYH9wIVRJhb5FeCXyiM5nnN8Wm5hpp89mu6AVvjXwyeDjPj6KU7OqcXuqELeqL3X2uVgxq+lm3e1SpX2Nnoblf67V9WgXcPm5+sPzV72MBooFVn7XaA+F1oVX5pZ+8lPTbbW+6jI3pm/Yf0QNfcgVl61U5mxOz+H3pU1lLt+5HemX1Ll3RM98zwTZO/W/QzmU8lZUrKM4QwutGDfrZmBOOYxDQy/NUWDnCKM2lISktLVXulUM3nTnwJaeUDh1+cGQ==</latexit> <latexit sha1_base64="C+AUhe2GyoSwO6afEGitjRtmPDQ=">AAACoHichVHLSsNAFD2Nr1ofra4EN8WiKGi96UZxJbhxJWqtiq+SxLGGpklI0qKW/oA/4EIQFEXFjxBxox8gIvgD4lLBjQtv0oKoqHeYmTtn5tw5l6Pahu56RA8hqa6+obEp3BxpaW1rj8Y6Wuddq+hoIqNZhuUsqoorDN0UGU/3DLFoO0IpqIZYUPMT/v1CSTiubplz3rYtVgtKztQ3dE3xGMrGOnPaer+yVnaGU5UheTA+NRDJxhKUpCDiPxO5liRQi2krdoUVrMOChiIKEDDhcW5AgctjGTIINmOrKDPmcKYH9wIVRJhb5FeCXyiM5nnN8Wm5hpp89mu6AVvjXwyeDjPj6KU7OqcXuqELeqL3X2uVgxq+lm3e1SpX2Nnoblf67V9WgXcPm5+sPzV72MBooFVn7XaA+F1oVX5pZ+8lPTbbW+6jI3pm/Yf0QNfcgVl61U5mxOz+H3pU1lLt+5HemX1Ll3RM98zwTZO/W/QzmU8lZUrKM4QwutGDfrZmBOOYxDQy/NUWDnCKM2lISktLVXulUM3nTnwJaeUDh1+cGQ==</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> <latexit sha1_base64="bSyAKivgGBRfDjhK080124Z0m/Q=">AAACq3ichVFNL8RQFD1T3+NrsJHYTEwICePWhlhJbNjIMAbxNWnrGY1O27SdCSb+gD9gIZEQgvgRIjb8ABGJPyCWJDYWbjtNBMFt+t55591z37m5qm3orkf0EJEqKquqa2rrovUNjU3NsZbWWdcqOJrIaJZhOfOq4gpDN0XG0z1DzNuOUPKqIebUjTH/fq4oHFe3zBlvyxbLeSVn6mu6pnhMZWOtOW21R1kpOQODO/1yX3yyN5qNJShJQcR/AjkECYSRsmJXWMIqLGgoIA8BEx5jAwpc/hYhg2Azt4wScw4jPbgX2EGUtQXOEpyhMLvBa45PiyFr8tmv6QZqjV8x+HdYGUcX3dE5vdANXdATvf9aqxTU8L1s8a6WtcLONu+2p9/+VeV597D+qfrTs4c1DAdedfZuB4zfhVbWF7f3XtIj012lbjqiZ/Z/SA90zR2YxVftZEpM7//hR2Uv5b4f6Z3Vt3RJx3TPCn9o8vcR/QSzg0mZkvIUJUYnwvHVogOd6OEZDWEU40ghw29u4gCnOJP6pbS0IC2VU6VIqGnDl5DEB1TSnTM=</latexit> ar/2 ± 1 ⌘ 0 mod N <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> ar/2 ± 1 ⌘ 0 mod N <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit> <latexit sha1_base64="X7ukdjyqGNxZdp6H/mxqOcUHXJY=">AAACwHichVE9SxxRFD2Oxuia6KqNkGZwMUm1ubNNZCvRRhvxI6uCY5aZ8bn7cL525u2CDvsHBGsLKyUpQsq0CRLSxB8gIvgHQkoDaSxyd3YgJBJzh3nvvPPuue9crh26MlZEVz1ab9+D/ocDg7mhR4+HR/KjY2tx0IwcUXECN4g2bCsWrvRFRUnlio0wEpZnu2Ld3p3r3K+3RBTLwH+l9kKx5Vk1X+5Ix1JMVfPPrNdJ9KLU1s3Q0w3dFI2mbOlklk3PUvXIS7xgu22WF6v5AhUpDf0uMDJQQBZLQf4zTGwjgIMmPAj4UIxdWIj524QBQsjcFhLmIkYyvRdoI8faJmcJzrCY3eW1xqfNjPX53KkZp2qHX3H5j1ipY4ou6B3d0Fd6T9/o9p+1krRGx8se73ZXK8LqyMHE6s//qjzeFeq/Vfd6VtjBdOpVsvcwZTpdOF19a//oZrW8MpU8pVP6zv5P6Iq+cAd+64fzdlmsHN/jx2Yv3b6v6ZbV53RGb+iSFTkemvH3iO6CtVLRoKKxTIWZhWx8A3iCSTznGb3EDOaxhAq/eYgP+IhP2qxW1wKt0U3VejLNOP4Ibf8XbL2muw==</latexit>
  8. ShorͷૉҼ਺෼ղΞϧΰϦζϜ ̣Λͱ͠ɼૉҼ਺෼ղ͍ͨ͠ͱ͢Δɻ̰ͱͯ͠ΛͱΔͱɼ̐ Q NPEΛ̿Λ͔̍Β࢝Ίͯܭࢉ ͢Δ<>ɻ NPE  NPE  NPENPE

    Y  NPE  NPENPE Y  NPE  NPENPE Y  NPE  NPENPE Y  NPE  NPENPE Y  NPE  ͱͳΓɼ͜ͷ͋ͱ͸     ʜͱଓ͘͜ͱʹͳΔɻ͕̿ɼɼɼʜͷͱ͖ʹ̐QNPE ͕̍ʹͳΔ͜ͱ͕෼͔Δɻैͬͯ࠷খͷ̿͸Ͱ͋Γɼۮ਺Ͱ͋Δ͜ͱ͔Βɼ͜Ε͕Ґ਺Ͱ͋Δɻ ͜ͷͱ͖ɼ࠷େެ໿਺͸ϢʔΫϦουͷޓআ๏Ͱܭࢉͯ͠ɼ HDE BS  / HDE    HDE   ɼ͔ͭ HDE BS / HDE ʵ  HDE    ͱͳ̣ͬͯʹ̏̑ͷૉҼ਺ͱͯ̑͠ͱ̓ΛಘΔ͜ͱ͕Ͱ͖ͨɻ