#139021 (C++14) No.466 ジオラマ

• 問題: No.466 ジオラマ
• ユーザー: しらっ亭
• 提出日時: 2016-12-16 01:42:40
• 言語: C++14 (gcc 13.3.0 + boost 1.87.0)
• 結果: AC
• 実行時間: 6 ms / 2,000 ms
• コード長: 2,860 bytes
• コンパイル時間: 1,648 ms
• コンパイル使用メモリ: 171,848 KB
• 実行使用メモリ: 5,248 KB
• 最終ジャッジ日時: 2024-11-30 09:44:24
• 合計ジャッジ時間: 5,145 ms
• ジャッジサーバーID （参考情報）: judge4 / judge3

ファイルパターン	結果
sample	AC * 4
other	AC * 83

ソースコード

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
#include <bits/stdc++.h>
using namespace std;
#define _p(...) (void)printf(__VA_ARGS__)
#define forr(x,arr) for(auto&& x:arr)
#define _overload3(_1,_2,_3,name,...) name
#define _rep2(i,n) _rep3(i,0,n)
#define _rep3(i,a,b) for(int i=int(a);i<int(b);++i)
#define rep(...) _overload3(__VA_ARGS__,_rep3,_rep2,)(__VA_ARGS__)
#define _rrep2(i,n) _rrep3(i,0,n)
#define _rrep3(i,a,b) for(int i=int(b)-1;i>=int(a);i--)
#define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__)
#define all(x) (x).begin(), (x).end()
#define bit(n) (1LL<<(n))
#define sz(x) ((int)(x).size())
#define fst first
#define snd second
using ll=long long;using pii=pair<int,int>;
using vb=vector<bool>;using vs=vector<string>;
using vi=vector<int>;using vvi=vector<vi>;using vvvi=vector<vvi>;
using vl=vector<ll>;using vvl=vector<vl>;using vvvl=vector<vvl>;
using vd=vector<double>;using vvd=vector<vd>;using vvvd=vector<vvd>;
using vpii=vector<pii>;using vvpii=vector<vpii>;using vvvpii=vector<vvpii>;
template<typename T>T read(){T t;cin>>t;return t;}
template<class T,class U>ostream&operator<<(ostream&o,const pair<T,U>&p){o<<'('<<p.fst<<", "<<p.snd<<')';return o;}
void panic() {
  _p("-1\n");
  exit(0);
}
int a, b, c, d;
vpii solve() {
  a = read<int>();
  b = read<int>();
  c = read<int>();
  d = read<int>();
  int vc = 2;
  vpii ans;
  if (a == 1 && b == 1 && c == 1) panic();
  if (a == c && b == c) {
    ans.emplace_back(0, 1);
    ans.emplace_back(1, 0);
    rep(i, 2, c) {
      ans.emplace_back(i-1, i);
    }
    return ans;
  }
  else if (b == c) {
    ans.emplace_back(0, 1);
    vc = 1;
  }
  else if (a == c) {
    ans.emplace_back(1, 0);
    vc = 0;
  }
  else if (c == 0) {
    vc = 1;
  }
  int idx = max(2, vc + 1);
  //cout << "vc: "<<vc << endl;
  //cout << "idx: "<<idx << endl;
  {
    int p = 0;
    rep(i, a - c - 1) {
      int v = idx++;
      if (p == v) continue;
      //_p("a:%d,%d\n", p, v);
      ans.emplace_back(p, v);
      p = v;
    }
  }
  {
    int p = 1;
    rep(i, b - c - 1) {
      int v = idx++;
      if (p == v) continue;
      //_p("b:%d,%d\n", p, v);
      ans.emplace_back(p, v);
      p = v;
    }
  }
  {
    int p = vc;
    if (vc != 0 && vc != 1 && c != 0) {
      ans.emplace_back(0, vc);
      ans.emplace_back(1, vc);
    }
    rep(i, c - 1) {
      int v = idx++;
      if (p == v) continue;
      //_p("c:%d,%d\n", p, v);
      ans.emplace_back(p, v);
      p = v;
    }
  }
  //cout << "ans:"; rep(ii,sz(ans)) cout << ' ' << ans[ii]; cout << endl;
  return ans;
}
void Main() {
  vpii ans = solve();
  int m = sz(ans);
  if (m > d) panic();
  int n = 2;
  rep(i, m) {
    n = max(n, ans[i].fst + 1);
    n = max(n, ans[i].snd + 1);
  }
  _p("%d %d\n", n, m);
  rep(i, m) {
    _p("%d %d\n", ans[i].fst, ans[i].snd);
  }
}
int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX