結果

問題 No.2533 A⇒B問題
ユーザー 👑 p-adicp-adic
提出日時 2023-08-26 15:52:06
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,319 bytes
コンパイル時間 560 ms
コンパイル使用メモリ 67,072 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-06-07 11:42:04
合計ジャッジ時間 1,346 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <iostream>
using namespace std;
int main()
{
  // 入力の受け取り。
  int A; cin >> A;
  int B; cin >> B;
  // ここからA,Bの二進法表記の下の桁から順に調べる。
  
  // 各非負整数dに対し二進法表記の1+d桁目は2^dの位なので、
  // 2^dを格納するための変数powerを準備する。
  int power = 1;
  // なおd自体は計算に使わないので、dのための変数は作らなくてよい。

  // A < 2^dの時はAの2^dの位が0なので、A=>Bの判定には関係ない。
  while( A >= power ){

    // 左辺はAの2^dの位で、右辺はBの2^dの位となる。
    if( ( A / power ) % 2 > ( B / power ) % 2 ){
      // 上式の補足：
      // 2^dの位は0か1なので、
      // (1) 左辺が右辺より真に大きいこと
      // (2) 左辺=1かつ右辺=0となること
      // の２条件は同値。つまりこのif文は(2)を一発で判定したもの。
      cout << "No\n";
      return 0;
    }

    // dをd+1に置き換える処理は、2^dを2^{d+1}=2^d×2に置き換える処理に翻訳できる。
    power *= 2;
    
  }
  
  // Aの桁を全て確認し終えて途中でNoと判定されることもなかったので、
  // A=>Bが成り立つことが確定した。
  cout << "Yes\n";
  return 0;
}
0