結果
| 問題 | No.2777 Wild Flush |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2024-06-07 21:25:53 |
| 言語 | C# (.NET 10.0.201) |
| 結果 |
AC
|
| 実行時間 | 62 ms / 2,000 ms |
| コード長 | 1,867 bytes |
| 記録 | |
| コンパイル時間 | 9,083 ms |
| コンパイル使用メモリ | 171,784 KB |
| 実行使用メモリ | 202,248 KB |
| 最終ジャッジ日時 | 2026-06-01 03:47:53 |
| 合計ジャッジ時間 | 10,024 ms |
|
ジャッジサーバーID (参考情報) |
judge2_0 / judge1_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 5 |
| other | AC * 24 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (108 ミリ秒)。 main -> /home/judge/data/code/bin/Release/net10.0/main.dll main -> /home/judge/data/code/bin/Release/net10.0/publish/
ソースコード
namespace AtCoder;
#nullable enable
using System.Numerics;
static class Extensions
{
public static T[] Repeat<T>(this int time, Func<T> F) => Enumerable.Range(0, time).Select(_ => F()).ToArray();
}
class AtCoder
{
object? Solve()
{
var n = Int();
var k = Int();
var d = new Dictionary<int, int>();
var z = 0;
for (var i = 0; i < n; i++)
{
var a = Int();
if (a == 0)
{
z++;
continue;
}
if (d.TryGetValue(a, out var v)) d[a] = v + 1;
else d[a] = 1;
}
var max = 0;
if (d.Count > 0) max = d.Values.Max();
return max + z >= k;
}
public static void Main() => new AtCoder().Run();
public void Run()
{
var res = Solve();
if (res != null)
{
if (res is bool yes) res = yes ? "Yes" : "No";
sw.WriteLine(res);
}
sw.Flush();
}
string[] input = Array.Empty<string>();
int iter = 0;
readonly StreamWriter sw = new(Console.OpenStandardOutput()) { AutoFlush = false };
string String()
{
while (iter >= input.Length) (input, iter) = (Console.ReadLine()!.Split(' '), 0);
return input[iter++];
}
T Input<T>() where T : IParsable<T> => T.Parse(String(), null);
int Int() => Input<int>();
void Out(object? x, string? separator = null)
{
separator ??= Environment.NewLine;
if (x is System.Collections.IEnumerable obj and not string)
{
var firstLine = true;
foreach (var item in obj)
{
if (!firstLine) sw.Write(separator);
firstLine = false;
sw.Write(item);
}
}
else sw.Write(x);
sw.WriteLine();
}
}