AtCoder Problems in C++ #C - Calendar Validator

AtCoder Beginner Contestの過去問から、その提出コードの解答例です。
AtCoderとは、コンテストを通じて、プログラミングやアルゴリズムを学習するサービスです。
atcoder.jp
プログラミングコンテストとは、「与えられた問題をいかに素早く、正確に」解くことができるかを競うものです。
「競技プログラミング」を略して、「競プロ」などと呼ばれています。

#C - Calendar Validator

atcoder.jp

僕が作成、提出したコードは、以下のとおりです。

/*
AtCoder Problems in C++
#C - Calendar Validator
https://atcoder.jp/contests/abc225/tasks/abc225_c
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
using namespace std;
int main(void){
  int n,m,x;
  cin>>n>>m>>x;
  int xn=(x-1)/7+1,xm=(x-1)%7+1;
  bool tf=true;
  for(int i=1;i<n*m;i++){
    int in=i/m,im=i%m;
    cin>>x;
    if(x!=(xn-1+in)*7+xm+im){
      tf=false;
      break;
    }
  }
  if(xm+m-1>7){
    tf=false;
  }
  cout<<(tf ? "Yes" : "No")<<endl;
  return 0;
}

AtCoder Beginner Contestは、オンラインジャッジによるプログラミングコンテストです。
日本語と英語に対応していて、週末ごとに実施されているみたいです。
https://practice.contest.atcoder.jp/tutorial
アカウントを登録すれば、誰でも参加できます。