Language: C++

#include <bits/stdc++.h>
using namespace std;



typedef unsigned long ul;
typedef unsigned long long ull;
typedef long long ll;
typedef vector<ll> vint;
typedef vector< vector<ll> > vvint;
typedef vector< vector< vector<ll> > > vvvint;
typedef vector<string> vstring;
typedef vector< vector<string> > vvstring;
typedef vector<char> vchar;
typedef vector< vector<char> > vvchar;
typedef vector<long double> vdouble;
typedef vector< vector<long double> > vvdouble;
typedef vector< vector< vector<long double> > > vvvdouble;
typedef pair<ll,ll> pint;
typedef vector<pint> vpint;
typedef vector<bool> vbool;

#define rep(i,n) for(ll i=0;i<n;i++)
#define repf(i,f,n) for(ll i=f;i<n;i++)
#define repr(i,n) for(ll i=n-1;i>=0;i--)
#define mp make_pair
#define mt make_tuple
#define pb push_back
#define pf push_front
#define fi first
#define se second
#define ALL(obj) (obj).begin(), (obj).end()
// #define LLONG_MAX 9223372036854775806
#define vmax(vec) *max_element(vec.begin(), vec.end())
#define vmin(vec) *min_element(vec.begin(), vec.end())
#define vsort(vec) sort(vec.begin(), vec.end())
#define vsortgr(vec) sort(vec.begin(), vec.end(), greater<ll>())
#define MOD 1000000007
// #define MOD 998244353
// #define MOD LLONG_MAX
const double PI=3.14159265358979323846;

template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }




int dy[]={0, 0, 1, -1};
int dx[]={1, -1, 0, 0,};



void printv(vint &v){
  for(auto e:v) cout<<e<<" ";
  cout<<endl;
}


// 繰り返し二乗法
ll power(ll a, ll b){
  if(a==1)return a;
  // if(a==0)re
  ll res=1;
  while(b>0){
    if(b&1) res=res*a%MOD;
    a=a*a%MOD;
    b>>=1;
  }
  return res;
}

const int MAX=2100000;
 
ll fact[MAX], fact_inv[MAX];
 
void init_fact(ll n){
  fact[0]=1;
  // 階乗の計算
  rep(i, n) fact[i+1]=fact[i]*(i+1)%MOD;
  fact_inv[n]=power(fact[n], MOD-2);
  // 逆元の計算
  for(ll i=n-1;i>=0;i--) fact_inv[i]=fact_inv[i+1]*(i+1)%MOD;
}
 
ll comb(ll n, ll r){
  return (fact[n]*fact_inv[r])%MOD*fact_inv[n-r]%MOD;
}
 
ll perm(ll n, ll r){
  return (fact[n]*fact_inv[n-r])%MOD;
}






int main() {
  // cout<<fixed<<setprecision(10);

  string a,b,c; cin>>a>>b>>c;

  ll x = 16001;
  ll offset = 8000;
  vector<bool> ab(x), ac(x), bc(x);

  auto match = [](char c1, char c2){
    return c1 == c2 || c1 == '?' || c2 == '?';
  };

  // ab : aに対するbの相対位置
  rep(i, x){
    map<ll, char> m;
    rep(j, a.size()){
      m[j] = a[j];
    }

    bool ok = true;
    rep(j, b.size()){
      ll pos = j + i - offset;
      if(!m[pos]) continue;
      if(match(m[pos], b[j])) continue;
      ok = false;
      break;
    }

    ab[i] = ok;
  }

  // ac : aに対するcの相対位置
  rep(i, x){
    map<ll, char> m;
    rep(j, a.size()){
      m[j] = a[j];
    }

    bool ok = true;
    rep(j, c.size()){
      ll pos = j + i - offset;
      if(!m[pos]) continue;
      if(match(m[pos], c[j])) continue;
      ok = false;
      break;
    }

    ac[i] = ok;
  }

  // bc : bに対するcの相対位置
  rep(i, x){
    map<ll, char> m;
    rep(j, b.size()){
      m[j] = b[j];
    }

    bool ok = true;
    rep(j, c.size()){
      ll pos = j + i - offset;
      if(!m[pos]) continue;
      if(match(m[pos], c[j])) continue;
      ok = false;
      break;
    }

    bc[i] = ok;
  }

  ll ans = LLONG_MAX;
  
  repf(i,-4000, 4001){
    repf(j,-4000, 4001){
      if(!ab[i+offset]) continue;
      if(!ac[j+offset]) continue;
      ll k = j - i;
      if(!bc[k+offset]) continue;
      ll left = min({0ll, i, j});
      ll right = max({(ll)a.size(), i+b.size(), j+c.size()});

      chmin(ans, right - left);
    }
  }


  cout<<ans<<endl;


}






Compiler output:
a.cc: In function 'int main()':
a.cc:178:21: error: no matching function for call to 'max(<brace-enclosed initializer list>)'
  178 |       ll right = max({(ll)a.size(), i+b.size(), j+c.size()});
      |                  ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/algorithm:60,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:51,
                 from a.cc:1:
/usr/include/c++/14/bits/stl_algobase.h:257:5: note: candidate: 'template<class _Tp> constexpr const _Tp& std::max(const _Tp&, const _Tp&)'
  257 |     max(const _Tp& __a, const _Tp& __b)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:257:5: note:   candidate expects 2 arguments, 1 provided
/usr/include/c++/14/bits/stl_algobase.h:303:5: note: candidate: 'template<class _Tp, class _Compare> constexpr const _Tp& std::max(const _Tp&, const _Tp&, _Compare)'
  303 |     max(const _Tp& __a, const _Tp& __b, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note:   candidate expects 3 arguments, 1 provided
In file included from /usr/include/c++/14/algorithm:61:
/usr/include/c++/14/bits/stl_algo.h:5706:5: note: candidate: 'template<class _Tp> constexpr _Tp std::max(initializer_list<_Tp>)'
 5706 |     max(initializer_list<_Tp> __l)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5706:5: note:   template argument deduction/substitution failed:
a.cc:178:21: note:   deduced conflicting types for parameter '_Tp' ('long long int' and 'long long unsigned int')
  178 |       ll right = max({(ll)a.size(), i+b.size(), j+c.size()});
      |                  ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/stl_algo.h:5716:5: note: candidate: 'template<class _Tp, class _Compare> constexpr _Tp std::max(initializer_list<_Tp>, _Compare)'
 5716 |     max(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5716:5: note:   candidate expects 2 arguments, 1 provided