#335670 (D) No.466 ジオラマ

提出ソース

結果

問題	No.466 ジオラマ
ユーザー	👑 hos.lyric
提出日時	2019-04-05 16:55:39
言語	D (dmd 2.106.1)
結果	AC
実行時間	10 ms / 2,000 ms
コード長	4,014 bytes
コンパイル時間	780 ms
コンパイル使用メモリ	109,560 KB
実行使用メモリ	4,384 KB
最終ジャッジ日時	2023-09-04 00:22:23
合計ジャッジ時間	5,229 ms
ジャッジサーバーID （参考情報）	judge15 / judge13

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 4,380 KB
testcase_01	AC	2 ms 4,376 KB
testcase_02	AC	1 ms 4,380 KB
testcase_03	AC	1 ms 4,380 KB
testcase_04	AC	1 ms 4,376 KB
testcase_05	AC	2 ms 4,384 KB
testcase_06	AC	6 ms 4,376 KB
testcase_07	AC	4 ms 4,380 KB
testcase_08	AC	8 ms 4,384 KB
testcase_09	AC	6 ms 4,380 KB
testcase_10	AC	6 ms 4,380 KB
testcase_11	AC	5 ms 4,380 KB
testcase_12	AC	6 ms 4,384 KB
testcase_13	AC	4 ms 4,376 KB
testcase_14	AC	4 ms 4,380 KB
testcase_15	AC	5 ms 4,376 KB
testcase_16	AC	2 ms 4,376 KB
testcase_17	AC	4 ms 4,376 KB
testcase_18	AC	4 ms 4,380 KB
testcase_19	AC	5 ms 4,380 KB
testcase_20	AC	5 ms 4,380 KB
testcase_21	AC	5 ms 4,376 KB
testcase_22	AC	6 ms 4,380 KB
testcase_23	AC	5 ms 4,376 KB
testcase_24	AC	7 ms 4,376 KB
testcase_25	AC	7 ms 4,380 KB
testcase_26	AC	4 ms 4,376 KB
testcase_27	AC	8 ms 4,376 KB
testcase_28	AC	6 ms 4,380 KB
testcase_29	AC	7 ms 4,376 KB
testcase_30	AC	6 ms 4,376 KB
testcase_31	AC	5 ms 4,376 KB
testcase_32	AC	5 ms 4,376 KB
testcase_33	AC	5 ms 4,376 KB
testcase_34	AC	6 ms 4,380 KB
testcase_35	AC	5 ms 4,380 KB
testcase_36	AC	3 ms 4,376 KB
testcase_37	AC	1 ms 4,380 KB
testcase_38	AC	4 ms 4,380 KB
testcase_39	AC	1 ms 4,380 KB
testcase_40	AC	5 ms 4,376 KB
testcase_41	AC	1 ms 4,380 KB
testcase_42	AC	5 ms 4,376 KB
testcase_43	AC	2 ms 4,376 KB
testcase_44	AC	5 ms 4,380 KB
testcase_45	AC	2 ms 4,376 KB
testcase_46	AC	3 ms 4,380 KB
testcase_47	AC	1 ms 4,376 KB
testcase_48	AC	6 ms 4,376 KB
testcase_49	AC	1 ms 4,376 KB
testcase_50	AC	5 ms 4,376 KB
testcase_51	AC	2 ms 4,376 KB
testcase_52	AC	5 ms 4,380 KB
testcase_53	AC	1 ms 4,380 KB
testcase_54	AC	4 ms 4,376 KB
testcase_55	AC	1 ms 4,376 KB
testcase_56	AC	2 ms 4,376 KB
testcase_57	AC	1 ms 4,380 KB
testcase_58	AC	2 ms 4,376 KB
testcase_59	AC	2 ms 4,376 KB
testcase_60	AC	3 ms 4,376 KB
testcase_61	AC	2 ms 4,380 KB
testcase_62	AC	2 ms 4,380 KB
testcase_63	AC	1 ms 4,380 KB
testcase_64	AC	2 ms 4,380 KB
testcase_65	AC	1 ms 4,376 KB
testcase_66	AC	7 ms 4,376 KB
testcase_67	AC	2 ms 4,380 KB
testcase_68	AC	5 ms 4,376 KB
testcase_69	AC	1 ms 4,376 KB
testcase_70	AC	4 ms 4,376 KB
testcase_71	AC	2 ms 4,376 KB
testcase_72	AC	3 ms 4,380 KB
testcase_73	AC	2 ms 4,376 KB
testcase_74	AC	5 ms 4,376 KB
testcase_75	AC	1 ms 4,376 KB
testcase_76	AC	1 ms 4,376 KB
testcase_77	AC	2 ms 4,380 KB
testcase_78	AC	1 ms 4,376 KB
testcase_79	AC	1 ms 4,380 KB
testcase_80	AC	2 ms 4,380 KB
testcase_81	AC	1 ms 4,380 KB
testcase_82	AC	2 ms 4,376 KB
testcase_83	AC	2 ms 4,376 KB
testcase_84	AC	6 ms 4,376 KB
testcase_85	AC	10 ms 4,376 KB
testcase_86	AC	2 ms 4,380 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

import std.conv, std.functional, std.stdio, std.string;
import std.algorithm, std.array, std.bigint, std.container, std.math, std.numeric, std.range, std.regex, std.typecons;
import core.bitop;

class EOFException : Throwable { this() { super("EOF"); } }
string[] tokens;
string readToken() { for (; tokens.empty; ) { if (stdin.eof) { throw new EOFException; } tokens = readln.split; } auto token = tokens.front; tokens.popFront; return token; }
int readInt() { return readToken.to!int; }
long readLong() { return readToken.to!long; }
real readReal() { return readToken.to!real; }

bool chmin(T)(ref T t, in T f) { if (t > f) { t = f; return true; } else { return false; } }
bool chmax(T)(ref T t, in T f) { if (t < f) { t = f; return true; } else { return false; } }

int binarySearch(alias pred, T)(in T[] as) { int lo = -1, hi = cast(int)(as.length); for (; lo + 1 < hi; ) { const mid = (lo + hi) >> 1; (unaryFun!pred(as[mid]) ? hi : lo) = mid; } return hi; }
int lowerBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a >= val)); }
int upperBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a > val)); }


int A, B, C, D;

void main() {
  try {
    for (; ; ) {
      A = readInt();
      B = readInt();
      C = readInt();
      D = readInt();
// foreach(A;1..10)foreach(B;1..10)foreach(C;0..min(A,B)+1)foreach(D;0..10){
      debug {
        writeln([A, B, C, D]);
      }
      
      int V;
      Tuple!(int, int)[] edges;
      if (false) {
      } else if (2 <= C && C == A && C == B && 2 + (C - 2) <= D) {
        // 0<->1
        edges ~= tuple(0, 1);
        edges ~= tuple(1, 0);
        V = 2;
        foreach (i; 0 .. C - 2) {
          edges ~= tuple(0, V++);
        }
      } else if (1 <= C && C == A && C < B && 1 + (C - 1) + (B - C - 1) <= D) {
        // 1->0
        edges ~= tuple(1, 0);
        V = 2;
        foreach (i; 0 .. C - 1) {
          edges ~= tuple(0, V++);
        }
        foreach (i; 0 .. B - C - 1) {
          edges ~= tuple(1, V++);
        }
      } else if (1 <= C && C < A && C == B && 1 + (C - 1) + (A - C - 1) <= D) {
        // 0->1
        edges ~= tuple(0, 1);
        V = 2;
        foreach (i; 0 .. C - 1) {
          edges ~= tuple(1, V++);
        }
        foreach (i; 0 .. A - C - 1) {
          edges ~= tuple(0, V++);
        }
      } else if (C == 0 && (A - 1) + (B - 1) <= D) {
        // ...<-0, 1->...
        V = 2;
        foreach (i; 0 .. A - 1) {
          edges ~= tuple(0, V++);
        }
        foreach (i; 0 .. B - 1) {
          edges ~= tuple(1, V++);
        }
      } else if (1 <= C && C < A && C < B && 2 + (C - 1) + (A - C - 1) + (B - C - 1) <= D) {
        // ...<-0->2<-1->...
        V = 3;
        edges ~= tuple(0, 2);
        edges ~= tuple(1, 2);
        foreach (i; 0 .. C - 1) {
          edges ~= tuple(2, V++);
        }
        foreach (i; 0 .. A - C - 1) {
          edges ~= tuple(0, V++);
        }
        foreach (i; 0 .. B - C - 1) {
          edges ~= tuple(1, V++);
        }
      }
      if (V) {
        assert(V == A + B - C);
        assert(edges.length <= D);
        writeln(V, " ", edges.length);
        foreach (e; edges) {
          writeln(e[0], " ", e[1]);
        }
        debug {
          auto graph = new int[][V];
          foreach (e; edges) {
            graph[e[0]] ~= e[1];
          }
          auto vis = new int[V];
          void dfs(int f, int u) {
            vis[u] |= f;
            foreach (v; graph[u]) {
              if (!(vis[v] & f)) {
                dfs(f, v);
              }
            }
          }
          dfs(1, 0);
          dfs(2, 1);
          int a, b, c;
          foreach (u; 0 .. V) {
            if (vis[u] & 1) ++a;
            if (vis[u] & 2) ++b;
            if (vis[u] == 3) ++c;
          }
          debug {
            writeln(vis, " ", a, " ", b, " ", c);
          }
          assert(a == A && b == B && c == C && edges.length <= D);
        }
      } else {
        writeln(-1);
      }
    }
  } catch (EOFException e) {
  }
}

yukicoder

結果

テストケース

ソースコード