結果

問題 No.2104 Multiply-Add
コンテスト
ユーザー emthrm
提出日時 2022-10-21 22:54:35
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
RE  
実行時間 -
コード長 2,359 bytes
コンパイル時間 2,026 ms
コンパイル使用メモリ 200,720 KB
最終ジャッジ日時 2025-02-08 10:20:32
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2 RE * 1
other AC * 13 RE * 19
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define _USE_MATH_DEFINES
#include <bits/stdc++.h>
using namespace std;
#define FOR(i,m,n) for(int i=(m);i<(n);++i)
#define REP(i,n) FOR(i,0,n)
#define ALL(v) (v).begin(),(v).end()
using ll = long long;
constexpr int INF = 0x3f3f3f3f;
constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL;
constexpr double EPS = 1e-8;
constexpr int MOD = 998244353;
// constexpr int MOD = 1000000007;
constexpr int DY4[]{1, 0, -1, 0}, DX4[]{0, -1, 0, 1};
constexpr int DY8[]{1, 1, 0, -1, -1, -1, 0, 1};
constexpr int DX8[]{0, -1, -1, -1, 0, 1, 1, 1};
template <typename T, typename U>
inline bool chmax(T& a, U b) { return a < b ? (a = b, true) : false; }
template <typename T, typename U>
inline bool chmin(T& a, U b) { return a > b ? (a = b, true) : false; }
struct IOSetup {
  IOSetup() {
    std::cin.tie(nullptr);
    std::ios_base::sync_with_stdio(false);
    std::cout << fixed << setprecision(20);
  }
} iosetup;

constexpr int M = 1000000000;

bool solve(ll a, ll b, vector<pair<int, ll>>& x) {
  const int g = gcd(abs(a), abs(b));
  while (a != 0 && b != 0) {
    if (abs(a) > abs(b)) {
      const ll k = abs(a) / abs(b) * ((a > 0) == (b > 0) ? -1 : 1);
      a += k * b;
      x.emplace_back(1, k);
    } else {
      const ll k = abs(b) / abs(a) * ((a > 0) == (b > 0) ? -1 : 1);
      b += k * a;
      x.emplace_back(2, k);
    }
    assert(abs(a) <= M && abs(b) <= M);
  }
  if (abs(a) < 0) {
    x.emplace_back(2, -1);
    x.emplace_back(1, 1);
  } else if (abs(b) < 0) {
    x.emplace_back(1, -1);
    x.emplace_back(2, 1);
  }
  if (a == 0 && b == g) return true;
  if (a == g && b == 0) return false;
  assert(false);
}

int main() {
  int a, b, c, d; cin >> a >> b >> c >> d;
  if (a == 0 && b == 0) {
    cout << (c == 0 && d == 0 ? 0 : -1) << '\n';
    return 0;
  }
  if (gcd(abs(a), abs(b)) != gcd(abs(c), abs(d))) {
    cout << "-1\n";
    return 0;
  }
  vector<pair<int, ll>> x, y;
  const bool f = solve(a, b, x), s = solve(c, d, y);
  reverse(ALL(y));
  for (auto& [_, k] : y) k = -k;
  if (f != s) {
    if (f) {
      x.emplace_back(1, 1);
      x.emplace_back(2, -1);
    } else {
      x.emplace_back(2, 1);
      x.emplace_back(1, -1);
    }
  }
  copy(ALL(y), back_inserter(x));
  assert(x.size() <= 1000);
  cout << x.size() << '\n';
  for (const auto& [t, k] : x) {
    assert(abs(k) <= M);
    cout << t << ' ' << k << '\n';
  }
  return 0;
}
0