#949677 (C++23) No.2627 Unnatural Pitch

提出ソース

結果

問題	No.2627 Unnatural Pitch
ユーザー	risujiroh
提出日時	2024-02-09 23:39:21
言語	C++23 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	81 ms / 4,000 ms
コード長	6,101 bytes
コンパイル時間	3,427 ms
コンパイル使用メモリ	267,960 KB
実行使用メモリ	8,024 KB
最終ジャッジ日時	2024-02-09 23:39:27
合計ジャッジ時間	5,799 ms
ジャッジサーバーID （参考情報）	judge13 / judge15

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 6,676 KB
testcase_01	AC	1 ms 6,676 KB
testcase_02	AC	7 ms 6,676 KB
testcase_03	AC	2 ms 6,676 KB
testcase_04	AC	57 ms 8,024 KB
testcase_05	AC	56 ms 8,024 KB
testcase_06	AC	55 ms 8,024 KB
testcase_07	AC	48 ms 6,676 KB
testcase_08	AC	61 ms 6,676 KB
testcase_09	AC	67 ms 8,024 KB
testcase_10	AC	67 ms 8,024 KB
testcase_11	AC	2 ms 6,676 KB
testcase_12	AC	2 ms 6,676 KB
testcase_13	AC	2 ms 6,676 KB
testcase_14	AC	3 ms 6,676 KB
testcase_15	AC	2 ms 6,676 KB
testcase_16	AC	70 ms 6,676 KB
testcase_17	AC	81 ms 7,512 KB
testcase_18	AC	76 ms 6,676 KB
testcase_19	AC	75 ms 6,676 KB
testcase_20	AC	28 ms 6,676 KB
testcase_21	AC	38 ms 6,676 KB
testcase_22	AC	62 ms 7,224 KB
testcase_23	AC	35 ms 6,676 KB
testcase_24	AC	42 ms 6,676 KB
testcase_25	AC	45 ms 6,676 KB

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

ソースコード

raw source code

#if __INCLUDE_LEVEL__ == 0

#include __BASE_FILE__

namespace {

void solve() {
  int n, k;
  i64 L, U;
  scan(n, k, L, U);
  std::vector<i64> a(n);
  scan(a);
  ranges::sort(a);
  const i64 D = U - L;

  i64 ans = inf<i64>();
  for (int _ = 2; _--;) {
    int m = 0;
    while (a[div_floor(m, 2)] + D < a.rbegin()[div_ceil(m, 2)]) {
      ++m;
    }
    L = a[m / 2] - k;
    U = L + D;

    std::vector<i64> f(k * 2 + 1);
    for (const i64 e : a) {
      for (int i = static_cast<int>(floor(0, k, e - L + 1)); i < k * 2; i += k) {
        const i64 t = div_ceil(std::max(L + i - e, i64{0}), k);
        f[std::max(i, 0)] += t;
        f[std::min(i + k, k * 2)] -= t;
      }
      for (int i = static_cast<int>(floor(0, k, e - U)); i < k * 2; i += k) {
        const i64 t = div_ceil(std::max(e - U - i, i64{0}), k);
        f[std::max(i, 0)] += t;
        f[std::min(i + k, k * 2)] -= t;
      }
    }
    f.pop_back();
    std::partial_sum(f.begin(), f.end(), f.begin());

    chmin(ans, ranges::min(f));

    for (i64& e : a) {
      e = -e;
    }
    ranges::reverse(a);
  }

  print(ans);
}

}  // namespace

int main() {
  std::ios::sync_with_stdio(false);
  std::cin.tie(nullptr);

  solve();
}

#else  // __INCLUDE_LEVEL__

#include <bits/stdc++.h>

constexpr auto div_floor(auto x, auto y) { return x / y - ((x ^ y) < 0 && x % y); }
constexpr auto div_ceil(auto x, auto y) { return x / y + (0 <= (x ^ y) && x % y); }
constexpr auto floor(auto x, auto y) { return div_floor(x, y) * y; }
constexpr auto floor(auto x, auto y, auto z) { return floor(x - z, y) + z; }
constexpr auto ceil(auto x, auto y) { return div_ceil(x, y) * y; }
constexpr auto ceil(auto x, auto y, auto z) { return ceil(x - z, y) + z; }
constexpr auto modulo(auto x, auto y) { return x - floor(x, y); }

template <class T, class U = T>
bool chmin(T& x, U&& y) {
  return y < x && (x = std::forward<U>(y), true);
}

template <class T, class U = T>
bool chmax(T& x, U&& y) {
  return x < y && (x = std::forward<U>(y), true);
}

template <std::signed_integral T = int>
T inf() {
  T ret;
  std::memset(&ret, 0x3f, sizeof(ret));
  return ret;
}

template <std::floating_point T>
T inf() {
  return std::numeric_limits<T>::infinity();
}

template <class T>
concept Range = std::ranges::range<T> && !std::convertible_to<T, std::string_view>;

template <class T>
concept Tuple = std::__is_tuple_like<T>::value && !Range<T>;

namespace std {

istream& operator>>(istream& is, Range auto&& r) {
  for (auto&& e : r) {
    is >> e;
  }
  return is;
}

istream& operator>>(istream& is, Tuple auto&& t) {
  return apply([&](auto&... xs) -> istream& { return (is >> ... >> xs); }, t);
}

ostream& operator<<(ostream& os, Range auto&& r) {
  for (string_view sep = ""; auto&& e : r) {
    os << exchange(sep, " ") << e;
  }
  return os;
}

ostream& operator<<(ostream& os, Tuple auto&& t) {
  const auto f = [&](auto&... xs) -> ostream& {
    [[maybe_unused]] string_view sep = "";
    ((os << exchange(sep, " ") << xs), ...);
    return os;
  };
  return apply(f, t);
}

}  // namespace std

#define DEF_INC_OR_DEC(op) \
  auto& operator op(Range auto&& r) { \
    for (auto&& e : r) { \
      op e; \
    } \
    return r; \
  } \
  auto& operator op(Tuple auto&& t) { \
    std::apply([](auto&... xs) { (op xs, ...); }, t); \
    return t; \
  }

DEF_INC_OR_DEC(++)
DEF_INC_OR_DEC(--)

#undef DEF_INC_OR_DEC

void scan(auto&&... xs) { std::cin >> std::tie(xs...); }
void print(auto&&... xs) { std::cout << std::tie(xs...) << '\n'; }

#define FWD(...) static_cast<decltype(__VA_ARGS__)&&>(__VA_ARGS__)

template <class F>
class fix {
 public:
  explicit fix(F f) : f_(std::move(f)) {}

  decltype(auto) operator()(auto&&... xs) const { return f_(std::ref(*this), FWD(xs)...); }

 private:
  F f_;
};

template <class T>
concept LambdaExpr = std::is_placeholder_v<std::remove_cvref_t<T>> != 0 ||
                     std::is_bind_expression_v<std::remove_cvref_t<T>>;

auto operator++(LambdaExpr auto&& x, int) {
  return std::bind([](auto&& x) -> decltype(auto) { return FWD(x)++; }, FWD(x));
}

auto operator--(LambdaExpr auto&& x, int) {
  return std::bind([](auto&& x) -> decltype(auto) { return FWD(x)--; }, FWD(x));
}

#define DEF_UNARY_OP(op) \
  auto operator op(LambdaExpr auto&& x) { \
    return std::bind([](auto&& x) -> decltype(auto) { return op FWD(x); }, FWD(x)); \
  }

DEF_UNARY_OP(++)
DEF_UNARY_OP(--)
DEF_UNARY_OP(+)
DEF_UNARY_OP(-)
DEF_UNARY_OP(~)
DEF_UNARY_OP(!)
DEF_UNARY_OP(*)
DEF_UNARY_OP(&)

#undef DEF_UNARY_OP

#define DEF_BINARY_OP(op) \
  template <class T1, class T2> \
    requires LambdaExpr<T1> || LambdaExpr<T2> \
  auto operator op(T1&& x, T2&& y) { \
    return std::bind([](auto&& x, auto&& y) -> decltype(auto) { return FWD(x) op FWD(y); }, \
                     FWD(x), FWD(y)); \
  }

DEF_BINARY_OP(+=)
DEF_BINARY_OP(-=)
DEF_BINARY_OP(*=)
DEF_BINARY_OP(/=)
DEF_BINARY_OP(%=)
DEF_BINARY_OP(^=)
DEF_BINARY_OP(&=)
DEF_BINARY_OP(|=)
DEF_BINARY_OP(<<=)
DEF_BINARY_OP(>>=)
DEF_BINARY_OP(+)
DEF_BINARY_OP(-)
DEF_BINARY_OP(*)
DEF_BINARY_OP(/)
DEF_BINARY_OP(%)
DEF_BINARY_OP(^)
DEF_BINARY_OP(&)
DEF_BINARY_OP(|)
DEF_BINARY_OP(<<)
DEF_BINARY_OP(>>)
DEF_BINARY_OP(==)
DEF_BINARY_OP(!=)
DEF_BINARY_OP(<)
DEF_BINARY_OP(>)
DEF_BINARY_OP(<=)
DEF_BINARY_OP(>=)
DEF_BINARY_OP(&&)
DEF_BINARY_OP(||)

#undef DEF_BINARY_OP

template <class T1, class T2>
  requires LambdaExpr<T1> || LambdaExpr<T2>
auto at(T1&& x, T2&& y) {
  return std::bind([](auto&& x, auto&& y) -> decltype(auto) { return FWD(x)[FWD(y)]; }, FWD(x),
                   FWD(y));
}

template <int I>
auto get(LambdaExpr auto&& x) {
  return std::bind([](auto&& x) -> decltype(auto) { return std::get<I>(FWD(x)); }, FWD(x));
}

inline auto rep(int l, int r) { return std::views::iota(std::min(l, r), r); }
inline auto rep(int n) { return rep(0, n); }
inline auto rep1(int l, int r) { return rep(l, r + 1); }
inline auto rep1(int n) { return rep(1, n + 1); }

using namespace std::literals;
using namespace std::placeholders;

namespace ranges = std::ranges;
namespace views = std::views;

using i64 = std::int64_t;

#endif  // __INCLUDE_LEVEL__

yukicoder

結果

テストケース

ソースコード