結果
| 問題 |
No.43 野球の試合
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2017-04-14 13:47:23 |
| 言語 | D (dmd 2.109.1) |
| 結果 |
AC
|
| 実行時間 | 23 ms / 5,000 ms |
| コード長 | 1,152 bytes |
| コンパイル時間 | 989 ms |
| コンパイル使用メモリ | 116,856 KB |
| 実行使用メモリ | 6,944 KB |
| 最終ジャッジ日時 | 2024-06-12 18:44:02 |
| 合計ジャッジ時間 | 1,517 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 7 |
ソースコード
import std.algorithm, std.conv, std.range, std.stdio, std.string;
import core.bitop;
void main()
{
auto n = readln.chomp.to!size_t;
auto gi = n.iota.map!(_ => readln.chomp.until("#")).join;
auto ai = gi.enumerate.map!(g => g[1] == '-' ? g[0] : size_t.max).filter!(i => i < size_t.max).array;
auto r = n;
foreach (i; 0..(1 << ai.length)) {
auto bi = gi.dup;
foreach (j, a; ai)
bi[a] = bitTest(i, j) ? 'o' : 'x';
r = min(r, calc(n, bi));
}
writeln(r);
}
auto calc(size_t n, dchar[] bi)
{
auto wi = new int[](n);
foreach (i; 0..n) {
auto w = 0;
foreach (j; 0..n)
if (result(bi, i, j)) w = w.bitSet(j);
wi[i] = w.popcnt;
}
auto w0 = wi[0];
auto ri = wi.sort!"a > b".uniq;
return ri.countUntil(w0) + 1;
}
bool result(dchar[] bi, size_t p1, size_t p2)
{
if (p1 == p2)
return false;
else if (p1 > p2)
return !result(bi, p2, p1);
else
return bi[(p2 - 1) * p2 / 2 + p1] == 'x';
}
pure bool bitTest(T)(T n, size_t i) { return (n & (T(1) << i)) != 0; }
pure T bitSet(T)(T n, size_t i) { return n | (T(1) << i); }
pure int popcnt(T)(T n) { return core.bitop.popcnt(ulong(n)); }