Atcoder_076 C問題

Question

前提・実現したいこと

Atcoder の ABC076のC問題(https://atcoder.jp/contests/abc076/tasks/abc076_c)についてです。

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

以下のソースコードでWAしてしまいます。何度も書き換えましたが、どうしても３つのケースのみ通りません。
原因を教えていただけませんか。

追記；Warningの件、ご指摘ありがとうございます。

該当のソースコード

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


int main() {
    string S,T;
    cin >> S >> T;

    int change_num = -1;

    if (S.size() < T.size()) {
        cout << "UNRESTORABLE" << endl;
        return 0;
    }

    for(long unsigned int i=0; i < S.size()-T.size()+1; i++){
        bool flag_one = true; 
        for(long unsigned int k=0; k<T.size(); k++){
            if( S.at(i+k) == T.at(k) || S.at(i+k) == '?'){
            }else{
                flag_one = false;
            }
        }

        if(flag_one){
            change_num = i;
            break;
        }
    }

    if(change_num == -1){
        cout << "UNRESTORABLE" << endl;
        return 0;
    }

    for(long unsigned int i=0; i<T.size(); i++){
        if(S.at(i+change_num) == '?') S.at(i+change_num) = T.at(i);
    }
    for(long unsigned int i=0; i<S.size(); i++){
        if(S.at(i) == '?') S.at(i) = 'a';
    }

    cout << S << endl;

}

Comments

[1T2R3M4]

???so?help
sos
や
???s?????spossible
assoonas
の場合どうなるのが正解なんですか。

[LiLiPa]

string.at(i)の記述について、stringの末尾をi=0と考えていました。
先頭からTに合致する文字列を探索してしまうので、
aaasoshelp が正解のはずが、sossoahelp を出力してしまっていました。
ありがとうございました。

Answer 1

うまくいかない入力を挙げておきます。

??
b

正しい出力はabですが、このコードだとbaとなります。

Comments

[LiLiPa]

string.at(i) の末尾をi=0と考えていたことに気づかされました。非常によいヒントをありがとうございました。

Answer 2

ここに出ているのはエラーではありません
ワーニングです。

で、それがどういうワーニングなのか、そのメッセージを読んで理解しましょう。
はなしはそれから、です。

Answer 3

Tに合致する位置の検索で見つかるのは、1個だけではありません。複数個見つかる場合があります。
そのときは、条件2の「文字列の中で辞書順最小の文字列である。」を満たす必要があります。

複数個見つかった場合は、辞書順で最小の文字列を出力する必要があると思います。