結果
| 問題 | 
                            No.1589 Bit Vector
                             | 
                    
| コンテスト | |
| ユーザー | 
                             sten_san
                         | 
                    
| 提出日時 | 2021-07-09 03:11:04 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 26 ms / 2,000 ms | 
| コード長 | 1,522 bytes | 
| コンパイル時間 | 3,213 ms | 
| コンパイル使用メモリ | 193,136 KB | 
| 最終ジャッジ日時 | 2025-01-22 19:58:58 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 1 | 
| other | AC * 35 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
struct iofast_t {
    iofast_t() {
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
    }
} iofast;
struct uns_t {} uns;
template <typename Element, typename Head, typename ...Args>
auto vec(Element init, Head arg, Args ...args) {
    if constexpr (sizeof...(Args) == 0) return std::vector(arg, init);
    else return std::vector(arg, vec(init, args...));
}
template <typename Element, typename Head, typename ...Args>
auto vec(uns_t, Head arg, Args ...args) {
    return vec(Element(), arg, args...);
}
template <typename T, typename Compare = less<T>>
T &chmin(T &l, T r, Compare &&f = less<T>()) { return l = min(l, r, f); }
template <typename T, typename Compare = less<T>>
T &chmax(T &l, T r, Compare &&f = less<T>()) { return l = max(l, r, f); }
int main() {
    int n, k; cin >> n >> k;
    auto cupd = [](int i, bool x) {
        cout << "UPD " << i << " " << x << endl;
    };
    auto cand = [](int i, int j, int k) {
        cout << "AND " << i << " " << j << " " << k << endl;
    };
    auto cxor = [](int i, int j, int k) {
        cout << "XOR " << i << " " << j << " " << k << endl;
    };
    cout << (n * (n - 1) * 4 + k + 1) << endl;
    for (int i = 0; i < n; ++i) {
        for (int j = n - 2; 0 <= j; --j) {
            cand(n, j, j + 1);
            cxor(j, j, j + 1);
            cand(j + 1, j + 1, n);
            cxor(j, j, n);
        }
    }
    cupd(n, 1);
    for (int i = 0; i < k; ++i) {
        cand(n, i, n);
    }
}
            
            
            
        
            
sten_san