pow関数のint型

Question

Atcoder初心者です

発生している問題・エラーメッセージ

Atcoderの　ABC081B - Shift onlyの問題で

A.at(i) % (int)pow(2,count+1) == 1

と偶奇の条件分岐をしているのですが正しく判定されません．

該当のソースコード

#include <bits/stdc++.h>
using namespace std;

int main() {
    int N;
    cin >> N;
    vector<int> A(N);
    for (int i = 0 ; i < N ; i++) {
        cin >> A.at(i);
    }
    int count =0;
    while (true) {
        bool even = true;
        for (int i = 0 ; i < N ; i++ ) {
            if (A.at(i) % (int)pow(2,count+1) == 1) {
                even = false;
            }
        }
        if (even == true) {
            count++;
        }
        if (even == false){
                break;
        }
}
cout << count << endl;
}

(int)pow(2,count+1)で2の冪乗をint型で返しているはずですが上手く判定されません．原因がおわかりの方いらっしゃいましたらご教授いただけると幸いです．よろしくお願いいたします．

Comments

[y_waiwai]

で、しつもんはなんでしょうか

[qingmuyusi2]

すみません、修正いたしました。

Answer 1

A.at(i) % (int)pow(2,count+1) == 1 は A.at(i) の偶奇を判定していません．もし偶奇を判定したいのなら A.at(i) % 2 == 1 とすべきです．ただし，この問題は上のように修正して偶奇を判定できたとしても正しく解けるわけではありません．

ソースコードで意図していることは，A[0], A[1], ..., A[N - 1] を 2, 4, 8, 16, ... と順番に割り切れない要素が存在するまで繰り返し行うことだと勝手に解釈したとき，A.at(i) % (int)pow(2,count+1) == 1 は A.at(i) を 2^(count + 1) で割り切れないことを表したいのではないかと思いますが，そこが正しくソースコードに書かれていません．
A.at(i) % (int)pow(2, count + 1) の値が何のときに割り切れないのかを考えれば解けると思うので頑張ってください．

Comments

[qingmuyusi2]

回答していただきありがとうございます．
> A.at(i) % (int)pow(2,count+1) == 1 は A.at(i) の偶奇を判定していません．もし偶奇を判定したいのなら A.at(i) % 2 == 1 とすべきです．ただし，この問題は上のように修正して偶奇を判定できたとしても正しく解けるわけではありません．

その通りですね(汗)ソースコードと言っていることが違っていました．

割り切れない条件 `A.at(i) % (int)pow(2,count+1) != 0` に変えたところ上手くいきました．丁寧なご回答本当にありがとうございます．