範囲for文(for( : ))の動作について

Question

前提・実現したいこと

C++でbit全探索を用いる問題をといているのですが、正解できません。解答例をみると、範囲for文が使われており、そこが誤答の原因だと考えたのですが、解答例で使われているfor文の動作と自分の回答したfor文の動作がどう異なるかわからず、どう直せば良いのかわかりません。どなたか教えていただきたいです。

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

以下の二つです。

Wrong Answer
Runtime Error

該当のソースコード

自分で書いたもの(REPはfor文を短縮するためのものです)

#include <bits/stdc++.h>
#define REP(i, n) for(int i = 0; i < n; i++)
#define REPR(i, n) for(int i = n; i >= 0; i--)
#define FOR(i, m, n) for(int i = m; i < n; i++)
#define INF 2e9
#define MOD 1e9+7;
#define ALL(v) v.begin(), v.end()
using namespace std;
typedef long long LL;
typedef vector<int> VI;
typedef vector<vector<int> > VVI;
typedef vector<string> VS;

int main(){
    int N, M;
    cin >> N >> M;
    VI k(M);
    VVI s(M);
    REP(i,N){
        int ktemp;
        cin >> ktemp;
        VI stemp(ktemp);
        REP(j,ktemp){
            cin >> stemp[j];
            stemp[j]--;
        }
        s.push_back(stemp);
    }
    VI p(M);
    REP(i,M){
        cin >> p[i];
    }
    int temp, chk, cnt = 0;
    REP(bit, (1<<N)){
        chk = 1;
        REP(i, M){
            temp = 0;
            REP(j, k[i]) if ((bit>>s[i][j]) & 1) temp++;
            if (temp % 2 != p[i]){
                chk = 0;
                break;
            }
        }
        if (chk) cnt++;
    }
    cout << cnt << endl;
}

解答例

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

int main() {
	int N, M; cin >> N >> M;

	vector<vector<int>> vec(M);

	for (int i = 0; i < M; ++i) {
		int k; cin >> k;
		vec[i].resize(k);
		for (int j = 0; j < k; ++j) {
			cin >> vec[i][j];
			--vec[i][j];
		}
	}

	vector<int> p(M);
	for (int i = 0; i < M; ++i) cin >> p[i];

	int ans = 0;
	for (int i = 0; i < (1 << N); ++i) {
		bool ok = true;
		for (int j = 0; j < M; ++j) {
			int c = 0;
			for (int id : vec[j]) {
				if ((i >> id) & 1) {
					++c;
				}
			}
			c %= 2;
			if (c != p[j]) {
				ok = false;
			}
		}
		if (ok) {
			++ans;
		}
	}

	cout << ans << endl;

	return 0;
}

試したこと

コードの比較をしましたがわかりませんでした。

補足情報（FW/ツールのバージョンなど）

C++11(GCC)以降を使用しています。

Comments

[BeatStar]

今私は頭が回っていない状態なので読んでいませんが、
拡張forと通常のforは大差ないですよ。(ただし配列なんかをすべて処理する場合)
多分、正解しないのは、別のところにありそうです。
例えば x≧10 としないといけないところを x＞10としているとか。

[Magolors]

回答ありがとうございます。初歩的な質問で申し訳ありません。範囲を見直すなど再度したいと思います。

[jimbe]

C++ のご質問であれば C のタグは外して頂けませんでしょうか.

[Magolors]

修正しました。Cでもほぼ同様の実装が可能だと勘違いしてつけてしまいました。申し訳ありません。

[8524ba23]

コードの違いはfor文だけという認識でよいでしょうか？（さすがに細かく比較するのは疲れますので）

[Magolors]

原因がfor文ではないと指摘をいただいたので、for文ではないと考えております。申し訳ありません。自分で再考したいと思います。

Answer 1

最初のREP(i,N){はMの間違いではないでしょうか？

追記:
kが空のまま使われています。

さらに追記:

s.push_back(stemp);

これはおそらく意図通りには動いていないでしょう。
とりあえず応急処置するならs[i] = stemp;ですかね

入力例のみを確かめただけですが

int main(){
    int N, M;
    cin >> N >> M;
    VVI s(M);
    REP(i,M){
        int ktemp;
        cin >> ktemp;
        VI stemp(ktemp);
        REP(j,ktemp){
            cin >> stemp[j];
            stemp[j]--;
        }
        s[i] = stemp;
    }
    VI p(M);
    REP(i,M){
        cin >> p[i];
    }
    int cnt = 0;
    bool chk;
    REP(bit, (1<<N)){
        chk = true;
        REP(i, M){
            int temp = 0;
            int sz = size(s[i]);
            REP(j, sz){
                if ((bit>>s[i][j]) & 1) temp++;
            }
            if (temp % 2 != p[i]){
                chk = false;
                break;
            }
        }
        if (chk) cnt++;
    }
    cout << cnt << endl;
}

Comments

[Magolors]

ありがとうございます。初歩的なミスで申し訳ありませんでした。

[asm]

入力例ですら通らない状況ならば、まずはデバッグすることをおすすめします。