結果

問題 No.3179 3 time mod
コンテスト
ユーザー tobisatis
提出日時 2025-06-13 21:25:23
言語 C#
(.NET 8.0.404)
結果
WA  
(最新)
AC  
(最初)
実行時間 -
コード長 2,679 bytes
コンパイル時間 8,207 ms
コンパイル使用メモリ 171,772 KB
実行使用メモリ 196,312 KB
最終ジャッジ日時 2025-06-14 01:38:38
合計ジャッジ時間 12,369 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 41 WA * 1
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (109 ミリ秒)。
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

#nullable enable

using System.Numerics;

void Run()
{
    var n = long.Parse(String());
    var mz = 3.Repeat(Int);
    var rz = 3.Repeat(Int);
    var y = Extensions.ChineseRemainderTheorem((rz[0], mz[0]), (rz[1], mz[1]), (rz[2], mz[2]));
    if (y == null)
    {
        Out(0);
        return;
    }
    var (r, m) = y.Value;
    var ans = (n - r) / m + 1;
    Out(Math.Max(ans, 0));
}

#region
var _io_ = new AtCoderIO(){ Backend = new() };
Run();
_io_.Backend.Flush();

string String() => _io_.Next();
int Int() => int.Parse(String());
void Out(object? x, string? sep = null) => _io_.Out(x, sep);

class AtCoderIO
{
    public required StandardIOBackend Backend { get; init; }

    ReadOnlyMemory<string> _input = Array.Empty<string>();
    int _iter = 0;
    public string Next()
    {
        while (_iter >= _input.Length) (_input, _iter) = (Backend.ReadLine().Split(' '), 0);
        return _input.Span[_iter++];
    }

    public void Out(object? x, string? separator = null)
    {
        if (x == null) return;
        separator ??= Environment.NewLine;
        if (x is System.Collections.IEnumerable a and not string)
        {
            var objects = a.Cast<object>();
            if (separator == Environment.NewLine && !objects.Any()) return;
            x = string.Join(separator, objects);
        }
        Backend.WriteLine(x);
    }
}

class StandardIOBackend
{
    readonly StreamReader _sr = new(Console.OpenStandardInput());
    readonly StreamWriter _sw = new(Console.OpenStandardOutput()) { AutoFlush = false };
    public string ReadLine() => _sr.ReadLine()!;
    public void WriteLine(object? value) => _sw.WriteLine(value);
    public void Flush() => _sw.Flush();
}
#endregion

static class Extensions
{
    public static T[] Repeat<T>(this int time, Func<T> F) => Enumerable.Range(0, time).Select(_ => F()).ToArray();

    public static (long r, long m)? ChineseRemainderTheorem(params (long r, long m)[] conditions)
    {
        static (long d, long x, long y) ExtendedGcd(long a, long b)
        {
            if (b == 0) return (a, 1, 0);
            var (d, x, y) = ExtendedGcd(b, a % b);
            return (d, y, x - a / b * y);
        }
        var (R, M) = (0L, 1L);
        for (var i = 0; i < conditions.Length; i++)
        {
            var (r, m) = conditions[i];
            if (m <= 0) return null;
            r %= m;
            if (r < 0) r += m;
            var (d, x, _) = ExtendedGcd(M, m);
            if ((r - R) % d != 0) return null;
            var p = m / d;
            R += M * ((r - R) / d * x % p);
            M *= p;
            R %= M;
            if (R < 0) R += M;
        }
        return (R, M);
    }

}
0