結果

問題 No.2535 多重同値
ユーザー Suryansh UpadhyaySuryansh Upadhyay
提出日時 2023-11-10 21:45:54
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,882 bytes
コンパイル時間 3,277 ms
コンパイル使用メモリ 256,844 KB
実行使用メモリ 7,964 KB
最終ジャッジ日時 2023-11-10 21:45:58
合計ジャッジ時間 3,953 ms
ジャッジサーバーID
(参考情報)
judge15 / judge13
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
権限があれば一括ダウンロードができます

ソースコード

diff #

/*
    Author : linneszyx
*/

#include <bits/stdc++.h>

using namespace std;

#define int long long int
#define F first
#define S second
#define pb push_back
#define si set<int>
#define vi vector<int>
#define pii pair<int, int>
#define vpi vector<pii>
#define vpp vector<pair<int, pii>>
#define mii map<int, int>
#define mpi map<pii, int>
#define spi set<pii>
#define endl "\n"
#define sz(x) ((int)x.size())
#define all(p) p.begin(), p.end()
#define double long double
#define forn(i, e) for (int i = 0; i < e; i++)
#define forsn(i, s, e) for (int i = s; i < e; i++)
#define rforn(i, s) for (int i = s; i >= 0; i--)
#define rforsn(i, s, e) for (int i = s; i >= e; i--)
#define que_max priority_queue<int>
#define que_min priority_queue<int, vi, greater<int>>
#define fast_cin()                    \
    ios_base::sync_with_stdio(false); \
    cin.tie(NULL);                    \
    cout.tie(NULL)
const int N = 1e5 + 5;
const int mod = 1e9 + 7;
using p = string;
unordered_map<int, bool> t;
bool f(p x)
{
    if (x[0] == 'P')
    {
        int idx = stoi(x.substr(1));
        return t[idx];
    }
    size_t eqp = x.find("<=>");
    if (eqp != string::npos)
    {
        p l = x.substr(0, eqp);
        p r = x.substr(eqp + 2);
        bool lx = f(l);
        bool rx = f(r);
        return lx == rx;
    }
    return false;
}
void waiffuu()
{
    int n;
    cin >> n;
    forsn(i, 1, n + 1)
    {
        bool x;
        cin >> x;
        t[i] = x;
    }
    int l, r;
    cin >> l >> r;
    p x = "X(" + to_string(l) + "," + to_string(r) + ")";
    bool res = f(x);
    if (res)
        cout << "prop is true";
    else
        cout << "prop is false";
}

int32_t main()
{
    fast_cin();
#ifndef ONLINE_JUDGE
    freopen("input.txt", "r", stdin);
    freopen("output.txt", "w", stdout);
#endif
    int t = 1;
    //	cin >> t;
    while (t--)
        waiffuu();
    return 0;
}
0