結果

問題 No.2308 [Cherry 5th Tune B] もしかして、真?
コンテスト
ユーザー kakel-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
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 39
権限があれば一括ダウンロードができます
コンパイルメッセージ
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