結果

問題 No.2308 [Cherry 5th Tune B] もしかして、真?
ユーザー kakel-sankakel-san
提出日時 2023-08-03 21:33:11
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 328 ms / 2,000 ms
コード長 3,276 bytes
コンパイル時間 4,417 ms
コンパイル使用メモリ 109,952 KB
実行使用メモリ 60,732 KB
最終ジャッジ日時 2024-10-13 18:43:26
合計ジャッジ時間 20,016 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 28 ms
18,944 KB
testcase_01 AC 267 ms
47,880 KB
testcase_02 AC 295 ms
58,384 KB
testcase_03 AC 297 ms
53,324 KB
testcase_04 AC 301 ms
55,848 KB
testcase_05 AC 307 ms
56,896 KB
testcase_06 AC 304 ms
52,364 KB
testcase_07 AC 306 ms
53,324 KB
testcase_08 AC 299 ms
56,784 KB
testcase_09 AC 306 ms
60,732 KB
testcase_10 AC 315 ms
59,108 KB
testcase_11 AC 307 ms
59,276 KB
testcase_12 AC 306 ms
59,292 KB
testcase_13 AC 299 ms
59,168 KB
testcase_14 AC 300 ms
59,028 KB
testcase_15 AC 304 ms
58,896 KB
testcase_16 AC 302 ms
59,176 KB
testcase_17 AC 296 ms
59,152 KB
testcase_18 AC 301 ms
59,148 KB
testcase_19 AC 311 ms
59,036 KB
testcase_20 AC 303 ms
59,272 KB
testcase_21 AC 328 ms
59,316 KB
testcase_22 AC 328 ms
59,484 KB
testcase_23 AC 326 ms
59,332 KB
testcase_24 AC 324 ms
59,196 KB
testcase_25 AC 328 ms
59,340 KB
testcase_26 AC 324 ms
59,192 KB
testcase_27 AC 325 ms
59,200 KB
testcase_28 AC 326 ms
59,340 KB
testcase_29 AC 325 ms
59,448 KB
testcase_30 AC 328 ms
59,460 KB
testcase_31 AC 252 ms
57,732 KB
testcase_32 AC 249 ms
57,260 KB
testcase_33 AC 250 ms
57,132 KB
testcase_34 AC 266 ms
57,880 KB
testcase_35 AC 265 ms
57,756 KB
testcase_36 AC 267 ms
57,756 KB
testcase_37 AC 50 ms
23,024 KB
testcase_38 AC 307 ms
58,692 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff # 

using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;
class Program
{
    static int NN => int.Parse(ReadLine());
    static int[] NList => ReadLine().Split().Select(int.Parse).ToArray();
    static int[][] NArr(long n) => Enumerable.Repeat(0, (int)n).Select(_ => NList).ToArray();
    static string[] SList(long n) => Enumerable.Repeat(0, (int)n).Select(_ => ReadLine()).ToArray();
    public static void Main()
    {
        Solve();
    }
    static void Solve()
    {
        var t = NN;
        var ans = new string[t];
        for (var u = 0; u < t; ++u)
        {
            var n = NN;
            var x = ReadLine().Split();
            var y = ReadLine().Split();
            var s = NList;
            ans[u] = IsTrue(n, x, y, s);
        }
        WriteLine(string.Join("\n", ans));
    }
    static string IsTrue(int n, string[] x, string[] y, int[] s)
    {
        var xl = new int[x.Length];
        for (var i = 0; i < xl.Length; ++i) xl[i] = x[i] == "False" ? 0 : 1;
        var yl = new int[y.Length];
        for (var i = 0; i < yl.Length; ++i) yl[i] = Decode(y[i]);
        var ft = new FenwickTree(n);
        for (var i = 0; i < n; ++i) ft.Add(i, 1);
        foreach (var si in s)
        {
            var pos0 = ft.LowerBound(si);
            var pos1 = ft.LowerBound(si + 1);
            xl[pos1] = Calc(xl[pos0], xl[pos1], yl[pos0]);
            ft.Add(pos0, -1);
        }
        return xl[ft.LowerBound(1)] == 0 ? "False" : "True";
    }
    static int Decode(string s)
    {
        switch (s)
        {
            case "and": return 0;
            case "or" : return 1;
            case "xor": return 2;
            default: return 3;
        }
    }
    static int Calc(int a, int b, int op)
    {
        switch (op)
        {
            case 0: return a & b;
            case 1: return a | b;
            case 2: return a ^ b;
            default: return 1 - a | b;
        }
    }
    class FenwickTree
    {
        int size;
        long[] tree;
        public FenwickTree(int size)
        {
            this.size = size;
            tree = new long[size + 2];
        }
        public void Add(int index, int value)
        {
            ++index;
            for (var x = index; x <= size; x += (x & -x)) tree[x] += value;
        }
        /// <summary>先頭からindexまでの和(include index)</summary>
        public long Sum(int index)
        {
            ++index;
            var sum = 0L;
            for (var x = index; x > 0; x -= (x & -x)) sum += tree[x];
            return sum;
        }
        /// <summary>Sum(x) >= value となる最小のxを求める</summary>
        // 各要素は非負であること
        public int LowerBound(long value)
        {
            if (value < 0) return -1;
            var x = 0;
            var b = 1;
            while (b * 2 <= size) b <<= 1;
            for (var k = b; k > 0; k >>= 1)
            {
                if (x + k <= size && tree[x + k] < value)
                {
                    value -= tree[x + k];
                    x += k;
                }
            }
            return x;
        }
    }
}
0