結果
| 問題 |
No.3128 Isosceles Triangle
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-04-25 21:50:00 |
| 言語 | C# (.NET 8.0.404) |
| 結果 |
AC
|
| 実行時間 | 232 ms / 2,500 ms |
| コード長 | 2,733 bytes |
| コンパイル時間 | 8,809 ms |
| コンパイル使用メモリ | 171,892 KB |
| 実行使用メモリ | 86,872 KB |
| 最終ジャッジ日時 | 2025-04-25 21:50:33 |
| 合計ジャッジ時間 | 13,619 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 30 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (106 ミリ秒)。 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()
{
var n = Int();
var az = n.Repeat(Int).AsSpan();
var bag = new Bag<int>();
foreach (var a in az) bag.Add(a);
var ans = 0L;
az.Sort();
foreach (var (k, c) in bag._dictionary)
{
var s = k * 2;
var pass = -1;
var fail = n;
while (fail - pass > 1)
{
var mid = (pass + fail) >> 1;
if (az[mid] < s) pass = mid;
else fail = mid;
}
ans += (long)(pass - c + 1) * c * (c - 1) / 2;
}
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();
}
class Bag<K> where K : notnull
{
public readonly Dictionary<K, int> _dictionary = new();
public void Add(K key)
{
var dictionary = _dictionary;
if (dictionary.TryGetValue(key, out var count)) dictionary[key] = count + 1;
else dictionary[key] = 1;
}
public void Remove(K key)
{
var dictionary = _dictionary;
if (!dictionary.TryGetValue(key, out var count)) return;
if (count == 1) dictionary.Remove(key);
else dictionary[key] = count - 1;
}
public int this[K key] => _dictionary.TryGetValue(key, out var count) ? count : 0;
public int CountKeys => _dictionary.Count;
}