Визначення

Квадратичні залишки

Ціле число називається квадратичним модулем залишку якщо існує ціле число таке, що:$r$n x$n$$x$

$$x^2\equiv r \pmod n$$

Набір квадратичних залишків за модулем $n$ можна просто обчислити, переглянувши результати $x^2 \bmod n$ за $0 \le x \le \lfloor n/2\rfloor$ .

Послідовність виклику

Ми визначаємо $a_n$ як мінімальну кількість $(r_0-r_1+n) \bmod n$ однакового значення (r_0-r_1 + n) \ bmod n для всіх пар $(r_0,r_1)$ квадратичних залишків за модулем $n$ .

Перші 30 термінів:

$$1, 2, 1, 1, 1, 2, 2, 1, 1, 2, 3, 1, 3, 4, 1, 1, 4, 2, 5, 1, 2, 6, 6, 1, 2, 6, 2, 2, 7, 2$$

Це A316975 (подано власноруч).

Приклад: $n=10$

Квадратичні залишки за модулем $10$ дорівнюють $0$ , $1$ , $4$ , $5$ , $6$ і $9$ .

Для кожної пари $(r_0,r_1)$ цих квадратичних залишків обчислюємо $(r_0-r_1+10) \bmod 10$ , що веде до наступної таблиці (де $r_0$ зліва, а $r_1$ вгорі):

$$\begin{array}{c|cccccc} & 0 & 1 & 4 & 5 & 6 & 9\\ \hline 0 & 0 & 9 & 6 & 5 & 4 & 1\\ 1 & 1 & 0 & \color{blue}7 & 6 & 5 & \color{green}2\\ 4 & 4 & \color{magenta}3 & 0 & 9 & \color{red}8 & 5\\ 5 & 5 & 4 & 1 & 0 & 9 & 6\\ 6 & 6 & 5 & \color{green}2 & 1 & 0 & \color{blue}7\\ 9 & 9 & \color{red}8 & 5 & 4 & \color{magenta}3 & 0 \end{array}$$

Мінімальна кількість випадків одного і того ж значення у наведеній вище таблиці - (для , , та ). Тому .$2$$\color{green}2$$\color{magenta}3$$\color{blue}7$$\color{red}8$$a_{10}=2$

Ваше завдання

• Ви можете:

  • візьміть ціле число та надрукуйте або поверніть (або 0-індексований, або 1-індексований)$n$$a_n$
  • візьміть ціле число та роздрукуйте або поверніть перших доданків послідовності$n$$n$
  • не беруть жодного вводу і друкують послідовність назавжди
• Ваш код повинен мати можливість обробити будь-яке з 50 перших значень послідовності менше ніж за 1 хвилину.
• Враховуючи достатньо часу та пам'яті, ваш код теоретично повинен працювати для будь-якого додатного цілого числа, підтримуваного вашою мовою.
• Це код-гольф .

MATL , 14 байт

:UG\u&-G\8#uX<

Спробуйте в Інтернеті! Або перевірте перші 30 значень .

Пояснення

:      % Implicit input. Range
U      % Square, element-wise
G      % Push input again
\      % Modulo, element-wise
u      % Unique elements
&-     % Table of pair-wise differences
G      % Push input
\      % Modulo, element-wise
8#u    % Number of occurrences of each element
X<     % Minimum. Implicit display

Japt -g , 22 20 байт

Занадто довго витратившись на з'ясування того, у чому полягає насправді проблема, не вистачило часу для подальшого гольфу: \

Виводить цей nдодаток у послідовності. Починає боротися при введенні >900.

õ_²uUÃâ ïÍmuU
£è¥XÃn

Спробуйте або перевірте результати на 0-50

---

Пояснення

                  :Implicit input of integer U
õ                 :Range [1,U]
 _                :Map
  ²               :  Square
   uU             :  Modulo U
     Ã            :End map
      â           :Deduplicate
        ï         :Cartesian product of the resulting array with itself
         Í        :Reduce each pair by subtraction
          m       :Map
           uU     :  Absolute value of modulo U
\n                :Reassign to U
£                 :Map each X
 è                :  Count the elements in U that are
  ¥X              :   Equal to X
    Ã             :End map
     n            :Sort
                  :Implicitly output the first element in the array

Желе ,  13  10 байт

-1 завдяки Деннісу (змушує діадичну інтерпретацію з ведучими ð)
-2 ще більше завдяки Деннісу (оскільки пари можуть бути дублюються, ми можемо уникати Rі а 2)

ðp²%QI%ĠẈṂ

Монадична посилання, що приймає додатне ціле число, яке дає невід'ємне ціле число.

Спробуйте в Інтернеті! Або подивіться перші 50 термінів .

Як?

ðp²%QI%ĠẈṂ - Link: integer, n                   e.g. 6
ð          - start a new dyadic chain - i.e. f(Left=n, Right=n)
 p         - Cartesian product of (implicit ranges)  [[1,1],[1,2],[1,3],[1,4],[1,5],[1,6],[2,1],[2,2],[2,3],[2,4],[2,5],[2,6],[3,1],[3,2],[3,3],[3,4],[3,5],[3,6],[4,1],[4,2],[4,3],[4,4],[4,5],[4,6],[5,1],[5,2],[5,3],[5,4],[5,5],[5,6],[6,1],[6,2],[6,3],[6,4],[6,5],[6,6]]
  ²        - square (vectorises)                     [[1,1],[1,4],[1,9],[1,16],[1,25],[1,36],[4,1],[4,4],[4,9],[4,16],[4,25],[4,36],[9,1],[9,4],[9,9],[9,16],[9,25],[9,36],[16,1],[16,4],[16,9],[16,16],[16,25],[16,36],[25,1],[25,4],[25,9],[25,16],[25,25],[25,36],[36,1],[36,4],[36,9],[36,16],[36,25],[36,36]]
   %       - modulo (by Right) (vectorises)          [[1,1],[1,4],[1,3],[1,4],[1,1],[1,0],[4,1],[4,4],[4,3],[4,4],[4,1],[4,0],[3,1],[3,4],[3,3],[3,4],[3,1],[3,0],[4,1],[4,4],[4,3],[4,4],[4,1],[4,0],[1,1],[1,4],[1,3],[1,4],[1,1],[1,0],[0,1],[0,4],[0,3],[0,4],[0,1],[0,0]]
    Q      - de-duplicate                            [[1,1],[1,4],[1,3],[1,0],[4,1],[4,4],[4,3],[4,0],[3,1],[3,4],[3,3],[3,0],[0,1],[0,4],[0,3],[0,0]]
     I     - incremental differences (vectorises)    [0,3,2,-1,-3,0,-1,-4,-2,1,0,-3,1,4,3,0]
      %    - modulo (by Right) (vectorises)          [0,3,2,5,3,0,5,2,4,1,0,3,1,4,3,0]
       Ġ   - group indices by value                  [[1,6,11,16],[10,13],[3,8],[2,5,12,15],[9,14],[4,7]]
        Ẉ  - length of each                          [3,2,2,4,2,2]
         Ṃ - minimum                                 2

05AB1E , 22 20 15 13 байт

LnI%êãÆI%D.m¢

-2 байти завдяки @Mr. Xcoder .

Спробуйте в Інтернеті або перевірте перші 99 тестових випадків (приблизно за 3 секунди) . (ПРИМІТКА. Спадкова версія Python використовується в TIO замість нового перезапису Elixir. Це приблизно в 10 разів швидше, але потрібен трейлінг ¬(голова), оскільки .mповертає список замість одного елемента, який я додав у колонтитул.)

Пояснення:

L       # Create a list in the range [1, (implicit) input]
 n      # Square each
  I%    # And then modulo each with the input
    ê   # Sort and uniquify the result (faster than just uniquify apparently)
 ã      # Create pairs (cartesian product with itself)
  Æ     # Get the differences between each pair
   I%   # And then modulo each with the input
D.m     # Take the least frequent number (numbers in the legacy version)
   ¢    # Take the count it (or all the numbers in the legacy version, which are all the same)
        # (and output it implicitly)

C (gcc) , 202 200 190 188 187 186 байт

• Збережені дві книги формату в дванадцятій частці аркуша 14 п'ятнадцять байти завдяки ceilingcat .
• Збережено байт.

Q(u,a){int*d,*r,A[u],t,i[a=u],*c=i,k;for(;a--;k||(*c++=a*a%u))for(k=a[A]=0,r=i;r<c;)k+=a*a%u==*r++;for(r=c;i-r--;)for(d=i;d<c;++A[(u+*r-*d++)%u]);for(t=*A;++a<u;t=k&&k<t?k:t)k=A[a];u=t;}

Спробуйте в Інтернеті!

Python 2 , 97 байт

def f(n):r={i*i%n for i in range(n)};r=[(s-t)%n for s in r for t in r];return min(map(r.count,r))

Спробуйте в Інтернеті!

К (нг / к) , 29 байт

{&/#:'=,/x!r-\:r:?x!i*i:!x}

Спробуйте в Інтернеті!

{ } функція з аргументом x

!xцілі числа від 0доx-1

i: призначити i

x! мод x

? унікальний

r: призначити r

-\: відняти з кожного зліва

r-\:r матриця всіх відмінностей

x! мод x

,/ з'єднати рядки матриці

= група, повертає словник з унікальних значень до списків індексів виникнення

#:' довжина кожного значення в словнику

&/ мінімум

Мова Вольфрама (Mathematica) , 64 байти

Min[Last/@Tally@Mod[Tuples[Union@Mod[Range@#^2,#],2].{1,-1},#]]&

Спробуйте в Інтернеті!

Рубін , 88 байт

->n{(z=(w=(0..n).map{|x|x*x%n}|[]).product(w).map{|a,b|(a-b)%n}).map{|c|z.count(c)}.min}

Спробуйте в Інтернеті!

APL (Dyalog Unicode) , 28 24 байти

{⌊/⊢∘≢⌸∊⍵|∘.-⍨∪⍵|×⍨⍳⍵+1}

Спробуйте в Інтернеті!

Пряма функція префікса. Використання ⎕IO←0.

Завдяки кряканню корів на 4 байти!

Як:

{⌊/⊢∘≢⌸∊⍵|∘.-⍨∪⍵|×⍨⍳⍵+1} ⍝ Dfn, argument ⍵

                   ⍳⍵+1 ⍝ Range [0..⍵]
                 ×⍨     ⍝ Squared
               ⍵|       ⍝ Modulo ⍵
              ∪         ⍝ Unique
          ∘.-⍨          ⍝ Pairwise subtraction table
       ∊⍵|              ⍝ Modulo ⍵, flattened
      ⌸                 ⍝ Key; groups indices (in its ⍵) of values (in its ⍺).
   ⊢∘≢                  ⍝ Tally (≢) the indices. This returns the number of occurrences of each element.
 ⌊/                      ⍝ Floor reduction; returns the smallest number.