3つの正の整数を考えるとa、bと、n（その最大値の言語で表現可能な最大の整数値です）、出力truthy値であればa ≡ b (mod n)falseyそれ以外の場合は、と。一致関係になじみのない人にとってa ≡ b (mod n)は、true a mod n = b mod n（または同等に(a - b) mod n = 0）です。

制限事項

• 組み込みの合同テスト方法は禁止されています
• 組み込みのモジュロ演算は禁止されています（これにはdivmod、商と剰余の両方を返すPythonの関数などの演算に加えて、割り切れる関数、剰余系関数などが含まれます）

テストケース

(1, 2, 3) -> False
(2, 4, 2) -> True
(3, 9, 10) -> False
(25, 45, 20) -> True
(4, 5, 1) -> True
(83, 73, 59) -> False
(70, 79, 29) -> False
(16, 44, 86) -> False
(28, 78, 5) -> True
(73, 31, 14) -> True
(9, 9, 88) -> True
(20, 7, 82) -> False

これはcode-golfなので、最短のコード（バイト単位）が優先され、タイブレーカーとして最も早く送信されます。

ゼリー、5バイト

_ÆD⁵e

禁止されていない他のものを多用することは許可されています。

オンラインでお試しください！

使い方

_ÆD⁵e  Main link. Left input: a. Right input: b. Additional input: n

_      Subtract b from a.
 ÆD    Compute all divisors of the difference.
   ⁵e  Test if n is among the divisors.

Python 2、27バイト

lambda a,b,n:(a-b)/n*n==a-b

a-bがの倍数であるかどうかをチェックします。これはでn除算されn、自動的にフローリングし、乗算して戻るnと同じ結果が得られるかどうかを確認します。

ジュリア、24バイト

f(a,b,n,t=a-b)=t÷n==t/n

これは、3つの整数を受け入れてブール値を返す関数です。

かどうかを単純にテスト- bは整数によってdivded Nに等しい- のBで割ったフロートN。これは、除算の余りがない場合に当てはまります。つまり、a - b | n、これはa - b（mod n）= 0 を意味します。

Pyth、7バイト

!@UQ-FE

Pythの循環インデックスを使用します。

  UQ         range(first line). [0,...,Q-1]
    -FE      Fold subtraction over the second line.
 @           Cyclic index UQ at -FE
!            Logical NOT

Haskell、23バイト

(a#b)n=div(a-b)n*n==a-b

使用例：(28#78)5-> True。

@xnorのanswerと同じメソッド。

Minkolang 0.15、14の 11バイト

nn-n$d:*=N.

ここで試してみてください！入力はとして期待されていa b nます。

説明：

n              Take number from input -> a
 n             Take number from input -> a, b
  -            Subtract               -> a-b
   n           Take number from input -> a-b, n
    $d         Duplicate stack        -> a-b, n, a-b, n
      :        Integer division       -> a-b, n, (a-b)//n
       *       Multiply               -> a-b, (a-b)//n*n
        =      1 if equal, 0 otherwise
         N.    Output as number and stop.

MATL、9バイト

Sdt:i*0hm

入力形式は

[a b]
n

オンラインでお試しください！

S     % implicitly input [a, b]. Sort this array
d     % compute difference. Gives abs(a-b)
t:    % duplicate and generate vector [1,2,...,abs(a-b)]; or [] if a==b
i*    % input n and multiply to obtain [n,2*n,...,abs(a-b)*n]; or []
0h    % concatenate element 0
m     % ismember function. Implicitly display

網膜、20

^(1+) \1*(1*) \1*\2$

入力は、順番にスペースで区切られた単項で与えられn a bます。真実の場合は1、偽の場合は0を出力します。

オンラインでお試しください。

10進数入力を希望する場合は、これを行うことができます。

\d+
$&$*1
^(1+) \1*(1*) \1*\2$

オンラインでお試しください。

APL、15バイト

{(⌊d)=d←⍺÷⍨-/⍵}

これは、左側にnを、右側にaおよびbを配列として受け入れる2項関数です。

ここでのアプローチは、ジュリアの答えと基本的に同じです。a - b / nがそれ自体の下限に等しいかどうかをテストします。これは、a - b（mod n）= 0の場合に真になります。

JavaScript（ES6）、27バイト

@CᴏɴᴏʀO'Bʀɪᴇɴが機能しないバージョンを投稿しました。これが、人々が「機能する」形で使用している「共通のアルゴリズム」です。

(a,b,n)=>n*(0|(a-b)/n)==a-b

「ワークス」という言葉は、引用符で囲まれています。これは、使用するショートカットがMath.floor()暗黙的に符号付き32ビット範囲の数値を切り捨てるためです。説明する。

CJam、7バイト

l~-\,=!

入力順はn a bです。

ここでテストしてください。

説明

l~  e# Read input and evaluate to push n, a and b onto the stack.
-   e# Subtract b from a.
\,  e# Swap with n and turn into range [0 1 ... n-1].
=   e# Get (a-b)th element from that range, which uses cyclic indexing. This is
    e# equivalent to modulo, and as opposed to the built-in % it also works correctly
    e# for negative (a-b).
!   e# Negate, because a 0 result from the previous computation means they are congruent.

Python 3、27バイト

lambda a,b,n:pow(a-b,1,n)<1

pow(x,y,n)計算する(x**y)%nので、これはちょうど(a-b)**1%nです。

ES6、28バイト

(a,b,n)=>!/\./.test((a-b)/n)

（ab）/ nの小数点を検索することで機能しますが、これは許可されています。

真剣に、10バイト

,,,-A│\)/=

入力をN\nA\nB\n（改行と区別するために使用される大文字）として受け取ります。

オンラインで試す

これは@AlexAの答えと同じ方法を使用します

説明（説明のために変数名として使用される大文字）：

,,,-A│\)/=
,,,         push N, A, B
   -A       push C = abs(A-B)
     │      duplicate entire stack (result is [N, C, N, C])
      \)/=  1 if C//N == C/N (floored division equals float division)

F＃、24バイト

fun a b n->(a-b)/n*n=a-b

@xnorのanswerと同じチェックを実装します。