考虑机器对于每个数字$i$所能达到的最短时间，对于一个数字$i$,若其能够在时间$t$内统一，那么其也一定能在时间$2t$内统一，所以对于每个数字的最小花费具有单调性，因此考虑二分。
考虑二分的check函数，因为同一个时间点我们只能操作一台机器，所以对于n台机器，我们考虑其是否能够在$mid$时间内呈现出数字$i$：由此可以联想到二分图的最大匹配，即我们将n台机器看作左部，将时间看作右部，那么此刻就转换为了该二分图是否匹配。

#include <bits/stdc++.h>using namespace std;
const int N = 1e5 + 5;
typedef long long ll;
typedef pair<ll, ll> pll;
typedef array<ll, 3> p3;
int mod = 1e9+7;
const int maxv = 4e6 + 5;
// #define endl "\n"int n,m;
string s[105];
vector<int> e[15][105];//e[i][j]表示第i个数字所在的j机器出现数字i的时间
map<int,int> st,f;//因为值域为1e9，所以使用map，数组没试过memset会不会超时
bool find(int x,int mid,int dig)//匈牙利算法，x为点的下标，mid为时间上限，dig表示第几台机器
{for(auto u: e[dig][x]){for(int i=u;i<=mid;i+=m){if(st[i]) continue;st[i]=1;if(!f[i]||find(f[i],mid,dig)) {f[i]=x;return true;}}}return false;
}bool check(int mid,int dig)//check函数，
{f.clear();for(int i=1;i<=n;i++){st.clear();if(!find(i,mid,dig)) return false;}return true;
}void solve()
{	cin>>n>>m;for(int i=1;i<=n;i++){cin>>s[i];int cnt=0;for(auto x: s[i]){e[x-'0'][i].push_back(cnt);cnt++;}}ll ans=2e9;for(int i=0;i<=9;i++){//对于每个数字去二分然后取最小值ll res=2e9;int l=0,r=n*m;while(l<=r){int mid=(l+r)/2;if(check(mid,i)){res=mid;r=mid-1;}else{l=mid+1;}}ans=min(ans,res);}if(ans==2e9) cout<<-1<<endl;else cout<<ans<<endl;
}int main()
{ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);int t;t=1;//cin>>t;while(t--){solve();}system("pause");return 0;
}