結果

問題 No.3534 Make Many Fences
コンテスト
ユーザー kwm_t
提出日時 2026-05-08 22:13:21
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 89 ms / 1,000 ms
コード長 3,677 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,127 ms
コンパイル使用メモリ 330,040 KB
実行使用メモリ 7,972 KB
最終ジャッジ日時 2026-05-08 22:13:27
合計ジャッジ時間 4,062 ms
ジャッジサーバーID
（参考情報） 		judge1_1 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 9
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
//#include <atcoder/all>
using namespace std;
// using namespace atcoder;
// using mint = modint1000000007;
// const int mod = 1000000007;
// using mint = modint998244353;
// const int mod = 998244353;
// const int INF = 1e9;
// const long long LINF = 1e18;
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define rep2(i, l, r) for (int i = (l); i < (r); ++i)
#define rrep(i, n) for (int i = (n)-1; i >= 0; --i)
#define rrep2(i, l, r) for (int i = (r)-1; i >= (l); --i)
#define all(x) (x).begin(), (x).end()
#define allR(x) (x).rbegin(), (x).rend()
#define P pair<int, int>
template<typename A, typename B> inline bool chmax(A &a, const B &b) { if (a < b) { a = b; return true; } return false; }
template<typename A, typename B> inline bool chmin(A &a, const B &b) { if (a > b) { a = b; return true; } return false; }
#ifndef KWM_T_ALGORITHM_SEARCH_BINARYSEARCH_HPP
#define KWM_T_ALGORITHM_SEARCH_BINARYSEARCH_HPP

#include <cstdlib>

/**
 * @brief 二分探索 (整数)
 *
 * @details
 *  単調性を持つ述語 f(x) に対して、f(x)=true となる境界を探索する。
 *  初期状態で ok は true、ng は false を満たしている必要がある。
 *
 * Typical Use:
 *  最大/最小の条件を満たす整数を探す
 *
 * Complexity:
 *  Time: O(log |ok-ng|)
 *
 * Template Parameters:
 *  T : 整数型 (int / long long など)
 *  F : bool f(T) を返す関数オブジェクト
 *
 * Parameters:
 *  ok : 条件を満たす値
 *  ng : 条件を満たさない値
 *  f  : 判定関数
 *
 * Return:
 *  条件を満たす境界値
 *
 * Requirements:
 *  f(ok) == true
 *  f(ng) == false
 *
 * Notes:
 *  ok と ng の大小関係は問わない
 *
 * Example:
 *  ```cpp
 *  auto f = [&](long long x){
 *      return x * x <= 100;
 *  };
 *
 *  long long ans = binarySearch(0LL, 11LL, f);
 *  ```
 *
 * Verified:
 *
 */
namespace kwm_t::algorithm::search {

template <class T, class F>
T binarySearch(T ok, T ng, const F &f) {
	while (std::abs(ok - ng) > 1) {
		T mid = (ok + ng) / 2;
		(f(mid) ? ok : ng) = mid;
	}
	return ok;
}
}

/**
 * @brief 二分探索 (実数)
 *
 * @details
 *  実数値に対する二分探索。
 *  回数固定で探索を行う。
 *
 * Typical Use:
 *  実数解の近似探索
 *
 * Complexity:
 *  Time: O(counter)
 *
 * Template Parameters:
 *  T : 浮動小数点型 (double / long double)
 *  F : bool f(T) を返す関数オブジェクト
 *
 * Parameters:
 *  ok      : 条件を満たす値
 *  ng      : 条件を満たさない値
 *  f       : 判定関数
 *  counter : 反復回数
 *
 * Return:
 *  条件を満たす近似値
 *
 * Requirements:
 *  f(ok) == true
 *  f(ng) == false
 *
 * Example:
 *  ```cpp
 *  auto f = [&](double x){
 *      return x * x <= 2.0;
 *  };
 *
 *  double ans = binarySearchDouble(0.0, 2.0, f);
 *  ```
 *
 * Verified:
 *
 */

namespace kwm_t::algorithm::search {
template <class T, class F>
T binarySearchDouble(T ok, T ng, const F &f, int counter = 100) {
	while (counter--) {
		T mid = (ok + ng) / 2;
		(f(mid) ? ok : ng) = mid;
	}
	return ok;
}

} // namespace kwm_t::algorithm::search

#endif // KWM_T_ALGORITHM_SEARCH_BINARYSEARCH_HPP
int main() {
	std::ios::sync_with_stdio(false);
	std::cin.tie(nullptr);
	int t; cin >> t;
	while (t--) {
		int n, m; cin >> n >> m;
		auto f = [&](long long x) {
			int fc = (x + 2) / 3;
			int amari = n - fc * 4;
			if (amari < 0)return false;
			int add = (amari / 2) * 4;
			//		cout << amari << " " << add << " " << fc << endl;
			return fc * 2 <= m + add;
		};
		//f(64);
		auto ans = kwm_t::algorithm::search::binarySearch<long long>(0, (n / 4) * 3 + 1, f);
		cout << ans << endl;
	}
	return 0;
}
0