(100) どの桁を入れ替えても7の倍数になる数(jjmoの問題)

とりあえず検索しやすいように番号を割り振りました。検索で(100)みたいにしたら100番が出るようになったと思います…

さて、今回のはjjmoの問題ですが、どの桁を入れ替えてもいいというとたくさん操作方法がありそうなものですがこういう問題は一部の桁を入れ替える操作に着目するといいです。その場合、常に7の倍数になることから差も7の倍数になってくれて、あと各桁が1〜7という条件からすべての桁の数が同じになるみたいな条件を出せます。