結果

問題 No.1192 半部分列
ユーザー 👑 hos.lyrichos.lyric
提出日時 2020-08-22 13:59:34
言語 D
(dmd 2.107.1)
結果
AC  
実行時間 31 ms / 2,000 ms
コード長 2,578 bytes
コンパイル時間 660 ms
コンパイル使用メモリ 107,048 KB
実行使用メモリ 25,756 KB
最終ジャッジ日時 2023-09-04 09:07:44
合計ジャッジ時間 2,290 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge13
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 31 ms
25,736 KB
testcase_07 AC 25 ms
25,312 KB
testcase_08 AC 24 ms
25,756 KB
testcase_09 AC 23 ms
23,868 KB
testcase_10 AC 1 ms
4,376 KB
testcase_11 AC 1 ms
4,376 KB
testcase_12 AC 23 ms
25,756 KB
testcase_13 AC 13 ms
12,100 KB
testcase_14 AC 16 ms
17,056 KB
testcase_15 AC 15 ms
16,060 KB
testcase_16 AC 12 ms
13,856 KB
testcase_17 AC 15 ms
17,560 KB
testcase_18 AC 2 ms
4,384 KB
testcase_19 AC 6 ms
6,732 KB
testcase_20 AC 2 ms
4,376 KB
testcase_21 AC 13 ms
13,164 KB
testcase_22 AC 2 ms
4,380 KB
testcase_23 AC 24 ms
24,796 KB
testcase_24 AC 6 ms
6,432 KB
testcase_25 AC 11 ms
11,796 KB
testcase_26 AC 10 ms
13,080 KB
testcase_27 AC 12 ms
13,076 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import std.conv, std.functional, std.range, std.stdio, std.string;
import std.algorithm, std.array, std.bigint, std.bitmanip, std.complex, std.container, std.math, std.mathspecial, std.numeric, 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)); }


enum A = 26;

int[][] getNxt(string s) {
  const m = cast(int)(s.length);
  auto nxt = new int[][](A, m + 1);
  foreach (a; 0 .. A) {
    nxt[a][m] = m;
    foreach_reverse (i; 0 .. m) {
      nxt[a][i] = (s[i] - 'a' == a) ? i : nxt[a][i + 1];
    }
  }
  return nxt;
}

void main() {
  try {
    for (; ; ) {
      const S = readToken();
      const T = readToken();
      const M = cast(int)(S.length);
      const N = cast(int)(T.length);
      
      const nxtS = getNxt(S);
      const nxtT = getNxt(T);
      
      auto rs = new int[M + 1];
      rs[M] = N;
      foreach_reverse (i; 0 .. M) {
        rs[i] = max(rs[i + 1] - 1, -1);
        for (; rs[i] >= 0 && S[i] != T[rs[i]]; --rs[i]) {}
      }
      debug {
        writeln("rs = ", rs);
      }
      
      if (rs[0] < 0) {
        string ans;
        int i, j;
        for (; ; ) {
          if (j > N) {
            break;
          }
          foreach (a; 0 .. A) {
            if (nxtS[a][i] < M) {
              const ii = nxtS[a][i] + 1;
              const jj = nxtT[a][j] + 1;
              if (rs[ii] < jj) {
                ans ~= cast(char)('a' + a);
                i = ii;
                j = jj;
                goto found;
              }
            }
          }
          assert(false);
         found:
        }
        writeln(ans);
      } else {
        writeln("-1");
      }
    }
  } catch (EOFException e) {
  }
}
0