Задание:

Выведите значение для x, где a mod x = bдля двух заданных значений a,b.

предположение

• aи bвсегда будут положительными целыми числами
• Там не всегда будет решение для x
• Если существует несколько решений, выведите хотя бы одно из них.
• Если решений нет, ничего не выводите или указывайте, что решений не существует.
• Разрешены встроенные модули (не так весело, как другие математические подходы)
• Выходы всегда целые

Примеры

A, B >> POSSIBLE OUTPUTS

5, 2 >> 3
9, 4 >> 5
8, 2 >> 3, 6
6, 6 >> 7, (ANY NUMBER > 6)
8, 7 >> NO SOLUTION
2, 4 >> NO SOLUTION
8, 5 >> NO SOLUTION
10,1 >> 3, 9

Это код-гольф , поэтому побеждают младшие байты.

JavaScript , 28 27 26 24 23 байта

a=>b=>(a-=b)?a>b&&a:b+1

Попробуйте онлайн!

false указывает на отсутствие решения.

-1 спасибо @Arnauld

MATL , 6 байтов

tQ:\=f

Попробуйте онлайн! Или проверьте все тестовые случаи .

объяснение

Рассмотрим входы 8, в 2качестве примера.

t    % Implicit input. Duplicate                STACK: 8, 8
Q    % Add 1                                    STACK: 8, 9
:    % Range                                    STACK: 8, [1 2 3 4 5 6 7 8 9]
\    % Modulo                                   STACK: [0 0 2 0 3 2 1 0 8]
=    % Implicit input. Equality comparison      STACK: [0 0 1 0 0 1 0 0 0]
f    % Indices of nonzeros. Implicit display    STACK: [3 6]

Python 2 , 40 34 байта

^{-6 байт благодаря Bubbler}

lambda a,b:[(a==b)*-~a,a-b][a>b*2]

Попробуйте онлайн!

Желе , 5 байт

‘R⁸%i

Возвращает минимальное действительное значение x или 0 , если его нет.

Попробуйте онлайн!

Groovy, 48 байт (с использованием встроенного):

{a,b->Eval.me(a+"g").modInverse(Eval.me(b+"g"))}

Eval.me(...+"g") - Прикрепляет «g» к входу, делая его BigInteger.

modInverse(...) - Выполняет обратную операцию по модулю.

Java 8, 70 байт

{a,b->return BigInteger.valueOf(a).modInverse(BigInteger.valueOf(b));}

R , 33 28 байт

pryr::f(match(b,a%%1:(a+1)))

Попробуйте онлайн!

-4 байта благодаря Ярко Дуббелдаму.

-1 байт благодаря Джузеппе.

Возвращает, NAесли нет решения. В TIO не установлена ​​библиотека pryr, поэтому function(a,b)вместо этого используется код по этой ссылке .

Желе , 11 10 байт

³%_⁴
r‘ÇÐḟ

Полная программа , содержащая два положительных целых числа aи bраспечатывающая список целочисленных решений между min(a,b)+1и max(a,b)+1включительно.

Попробуйте онлайн!

Mathematica 36 байт

a_±b_:=Select[Range[9a],a~Mod~#==b&]

Входные данные:

5 ± 2
9 ± 4
8 ± 2
6 ± 6
8 ± 7
2 ± 4
8 ± 5
10 ± 1

Выход:

{3}
{5}
{3, 6}
{7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, \
25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, \
42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54}
{}
{}
{}
{3, 9}

Haskell , 33 байта

Сбой code.hs: out of memory (requested ??? bytes)при отсутствии решения (тайм-аут на TIO до этого):

a!b=[x|x<-[b+1..],mod(a-b)x<1]!!0

Попробуйте онлайн!

^{Спасибо Орджану Йохансену за обнаружение ошибки!}

C # (моно C # компилятор) , 57 56 26 байт

Порт Питона ответ Python. Спасибо WW за -1 байт.

Огромное спасибо Кевину Круйссену за -30 байтов.

a=>b=>a-b>b?a-b:a==b?a+1:0

Попробуйте онлайн!

Pyth, 16 байт

hhx!0mqeQ%hQdShh

Попробуйте онлайн!

Все тесты

Принимает ввод как [a, b], ошибки, если решение не найдено. Будет пересмотрен, если ошибки не допускаются.

APL (Dyalog Unicode) , 19 байт

A←{(⍳⍵+1)/⍨⍺=⍵|⍨⍳⍵+1}

Попробуйте онлайн!

Гольф в прогрессе ...

Mathematica, 28 байт

Which[#>2#2,#-#2,#==#2,#+1]&

PHP> = 7.1, 51 байт

for([,$a,$b]=$argv;++$x<2*$a;)$a%$x!=$b?:print$x._;

Онлайн версия

Аксиома, 147 128 байтов

g(a:PI,c:PI):Union(List PI,Stream INT)==(a<c=>[];r:=a-c;r=0=>expand((a+1..)::UniversalSegment INT);[b for b in divisors(r)|b>c])

раскрутить и проверить

--a%b=c return all possible b
f(a:PI,c:PI):Union(List PI, Stream INT)==
    a<c=>[]
    r:=a-c
    r=0=>expand((a+1..)::UniversalSegment INT)
    [b  for b in divisors(r)|b>c]

(3) -> [[i,j,g(i,j)] for i in [5,9,8,6,8,2,8,10] for j in [2,4,2,6,7,4,5,1]]
   (3)
   [[5,2,[3]], [9,4,[5]], [8,2,[3,6]], [6,6,[7,8,9,10,11,12,13,14,15,16,...]],
    [8,7,[]], [2,4,[]], [8,5,[]], [10,1,[3,9]]]
                                                      Type: List List Any

Это найдет все решение, даже решение с бесконечным множеством ...

Пип , 9 байт

a%,a+2@?b

Принимает два числа в качестве аргументов командной строки. Выводит наименьшее решение или ноль, если решения не существует. Попробуйте онлайн!

объяснение

           a, b are cmdline args (implicit)
  ,a+2     Range from 0 up to but not including a+2
a%         Take a mod each of those numbers
           (Note that a%0 returns nil; it emits a warning, but only if warnings are turned on)
      @?b  Find the index of the first occurrence of b in this list, or nil if it doesn't occur
           Autoprint (implicit)

Например, с вводом 8и 2:

   a+2   10
  ,      [0 1 2 3 4 5 6 7 8 9]
a%       [() 0 0 2 0 3 2 1 0 8]

Основанный на 0 индекс первого вхождения 2в этом списке - 3это наше решение.

J , 14 байт

(->]){-,~=*1+]

Попробуйте онлайн!

Перевод решения Rod's Python 2 .

Как это устроено

Редкие случаи, когда J-код может быть напрямую переведен на Python.

(->]){-,~=*1+]  <=>  [(a==b)*(1+b),a-b][a-b>b]
         =*1+]        (a==b)*(1+b)
      -,~            [            ,a-b]
     {                                 [     ]
(->])                                   a-b>b

Japt , 13 байт

UµV ?U>V©U:ÒV

Попробуйте онлайн!

Перевод решения eush77's JS .

Код только (U-=V)?U>V&&U:-~Vкогда передается в JS, где Uи Vявляются двумя входными значениями.

Рубин , 31 байт

->a,b{(1..a+1).find{|x|a%x==b}}

Попробуйте онлайн!

Japt , 7 байт

(В конце концов) Выводы, undefinedесли нет решения.

@%X¥V}a

Попробуй здесь

Perl 6 , 23 байта

{grep $^a%*==$^b,^$a+2}

Попробуйте онлайн!

Блок анонимного кода, который возвращает список возможных значений от 2доa+1

ORK , 566 байт

When this program starts:
I have a inputter called I
I have a number called a
I have a number called b
I is to read a
I is to read b
I have a mathematician called M
M's first operand is a
M's second operand is b
M is to subtract
I have a number called n
n is M's result
M's first operand is b
M's second operand is n
M is to compare
I have a scribe called W
If M says it's less then W is to write n
If M says it's less then W is to write "\n"
M's second operand is a
M is to compare
If M says it's equal then W is to write a
If M says it's equal then W is to write a

Попробуйте онлайн!

О bjects R K оол. К счастью, однако, мне не нужно было использовать какие-либо (кроме встроенных) для этой задачи.

F #, 40 байт

let m a b=Seq.find(fun x->a%x=b){1..a+1}

Попробуйте онлайн!

Довольно просто. Сбрасывает, System.Collections.Generic.KeyNotFoundExceptionесли не может быть найдено решение.

Вы также можете изменить его на Seq.tryFind, который будет возвращать int option, с, Noneесли решение не может быть найдено.

05AB1E , 7 байтов

>Lʒ¹s%Q

Попробуйте онлайн или проверьте все контрольные примеры .

Объяснение:

>          # First (implicit) input + 1
 L         # Create a range [1, n]
  ʒ        # Filter; only keep elements where:
   ¹s%     #  The first input modulo this value
      Q    #  Equals the second (implicit) input

Java 8, 26 байт

a->b->a-b>b?a-b:a==b?a+1:0

Порт @Epicness 'C # ответа , после того, как я играл в гольф немного больше.

Попробуйте онлайн.

> <> , 21 байт

Тот же трюк, что и в большинстве опубликованных решений. Сначала мы подготавливаем все необходимые значения в стеке, а затем проверяем сравнения.

::r::{-:{)?nr=?!;1+n;

Попробуйте онлайн!

Whispers v2 , 128 байт

> Input
> Input
>> 1²
>> (3]
>> 1%L
>> L=2
>> Each 5 4
>> Each 6 7
>> L⋅R
>> Each 9 4 8
> {0}
>> {10}
>> 12∖11
>> Output 13

Попробуйте онлайн!

Возвращает набор всех возможных решений и пустой набор (т.е. $\emptyset$) когда решения не существует.

Как это устроено

Неудивительно, что он работает почти так же, как и большинство других ответов: он генерирует список чисел и проверяет каждое из них на наличие обратного модуля с аргументом.

Если вы знакомы с тем, как работает структура программы Whispers, смело переходите к горизонтальной линии. Если нет: по сути, Whispers работает над построчной системой отсчета, начиная с последней строки. Каждая строка классифицируется как один из двух вариантов. Либо это линия nilad , либо это строка оператора .

Строки Nilad начинаются с >, например, > Inputи > {0}и возвращают точное значение, представленное в этой строке, т.е. > {0}возвращает набор$\{0\}$, > Inputвозвращает следующую строку STDIN, оценивается, если это возможно.

Строки оператора начинаются с >>, например, >> 1²и >> (3]и означают запуск оператора для одного или нескольких значений. Здесь используемые числа не ссылаются на эти явные числа, вместо этого они ссылаются на значение в этой строке. Например, ²есть квадратная команда ($n \to n^2$), поэтому >> 1²не возвращает значение$1^2$вместо этого он возвращает квадрат линии 1 , которая в данном случае является первым входом.

Обычно операторские строки работают только с использованием чисел в качестве ссылок, но вы, возможно, заметили строки >> L=2и >> L⋅R. Эти два значения, Lи R, используются в сочетании с Eachутверждениями. Eachоператоры работают, принимая два или три аргумента, опять же как числовые ссылки. Первый аргумент (например, 5) является ссылкой на строку оператора, в которой используется функция, а остальные аргументы являются массивами. Затем мы перебираем функцию по массиву, где Lи Rв функции представляют текущий элемент (ы) в массивах, которые перебираются. В качестве примера:

Позволять $A = [1, 2, 3, 4]$, $B = [4, 3, 2, 1]$ и $f(x, y) = x + y$, Предполагая, что мы запускаем следующий код:

> [1, 2, 3, 4]
> [4, 3, 2, 1]
>> L+R
>> Each 3 1 2

Затем мы получаем демонстрацию того, как Eachработают заявления. Во-первых, при работе с двумя массивами, мы застегиваем их$C = [(1, 4), (2, 3), (3, 2), (4, 1)]$ затем карта $f(x, y)$ по каждой паре, формируя наш окончательный массив $D = [f(1, 4), f(2, 3), f(3, 2), f(4, 1)] = [5, 5, 5, 5]$

Попробуйте онлайн!

Как работает этот код

Работая нелогично с тем, как работает Whispers, мы начнем с первых двух строк:

> Input
> Input

Это собирает наши два входа, скажем, $x$ и $y$и сохраняет их в строках 1 и 2 соответственно. Затем мы храним$x^2$в строке 3 и создать диапазон$A := [1 ... x^2]$по строке 4 . Далее переходим к разделу

>> 1%L
>> L=2
>> Each 5 4
>> Each 6 7

Первое , что выполняется здесь строка 7 , >> Each 5 4, который перебирает линии 5 по линии 4 . Это дает массив$B := [i \: \% \: x \: | \: i \in A]$, где $a \: \% \: b$определяется как модуль из$a$ и $b$,

Затем мы выполняем линию 8 , >> Each 6 7, которая итерирует линия 6 за кадром$B$, получая массив $C := [(i \: \% \: x) = y \: | \: i \in A]$,

Для входов $x = 5, y = 2$, we have $A = [1, 2, 3, ..., 23, 24, 25]$, $B = [0, 1, 2, 1, 0, 5, 5, ..., 5, 5]$ и $C = [0, 0, 1, 0, 0, ..., 0, 0]$

Затем мы спрыгиваем

>> L⋅R
>> Each 9 4 8

which is our example of a dyadic Each statement. Here, our function is line 9 i.e >> L⋅R and our two arrays are $A$ and $C$. We multiply each element in $A$ with it's corresponding element in $C$, which yields an array, $E$, where each element works from the following relationship:

We then end up with an array consisting of $0$s and the inverse moduli of $x$ and $y$. In order to remove the $0$s, мы конвертируем этот массив в набор (>> {10}), then take the set difference between this set and $\{0\}$, уступая, затем выводя, наш конечный результат.

C #, 53 байта (83 с заголовком функции)

static int F(int a, int b){
    for(int i=1;i<=a+1;i++){if(a%i==b)return i;}return 0;
}

Попробуйте онлайн

Сначала попробуйте на Codegolf. Вероятно, не лучший язык для использования и не самое эффективное кодирование.