結果
| 問題 | 
                            No.3030 Kruskal-Katona
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2025-02-21 21:47:38 | 
| 言語 | C#  (.NET 8.0.404)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 1,034 ms / 2,000 ms | 
| コード長 | 2,106 bytes | 
| コンパイル時間 | 11,450 ms | 
| コンパイル使用メモリ | 176,096 KB | 
| 実行使用メモリ | 193,004 KB | 
| 最終ジャッジ日時 | 2025-02-21 21:47:56 | 
| 合計ジャッジ時間 | 13,327 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 27 | 
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (116 ミリ秒)。 main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.0/publish/
ソースコード
#nullable enable
using System.Numerics;
void Run()
{
    long n = Int();
    var i = Int();
    long C(int l, int r)
    {
        BigInteger res = 1;
        for (var k = 0; k < r; k++) res *= l - k;
        for (var k = 2; k <= r; k++) res /= k;
        return (long)res;
    }
    var ans = new List<int>();
    while (n > 0)
    {
        var last = 0L;
        var ll = i;
        while (true)
        {
            var lk = C(ll, i);
            if (lk > n) break;
            last = lk;
            ll++;
        }
        n -= last;
        ans.Add(--ll);
        --i;
    }
    Out(ans, " ");
}
#region
AtCoderIO _io_;
var _backend_ = new StandardIOBackend();
_io_ = new(){ Backend = _backend_ };
Run();
_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; }
    Memory<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();
}