結果
| 問題 | No.2121 帰属関係と充足可能性 |
| ユーザー |
👑  p-adic
|
| 提出日時 | 2022-10-11 15:15:38 |
| 言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 1,539 bytes |
| コンパイル時間 | 938 ms |
| コンパイル使用メモリ | 70,080 KB |
| 実行使用メモリ | 10,624 KB |
| 最終ジャッジ日時 | 2024-06-25 10:41:34 |
| 合計ジャッジ時間 | 4,415 ms |
|
ジャッジサーバーID （参考情報） |
judge4 / judge3 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 2 ms
10,624 KB |
| testcase_01 | AC | 2 ms
5,376 KB |
| testcase_02 | AC | 2 ms
5,376 KB |
| testcase_03 | AC | 1 ms
5,376 KB |
| testcase_04 | AC | 2 ms
5,376 KB |
| testcase_05 | AC | 2 ms
5,376 KB |
| testcase_06 | TLE | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
| testcase_26 | -- | - |
| testcase_27 | -- | - |
| testcase_28 | -- | - |
| testcase_29 | -- | - |
| testcase_30 | -- | - |
| testcase_31 | -- | - |
| testcase_32 | -- | - |
| testcase_33 | -- | - |
| testcase_34 | -- | - |
| testcase_35 | -- | - |
| testcase_36 | -- | - |
| testcase_37 | -- | - |
| testcase_38 | -- | - |
| testcase_39 | -- | - |
| testcase_40 | -- | - |
| testcase_41 | -- | - |
| testcase_42 | -- | - |
| testcase_43 | -- | - |
| testcase_44 | -- | - |
| testcase_45 | -- | - |
| testcase_46 | -- | - |
| testcase_47 | -- | - |
| testcase_48 | -- | - |
ソースコード
// 愚直解チェック
#include <iostream>
#include <string>
#include <stdio.h>
#include <stdint.h>
using namespace std;
using ll = long long;
#define CIN( LL , A ) LL A; cin >> A
#define FOR_LL( VAR , INITIAL , FINAL_PLUS_ONE ) for( ll VAR = INITIAL ; VAR < FINAL_PLUS_ONE ; VAR ++ )
#define RETURN( ANSWER ) cout << ( ANSWER ) << endl; return 0
int main()
{
CIN( ll , N );
if( N < 3 ){
RETURN( "NO" );
}
CIN( ll , A0 );
CIN( ll , A1 );
CIN( ll , A2 );
CIN( ll , A3 );
CIN( ll , A4 );
CIN( ll , A5 );
ll M[6] = { 0 , 1 , 2 , 4 , 16 , 65536 };
ll MN[3];
ll& MN0 = MN[A2];
ll& MN1 = MN[A0];
ll& MN2 = MN[A5];
MN0 = M[N];
// MN1 = M[N - 1];
MN1 = M[N];
// MN2 = M[N - 2];
MN2 = M[N];
ll v[3];
constexpr const ll digit = 64;
FOR_LL( v0 , 0 , MN0 ){
FOR_LL( v1 , 0 , MN1 ){
FOR_LL( v2 , 0 , MN2 ){
ll& vA2 = v[A2];
ll& vA0 = v[A0];
ll& vA5 = v[A5];
vA2 = v0;
vA0 = v1;
vA5 = v2;
ll& vA1 = v[A1];
ll vA0_copy = vA0;
ll vA1_copy = vA1;
bool b = true;
FOR_LL( i , 0 , MN2 ){
if( vA0_copy % 2 > vA1_copy % 2 ){
i = MN2;
b = false;
} else {
vA0_copy /= 2;
vA1_copy /= 2;
}
}
if( b ){
ll& vA3 = v[A3];
ll& vA4 = v[A4];
if( vA1 < MN1 && vA3 < MN1 && vA4 < MN1 ){
if( ( vA1 < digit && ( vA2 >> vA1 ) % 2 == 1 ) && ( vA3 < digit && ( vA2 >> vA3 ) % 2 == 1 ) && ( vA4 < digit && ( vA2 >> vA4 ) % 2 == 1 ) && ( vA5 < digit && ( vA0 >> vA5 ) % 2 == 1 ) ){
RETURN( "YES" );
}
}
}
}
}
}
RETURN( "NO" );
}