Language: C++

#include <iostream>
#include <string>
#include <utility>
#include <algorithm>
#include <map>
#include <set>
#include <vector>
#include <cmath>
#include <cstdlib>
#include <queue>
#include <stack>
#include <iomanip>
#include <fstream>

using namespace std;

#define REP(i, n) for(ll i = 0;i < n;i++)
#define REPR(i, n) for(ll i = n;i >= 0;i--)
#define FOR(i, m, n) for(ll i = m;i < n;i++)
#define FORR(i, m, n) for(ll i = m;i >= n;i--)
#define REPO(i, n) for(ll i = 1;i <= n;i++)
#define ll long long
#define INF (ll)1 << 60
#define MINF (-1 * INF)
#define ALL(n) n.begin(),n.end()
#define MOD 1000000007
#define P pair<ll, ll>

ll ans = INF;

void solve(string a, string b, string c) {
	ll bpos = -1, now = -1;
	REP(i, a.size()) {
		bool ok = true;
		REP(j, b.size()) {
			if (i + j >= a.size())break;
			if (a[i + j] == '?' or b[j] == '?')continue;
			if (a[i + j] != b[j]) {
				ok = false;
				break;
			}
		}
		if (ok)bpos = i;
	}
	if (bpos == -1)bpos = a.size();
	now = bpos;
	ll sz = max(a.size(), bpos + b.size());
	while (1) {
		if (now == sz) {
			ans = min(ans, sz + (ll)c.size());
			return;
		}
		bool ok = true;
		REP(i, c.size()) {
			if (now + i < a.size()) {
				if (a[now + i] == '?' or c[i] == '?')continue;
				if (a[now + i] != c[i]) {
					ok = false;
					break;
				}
			}
			if (now + i - bpos < a.size()) {
				if (b[now + i - bpos] == '?' or c[i] == '?')continue;
				if (b[now + i - bpos] != c[i]) {
					ok = false;
					break;
				}
			}
		}
		if (ok) {
			ans = min(ans, now + (ll)c.size());
			return;
		}
		now++;
	}
}

int main() {
	string a, b, c;
	cin >> a >> b >> c;
	solve(a, b, c);
	solve(a, c, b);
	solve(b, a, c);
	solve(b, c, a);
	solve(c, a, b);
	solve(c, b, a);
	cout << ans << endl;
}


Compiler output:
a.cc: In function 'void solve(std::string, std::string, std::string)':
a.cc:47:20: error: no matching function for call to 'max(std::__cxx11::basic_string<char>::size_type, long long unsigned int)'
   47 |         ll sz = max(a.size(), bpos + b.size());
      |                 ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/string:51,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 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:   template argument deduction/substitution failed:
a.cc:47:20: note:   deduced conflicting types for parameter 'const _Tp' ('long unsigned int' and 'long long unsigned int')
   47 |         ll sz = max(a.size(), bpos + b.size());
      |                 ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
/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, 2 provided
In file included from /usr/include/c++/14/algorithm:61,
                 from a.cc:4:
/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:   candidate expects 1 argument, 2 provided
/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:   template argument deduction/substitution failed:
a.cc:47:20: note:   mismatched types 'std::initializer_list<_Tp>' and 'long unsigned int'
   47 |         ll sz = max(a.size(), bpos + b.size());
      |                 ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~