AtCoder Problems in C++ #C - Graph Isomorphism

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

#C - Graph Isomorphism

atcoder.jp

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

/*
AtCoder Problems in C++
#C - Graph Isomorphism
https://atcoder.jp/contests/abc232/tasks/abc232_c
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
using namespace std;
int main(void){
  int n,m;
  cin>>n>>m;
  vector x(n,vector<bool>(n)),y(n,vector<bool>(n));
  for(int i=0;i<m;i++){
    int a,b;
    cin>>a>>b;
    x[a-1][b-1]=x[b-1][a-1]=true;
  }
  for(int i=0;i<m;i++){
    int c,d;
    cin>>c>>d;
    y[c-1][d-1]=y[d-1][c-1]=true;
  }
  vector<int> p(n);
  iota(p.begin(),p.end(),0);
  int ans=0;
  do{
    bool tf=true;
    for(int i=0;i<n;i++){
      for(int j=0;j<n;j++){
        if(x[i][j]!=y[p[i]][p[j]]){
          tf=false;
        }
      }
    }
    if(tf){
      cout<<"Yes"<<endl;
      return 0;
    }
  }while(next_permutation(p.begin(),p.end()));
  cout<<"No"<<endl;
}

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