#include #define REP(i, n) for (int i = 0; (i) < (int)(n); ++ (i)) #define REP3(i, m, n) for (int i = (m); (i) < (int)(n); ++ (i)) #define REP_R(i, n) for (int i = (int)(n) - 1; (i) >= 0; -- (i)) #define REP3R(i, m, n) for (int i = (int)(n) - 1; (i) >= (int)(m); -- (i)) #define ALL(x) std::begin(x), std::end(x) #define dump(x) cerr << #x " = " << x << endl using namespace std; template using reversed_priority_queue = priority_queue, greater >; template inline void chmax(T & a, U const & b) { a = max(a, b); } template inline void chmin(T & a, U const & b) { a = min(a, b); } template auto make_table(X x, T a) { return vector(x, a); } template auto make_table(X x, Y y, Z z, Zs... zs) { auto cont = make_table(y, z, zs...); return vector(x, cont); } template istream & operator >> (istream & in, vector & xs) { REP (i, xs.size()) { in >> xs[i]; } return in; } template ostream & operator << (ostream & out, const vector & xs) { REP (i, xs.size()) { if (i) { out << ' '; } out << xs[i]; } return out; } /** * @brief a segment tree / セグメント木 * @docs data_structure/segment_tree.md * @tparam Monoid (commutativity is not required) */ template struct segment_tree { typedef typename Monoid::value_type value_type; const Monoid mon; int n; std::vector a; segment_tree() = default; segment_tree(int n_, const Monoid & mon_ = Monoid()) : mon(mon_) { n = 1; while (n < n_) n *= 2; a.resize(2 * n - 1, mon.unit()); } void point_set(int i, value_type b) { // 0-based assert (0 <= i and i < n); a[i + n - 1] = b; for (i = (i + n) / 2; i > 0; i /= 2) { // 1-based a[i - 1] = mon.mult(a[2 * i - 1], a[2 * i]); } } value_type range_get(int l, int r) { // 0-based, [l, r) assert (0 <= l and l <= r and r <= n); value_type lacc = mon.unit(), racc = mon.unit(); for (l += n, r += n; l < r; l /= 2, r /= 2) { // 1-based loop, 2x faster than recursion if (l % 2 == 1) lacc = mon.mult(lacc, a[(l ++) - 1]); if (r % 2 == 1) racc = mon.mult(a[(-- r) - 1], racc); } return mon.mult(lacc, racc); } value_type point_get(int i) { // 0-based assert (0 <= i and i < n); return a[i + n - 1]; } /** * @brief a fast & semigroup-friendly version constructor * @note $O(n)$ */ template segment_tree(InputIterator first, InputIterator last, const Monoid & mon_ = Monoid()) : mon(mon_) { int size = std::distance(first, last); n = 1; while (n < size) n *= 2; a.resize(2 * n - 1, mon.unit()); std::copy(first, last, a.begin() + (n - 1)); unsafe_rebuild(); } /** * @brief update a leaf node without updating ancestors * @note $O(1)$ */ void unsafe_point_set(int i, value_type b) { // 0-based assert (0 <= i and i < n); a[i + n - 1] = b; } /** * @brief re-build non-leaf nodes from leaf nodes * @note $O(n)$ */ void unsafe_rebuild() { REP_R (i, n - 1) { a[i] = mon.mult(a[2 * i + 1], a[2 * i + 2]); } } }; template struct plus_monoid { typedef T value_type; value_type unit() const { return value_type(); } value_type mult(value_type a, value_type b) const { return a + b; } }; /** * @brief a binary search / 二分探索 * @param[in] p a monotone predicate defined on $[l, r)$ * @return $\min \lbrace x \in [l, r) \mid p(x) \rbrace$, or r if it doesn't exist */ template int64_t binsearch(int64_t l, int64_t r, UnaryPredicate p) { assert (l <= r); -- l; while (r - l > 1) { int64_t m = l + (r - l) / 2; (p(m) ? r : l) = m; } return r; } template int64_t binsearch_max(int64_t l, int64_t r, UnaryPredicate p) { assert (l <= r); ++ r; while (r - l > 1) { int64_t m = l + (r - l) / 2; (p(m) ? l : r) = m; } return l; } bool solve(int n, int x, const vector & a) { vector acc(n + 1); partial_sum(ALL(a), acc.begin() + 1); auto hr = make_table(n + 1, segment_tree >(n + 1)); auto vr = make_table(n + 1, segment_tree >(n + 1)); REP (len, n + 1) REP (l, n - len + 1) { int r = l + len; bool cur; if (len == 0) { cur = false; } else { int m1 = binsearch(l + 1, r + 1, [&](int m1) { return acc[m1] - acc[l] > x; }); int m2 = binsearch(l, r, [&](int m2) { return acc[r] - acc[m2] <= x; }); cur = hr[l].range_get(l + 1, m1) or vr[r].range_get(m2, r); } if (not cur) { hr[l].point_set(r, 1); vr[r].point_set(l, 1); } } return not hr[0].point_get(n); } int main() { int n, x; cin >> n >> x; vector a(n); cin >> a; cout << (solve(n, x, a) ? "A" : "B") << endl; return 0; }