#pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") //#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native") //浮動小数点 #include "bits/stdc++.h" //#include //AtCoder (gcc) 上ではこれがあると動かない。__popcnt用のincludeファイル。 using namespace std; typedef long long ll; typedef long double ld; #define int long long #define rep(i, n) for(long long i = 0; i < (n); i++) #define sqrt(d) pow((long double) (d), 0.50) #define PII pair #define MP make_pair const int INF = 2000000000; //2e9 const long long INF2 = 1000000000000000000; //1e18 const long double pi = acos(-1); constexpr int MOD = 1000000007; //1e9 + 7 //constexpr int MOD = 1000000009; //1e9 + 9 //constexpr int MOD = 998244353; //繰り返し2乗法 //N^aの、Mで割った余りを求める。 ll my_pow(ll N, ll a, ll M) { ll tempo; if (a == 0) { return 1; } else { if (a % 2 == 0) { tempo = my_pow(N, a / 2, M); return (tempo * tempo) % M; } else { tempo = my_pow(N, a - 1, M); return (tempo * N) % M; } } } ll my_pow(ll N, ll a) { ll tempo; if (a == 0) { return 1; } else { if (a % 2 == 0) { tempo = my_pow(N, a / 2); return (tempo * tempo); } else { tempo = my_pow(N, a - 1); return (tempo * N); } } } //N_C_a を M で割った余り ll my_combination(ll N, ll a, ll M) { if (N < a) return 0; ll answer = 1; rep(i, a) { answer *= (N - i); answer %= M; } rep(i, a) { answer *= my_pow(i + 1, M - 2, M); answer %= M; } return answer; } //N_C_i を M で割った余りを、v.at(i) に代入する。 void my_combination_table(ll N, ll M, vector& v) { v.assign(N + 1, 1); for (ll i = 1; i <= N; i++) { v.at(i) = v.at(i - 1) * (N - (i - 1LL)); v.at(i) %= M; v.at(i) *= my_pow(i, M - 2, M); v.at(i) %= M; } } //(N + i)_C_N を M で割った余りを、v.at(i) に代入する。(v のサイズに依存) void my_combination_table2(ll N, ll M, vector& v) { v.at(0) = 1; for (ll i = 1; i < (ll)v.size(); i++) { v.at(i) = v.at(i - 1) * (N + i); v.at(i) %= M; v.at(i) *= my_pow(i, M - 2, M); v.at(i) %= M; } } //階乗。x ! まで計算する。結果は dp に保存する。20 ! = 2.43e18 まで long long に入る。 ll factorial(ll x, vector& dp) { if ((ll)dp.size() <= x) { int n = dp.size(); rep(i, x + 1 - n) { dp.push_back(0); } } if (x == 0) return dp.at(x) = 1; if (dp.at(x) != -1 && dp.at(x) != 0) return dp.at(x); return dp.at(x) = x * factorial(x - 1, dp); } //階乗の M で割った余り。x ! まで計算する。結果は dp に保存する。 ll factorial2(ll x, ll M, vector& dp) { if ((ll)dp.size() <= x) { int n = dp.size(); rep(i, x + 1 - n) { dp.push_back(0); } } if (x == 0) return dp.at(x) = 1; if (dp.at(x) != -1 && dp.at(x) != 0) return dp.at(x); ll tempo = (x * factorial2(x - 1, M, dp)); tempo %= M; return dp.at(x) = tempo; } //階乗の mod M での逆元 (M: prime)。x ! まで計算する。結果は dp に保存する。 ll factorial_inverse(ll x, ll M, vector& dp) { if ((ll)dp.size() <= x) { int n = dp.size(); rep(i, x + 1 - n) { dp.push_back(0); } } if (x == 0) return dp.at(x) = 1; if (dp.at(x) != -1 && dp.at(x) != 0) return dp.at(x); return dp.at(x) = (my_pow(x, M - 2, M) * factorial_inverse(x - 1, M, dp)) % M; } //N_C_a を M で割った余り。何度も呼ぶ用。 ll my_combination2(ll N, ll a, ll M, vector& dp_factorial, vector& dp_factorial_inverse) { if ((ll)dp_factorial.size() <= N) { factorial2(N, M, dp_factorial); } if ((ll)dp_factorial_inverse.size() <= N) { factorial_inverse(N, M, dp_factorial_inverse); } if (N < a) return 0; ll answer = 1; answer *= dp_factorial.at(N); answer %= M; answer *= dp_factorial_inverse.at(N - a); answer %= M; answer *= dp_factorial_inverse.at(a); answer %= M; return answer; } long long my_gcd(long long a, long long b) { if (b == 0) return a; return my_gcd(b, a % b); } // ax + by = gcd(a, b) を解く。返り値は、gcd(a, b)。 long long my_gcd_extended(long long a, long long b, long long& x, long long& y) { if (b == 0) { x = 1; y = 0; return a; } long long tempo = my_gcd_extended(b, a % b, y, x); //bx' + ry' = gcd(a, b) → (qb + r)x + by = gcd(a, b) に戻さないといけない。// (r = a % b) //b(x' - qy') + (bq + r)y' = gcd(a, b) と同値変形できるから、 // x = y', y = x' - qy' y -= (a / b) * x; return tempo; } // base を底としたときの、n の i桁目を、v.at(i) に入れる。(桁数は n に応じて自動で設定する。) void ll_to_vector(signed base, long long n, vector& v) { long long tempo = n; long long tempo2 = n; signed n_digit = 1; while (tempo2 >= base) { tempo2 /= base; n_digit++; } v.assign(n_digit, 0); // v のサイズを適切に調整する場合。 // n_digit = v.size(); // v のサイズをそのままにする場合。 for (signed i = 0; i < n_digit; i++) { long long denominator = my_pow(base, n_digit - 1 - i); v.at(i) = tempo / denominator; tempo -= v.at(i) * denominator; } } int char_to_int(char c) { switch (c) { case '0': return 0; case '1': return 1; case '2': return 2; case '3': return 3; case '4': return 4; case '5': return 5; case '6': return 6; case '7': return 7; case '8': return 8; case '9': return 9; default: return 0; } } //エラトステネスの篩で、prime で ないところに false を入れる。O(n loglog n) void prime_judge(vector& prime_or_not) { prime_or_not.assign(prime_or_not.size(), true); prime_or_not.at(0) = false; prime_or_not.at(1) = false; long long n = prime_or_not.size() - 1; for (long long i = 2; 2 * i <= n; i++) { prime_or_not.at(2 * i) = false; } for (long long i = 3; i * i <= n; i += 2) { //ここからは奇数のみ探索。i の倍数に false を入れる。 if (prime_or_not.at(i)) { long long j = i * i; // i^2 未満の i の倍数には、すでに false が入っているはず。 while (j < n + 1) { prime_or_not.at(j) = false; j += 2 * i; } } } }; // n + 1 の サイズの vector を返す。res.at(i) には、i の 1 以外で最小の約数を入れる。res.at(i) == i なら i は素数。 // 2e8 なら、3.2 秒程度で終わる。たぶん、prime_judge より 3倍弱遅い。 vector sieve(long long n) { n++; // n まで判定する。配列サイズは +1。 vector res(n, 0); for (long long i = 1; i < n; i++) { if (i % 2 == 0) res.at(i) = 2; // 偶数をあらかじめ処理。 else res.at(i) = i; } for (long long i = 3; i * i < n; i += 2) { //ここからは奇数のみ探索。i の倍数に i を入れる。 if (res.at(i) == i) { long long j = i * i; // i^2 未満の i の倍数には、すでに最小の約数が入っているはず。 while (j < n) { if (res.at(j) == j) res.at(j) = i; j += 2 * i; } } } return res; }; //O (sqrt(n)) で素数判定する用。 bool is_prime(long long N) { if (N == 1 || N == 0) return false; if (N == 2 || N == 3) return true; if (N % 2 == 0) return false; if (N % 3 == 0) return false; for (long long i = 1; (6 * i + 1) * (6 * i + 1) <= N; ++i) { if (N % (6 * i + 1) == 0) return false; } for (long long i = 0; (6 * i + 5) * (6 * i + 5) <= N; ++i) { if (N % (6 * i + 5) == 0) return false; } return true; } //素因数分解を O(sqrt(N)) で行うための関数。 map divide_to_prime(int target) { map res; //sqrt(target) まで調べる。 ll upper_lim = ceil(sqrt(target)); vector prime_or_not(upper_lim + 3, true); if (upper_lim < 20) prime_or_not.assign(25, true); prime_or_not.at(0) = false; prime_or_not.at(1) = false; prime_judge(prime_or_not); ll tempo = target; for (int i = 1; i * i <= target; i++) { if (prime_or_not.at(i)) { while (tempo % i == 0) { tempo /= i; res[i]++; } } if (tempo == 1) break; //別に必要はない。 } if (tempo != 1) res[tempo]++; //sqrt(target) より大きな素因数は高々1つしかない。 return res; } //関数 sieve で得た、vector min_factor を持ってるときに、素因数分解を高速で行うための関数。 map divide_to_prime2(long long target, vector& min_factor) { map res; if (min_factor.empty() || (long long)min_factor.size() - 1 < target) min_factor = sieve(target); while (target > 1) { res[min_factor[target]]++; target /= min_factor[target]; } return res; } //約数全列挙を O(sqrt(N)) で行うための関数。 vector count_dividers(long long target) { vector dividers, tempo; long long i = 1; while (i * i < target + 1) { if (target % i == 0) { dividers.push_back(i); if (i < target / i) tempo.push_back(target / i); // if節がないと、平方数の時、sqrt(target) がダブルカウントされる。 } i++; } for (long long j = 0; j < (long long)tempo.size(); j++) { dividers.push_back(tempo.at(tempo.size() - 1 - j)); } return dividers; } //関数 sieve で得た、vector min_factor を持ってるときに、約数全列挙を高速で行うための関数。 vector count_dividers2(long long target, vector& min_factor) { vector dividers = { 1 }; map memo = divide_to_prime2(target, min_factor); for (auto&& iter = memo.begin(); iter != memo.end(); iter++) { vector tempo = dividers; for (long long k = 0; k < (long long)tempo.size(); k++) { long long times = 1; for (long long j = 1; j <= (iter->second); j++) { times *= iter->first; dividers.push_back(tempo[k] * times); } } } sort(dividers.begin(), dividers.end()); //sortしないと小さい順に並ばないが、必要ないなら消しても良い。 return dividers; } void BFS_labyrinth(queue>& que, vector>& dist, int& area) { int n = dist.size(); int m = dist.at(0).size(); while (!que.empty()) { int h, w; pair tempo = que.front(); que.pop(); h = tempo.first; w = tempo.second; //cout << temp_i << " " << temp_j << endl; for (int dh = -1; dh <= 1; dh++) { for (int dw = -1; dw <= 1; dw++) { if (h + dh < 0 || n <= h + dh) continue; //範囲外 if (w + dw < 0 || m <= w + dw) continue; //範囲外 if (dh == 0 && dw == 0) continue; //動いていない if (dh * dw != 0) continue; //右上など。八近傍の場合は消す。 if (dist.at(h + dh).at(w + dw) != -1) continue; //行けない領域に、既に INF などが代入されている場合はこの条件だけで ok dist.at(h + dh).at(w + dw) = dist.at(h).at(w) + 1; que.push(make_pair(h + dh, w + dw)); } } //何か所も領域がある場合だけ必要 if (que.empty()) { rep(i, n) { rep(j, m) { if (dist.at(i).at(j) == -1) { que.push(make_pair(i, j)); dist.at(i).at(j) = 0; area++; break; } } if (!que.empty()) break; } } } } void BFS01_labyrinth(deque>& que, vector>& dist, vector>& cost) { int n = dist.size(); int m = dist.at(0).size(); while (!que.empty()) { int h, w; pair tempo = que.front(); que.pop_front(); h = tempo.first; w = tempo.second; //cout << temp_i << " " << temp_j << endl; for (int dh = -1; dh <= 1; dh++) { for (int dw = -1; dw <= 1; dw++) { if (h + dh < 0 || n <= h + dh) continue; //範囲外 if (w + dw < 0 || m <= w + dw) continue; //範囲外 if (dh == 0 && dw == 0) continue; //動いていない if (dh * dw != 0) continue; //右上など。八近傍の場合は消す。 if (dist.at(h + dh).at(w + dw) != -1) continue; //行けない領域に、既に INF などが代入されている場合はこの条件だけで ok dist.at(h + dh).at(w + dw) = dist.at(h).at(w) + cost.at(h + dh).at(w + dw); if (cost.at(h + dh).at(w + dw) == 0) {//コストが低い場合 que.push_front(make_pair(h + dh, w + dw)); } else {//コストが高い場合 que.push_back(make_pair(h + dh, w + dw)); } } } } } void dfs(const vector>& G, vector& seen, int v) { seen.at(v) = true; for (int next_v : G.at(v)) { if (seen.at(next_v)) continue; dfs(G, seen, next_v); } } class edge { public: int to; int cost; }; void dijkstra(int s, const vector> G, vector& dist) { int V = dist.size(); //頂点数 dist.assign(V, INF); //first が最短距離、second が頂点番号。 priority_queue, vector>, greater>> que; dist.at(s) = 0; que.push(make_pair(0, s)); while (!que.empty()) { pair p = que.top(); que.pop(); int v = p.second; if (dist.at(v) < p.first) continue; //最短距離がすでに更新されているので無視。 for (int i = 0; i < (int)G.at(v).size(); i++) { edge e = G.at(v).at(i); //for (auto&& e : G.at(v)) { // ← なぜか、やや遅いので。 if (dist.at(e.to) > dist.at(v) + e.cost) { dist.at(e.to) = dist.at(v) + e.cost; que.push(make_pair(dist.at(e.to), e.to)); } } } } const int Vmax2 = 1; int dp_warshall[Vmax2][Vmax2]; //G.at(i).at(j) は i から j への移動コスト。隣接行列。 void warshall_floyd(int V, const vector> G) { rep(i, V) { rep(j, V) { dp_warshall[i][j] = G.at(i).at(j); //初期化 } } rep(k, V) { rep(i, V) { rep(j, V) { dp_warshall[i][j] = min(dp_warshall[i][j], dp_warshall[i][k] + dp_warshall[k][j]); } } } } class UnionFind { public: vector parent; vector rank; vector v_size; UnionFind(int N) : parent(N), rank(N, 0), v_size(N, 1) { rep(i, N) { parent[i] = i; } } int root(int x) { if (parent[x] == x) return x; return parent[x] = root(parent[x]); //経路圧縮 } void unite(int x, int y) { int rx = root(x); int ry = root(y); if (rx == ry) return; //xの根とyの根が同じなので、何もしない。 if (rank[rx] < rank[ry]) { parent[rx] = ry; v_size[ry] += v_size[rx]; } else { parent[ry] = rx; v_size[rx] += v_size[ry]; if (rank[rx] == rank[ry]) rank[rx]++; } } bool same(int x, int y) { return (root(x) == root(y)); } int count_tree() { int N = parent.size(); int res = 0; rep(i, N) { if (root(i) == i) res++; } return res; } int size(int x) { return v_size[root(x)]; } }; class wUnionFind { public: vector parent; vector diff_weight; //親との差分。 vector rank; wUnionFind(int N) : parent(N), diff_weight(N, 0), rank(N, 0) { rep(i, N) { parent.at(i) = i; } } int root(int x) { if (parent.at(x) == x) return x; int r = root(parent.at(x)); diff_weight.at(x) += diff_weight.at(parent.at(x)); //累積和 return parent.at(x) = r; } //x の重みを出力する関数。 int weight(int x) { root(x); return diff_weight.at(x); } //weight.at(y) - weight.at(x) == w となるようにする。 bool unite(int x, int y, int w) { int rx = root(x); int ry = root(y); int diff_weight_to_ry_from_rx = w + weight(x) - weight(y); if (rx == ry) return false; //xの根とyの根が同じなので、何もしない。 if (rank.at(rx) < rank.at(ry)) { parent.at(rx) = ry; diff_weight.at(rx) = -diff_weight_to_ry_from_rx; } else { parent.at(ry) = rx; diff_weight.at(ry) = diff_weight_to_ry_from_rx; if (rank.at(rx) == rank.at(ry)) rank.at(rx)++; } return true; } bool same(int x, int y) { return (root(x) == root(y)); } int count_tree() { int N = parent.size(); int res = 0; rep(i, N) { if (root(i) == i) res++; } return res; } }; class SegmentTree { public: int ini = INF; int Size; //対象の配列サイズ以上の2冪。 vector node; SegmentTree(int N) : Size(N), node(N) { initialize(N); } SegmentTree(int N, int ini) : ini(ini), Size(N), node(N) { initialize(N); } SegmentTree(vector v) : Size(v.size()), node(v.size()) { initialize(v); } SegmentTree(vector v, int ini) : ini(ini), Size(v.size()), node(v.size()) { initialize(v); } //初期化 void initialize(int N) { int new_N = 1; while (new_N < N) new_N *= 2; Size = new_N; node.assign(2 * Size - 1, ini); } //初期化 void initialize(vector v) { int new_N = 1; while (new_N < (int)v.size()) new_N *= 2; Size = new_N; node.assign(2 * Size - 1, ini); //葉の初期化 (nodeの後ろに入れる, 二分木の一番下) for (int i = 0; i < (int)v.size(); i++) node.at(Size - 1 + i) = v.at(i); //上りながら初期化 (0-indexedの場合、例えば、3 の子は、7, 8) //!!!!!!!!!!!!!問題に合わせて定義する!!!!!!!!!!!!! for (int i = Size - 2; i >= 0; i--) { node.at(i) = min(node.at(2 * i + 1), node.at(2 * i + 2)); } } // k 番目の値 (0-indexed) を x に変更する。 void update(int k, int x) { //葉のノードの番号 (等比数列の和の公式) k += Size - 1; node.at(k) = x; //上りながら更新 (0-indexedの場合、例えば、3 の子は、7, 8) while (k > 0) { k = (k - 1) / 2; //子の最小値を親の最小値とする。 //!!!!!!!!!!!!!問題に合わせて定義する!!!!!!!!!!!!! node.at(k) = min(node.at(k * 2 + 1), node.at(k * 2 + 2)); } } //[a, b) の、例えば最小値を計算する。[l, r) は、ノード k に対応する区間を与える。 //query_sub(a, b, 0, 0, Size) で呼べばよい。 //!!!!!!!!!!!!!問題に合わせて定義する!!!!!!!!!!!!! int query_sub(int a, int b, int k, int l, int r) { if (r <= a || b <= l) return ini; // 交差しない。 if (a <= l && r <= b) return node.at(k); // 完全に含む。 else { int vl = query_sub(a, b, k * 2 + 1, l, (l + r) / 2); int vr = query_sub(a, b, k * 2 + 2, (l + r) / 2, r); return min(vl, vr); } } //[a, b) の、例えば最小値を計算する。 int query(int a, int b) { return query_sub(a, b, 0, 0, Size); } //デバック用 void node_show() { cout << endl; for (int i = 0; i < Size - 1; i++) cout << node[i] << endl; cout << endl; for (int i = Size - 1; i < 2 * Size - 1; i++) cout << node[i] << endl; } }; //転倒数を返す (comp = less_equal() の場合)。 //comp = greater() の場合は、N_C_2 - 転倒数 を返すことになる。 int my_merge(vector& A, vector& B, int left, int mid, int right, function comp) { int i = left; //Aを分割したときの、左側の配列を差す添え字。 int j = mid; //Aを分割したときの、右側の配列を差す添え字。 int k = 0; //分割した後の配列 (一時的に) B に保存。 int res = 0; while (i < mid && j < right) { if (comp(A.at(i), A.at(j))) B.at(k++) = A.at(i++); else { B.at(k++) = A.at(j++); res += mid - i; } } //左側をBに移動し尽くしたので、右側を順に入れていく。 if (i == mid) { while (j < right) { B.at(k++) = A.at(j++); } } else { //右側をBに移動し尽くしたので、左側を順に入れていく。 while (i < mid) { B.at(k++) = A.at(i++); } } //Aに値を戻す。 rep(l, k) { A.at(left + l) = B.at(l); } return res; } int my_merge_sort(vector& target, vector& tempo, int left, int right, function comp) { int mid, res = 0; if (left == right || left == right - 1) return res; mid = (left + right) / 2; res += my_merge_sort(target, tempo, left, mid, comp); res += my_merge_sort(target, tempo, mid, right, comp); res += my_merge(target, tempo, left, mid, right, comp); return res; } int my_merge_sort(vector& target, vector& tempo, int left, int right) { return my_merge_sort(target, tempo, left, right, less_equal()); } ld calc_dist(int x1, int x2, int y1, int y2) { int tempo = (x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2); ld res = sqrt((ld)tempo); return res; } //next[i][v] → 頂点 v の 2^i 先。 //next.at(i).at(j) = next.at(i - 1).at(next.at(i - 1).at(j)); int doubling(vector> next, int v, int N) { vector memo; ll_to_vector(2, N, memo); int M = 0; M = memo.size(); //上と下のどちらか。上の方が計算量的には有利。 //M = next.size(); int now = v; for (int i = 0; i < M; i++) { if (N & (int)(1LL << i)) { now = next.at(i).at(now); //cout << (int)(1LL << i) << endl; } } return now; } //ラングレス圧縮 vector> compress(string S) { int N = S.size(); vector> memo; int tempo = 1; for (int i = 1; i < N; i++) { if (i != N - 1) { if (S.at(i) == S.at(i - 1)) tempo++; else { memo.push_back(MP(tempo, S.at(i - 1))); tempo = 1; } } else { if (S.at(i) == S.at(i - 1)) { tempo++; memo.push_back(MP(tempo, S.at(i - 1))); } else { memo.push_back(MP(tempo, S.at(i - 1))); memo.push_back(MP(1, S.at(i))); } } } return memo; } signed main() { int R, C; cin >> R >> C; int res = 0; if (R == C) { if (R % 2 == 1) res = (R * C - 1) / 4; else res = R * C / 4 - 1; } else { if (R % 2 == 1 && C % 2 == 1) res = (R * C - 1) / 2; else res = R * C / 2 - 1; } cout << res << endl; }