Перегляд вихідного коду сторінки Колесна факторизація

{{сирий переклад|дата=серпень 2020}}
[[Файл:Wheel factorization-n=30.svg|міні|Колесна факторизація для основи n = 2x3x5 = 30. На жовтих ділянках жодних простих чисел не буде.]]
'''Колесна факторизація'''{{термін}}&nbsp;— це вдосконалення методу пробного поділу для [[Факторизація цілих чисел|цілочислової факторизації]].

Метод пробного ділення складається з ділення числа, яке слід послідовно розділити на перші цілі числа (2, 3, 4, 5,…) до знаходження дільника. Колісна факторизація починається з невеликого списку чисел, що має назву ''основа'' перших кількох [[Просте число|простих чисел]]; після чого генерується список, що називається ''колесом'', цілих чисел, які є [[Взаємно прості числа|взаємно простими числами]] з усіма числами основи. Щоб знайти найменший дільник числа, що підлягає факторизації, слід ділити його(число) послідовно на числа  основи та на числа самого колеса.

На основі {2, 3} цей метод зменшує кількість операцій ділення до 1/3 від кількості, необхідної для пробного поділу. Більші основи ще більше зменшують цю пропорцію; наприклад, за основою {2, 3, 5} до 8/30; і з основою {2, 3, 5, 7} до 48/210.

== Типовий приклад ==
З огляду на основу перших кількох простих чисел {2, 3, 5}, «перший оберт» колеса буде містити числа:

: {{Math|7, 11, 13, 17, 19, 23, 29, 31}}.

Другий оберт можна отримати шляхом додавання 30, [[Добуток|добутку]] чисел основи, до чисел на першому оберті. Третій оберт отримують шляхом додавання 30 до другого оберта тощо.

Для реалізації методу можна зауважити, що приріст між двома послідовними елементами колеса, тобто

: {{Math|1=inc = [4, 2, 4, 2, 4, 6, 2, 6],}}

залишаються однаковими після кожного оберту.

Пропонована нижче реалізація використовує допоміжну функцію div(''n'', ''k''), яка перевіряє, чи ''n'' ділиться на ''k'' без остачі, і повертає ''true'' у цьому випадку, ''false в'' іншому випадку. У цій реалізації число, яке підлягає факторизації, дорівнює ''n'', і програма повертає найменший дільник ''n''.
  тест: = хибний
 якщо div ( ''n'', 2) = true, то поверніть 2;
 якщо div ( ''n'', 3) = true, то поверніть 3;
 якщо div ( ''n'', 5) = true, то поверніть 5;
 ''к''   : = 7; ''i''   : = 1
 а тест = хибний і ''k'' * ''k'' ≤ ''n'' робити
   тест   : = div ( ''n'', ''k'' )
   якщо тест = вірно, поверніть ''k''
   ''к''   : = ''k'' + inc [ ''i'' ]
   якщо ''i'' <8, то ''i''   : = ''i'' + 1 інший ''i''   : = 1
 повернути ''n''. 
Щоб отримати повну факторизацію цілого числа, обчислення можна продовжити без перезавантаження колеса на початку. Це призводить до наступної програми для повної факторизації, де функція ''add'' додає свій перший аргумент в кінці другого аргументу, що має бути списком.
  чинників  <nowiki> : = [];</nowiki>
 while div ( ''n'', 2) = true тоді
   чинники: = додати (2, фактори);
   ''н''   : = ''п'' / 2;
 while div ( ''n'', 3) = true тоді
   фактори: = додати (3, фактори);
   ''н''   : = ''п'' / 3;
 while div ( ''n'', 5) = true тоді
   чинники: = додати (5, фактори);
   ''н''   : = ''п'' / 5;
 ''к''   : = 7; ''i''   : = 1
 а ''k'' * ''k'' ≤ ''n'' робити
   якщо div ( ''n'', ''k'' ) = true тоді 
    додати ( ''k'', фактори)
    ''н''   : = ''п'' / ''к''
   ще
    ''к''   : = ''k'' + inc [ ''i'' ]
    якщо ''i'' <8, то ''i''   : = ''i'' + 1 інший ''i''   : = 1
 повернути додавання ( ''n'', факторів)

== Ще одна презентація ==
Колесна факторизація використовується для генерування списків переважно [[Просте число|простих чисел]] із простої математичної формули та значно меншого списку перших простих чисел. Ці списки можуть бути використані в пробному відділенні або ситах. Оскільки не всі числа в цих списках є простими, це вводить неефективні зайві операції. Однак самим генераторам потрібно дуже мало пам'яті в порівнянні з тим, щоб зберігати чистий список простих чисел. Невеликий список початкових простих чисел складають цілісні параметри [[алгоритм]]у для генерації залишку списку. Ці генератори називають '''колесами'''. Незважаючи на те, що кожне колесо може генерувати нескінченний перелік чисел, в певний момент числа перестають бути переважно простими.

Спосіб може додатково застосовуватися рекурсивно як сіткове '''колесо''' основного числа для отримання більш точних коліс. Пол Прітчард<ref name="Pritchard1">{{cite journal |author=Pritchard, Paul |title=Linear prime-number sieves: a family tree |journal=Sci. Comput. Programming |volume=9 |issue=1 |year=1987 |pages=17–35 |url=https://www.sciencedirect.com/science/article/pii/0167642387900244 |accessdate=11 серпня 2020 |archive-date=31 травня 2022 |archive-url=https://web.archive.org/web/20220531022914/https://www.sciencedirect.com/science/article/pii/0167642387900244 }}</ref><ref name="Pritchard2">Paul Pritchard, A sublinear additive sieve for finding prime numbers, Communications of the ACM 24 (1981), 18–23. {{MathSciNet|600730}}</ref><ref name="Pritchard3">{{cite journal|author==Paul Pritchard |title=Explaining the wheel sieve |journal=Acta Informatica |volume=17 |year=1982 |pages=477—485| url=https://doi.org/10.1007/BF00264164}} {{MathSciNet|685983}}</ref><ref name="Pritchard4">Paul Pritchard, Fast compact prime number sieves (among others), Journal of Algorithms 4 (1983), 332—344. {{MathSciNet|729229}}</ref> провів сформування ряду різних алгоритмів багато остаточної роботи щодо факторизації коліс, сит, що використовують колісну факторизацію, і колісне сито. Щоб візуалізувати використання колеса факторизації, можна почати з написання натуральних чисел навколо кіл, як показано на сусідній діаграмі. Кількість спиць вибирається такою, що прості числа будуть накопичуватися в меншості спиць.

== Зразок графічної процедури ==

# Знайти перші кілька простих чисел, які ляжуть в основу колеса факторизації. Вони є відомими або, можливо, визначені з попередніх застосувань коліс меншої факторизації або шляхом швидкого пошуку їх за допомогою [[Решето Ератосфена|сита Ератостена]].
# Перемножити базові прості числа, щоб отримати результат ''n,'' який&nbsp;буде утворювати коло колеса факторизації.
# Записати числа від 1 до ''n'' по колу. Це буде найбільше внутрішнє коло, що представляє одне обертання колеса.
# Від чисел від 1 до ''n'' у самому внутрішньому колі викреслити усі кратні базові прості числа з першого кроку, як це зроблено на кроці 2. Це усунення складених чисел можна здійснити або за допомогою сита, такого як сито Ератостена, або як результат застосування коліс меншої факторизації.
# Взявши ''x'' за кількість написаних кіл, продовжити писати ''xn'' + 1 до ''xn'' + ''n'' в концентричних колах навколо самого внутрішнього кола, таких, що ''xn'' + 1 знаходиться в тому ж положенні, що і (''x'' − 1)''n'' + 1.
# Повторити крок 5 до тих пір, поки найбільше коло обертання не охопить найбільшу кількість тестування на простоту.
# Закресліть число 1.
# Відкресліть спиці простих чисел, як показано на кроці 1, і застосуйте на кроці 2 у всіх зовнішніх колах, не відкреслюючи прості числа у самому внутрішньому колі (у колі 1).
# Відкресліть спиці всіх кратних простих чисел, вибитих із внутрішнього кола 1 на кроці 4 таким же чином, як відкреслити спиці базових праймерів на кроці 8.
# Решта числа в колесі&nbsp;— це переважно прості числа (їх у сукупності називають «відносно» простими). Використовуйте інші методи, такі як сито Ератосфена або подальше застосування круглих коліс для факторизації, щоб видалити залишки, що не залишилися.

== Приклад ==
[[Файл:Wheel factorization-n=6.svg|міні|Колесна факторизація для основи n = 2x3 = 6]]
1. Визначаються перші два прості числа: 2 і 3.

2. n = 2 × 3 = 6

3.

  1 2 3 4 5 6 
4. Викреслюються числа, що діляться на числа основи: 4 і 6:
  1 2 3 <s>4</s> 5 <s>6</s> 
5. ''х'' = 1. ''xn'' + 1 = 1 · 6 + 1 = 7. (''x'' + 1) ''n'' = (1 + 1) · 6 = 12. Записуються числа від 7 до 12 починаючи з 7:
  1 2 3 <s>4</s> 5 <s>6</s>
  7 8 9 10 11 12 
6. ''х'' = 2. ''xn'' + 1 = 2 · 6 + 1 = 13. (''x'' + 1) ''n'' = (2 + 1) · 6 = 18. Виписуються числа від 13 до18 та повторюються наступні рядки:
  1 2 3 <s>4</s> 5 <s>6</s>
  7 8 9 10 11 12
 13 14 15 16 17 18
 19 20 21 22 23 24
 25 26 27 28 29 30 
7 і 8. Просіювання:
  <s>1</s> 2 3 <s>4</s> 5 <s>6</s>
  7 <s>8</s> <s>9</s> 10 11 12
 13 <s>14</s> <s>15</s> 16 17 18
 19 <s>20</s> <s>21</s> 22 23 24
 25 <s>26</s> <s>27</s> 28 29 30 
9. Просіювання
  <s>1</s> 2 3 <s>4</s> 5 <s>6</s>
  7 <s>8</s> <s>9</s> <s>10</s> 11 <s>12</s>
 13 <s>14</s> <s>15</s> <s>16</s> 17 <s>18</s>
 19 <s>20</s> <s>21</s> <s>22</s> 23 <s>24</s>
 25 <s>26</s> <s>27</s> <s>28</s> 29 <s>30</s> 
10. Отриманий список містить непросте число 25, яке є повним квадратом числа 5. Необхідно використати інші методи, такі як сито, щоб позбутися нього в остаточному списку
  2 3 5 7 11 13 17 19 23 29 
Зауважимо, що, використовуючи точно наступне просте число з 5 циклів коліс та виключаючи кращі (і) цього простих (і тільки цього простих) із отриманого списку, ми отримали базове колесо, як на кроці 4, для колеса факторизації з базою простих чисел 2, 3 і 5; це одне колесо до попереднього 2/3 колеса факторизації. Потім можна виконати кроки до кроку 10, використовуючи наступний простір 7 циклів і виключивши лише кратні 7 із результуючого списку на етапі 10 (залишаючи в цьому випадку деякі «відносні» прості числа та всі послідовні випадки&nbsp;— тобто деякі не відповідають дійсності повністю кваліфікований прості), щоб отримати наступне подальше вдосконалене колесо, рекурсивно повторюючи кроки в міру необхідності для отримання послідовно більших коліс.

== Аналіз та комп'ютерна реалізація ==
Формально метод використовує наступні припущення: по-перше, набір базових простих чисел, об'єднаних з його (нескінченним) набором копійм, є надмножиною простих чисел; по-друге, нескінченний набір копрімесів можна легко перерахувати від копій до базового набору між 2 та базовим набором добутку. (Зверніть увагу, що 1 вимагає спеціального поводження.)

Як видно з наведеного вище прикладу, результатом повторних застосувань вищевказаної рекурсивної процедури від кроків 4 до 10 може бути список коліс, який охоплює будь-який бажаний діапазон просіювання (до якого він може бути усічений), а отриманий список потім включає лише кратні простих чисел, що перевищує останні минулі базові прайми.

Зауважте, що коли колесо проходить бажану верхню межу діапазону просіювання, можна зупинити генерування подальших коліс і використовувати інформацію на цьому колесі для скидання решти складених номерів із цього останнього списку коліс, використовуючи техніку типу «Сито Ератостена», але використовуючи проміжок візерунок, притаманний колесо, щоб уникнути зайвих скибочок; деякі оптимізації можуть бути здійснені виходячи з того, що (буде доведено в наступному розділі), що не буде повторного відсікання будь-якого складеного числа: кожен залишився композит буде викреслений рівно один раз. Крім того, можна продовжувати генерувати усічені списки коліс, використовуючи праймери до квадратного кореня потрібного діапазону сит, і в цьому випадку всі решти представлених чисел у колесі будуть простими; однак, хоча цей метод настільки ефективний, що ніколи не відкидати складені числа більше одного разу, він втрачає багато часу поза звичайно розглянутими операціями відсікання при обробці послідовних зачисток колеса, щоб зайняти набагато більше часу. Усунення складених чисел за допомогою колеса факторизації засноване на наступному: З огляду на число k> n, ми знаємо, що k не є простим, якщо k mod n і n не є відносно простими. З цього можна визначити частку чисел, яку усуває ситове колесо (хоча не всі потрібно фізично вражати; багато хто може автоматично сбиватися при операціях копіювання менших коліс на більші колеса) як 1&nbsp;— [[Функція Ейлера|phi]] (n) / n, що також є ефективністю сита.

Відомо, що

: <math>
\lim\inf\frac{\varphi(n)}{n}\log\log n = e^{-\gamma}\sim 0.56145948,
</math>

де γ&nbsp;— константа Ейлера. Таким чином, phi (n) / n повільно йде до нуля, оскільки n збільшується до нескінченності, і видно, що ця ефективність дуже повільно підвищується до 100&nbsp;% для нескінченно великого n. З властивостей phi легко видно, що найефективніше сито менше x&nbsp;— це те, де <math> n = p_1 p_2 ... p_i < x </math>і <math> n  p_{i+1} \geq x </math>&nbsp;(тобто генерація колеса може зупинитися, коли пройде останнє колесо або має достатню окружність, щоб включити найбільшу кількість в діапазон просіювання).

Щоб максимально використати на комп'ютері, ми хочемо, щоб числа були меншими за n і відносно простими для нього у вигляді набору. Використовуючи декілька спостережень, безліч можна легко створити :

# Починати з <math> S_1 = \{1\} </math>, для якого встановлено <math> n=1 </math> з 2 як перше просте число. Цей початковий набір означає, що всі числа, що починаються з двох та вгору, включаються як «відносні» прості числа, оскільки окружність колеса дорівнює 1.
# Наступні набори є <math> S_2 = \{1\} </math> що означає, що вона починається з 3 для всіх непарних чисел з усуненими множниками 2 (окружність 2),<math> S_6 = \{1,5\} </math>має усунені фактори 2 та 3 (окружність 6), як для початкового базового колеса у наведеному вище прикладі тощо.
# Нехай <math> S_n + k </math> буде множина, де k було додано до кожного елемента <math> S_n </math>.
# Потім <math>S_{n p_{i+1}} = F_{p_{i + 1}} [S_n \cup  S_n + n \cup S_n + 2n \cup ... \cup S_n + n (p_{i+1} - 1)]</math> де <math> F_x </math>являє собою операцію видалення всіх кратних x.
# 1 та <math> p_{i+1} </math> будуть дві найменші з <math> S_n </math> коли <math> n > 2 </math> усуваючи необхідність окремо обчислювати прості числа, хоча алгоритм повинен вести облік всіх усунених базових простих чисел, які більше не включаються до наступних наборів.
# Усі множини, де окружність n > 2 аповторно симетричні навколповторно симетричні навколо<math> n / 2 </math>, зниження вимог до зберігання. Наступний алгоритм не використовує цей факт, але він ґрунтується на тому, що проміжки між послідовними числами в кожному наборі симетричні навколо половини точки шляху.

== Див. також ==
* [[Решето Ератосфена]]
* [[Решето Сундарама]]

== Список літератури ==
{{примітки}}

== Посилання ==

* [http://primes.utm.edu/glossary/page.php?sort=WheelFactorization Wheel factorization] {{Webarchive|url=https://web.archive.org/web/20190804173113/https://primes.utm.edu/glossary/page.php?sort=WheelFactorization |date=4 серпня 2019 }}
* {{cite journal
 |url          = http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.835
 |title        = Improved Incremental Prime Number Sieves
 |author       = Paul Pritchard
 |year         = May 1994
 |pages        = 280—288
 |publisher    = Springer-Verlag
 |journal      = Proceedings of the First International Symposium on Algorithmic Number Theory
 |series       = ANTS-I
 |ref          = Pritchard94improvedincremental
 |accessdate   = 4 серпня 2019
 |archive-date = 15 травня 2013
 |archive-url  = https://web.archive.org/web/20130515121309/http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.835
}}

{{Алгоритми теорії чисел}}

[[Категорія:Теорія решіт]]
[[Категорія:Прості числа]]