結果
| 問題 |
No.15 カタログショッピング
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-01-22 00:56:58 |
| 言語 | D (dmd 2.109.1) |
| 結果 |
AC
|
| 実行時間 | 15 ms / 5,000 ms |
| コード長 | 3,447 bytes |
| コンパイル時間 | 1,491 ms |
| コンパイル使用メモリ | 158,468 KB |
| 実行使用メモリ | 6,944 KB |
| 最終ジャッジ日時 | 2024-06-22 04:23:41 |
| 合計ジャッジ時間 | 2,009 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 10 |
ソースコード
// URL: https://yukicoder.me/problems/no/15
import std.algorithm, std.array, std.container, std.math, std.range, std.typecons, std.string;
import std.bitmanip;
version(unittest) {} else
void main()
{
int N, S; io.getV(N, S);
int[] P; io.getC(N, P);
auto n1 = N/2, n2 = N-n1;
auto p1 = new int[](1<<n1); p1[0] = 0;
foreach (i; 1..1<<n1) {
auto b = i.bsr;
p1[i] = p1[i.bitReset(b)] + P[b];
}
struct MP { int m, p; }
auto mp2 = new MP[](1<<n2); mp2[0] = MP(0, 0);
foreach (i; 1..1<<n2) {
auto b = i.bsr;
mp2[i] = MP(i, mp2[i.bitReset(b)].p + P[n1+b]);
}
mp2.sort!("a.p<b.p");
auto bs = mp2.assumeSorted!"a.p<b.p";
size_t[][] ans;
foreach (i; 0..1<<n1)
foreach (mp2i; bs.equalRange(MP(0, S-p1[i])))
ans ~= i.bitsSet.chain(mp2i.m.bitsSet.map!(mi => mi+n1)).array;
ans.sort;
foreach (ansi; ans) io.put(ansi.map!"a+1");
}
pragma(inline)
{
import core.bitop;
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 T bitReset(T)(T n, size_t i) { return n & ~(T(1) << i); }
pure T bitComp(T)(T n, size_t i) { return n ^ (T(1) << i); }
pure int bsf(T)(T n) { return core.bitop.bsf(ulong(n)); }
pure int bsr(T)(T n) { return core.bitop.bsr(ulong(n)); }
pure int popcnt(T)(T n) { return core.bitop.popcnt(ulong(n)); }
}
struct BitSubsetRange(bool includeZero = false, T)
{
private T n, i;
this(T n) { this.n = this.i = n; }
static if (includeZero) {
@property pure T front() { return i&n; }
void popFront() { i &= n; i--; }
pure bool empty() { return i < 0; }
} else {
@property pure T front() { return i; }
void popFront() { i = (i-1)&n; }
pure bool empty() { return i <= 0; }
}
}
auto bitSubset(bool includeZero = false, T)(T n) { return BitSubsetRange!(includeZero, T)(n); }
auto io = IO!()();
import std.stdio;
struct IO(alias IN = stdin, alias OUT = stdout, string delimiter = " ", string floatFormat = "%.10f")
{
import std.conv, std.format, std.meta, std.traits;
alias assignable = hasAssignableElements;
auto getV(T...)(ref T v) { foreach (ref w; v) get(w); }
auto getA(T)(size_t n, ref T v) if (assignable!T) { v = new T(n); foreach (ref w; v) get(w); }
auto getC(T...)(size_t n, ref T v) if (allSatisfy!(assignable, T))
{
foreach (ref w; v) w = new typeof(w)(n);
foreach (i; 0..n) foreach (ref w; v) get(w[i]);
}
auto getM(T)(size_t r, size_t c, ref T v) if (assignable!T && assignable!(ElementType!T))
{
v = new T(r); foreach (ref w; v) getA(c, w);
}
auto put(bool flush = false, T...)(T v)
{
foreach (i, w; v) { putA(w); if (i < v.length-1) OUT.write(delimiter); }
OUT.writeln;
static if (flush) OUT.flush();
}
auto putB(S, T)(bool c, S t, T f) { if (c) put(t); else put(f); }
auto putRaw(T...)(T v) { OUT.write(v); OUT.writeln; }
private
{
dchar[] buf;
auto sp = (new dchar[](0)).splitter;
void nextLine() { IN.readln(buf); sp = buf.splitter; }
auto get(T)(ref T v) { if (sp.empty) nextLine(); v = sp.front.to!T; sp.popFront(); }
auto putR(T)(T v)
{
auto w = v;
while (!w.empty) { putA(w.front); w.popFront(); if (!w.empty) OUT.write(delimiter); }
}
auto putA(T)(T v)
{
static if (isInputRange!T && !isSomeString!T) putR(v);
else if (isFloatingPoint!T) OUT.write(format(floatFormat, v));
else OUT.write(v);
}
}
}