Problem p03496 (C++)

Buggy submission (status: Time Limit Exceeded):
#include <bits/stdc++.h>

using namespace std;

#define BOUND 27182818284
#define MAT 2

typedef long long ll;
typedef long long int lli;
typedef pair<ll, ll> P;

ll MOD = 1000000007;
const ll INF = (1ll << 60);
const int INFint = (1 << 30);

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define repi(i, a, b) for (int i = int(a); i < int(b); ++i)

template <class T> bool umax(T &a, const T &b) {
  if (a < b) {
    a = b;
    return true;
  }
  return false;
}

template <class T> bool umin(T &a, const T &b) {
  if (b < a) {
    a = b;
    return true;
  }
  return false;
}

// gcd
template <typename T> T gcd(T a, T b) {
  if (a == 0)
    return b;
  return gcd(b % a, a);
}

ll findGCD(vector<ll> arr) {
  ll result = arr[0];
  for (auto a : arr) {
    result = gcd(a, result);
  }
  return result;
}

template <typename T> T getlcm(T m, T n) {
  // 引数に0がある場合は0を返す
  if ((0 == m) || (0 == n))
    return 0;
  return ((m / gcd(m, n)) * n); // lcm = m * n / gcd(m,n)
}

template <typename A, size_t N, typename T>
void Fill(A (&array)[N], const T &val) {
  fill((T *)array, (T *)(array + N), val);
}

// v.front() = -BOUND;
// v.back() = BOUND;

// struct edge{
//     int cost, to;
//
//     edge(int in_cost, int in_to){
//         cost=in_cost;
//         to=in_to;
//     }
//     bool operator<(const edge &a) const
//     {
//         return cost > a.cost;
//     }
// };
ll euler_phi(ll n) {
  ll ret = n;
  for (ll i = 2; i * i <= n; i++) {
    if (n % i == 0) {
      ret -= ret / i;
      while (n % i == 0)
        n /= i;
    }
  }
  if (n > 1)
    ret -= ret / n;
  return ret;
}

class Combination {
  long long powmod(long long a, long long p) {
    long long ans = 1LL;
    long long mul = a;
    while (p > 0) {
      if ((p & 1) == 1) {
        ans = (ans * mul) % MOD;
      }
      mul = (mul * mul) % MOD;
      p >>= 1;
    }
    return ans;
  }

public:
  int N;
  long long mod;
  vector<long long> fact;
  vector<long long> revfact;

  Combination(int n, long long m) : N(n), mod(m), fact(n + 1), revfact(n + 1) {
    fact[0] = 1;
    for (int i = 1; i <= N; i++) {
      fact[i] = fact[i - 1] * i;
      fact[i] %= mod;
    }

    revfact[N] = powmod(fact[N], mod - 2);
    for (int i = N - 1; i >= 0; i--) {
      revfact[i] = revfact[i + 1] * (i + 1) % mod;
    }
  }

  long long getCombination(int a, int b) {
    if (a < 0 || b < 0)
      return 0;
    if (b > a)
      return 0;
    return fact[a] * revfact[b] % mod * revfact[a - b] % mod;
  }
};

struct mint {
  const int mod = 1000000007;
  ll x; // typedef long long ll;
  mint(ll x = 0) : x((x % mod + mod) % mod) {}
  mint &operator+=(const mint a) {
    if ((x += a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator-=(const mint a) {
    if ((x += mod - a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator*=(const mint a) {
    (x *= a.x) %= mod;
    return *this;
  }
  mint operator+(const mint a) const {
    mint res(*this);
    return res += a;
  }
  mint operator-(const mint a) const {
    mint res(*this);
    return res -= a;
  }
  mint operator*(const mint a) const {
    mint res(*this);
    return res *= a;
  }
  mint pow(ll t) const {
    if (!t)
      return 1;
    mint a = pow(t >> 1);
    a *= a;
    if (t & 1)
      a *= *this;
    return a;
  }

  // for prime mod
  mint inv() const { return pow(mod - 2); }
  mint &operator/=(const mint a) { return (*this) *= a.inv(); }
  mint operator/(const mint a) const {
    mint res(*this);
    return res /= a;
  }
};

struct UnionFind {
  int n, cnt;
  vector<int> par, rank, sz;

  UnionFind(int n) : n(n), cnt(n), par(n), rank(n), sz(n, 1) {
    iota(par.begin(), par.end(), 0);
  }

  int find(int x) {
    if (x == par[x])
      return x;
    return par[x] = find(par[x]);
  }

  bool same(int x, int y) { return find(x) == find(y); }

  int size(int x) { return sz[find(x)]; }

  void unite(int x, int y) {
    x = find(x), y = find(y);
    if (x == y)
      return;
    if (rank[x] < rank[y]) {
      par[x] = y;
      sz[y] += sz[x];
    } else {
      par[y] = x;
      sz[x] += sz[y];
      if (rank[x] == rank[y]) {
        rank[x]++;
      }
    }
    cnt--;
  }
};

const string Yes = "Yes";
const string YES = "YES";
const string No = "No";
const string NO = "NO";

long long modpow(long long a, long long n, long long mod) {
  long long res = 1;
  while (n > 0) {
    if (n & 1)
      res = res * a % mod;
    a = a * a % mod;
    n >>= 1;
  }
  return res;
}

int main() {
  int N;
  cin >> N;
  vector<ll> a(N);

  ll maximum = -INFint;
  ll minimum = INFint;
  int max_index = 0;
  int min_index = 0;
  rep(i, N) {
    cin >> a[i];
    if (minimum >= a[i]) {
      minimum = a[i];
      min_index = i + 1;
    }
    if (maximum <= a[i]) {
      maximum = a[i];
      max_index = i + 1;
    }
  }

  if (maximum <= 0) {
    cout << N - 1 << endl;
    for (int i = N - 1; i > 0; i--) {
      cout << i + 1 << ' ' << i << endl;
    }
  } else if (minimum >= 0) {
    cout << N - 1 << endl;
    for (int i = 1; i < N; i++) {
      cout << i << ' ' << i + 1 << endl;
    }
  } else if (abs(maximum) >= abs(minimum)) {
    cout << 2 * N - 1 << endl;
    for (int i = 1; i <= N; i++) {
      cout << max_index << ' ' << i << endl;
    }

    for (int i = 1; i < N; i++) {
      cout << i << ' ' << i + 1 << endl;
    }
  } else {
    cout << 2 * N - 1 << endl;
    for (int i = 1; i <= N; i++) {
      cout << min_index << ' ' << i << endl;
    }

    for (int i = N; i > 1; i++) {
      cout << i << ' ' << i - 1 << endl;
    }
  }
  return 0;
}


Fixed submission:
#include <bits/stdc++.h>

using namespace std;

#define BOUND 27182818284
#define MAT 2

typedef long long ll;
typedef long long int lli;
typedef pair<ll, ll> P;

ll MOD = 1000000007;
const ll INF = (1ll << 60);
const int INFint = (1 << 30);

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define repi(i, a, b) for (int i = int(a); i < int(b); ++i)

template <class T> bool umax(T &a, const T &b) {
  if (a < b) {
    a = b;
    return true;
  }
  return false;
}

template <class T> bool umin(T &a, const T &b) {
  if (b < a) {
    a = b;
    return true;
  }
  return false;
}

// gcd
template <typename T> T gcd(T a, T b) {
  if (a == 0)
    return b;
  return gcd(b % a, a);
}

ll findGCD(vector<ll> arr) {
  ll result = arr[0];
  for (auto a : arr) {
    result = gcd(a, result);
  }
  return result;
}

template <typename T> T getlcm(T m, T n) {
  // 引数に0がある場合は0を返す
  if ((0 == m) || (0 == n))
    return 0;
  return ((m / gcd(m, n)) * n); // lcm = m * n / gcd(m,n)
}

template <typename A, size_t N, typename T>
void Fill(A (&array)[N], const T &val) {
  fill((T *)array, (T *)(array + N), val);
}

// v.front() = -BOUND;
// v.back() = BOUND;

// struct edge{
//     int cost, to;
//
//     edge(int in_cost, int in_to){
//         cost=in_cost;
//         to=in_to;
//     }
//     bool operator<(const edge &a) const
//     {
//         return cost > a.cost;
//     }
// };
ll euler_phi(ll n) {
  ll ret = n;
  for (ll i = 2; i * i <= n; i++) {
    if (n % i == 0) {
      ret -= ret / i;
      while (n % i == 0)
        n /= i;
    }
  }
  if (n > 1)
    ret -= ret / n;
  return ret;
}

class Combination {
  long long powmod(long long a, long long p) {
    long long ans = 1LL;
    long long mul = a;
    while (p > 0) {
      if ((p & 1) == 1) {
        ans = (ans * mul) % MOD;
      }
      mul = (mul * mul) % MOD;
      p >>= 1;
    }
    return ans;
  }

public:
  int N;
  long long mod;
  vector<long long> fact;
  vector<long long> revfact;

  Combination(int n, long long m) : N(n), mod(m), fact(n + 1), revfact(n + 1) {
    fact[0] = 1;
    for (int i = 1; i <= N; i++) {
      fact[i] = fact[i - 1] * i;
      fact[i] %= mod;
    }

    revfact[N] = powmod(fact[N], mod - 2);
    for (int i = N - 1; i >= 0; i--) {
      revfact[i] = revfact[i + 1] * (i + 1) % mod;
    }
  }

  long long getCombination(int a, int b) {
    if (a < 0 || b < 0)
      return 0;
    if (b > a)
      return 0;
    return fact[a] * revfact[b] % mod * revfact[a - b] % mod;
  }
};

struct mint {
  const int mod = 1000000007;
  ll x; // typedef long long ll;
  mint(ll x = 0) : x((x % mod + mod) % mod) {}
  mint &operator+=(const mint a) {
    if ((x += a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator-=(const mint a) {
    if ((x += mod - a.x) >= mod)
      x -= mod;
    return *this;
  }
  mint &operator*=(const mint a) {
    (x *= a.x) %= mod;
    return *this;
  }
  mint operator+(const mint a) const {
    mint res(*this);
    return res += a;
  }
  mint operator-(const mint a) const {
    mint res(*this);
    return res -= a;
  }
  mint operator*(const mint a) const {
    mint res(*this);
    return res *= a;
  }
  mint pow(ll t) const {
    if (!t)
      return 1;
    mint a = pow(t >> 1);
    a *= a;
    if (t & 1)
      a *= *this;
    return a;
  }

  // for prime mod
  mint inv() const { return pow(mod - 2); }
  mint &operator/=(const mint a) { return (*this) *= a.inv(); }
  mint operator/(const mint a) const {
    mint res(*this);
    return res /= a;
  }
};

struct UnionFind {
  int n, cnt;
  vector<int> par, rank, sz;

  UnionFind(int n) : n(n), cnt(n), par(n), rank(n), sz(n, 1) {
    iota(par.begin(), par.end(), 0);
  }

  int find(int x) {
    if (x == par[x])
      return x;
    return par[x] = find(par[x]);
  }

  bool same(int x, int y) { return find(x) == find(y); }

  int size(int x) { return sz[find(x)]; }

  void unite(int x, int y) {
    x = find(x), y = find(y);
    if (x == y)
      return;
    if (rank[x] < rank[y]) {
      par[x] = y;
      sz[y] += sz[x];
    } else {
      par[y] = x;
      sz[x] += sz[y];
      if (rank[x] == rank[y]) {
        rank[x]++;
      }
    }
    cnt--;
  }
};

const string Yes = "Yes";
const string YES = "YES";
const string No = "No";
const string NO = "NO";

long long modpow(long long a, long long n, long long mod) {
  long long res = 1;
  while (n > 0) {
    if (n & 1)
      res = res * a % mod;
    a = a * a % mod;
    n >>= 1;
  }
  return res;
}

int main() {
  int N;
  cin >> N;
  vector<ll> a(N);

  ll maximum = -INFint;
  ll minimum = INFint;
  int max_index = 0;
  int min_index = 0;
  rep(i, N) {
    cin >> a[i];
    if (minimum >= a[i]) {
      minimum = a[i];
      min_index = i + 1;
    }
    if (maximum <= a[i]) {
      maximum = a[i];
      max_index = i + 1;
    }
  }

  if (maximum <= 0) {
    cout << N - 1 << endl;
    for (int i = N - 1; i > 0; i--) {
      cout << i + 1 << ' ' << i << endl;
    }
  } else if (minimum >= 0) {
    cout << N - 1 << endl;
    for (int i = 1; i < N; i++) {
      cout << i << ' ' << i + 1 << endl;
    }
  } else if (abs(maximum) >= abs(minimum)) {
    cout << 2 * N - 1 << endl;
    for (int i = 1; i <= N; i++) {
      cout << max_index << ' ' << i << endl;
    }

    for (int i = 1; i < N; i++) {
      cout << i << ' ' << i + 1 << endl;
    }
  } else {
    cout << 2 * N - 1 << endl;
    for (int i = 1; i <= N; i++) {
      cout << min_index << ' ' << i << endl;
    }

    for (int i = N; i > 1; i--) {
      cout << i << ' ' << i - 1 << endl;
    }
  }
  return 0;
}