提出 #50835911

---

ソースコード 拡げる

#include <bits/stdc++.h>

using namespace std;

int max(int a, int b, int c) {
  return max(a, max(b, c));
}

int min(int a, int b, int c) {
  return min(a, min(b, c));
}

long long len(int a, int b, int c) {
  return max(0, min(a, b, c) + 7 - max(a, b, c));
}

long long len(int a, int b) {
  return max(0, min(a, b) + 7 - max(a, b));
}

const int N = 11;

int main() {
  ios::sync_with_stdio(0);
  cin.tie(0), cout.tie(0);

  long long a, b, c;
  cin >> a >> b >> c;
  if (a + 2 * b + 3 * c != 3 * 343) {
    cout << "No\n";
    return 0;
  }
  int a1 = 0, b1 = 0, c1 = 0;
  for (int a2 = -N; a2 <= N; ++a2) {
    for (int b2 = -N; b2 <= N; ++b2) {
      for (int c2 = -N; c2 <= N; ++c2) {
        for (int a3 = -N; a3 <= N; ++a3) {
          for (int b3 = -N; b3 <= N; ++b3) {
            for (int c3 = -N; c3 <= N; ++c3) {
              long long V123 = len(a1, a2, a3) * len(b1, b2, b3) * len(c1, c2, c3);
              if (a2 == 0 and b2 == 6 and c2 == 0 and a3 == 6 and b3 == 0 and c3 == 0) {
                //cout << V123 << endl;
              }
              if (V123 == c) {
                //cout << a1 << ' ' << b1 << ' ' << c1 << ' ' << a2 << ' ' << b2 << ' ' << c2 << ' ' << a3 << ' ' << b3 << ' ' << c3 << endl;
                long long V12 = len(a1, a2) * len(b1, b2) * len(c1, c2) - V123;
                long long V13 = len(a1, a3) * len(b1, b3) * len(c1, c3) - V123;
                long long V23 = len(a2, a3) * len(b2, b3) * len(c2, c3) - V123;
                if (V12 + V13 + V23 == b) {
                  cout << "Yes\n";
                  cout << a1 << ' ' << b1 << ' ' << c1 << ' ' << a2 << ' ' << b2 << ' ' << c2 << ' ' << a3 << ' ' << b3 << ' ' << c3 << '\n';
                  return 0;
                }
              }
            }
          }
        }
      }
    }
  }
  cout << "No\n";

  return 0;
}

提出情報

ジャッジ結果