A tarefa:

Emita um valor para x, onde a mod x = bpara dois valores fornecidos a,b.

Suposição

• ae bsempre serão inteiros positivos
• Nem sempre haverá uma solução para x
• Se existirem várias soluções, produza pelo menos uma delas.
• Se não houver soluções, não produza nada ou alguma indicação de que não existem soluções.
• Incorporados são permitidos (não tão divertidos quanto outras abordagens matemáticas)
• As saídas são sempre números inteiros

Exemplos

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

Isso é código-golfe , então os bytes mais baixos vencem.

JavaScript , 28 27 26 24 23 bytes

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

Experimente online!

false indica nenhuma solução.

-1 graças @Arnauld

MATL , 6 bytes

tQ:\=f

Experimente online! Ou verifique todos os casos de teste .

Explicação

Considere entradas 8, 2como um exemplo.

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 bytes

^{-6 bytes graças ao Bubbler}

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

Experimente online!

Gelatina , 5 bytes

‘R⁸%i

Retorna o mínimo válido x ou 0 se não houver nenhum.

Experimente online!

Groovy, 48 bytes (usando interno):

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

Eval.me(...+"g") - Afixa "g" à entrada, tornando-a um BigInteger.

modInverse(...) - Executa a operação do módulo inverso.

Java 8, 70 bytes

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

R , 33 28 bytes

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

Experimente online!

-4 bytes graças a Jarko Dubbeldam.

-1 byte graças a Giuseppe.

Retorna NAse não houver solução. O TIO não possui a biblioteca pryr instalada; portanto, o código nesse link é usado function(a,b).

Geléia , 11 10 bytes

³%_⁴
r‘ÇÐḟ

Um programa completo usando os dois números inteiros positivos ae b, e imprimindo uma lista das soluções inteiras entre min(a,b)+1e max(a,b)+1inclusive.

Experimente online!

Mathematica 36 Bytes

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

Entrada:

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

Resultado:

{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 bytes

Falha no code.hs: out of memory (requested ??? bytes)caso de não haver solução (o tempo limite do TIO expirou antes):

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

Experimente online!

^{Obrigado em Ørjan Johansen por detectar um erro!}

C # (compilador Mono C #) , 57 56 26 bytes

Resposta do Python do Porto de Rod . Graças à WW por -1 byte.

ENORME graças a Kevin Cruijssen por -30 bytes.

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

Experimente online!

Pitão, 16 bytes

hhx!0mqeQ%hQdShh

Experimente online!

Todos os casos de teste

Recebe entrada como [a, b], erros se nenhuma solução for encontrada. Revisará se erros não forem permitidos.

APL (Dyalog Unicode) , 19 bytes

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

Experimente online!

Golfe em andamento ...

Mathematica, 28 bytes

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

PHP> = 7.1, 51 bytes

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

Versão Online

Axioma, 147 128 bytes

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])

ungolf-lo e testar

--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

Isso encontraria toda a solução, mesmo a solução de conjunto infinito ...

Pip , 9 bytes

a%,a+2@?b

Toma os dois números como argumentos da linha de comando. Produz a menor solução, ou nulo se não houver solução. Experimente online!

Explicação

           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)

Por exemplo, com entrada de 8e 2:

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

O índice baseado em 0 da primeira ocorrência 2desta lista é 3: qual é a nossa solução.

J , 14 bytes

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

Experimente online!

Tradução da solução Rod's Python 2 .

Como funciona

Os casos raros em que um código J pode ser traduzido diretamente para Python.

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

Japonês , 13 bytes

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

Experimente online!

Tradução da solução JS de eush77 .

O código é justamente (U-=V)?U>V&&U:-~Vquando transpilado para JS, onde Ue Vsão os dois valores de entrada.

Ruby , 31 bytes

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

Experimente online!

Japonês , 7 bytes

(Eventualmente) Saídas undefinedse não houver solução.

@%X¥V}a

Experimente aqui

Perl 6 , 23 bytes

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

Experimente online!

Bloco de código anônimo que retorna uma lista de valores possíveis de 2atéa+1

ORK , 566 bytes

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

Experimente online!

O bjeta R K ool. Felizmente, no entanto, não precisei usar nenhum (além dos incorporados) para esta tarefa.

F #, 40 bytes

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

Experimente online!

Bem direto. Lança a System.Collections.Generic.KeyNotFoundExceptionse nenhuma solução puder ser encontrada.

Você também pode modificá-lo para Seq.tryFind, que retornará um int option, com Nonese nenhuma solução puder ser encontrada.

05AB1E , 7 bytes

>Lʒ¹s%Q

Experimente online ou verifique todos os casos de teste .

Explicação:

>          # 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 bytes

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

Porto da resposta C # do @Epicness ' , depois que eu joguei um pouco mais.

Experimente online.

> <> , 21 bytes

Mesmo truque que a maioria das soluções publicadas. Primeiro, preparamos todos os valores necessários na pilha e depois checamos as comparações.

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

Experimente online!

Sussurros v2 , 128 bytes

> 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

Experimente online!

$\emptyset$

Como funciona

Sem surpresa, ele funciona quase de forma idêntica à maioria das outras respostas: gera uma lista de números e verifica cada um quanto ao módulo inverso com o argumento.

Se você estiver familiarizado com o funcionamento da estrutura do programa Whispers, fique à vontade para pular para a linha horizontal. Caso contrário: essencialmente, o Whispers funciona em um sistema de referência linha por linha, iniciando na linha final. Cada linha é classificada como uma das duas opções. Ou é uma linha sem linha ou é uma linha de operador .

As linhas Nilad começam com >, como > Inputou, > {0}e retornam o valor exato representado nessa linha, ou seja, > {0}retorna o conjunto$\{0\}$> Input

>>>> 1²>> (3]²$n \to n^2$>> 1²$1^2$

Geralmente, as linhas do operador funcionam apenas usando números como referências, mas você pode ter notado as linhas >> L=2e>> L⋅R . Esses dois valores Le Rsão usados ​​em conjunto com Eachinstruções. EachAs instruções funcionam usando dois ou três argumentos, novamente como referências numéricas. O primeiro argumento (por exemplo 5) é uma referência a uma linha de operador que utiliza uma função, e o restante dos argumentos são matrizes. Em seguida, iteramos a função sobre a matriz, onde a Le Rna função representam os elementos atuais nas matrizes que estão sendo iteradas. Como um exemplo:

$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]$

Experimente online!

Como este código funciona

Trabalhando contra-intuitivamente como o Whispers funciona, começamos pelas duas primeiras linhas:

> Input
> Input

$x$$y$$x^2$$A := [1 ... x^2]$

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

>> Each 5 4$B := [i \: \% \: x \: | \: i \in A]$$a \: \% \: b$$a$$b$

>> Each 6 7$B$$C := [(i \: \% \: x) = y \: | \: i \in A]$

$x = 5, y = 2$$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]$

Em seguida, pulamos para

>> L⋅R
>> Each 9 4 8

Each>> L⋅R$A$$C$$A$$C$$E$

$0$$x$$y$$0$>> {10}$\{0\}$

C #, 53 bytes (83 com cabeçalho de função)

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

Experimente Online

Primeira tentativa no codegolf. Provavelmente não é o melhor idioma para usar, nem a codificação mais eficiente.