結果
| 問題 | No.1460 Max of Min |
| ユーザー |
👑  emthrm
|
| 提出日時 | 2021-04-02 05:29:15 |
| 言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 2,718 bytes |
| コンパイル時間 | 2,285 ms |
| コンパイル使用メモリ | 210,980 KB |
| 実行使用メモリ | 7,476 KB |
| 最終ジャッジ日時 | 2023-08-23 12:42:00 |
| 合計ジャッジ時間 | 7,873 ms |
|
ジャッジサーバーID （参考情報） |
judge13 / judge15 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 2 ms
4,380 KB |
| testcase_01 | AC | 1 ms
4,380 KB |
| testcase_02 | AC | 2 ms
4,380 KB |
| testcase_03 | AC | 3 ms
4,376 KB |
| testcase_04 | AC | 2 ms
4,376 KB |
| testcase_05 | AC | 2 ms
4,380 KB |
| testcase_06 | TLE | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
| testcase_26 | -- | - |
| testcase_27 | -- | - |
| testcase_28 | -- | - |
| testcase_29 | -- | - |
| testcase_30 | -- | - |
| testcase_31 | -- | - |
| testcase_32 | -- | - |
| testcase_33 | -- | - |
| testcase_34 | -- | - |
| testcase_35 | -- | - |
| testcase_36 | -- | - |
| testcase_37 | -- | - |
| testcase_38 | -- | - |
| testcase_39 | -- | - |
| testcase_40 | -- | - |
| testcase_41 | -- | - |
| testcase_42 | -- | - |
| testcase_43 | -- | - |
| testcase_44 | -- | - |
| testcase_45 | -- | - |
| testcase_46 | -- | - |
| testcase_47 | -- | - |
| testcase_48 | -- | - |
| testcase_49 | -- | - |
| testcase_50 | -- | - |
| testcase_51 | -- | - |
| testcase_52 | -- | - |
| testcase_53 | -- | - |
| testcase_54 | -- | - |
| testcase_55 | -- | - |
| testcase_56 | -- | - |
| testcase_57 | -- | - |
| testcase_58 | -- | - |
| testcase_59 | -- | - |
| testcase_60 | -- | - |
| testcase_61 | -- | - |
| testcase_62 | -- | - |
| testcase_63 | -- | - |
| testcase_64 | -- | - |
| testcase_65 | -- | - |
| testcase_66 | -- | - |
| testcase_67 | -- | - |
| testcase_68 | -- | - |
| testcase_69 | -- | - |
| testcase_70 | -- | - |
| testcase_71 | -- | - |
| testcase_72 | -- | - |
| testcase_73 | -- | - |
| testcase_74 | -- | - |
| testcase_75 | -- | - |
| testcase_76 | -- | - |
| testcase_77 | -- | - |
| testcase_78 | -- | - |
| testcase_79 | -- | - |
| testcase_80 | -- | - |
| testcase_81 | -- | - |
| testcase_82 | -- | - |
| testcase_83 | -- | - |
| testcase_84 | -- | - |
| testcase_85 | -- | - |
| testcase_86 | -- | - |
| testcase_87 | -- | - |
| testcase_88 | -- | - |
| testcase_89 | -- | - |
| testcase_90 | -- | - |
| testcase_91 | -- | - |
| testcase_92 | -- | - |
| testcase_93 | -- | - |
ソースコード
#define _USE_MATH_DEFINES
#include <bits/stdc++.h>
using namespace std;
#define FOR(i,m,n) for(int i=(m);i<(n);++i)
#define REP(i,n) FOR(i,0,n)
#define ALL(v) (v).begin(),(v).end()
using ll = long long;
constexpr int INF = 0x3f3f3f3f;
constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL;
constexpr double EPS = 1e-8;
constexpr int MOD = 1000000007;
// constexpr int MOD = 998244353;
constexpr int dy[] = {1, 0, -1, 0}, dx[] = {0, -1, 0, 1};
constexpr int dy8[] = {1, 1, 0, -1, -1, -1, 0, 1}, dx8[] = {0, -1, -1, -1, 0, 1, 1, 1};
template <typename T, typename U> inline bool chmax(T &a, U b) { return a < b ? (a = b, true) : false; }
template <typename T, typename U> inline bool chmin(T &a, U b) { return a > b ? (a = b, true) : false; }
struct IOSetup {
IOSetup() {
std::cin.tie(nullptr);
std::ios_base::sync_with_stdio(false);
std::cout << fixed << setprecision(20);
}
} iosetup;
template <typename T>
T kita_masa(const std::vector<T> &c, const std::vector<T> &a, long long n) {
int k = c.size();
std::vector<T> coefficient((k << 1) - 1, 0);
coefficient[0] = 1;
int now = 0;
std::vector<std::vector<T>> base(2, std::vector<T>((k << 1) - 1, 0));
base[now][1] = 1;
for (; n > 0; n >>= 1) {
if (n & 1) {
fill(base[now ^ 1].begin(), base[now ^ 1].end(), 0);
for (int i = 0; i < k; ++i) for (int j = 0; j < k; ++j) {
if (coefficient[i] & base[now][j]) base[now ^ 1][i + j] = 1;
}
fill(coefficient.begin(), coefficient.end(), 0);
for (int i = (k << 1) - 2; i >= k; --i) {
if (base[now ^ 1][i]) coefficient[i] = 1;
for (int j = 0; j < k; ++j) {
if (coefficient[i] & c[j]) coefficient[i - k + j] = 1;
}
}
for (int i = 0; i < k; ++i) {
if (base[now ^ 1][i]) coefficient[i] = 1;
}
}
fill(base[now ^ 1].begin(), base[now ^ 1].end(), 0);
for (int i = 0; i < k; ++i) for (int j = 0; j < k; ++j) {
if (base[now][i] & base[now][j]) base[now ^ 1][i + j] = 1;
}
now ^= 1;
for (int i = (k << 1) - 2; i >= k; --i) for (int j = 0; j < k; ++j) {
if (base[now][i] & c[j]) base[now][i - k + j] = 1;
}
}
for (int i = 0; i < k; ++i) {
if (coefficient[i] & a[i]) return 1;
}
return 0;
}
int main() {
int k; ll n; cin >> k >> n;
vector<ll> a(k), b(k);
REP(i, k) cin >> a[i];
REP(i, k) cin >> b[i];
ll lb = min(*min_element(ALL(a)), *min_element(ALL(b))), ub = min(*max_element(ALL(a)), *max_element(ALL(b))) + 1;
while (ub - lb > 1) {
ll x = (lb + ub) / 2;
vector<bool> c(k, false), d(k, false);
REP(i, k) c[i] = a[i] >= x;
REP(i, k) d[i] = b[i] >= x;
(kita_masa(d, c, n) ? lb : ub) = x;
}
cout << lb << '\n';
return 0;
}