結果

問題 No.1172 Add Recursive Sequence
ユーザー noshi91
提出日時 2020-05-09 18:19:36
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,401 bytes
コンパイル時間 1,028 ms
コンパイル使用メモリ 71,040 KB
最終ジャッジ日時 2025-01-10 09:58:54
ジャッジサーバーID
（参考情報） 		judge3 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample WA * 2
other WA * 14 RE * 2
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cassert>
#include <cstdint>
#include <cstdlib>
#include <iostream>
#include <limits>

namespace checker {

using imax = std::intmax_t;

std::string c_to_str(const int c) {
  if (c == '\n') {
    return "'\\n'";
  }
  if (c == std::char_traits<char>::eof()) {
    return "eof";
  }
  return std::string({'\'', char(c), '\''});
}

int scan_char() { return std::cin.get(); }
bool is_digit(const int c) { return '0' <= c && c <= '9'; }
int to_num(const int c) { return c - '0'; }

imax scan_imax(const int end) {
  if (is_digit(end)) {
    std::cerr << "end must not be digit" << std::endl;
    std::abort();
  }
  imax ret = 0;
  bool negative = false;
  int c = scan_char();
  if (c == '-') {
    negative = true;
    c = scan_char();
  }
  if (!is_digit(c)) {
    std::cerr << "no digits" << std::endl;
    std::abort();
  }
  if (c == '0') {
    if (negative) {
      std::cerr << "found -0" << std::endl;
      std::abort();
    }
    c = scan_char();
    if (is_digit(c)) {
      std::cerr << "leading zeros" << std::endl;
      std::abort();
    }
    if (c != end) {
      std::cerr << "expected " << c_to_str(end) << ", found " << c_to_str(c)
                << std::endl;
      std::abort();
    }
    return 0;
  }
  while (is_digit(c)) {
    c = to_num(c);
    if (ret > (std::numeric_limits<imax>::max() - c) / 10) {
      std::cerr << "overflow" << std::endl;
      std::abort();
    }
    ret = ret * 10 + c;
    c = scan_char();
  };
  if (c != end) {
    std::cerr << "expected " << c_to_str(end) << ", found " << c_to_str(c)
              << std::endl;
    std::abort();
  }
  if (negative) {
    ret = -ret;
  }
  return ret;
}

constexpr int eof = std::char_traits<char>::eof();

void check() {
  imax k = scan_imax(' ');
  assert(1 <= k && k <= 10);

  imax n = scan_imax(' ');
  assert(1 <= n && n <= 200000);

  imax m = scan_imax('\n');
  assert(1 <= m && m <= 200000);

  for (imax i = 0; i < k; ++i) {
    imax a = scan_imax(" \n"[i + 1 == k]);
    assert(-1000000000 <= a && a <= 1000000000);
  }

  for (imax i = 0; i < k; ++i) {
    imax c = scan_imax(" \n"[i + 1 == k]);
    assert(-1000000000 <= c && c <= 1000000000);
  }

  for (imax i = 0; i < m; ++i) {
    imax l = scan_imax(' ');
    imax r = scan_imax('\n');
    assert(0 <= l && l < r && r <= n);
  }

  assert(scan_char() == eof);
}

} // namespace checker

int main() {
  checker::check();
  return 0;
}
0