AtCoder ABC301 D - Bitmask について教えてください

Question

WA になってしまって原因もよくわかりません

方針としては全列挙して、最大値を出しています
TLE ではないのでおそらく時間は間にあうのかと思います

該当のソースコード

use proconio::{input, fastout};

#[fastout]
fn main() {
    input! {
        s: String,
        n: u64
    }
    let s = s.chars().collect::<Vec<char>>();
    let s_len = s.len();
    let mut v: Vec<u64> = match s[s_len -1] {
        '?' => vec![0,1],
        '1' => vec![1],
        '0' => vec![0],
        _ => unreachable!()
    };

    let mut tows: Vec<u64> = vec![1; s_len];
    for i in 1..s_len {
        tows[i] = tows[i-1] * 2;
    }

    for i in 1..s_len {
        let c = s[s_len - 1 - i];
        let p = if v.is_empty() { break; } else { v.pop().unwrap() };

        if c == '?' || c == '0' {
            v.push(p);
        }

        if c == '?' || c == '1' {
            let x = p + tows[i];
            if x <= n {
                v.push(x);
            }
        }
    }

    if v.is_empty() {
        println!("-1");
    } else {
        println!("{}", v.iter().max().unwrap());
    }
}

Comments

[831]

調査したことは上記のソースコードでWAになることです。
問題で開示されていたテストケースは全てパスします。
WAになる理由はベストアンサーの方にご指摘いただいた通りです。

[831]

提示しているソースコードのどこが間違っているのか質問したかったのですが、分かりづらい文章になってしまいました。
すみません

Answer 1

方針としては全列挙して、最大値を出しています

このコードだと全列挙できていません。
25行目でvの末尾の要素のみ取り出して0, 1を追加していますが、末尾以外の要素にも0, 1を追加しないと全列挙にはなりません。

こちらの入力例でどのような動きになるか確認してみてください。
正しい出力は「2」ですが、このコードだと「1」が出力されます。

??
2