#646722 (C++17) No.1494 LCS on Tree

提出ソース

結果

問題	No.1494 LCS on Tree
ユーザー	kaage
提出日時	2021-04-10 00:55:12
言語	C++17 (gcc 13.2.0 + boost 1.83.0)
結果	AC
実行時間	76 ms / 2,000 ms
コード長	6,580 bytes
コンパイル時間	3,632 ms
コンパイル使用メモリ	165,184 KB
実行使用メモリ	35,696 KB
最終ジャッジ日時	2023-08-12 22:38:39
合計ジャッジ時間	6,790 ms
ジャッジサーバーID （参考情報）	judge14 / judge8

このコードへのチャレンジ（β）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 4,384 KB
testcase_01	AC	2 ms 4,384 KB
testcase_02	AC	2 ms 4,380 KB
testcase_03	AC	73 ms 35,696 KB
testcase_04	AC	60 ms 23,084 KB
testcase_05	AC	60 ms 23,340 KB
testcase_06	AC	61 ms 23,004 KB
testcase_07	AC	59 ms 23,156 KB
testcase_08	AC	61 ms 23,308 KB
testcase_09	AC	61 ms 23,208 KB
testcase_10	AC	61 ms 23,196 KB
testcase_11	AC	63 ms 23,272 KB
testcase_12	AC	59 ms 23,476 KB
testcase_13	AC	61 ms 23,284 KB
testcase_14	AC	71 ms 35,692 KB
testcase_15	AC	73 ms 35,580 KB
testcase_16	AC	73 ms 35,280 KB
testcase_17	AC	73 ms 35,408 KB
testcase_18	AC	71 ms 35,436 KB
testcase_19	AC	1 ms 4,380 KB
testcase_20	AC	2 ms 4,380 KB
testcase_21	AC	2 ms 4,380 KB
testcase_22	AC	2 ms 4,380 KB
testcase_23	AC	2 ms 4,380 KB
testcase_24	AC	1 ms 4,384 KB
testcase_25	AC	2 ms 4,384 KB
testcase_26	AC	1 ms 4,384 KB
testcase_27	AC	2 ms 4,380 KB
testcase_28	AC	1 ms 4,380 KB
testcase_29	AC	2 ms 4,384 KB
testcase_30	AC	76 ms 35,596 KB
testcase_31	AC	73 ms 35,624 KB
testcase_32	AC	74 ms 35,268 KB
testcase_33	AC	74 ms 35,352 KB
testcase_34	AC	73 ms 35,264 KB
testcase_35	AC	7 ms 5,808 KB
testcase_36	AC	25 ms 14,140 KB
testcase_37	AC	5 ms 4,796 KB
testcase_38	AC	16 ms 8,100 KB
testcase_39	AC	33 ms 16,308 KB
testcase_40	AC	12 ms 7,664 KB
testcase_41	AC	46 ms 18,364 KB
testcase_42	AC	11 ms 6,580 KB
testcase_43	AC	45 ms 18,944 KB
testcase_44	AC	36 ms 16,592 KB
testcase_45	AC	42 ms 4,384 KB
testcase_46	AC	42 ms 4,380 KB
testcase_47	AC	42 ms 4,384 KB
testcase_48	AC	39 ms 4,384 KB
testcase_49	AC	41 ms 4,384 KB

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

ソースコード

raw source code

#line 2 "library/other/template.hpp"
#define _CRT_SECURE_NO_WARNINGS
#ifndef __clang__
#ifdef ONLINE_JUDGE
#pragma GCC target("avx512f")
#elif defined EVAL
#else
#pragma GCC target("avx2")
#endif
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#endif
#include <string.h>
#include <algorithm>
#include <array>
#include <bitset>
#include <cassert>
#include <cfloat>
#include <climits>
#include <cmath>
#include <complex>
#include <ctime>
#include <deque>
#include <fstream>
#include <functional>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <list>
#include <map>
#include <memory>
#include <queue>
#include <random>
#include <set>
#include <stack>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

#define rep(i, n) for (int i = 0; i < int(n); i++)
#define REP(i, n) for (int i = 1; i <= int(n); i++)
#define all(V) V.begin(), V.end()

using i128 = __int128_t;
using u128 = __uint128_t;
using uint = unsigned int;
using lint = long long;
using ulint = unsigned long long;
using IP = std::pair<int, int>;
using LP = std::pair<lint, lint>;

constexpr int INF = INT_MAX / 2;
constexpr lint LINF = LLONG_MAX / 2;
constexpr double eps = DBL_EPSILON;
constexpr double PI = 3.141592653589793238462643383279;

template <class T>
class prique : public std::priority_queue<T, std::vector<T>, std::greater<T>> {
};
int popcount(uint x) {
#if __cplusplus >= 202002L
	return std::popcount(x);
#else
#ifndef __clang__
	return __builtin_popcount(x);
#endif
#endif
	x = (x & 0x55555555) + (x >> 1 & 0x55555555);
	x = (x & 0x33333333) + (x >> 2 & 0x33333333);
	x = (x & 0x0f0f0f0f) + (x >> 4 & 0x0f0f0f0f);
	x = (x & 0x00ff00ff) + (x >> 8 & 0x00ff00ff);
	return (x & 0x0000ffff) + (x >> 16 & 0x0000ffff);
}
template <class F>
inline constexpr decltype(auto) lambda_fix(F&& f) {
	return [f = std::forward<F>(f)](auto&&... args) {
		return f(f, std::forward<decltype(args)>(args)...);
	};
}
template <class T>
constexpr std::vector<T> make_vec(size_t n) {
	return std::vector<T>(n);
}
template <class T, class... Args>
constexpr auto make_vec(size_t n, Args&&... args) {
	return std::vector<decltype(make_vec<T>(args...))>(
		n, make_vec<T>(std::forward<Args>(args)...));
}
template <class T, class U>
constexpr inline bool chmax(T& lhs, const U& rhs) noexcept {
	if (lhs < rhs) {
		lhs = rhs;
		return true;
	}
	return false;
}
template <class T, class U>
constexpr inline bool chmin(T& lhs, const U& rhs) noexcept {
	if (lhs > rhs) {
		lhs = rhs;
		return true;
	}
	return false;
}
constexpr inline lint gcd(lint a, lint b) noexcept {
	while (b) {
		lint c = a;
		a = b;
		b = c % b;
	}
	return a;
}
inline lint lcm(lint a, lint b) noexcept { return a / gcd(a, b) * b; }
constexpr bool isprime(lint n) noexcept {
	if (n == 1) return false;
	for (int i = 2; i * i <= n; i++) {
		if (n % i == 0) return false;
	}
	return true;
}
template <class T>
constexpr T mypow(T a, lint b) noexcept {
	T res(1);
	while (true) {
		if (b & 1) res *= a;
		b >>= 1;
		if (!b) break;
		a *= a;
	}
	return res;
}
constexpr lint modpow(lint a, lint b, lint m) noexcept {
	a %= m;
	lint res(1);
	while (b) {
		if (b & 1) {
			res *= a;
			res %= m;
		}
		a *= a;
		a %= m;
		b >>= 1;
	}
	return res;
}
template <class T>
constexpr void printArray(const std::vector<T>& vec, char split = ' ') {
	rep(i, vec.size()) {
		std::cout << vec[i];
		std::cout << (i == (int)vec.size() - 1 ? '\n' : split);
	}
}
template <class InputIter>
constexpr void printArray(InputIter l, InputIter r, char split = ' ') {
	auto rprev = std::prev(r);
	for (auto i = l; i != r; i++) {
		std::cout << *i;
		std::cout << (i == rprev ? '\n' : split);
	}
}
LP extGcd(lint a, lint b) noexcept {
	if (b == 0) return {1, 0};
	LP s = extGcd(b, a % b);
	std::swap(s.first, s.second);
	s.second -= a / b * s.first;
	return s;
}
LP ChineseRem(const lint& b1, const lint& m1, const lint& b2,
			  const lint& m2) noexcept {
	auto p = extGcd(m1, m2);
	lint g = gcd(m1, m2), l = m1 / g * m2;
	lint tmp = (b2 - b1) / g * p.first % (m2 / g);
	lint r = (b1 + m1 * tmp + l) % l;
	return {r, l};
}
int LCS(const std::string& a, const std::string& b) {
	auto dp = make_vec<int>(a.size() + 1, b.size() + 1);
	rep(i, a.size()) {
		rep(j, b.size()) {
			chmax(dp[i + 1][j], dp[i][j]);
			chmax(dp[i][j + 1], dp[i][j]);
			if (a[i] == b[j]) chmax(dp[i + 1][j + 1], dp[i][j] + 1);
		}
		chmax(dp[i + 1][b.size()], dp[i][b.size()]);
	}
	rep(j, b.size()) chmax(dp[a.size()][j + 1], dp[a.size()][j]);
	return dp[a.size()][b.size()];
}
template <class T, std::enable_if_t<std::is_convertible<int, T>::value,
									std::nullptr_t> = nullptr>
void compress(std::vector<T>& vec) {
	auto tmp = vec;
	std::sort(all(tmp));
	tmp.erase(std::unique(all(tmp)), tmp.end());
	for (T& i : vec) i = std::lower_bound(all(tmp), i) - tmp.begin();
}
template <class T>
void compress(T* l, T* r) {
	std::vector<T> tmp(l, r);
	std::sort(all(tmp));
	tmp.erase(std::unique(all(tmp)), tmp.end());
	for (auto i = l; i < r; i++) {
		*i = std::lower_bound(all(tmp), *i) - tmp.begin();
	}
}
template <class InputIter>
void compress(InputIter l, InputIter r) {
	std::vector<typename InputIter::value_type> tmp(l, r);
	std::sort(all(tmp));
	tmp.erase(std::unique(all(tmp)), tmp.end());
	for (auto i = l; i < r; i++) {
		*i = std::lower_bound(all(tmp), *i) - tmp.begin();
	}
}
#line 2 "main.cpp"
int N;
std::string S[2];
std::vector<std::pair<int, char>> vec[2010];
int dp[2][2010][2010];
bool done[2010];
int main() {
	std::cin >> N >> S[0];
	S[1] = S[0];
	std::reverse(all(S[1]));
	rep(i, N - 1) {
		int u, v;
		char c;
		std::cin >> u >> v >> c;
		vec[u].emplace_back(v, c);
		vec[v].emplace_back(u, c);
	}
	std::fill(done + 1, done + N + 1, false);
	int ans = 0;
	lambda_fix([&](auto self, int node) -> void {
		done[node] = true;
		std::vector<std::multiset<int>> v(vec[node].size());
		for (const auto& i : vec[node]) {
			if (!done[i.first]) {
				self(self, i.first);
				std::vector<int> update[2];
				rep(j, 2) update[j].resize(S[0].size() + 1);
				int cnt[2] = {};
				rep(j, 2) {
					rep(k, S[0].size() + 1) {
						chmax(cnt[j], dp[j][i.first][k]);
						if (k != S[0].size() && S[j][k] == i.second)
							chmax(update[j][k + 1], cnt[j] + 1);
						chmax(update[j][k], cnt[j]);
						chmax(ans,
							  update[j][k] + dp[1 - j][node][S[0].size() - k]);
					}
				}
				rep(j, 2) {
					rep(k, S[0].size() + 1) {
						chmax(dp[j][node][k], update[j][k]);
						if (k) chmax(dp[j][node][k], dp[j][node][k - 1]);
					}
				}
			}
		}
	})(1);
	std::cout << ans << std::endl;
	return 0;
}

yukicoder

結果

テストケース

ソースコード