間違いが見つからない。

Question

###問題文
4 桁の暗証番号 X1X2X3X4が与えられます。 番号は先頭の桁が 0であることもあり得ます。 暗証番号は以下のいずれかの条件をみたすとき弱い暗証番号と呼ばれます。
4桁とも同じ数字である。
1≤i≤3 をみたす任意の整数 i について、 X(i+1)が、 Xi の次の数字である。 ただし、 0≤j≤8について jの次の数字は j+1 であり、 9 の次の数字は 0
である。
与えられた暗証番号が弱い暗証番号ならば Weak を、そうでないならば Strong を出力してください。
###入力
X1X2X3X4(間なし)
###出力
Strong or Weak
###コード

#include <algorithm>
#include <iostream>
#include <stdio.h>
#include <vector>
using namespace std;
int main() {
	int T;
	int A[4];
	cin >> T;
	A[0] = T / 1000;
	A[1] = (T % 1000) / 100;
	A[2] = (T % 100) / 10;
	A[3] = T % 10;
	if (A[0] == A[1] && A[1] == A[2] && A[2] == A[3])cout << "Weak" << endl;
	else if (A[0] == 9 && A[1] == 0 && A[2] == 1 && A[3] == 2)cout << " Weak" << endl;
	else if (A[1] == 9 && A[2] == 0 && A[3] == 1 && A[0] == 2)cout << " Weak" << endl;
	else if (A[2] == 9 && A[3] == 0 && A[0] == 1 && A[1] == 2)cout << " Weak" << endl;
	else if (A[3] - A[2] == 1 && A[2] - A[1] == 1 && A[1] - A[0] == 1)cout << "Weak" << endl;
	else cout << "Strong" << endl;
}

###問題点
これをコンピュータでチェックしたところ、ほとんどは大丈夫だったのですが一部うまくいきませんでした。
穴があるのはわかるのですがそれがどこかわかりません。
###参考
Visual studio 使用
問題はAt coderより（チェックも）
リンク　https://atcoder.jp/contests/abc212/tasks/abc212_b
初学者なのでできるだけかみ砕いて説明してもらえるとありがたいです。

Comments

[y_waiwai]

どこがどういうふうにうまくいかないのか説明しましょう

[SaitoAtsushi]

機械判定で NG になってどこが上手くいってないのかもわからないんでしょう。
事実上のデバッグ依頼で、質問が具体的ではないのであまり好ましくはないですね。

[IkeuchiKenyu]

すみません。初学者なのでタブー的なものを知りませんでした。
これからはもっと自分で考えて質問します。
ご迷惑をお掛けしました。

Answer 1

A[1] == 9 && A[2] == 0 && A[3] == 1 && A[0] == 2 という条件だと A[0] == 2 の部分が間違いですね。 9 の前にあると weak になるのは 8 なのですから A[0] == 8 でなければなりません。 その次の条件についても同様です。 単純に条件が間違っているということです。

しかし根本的な問題を言うならば条件を網羅的に書こうとしているところが駄目です。

どのように一般化できるかを考えると

• 隣り合う桁の差を取る
• 差を 10 の mod で解釈する (9 の次を 0 とするために)
• 取った差の全てが 0 もしくは全て 1 だった場合に Weak となる
• そうでなければ Strong となる

ですから、これをコードにすれば例えば以下のような方法が考えられるでしょう。

#include <algorithm>
#include <iostream>
#include <cassert>
#include <type_traits>

// 結果の種類
enum class assessment_result {
  weak,
  strong
};

// 結果の表示
std::ostream& operator<<(std::ostream& os, const assessment_result res) {
  switch(res) {
  case assessment_result::weak: os<<"Weak"; break;
  case assessment_result::strong: os<<"Strong"; break;
  }
  return os;
}

assessment_result assessment(int x) {
  assert(x<10000);
  int columns[4];
  // 桁に分解
  std::generate(std::rbegin(columns), std::rend(columns),
                [&x](){auto t = x%10; x /= 10; return t;});
  // 隣合う桁と差を取る
  // 負数にならないように modulo を取れば 9 の次が 0 のような扱いになる
  for(int i=0; i<3; ++i) columns[i] = (columns[i+1]-columns[i]+10)%10;
    
  // 取った差の全てが 0、 または取った差の全てが 1 であれば weak
  // そうでなければ strong
  return
    std::all_of(columns, columns+3, [](int c){return c==0;})
    || std::all_of(columns, columns+3, [](int c){return c==1;})
    ? assessment_result::weak
    : assessment_result::strong;
}

int main(void) {
  int input_data;
  std::cin >> input_data;
  std::cout << assessment(input_data) << std::endl;
}

私の提案は質問者が正しく条件を網羅するよりはおそらく冗長なコードです。 しかしながら場合分けを手作業で網羅的にしようとすると間違えやすいのでなるべく一般化すべきでしょう。

初心者の内は必要な動作をするプログラムを書くことに精一杯でよりよく書こうという思考を持ち難いですが、きちんと整理すれば大したことないのはよくあることです。

Comments

[IkeuchiKenyu]

ありがとうございます。
modは思いつきませんでした。
これからも精進していきます。

Answer 2

9の前は8です。
その判定が間違っていませんか。
以下のチェックだと、

else if (A[1] == 9 && A[2] == 0 && A[3] == 1 && A[0] == 2)cout << " Weak" << endl;

"2->9->0->1"となってしまって"Weak"ではありません。
"8->9->0->1"にする必要があります。

Comments

[IkeuchiKenyu]

ご回答ありがとうございます。
勘違いしていました。

Answer 3

1≤i≤3 をみたす任意の整数 i について、 X(i+1)が、 Xi の次の数字である。 ただし、 0≤j≤8について jの次の数字は j+1 であり、 9 の次の数字は 0

例えば、
2 9 0 1
はweakじゃないんじゃないかと。
逆に、
8 9 0 1
はweakなんじゃないですか?