結果
| 問題 |
No.19 ステージの選択
|
| ユーザー |
 plasma_e
|
| 提出日時 | 2017-06-17 20:59:24 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
CE
(最新)
AC
(最初)
|
| 実行時間 | - |
| コード長 | 4,655 bytes |
| コンパイル時間 | 986 ms |
| コンパイル使用メモリ | 78,296 KB |
| 最終ジャッジ日時 | 2025-04-20 20:54:06 |
| 合計ジャッジ時間 | 1,882 ms |
|
ジャッジサーバーID （参考情報） |
judge4 / judge1 |
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
main.cpp:16:23: error: ‘std::uint64_t’ has not been declared
16 | template<std::uint64_t Mod>struct modnum;
| ^~~~~~~~
main.cpp:40:23: error: ‘std::uint64_t’ has not been declared
40 | template<std::uint64_t Mod>constexpr auto inverse(modnum<Mod> const&);
| ^~~~~~~~
main.cpp:40:66: error: ‘Mod’ was not declared in this scope
40 | template<std::uint64_t Mod>constexpr auto inverse(modnum<Mod> const&);
| ^~~
main.cpp:40:69: error: template argument 1 is invalid
40 | template<std::uint64_t Mod>constexpr auto inverse(modnum<Mod> const&);
| ^
main.cpp:42:23: error: ‘std::uint64_t’ has not been declared
42 | template<std::uint64_t Mod>struct modnum
| ^~~~~~~~
main.cpp:75:23: error: ‘std::uint64_t’ has not been declared
75 | template<std::uint64_t Mod>constexpr auto operator+(modnum<Mod> lhs, modnum<Mod>const& rhs)
| ^~~~~~~~
main.cpp:75:68: error: ‘Mod’ was not declared in this scope
75 | template<std::uint64_t Mod>constexpr auto operator+(modnum<Mod> lhs, modnum<Mod>const& rhs)
| ^~~
main.cpp:75:71: error: template argument 1 is invalid
75 | template<std::uint64_t Mod>constexpr auto operator+(modnum<Mod> lhs, modnum<Mod>const& rhs)
| ^
main.cpp:75:85: error: ‘Mod’ was not declared in this scope
75 | template<std::uint64_t Mod>constexpr auto operator+(modnum<Mod> lhs, modnum<Mod>const& rhs)
| ^~~
main.cpp:75:88: error: template argument 1 is invalid
75 |
ソースコード
#include<iostream>
#include<vector>
#include<map>
#include<set>
#include<algorithm>
#include<numeric>
#include<limits>
#include<bitset>
#include<functional>
#include<type_traits>
#include<queue>
#include<stack>
namespace lib
{
template<std::uint64_t Mod>struct modnum;
template<class T>constexpr T pow(T base, std::size_t p)
{
if (p == 0)
{
return T(1);
}
else if (p == 1)
{
return base;
}
else if (p == 2)
{
return base*base;
}
else if (p % 2 == 0)
{
return pow(pow(base, p / 2), 2);
}
else
{
return pow(pow(base, p / 2), 2)*base;
}
}
template<std::uint64_t Mod>constexpr auto inverse(modnum<Mod> const&);
template<std::uint64_t Mod>struct modnum
{
static constexpr auto mod = Mod;
std::uint64_t val;
modnum() = default;
constexpr modnum(std::uint64_t v) :val(v%Mod)
{
}
constexpr modnum& operator+=(modnum const& v)
{
val += v.val;
val %= mod;
return *this;
}
constexpr modnum& operator-=(modnum const& v)
{
val += mod - v.val;
val %= mod;
return *this;
}
constexpr modnum& operator*=(modnum const& v)
{
val *= v.val;
val %= mod;
return *this;
}
constexpr modnum& operator/=(modnum const& v)
{
return operator*=(inverse(v));
}
};
template<std::uint64_t Mod>constexpr auto operator+(modnum<Mod> lhs, modnum<Mod>const& rhs)
{
return lhs += rhs;
}
template<std::uint64_t Mod>constexpr auto operator-(modnum<Mod> lhs, modnum<Mod>const& rhs)
{
return lhs -= rhs;
}
template<std::uint64_t Mod>constexpr auto operator*(modnum<Mod> lhs, modnum<Mod>const& rhs)
{
return lhs *= rhs;
}
template<std::uint64_t Mod>constexpr auto operator/(modnum<Mod> lhs, modnum<Mod>const& rhs)
{
return lhs /= rhs;
}
template<std::uint64_t Mod>constexpr auto inverse(modnum<Mod>const& base)
{
return pow(base, Mod - 2);
}
template<class T>constexpr auto clamp(T v)
{
return std::max(v, T());
}
template<class T>void sort(std::vector<T>& vec)
{
std::sort(vec.begin(), vec.end());
}
template<class T>auto lower_bound(std::vector<T>const& vec, T v)
{
return std::distance(vec.begin(), std::lower_bound(vec.begin(), vec.end(), v));
}
template<class T>auto upper_bound(std::vector<T>const& vec, T v)
{
return std::distance(vec.begin(), std::upper_bound(vec.begin(), vec.end(), v));
}
template<class Tag>struct dmod
{
std::uint64_t val;
static std::uint64_t mod;
dmod(std::uint64_t v = 0) :val(v%mod)
{
}
dmod& operator+=(dmod const& rhs)
{
val += rhs.val;
val %= mod;
return *this;
}
dmod& operator-=(dmod const& rhs)
{
val += mod - rhs.val;
val %= mod;
return *this;
}
dmod& operator*=(dmod const& rhs)
{
val *= rhs.val;
val %= mod;
return *this;
}
};
template<class Tag>dmod<Tag> operator+(dmod<Tag> lhs, dmod<Tag> const& rhs)
{
return lhs += rhs;
}
template<class Tag>dmod<Tag> operator-(dmod<Tag> lhs, dmod<Tag> const& rhs)
{
return lhs -= rhs;
}
template<class Tag>dmod<Tag> operator*(dmod<Tag> lhs, dmod<Tag> const& rhs)
{
return lhs *= rhs;
}
template<class Tag>std::uint64_t dmod<Tag>::mod;
struct scope_exit
{
std::function<void(void)> func;
scope_exit(std::function<void(void)> f) :func(f)
{
}
~scope_exit()
{
func();
}
};
template<int val>using int_tag = std::integral_constant<int, val>;
}
void Main();
int main()
{
std::cin.tie(nullptr);
std::cin.sync_with_stdio(false);
Main();
}
bool check_cycle(int index, int start, std::vector<std::set<int>>const&dest)
{
for (auto v : dest[index])
{
if (v == start)
{
return true;
}
if (check_cycle(v, start, dest))
{
return true;
}
}
return false;
}
void Main()
{
int N;
std::cin >> N;
std::vector<int> data(N);
std::vector<std::set<int>> dest(N);
std::vector<int> cycle(N);
std::set<int> rest;
for (int i = 0; i < N; ++i)
{
std::cin >> data[i];
int x;
std::cin >> x;
dest[x - 1].emplace(i);
rest.emplace(i);
}
for (int i = 0; i < N; ++i)
{
cycle[i] = check_cycle(i, i, dest);
}
int ret = 0;
std::vector<int> sum(N);
while (rest.size() > 0)
{
auto top = *rest.begin();
for (auto index : rest)
{
if (std::make_pair(!cycle[index], data[index]) < std::make_pair(!cycle[top], data[top]))
{
top = index;
}
}
std::stack<int> stack;
stack.emplace(top);
ret += data[top];
while (stack.size() > 0)
{
auto index = stack.top();
stack.pop();
if (!rest.count(index))
{
continue;
}
rest.erase(index);
ret += data[index];
for (auto v : dest[index])
{
stack.emplace(v);
}
}
}
std::cout << ret / 2 << "." << (ret % 2 == 0 ? 0 : 5) << std::endl;
}