結果
問題 | No.2267 群の公理 |
ユーザー |
![]() |
提出日時 | 2023-10-02 05:50:37 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 2,670 bytes |
コンパイル時間 | 2,101 ms |
コンパイル使用メモリ | 193,708 KB |
実行使用メモリ | 6,948 KB |
最終ジャッジ日時 | 2024-07-26 13:35:52 |
合計ジャッジ時間 | 3,607 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 50 |
ソースコード
#include <algorithm>#include <array>#include <bit>#include <bitset>#include <cassert>#include <cctype>#include <chrono>#include <climits>#include <clocale>#include <cmath>#include <complex>#include <concepts>#include <cstdio>#include <cstdlib>#include <ctime>#include <deque>#include <fstream>#include <functional>#include <iomanip>#include <iostream>#include <iterator>#include <limits>#include <list>#include <map>#include <numbers>#include <numeric>#include <queue>#include <random>#include <ranges>#include <regex>#include <set>#include <sstream>#include <stack>#include <string>#include <tuple>#include <unordered_map>#include <unordered_set>#include <utility>#include <vector>constexpr int MOD{1'000'000'007};constexpr int MOD2{998'244'353};constexpr int INF{1'000'000'000}; //1e9constexpr int NIL{-1};constexpr long long LINF{1'000'000'000'000'000'000}; // 1e18constexpr long double EPS{1E-10L};using namespace std::literals;template<class T, class S> bool chmax(T &a, const S &b){if(a < b){a = b; return true;}return false;}template<class T, class S> bool chmin(T &a, const S &b){if(b < a){a = b; return true;}return false;}template<class T> bool inside(T x, T lx, T rx){ //semi-openreturn (std::ranges::clamp(x, lx, rx-1) == x);}template<class T> bool inside(T x, T y, T lx, T rx, T ly, T ry){return inside(x, lx, rx) && inside(y, ly, ry);}template<class T> void print_vec(std::vector<T> &v, std::string sep = " "s, std::string end = "\n"s){std::ranges::copy(v | std::views::reverse | std::views::drop(1) | std::views::reverse, std::ostream_iterator<T>(std::cout, sep.c_str()));if(!v.empty()) std::cout << v.back();std::cout << end;}int main(){std::cout << ([](){int N; std::cin >> N;std::vector A(N, std::vector<int>(N)); auto At{A};for(int i{0}; i < N; ++i) for(int j{0}; j < N; ++j){std::cin >> A[i][j]; At[j][i] = A[i][j];}for(int i{0}; i < N; ++i) for(int j{0}; j < N; ++j) for(int k{0}; k < N; ++k) if(A[A[i][j]][k] != A[i][A[j][k]]) return false;std::vector<int> B(N); std::iota(std::ranges::begin(B), std::ranges::end(B), 0);int e_grp{NIL};for(int i{0}; i < N && e_grp == NIL; ++i) if(A[i] == B && At[i] == B) e_grp = i;if(e_grp == NIL) return false;for(int i{0}; i < N; ++i){int i_rev{NIL};for(int j{0}; j < N && i_rev == NIL; ++j) if(A[i][j] == e_grp && A[j][i] == e_grp) i_rev = j;if(i_rev == NIL) return false;}return true;}() ? "Yes" : "No") << std::endl;return 0;}