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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
//Maciej Poleski
#ifdef DEBUG
#define _GLIBCXX_CONCEPT_CHECKS
#include <iostream>
#include <fstream>
#include <cstdlib>
#include <cassert>
namespace
{
namespace Wrapper
{
std::ifstream in;
std::ofstream out;
}
void init(int argc, char **argv)
{
    if(argc != 3)
    {
        std::cerr << "Potrzeba dokładnie dwóch argumentów\n";
        std::abort();
    }
    Wrapper::in.open(argv[1]);
    Wrapper::out.open(argv[2]);
}
}
#define check(x) assert(x)
#else
#ifndef NDEBUG
#define NDEBUG
#endif
#define check(x)
#include <iostream>
namespace
{
namespace Wrapper
{
std::istream &in = std::cin;
std::ostream &out = std::cout;
}
}
#endif

#include <cstdint>

namespace
{
namespace Wrapper
{
typedef std::uint_fast64_t uint_fast64_t;
typedef std::uint_fast32_t uint_fast32_t;
typedef std::uint_fast16_t uint_fast16_t;
typedef std::uint_fast8_t uint_fast8_t;

typedef std::uint64_t uint64_t;
typedef std::uint32_t uint32_t;
typedef std::uint16_t uint16_t;
typedef std::uint8_t uint8_t;

typedef std::int_fast64_t int_fast64_t;
typedef std::int_fast32_t int_fast32_t;
typedef std::int_fast16_t int_fast16_t;
typedef std::int_fast8_t int_fast8_t;

typedef std::int64_t int64_t;
typedef std::int32_t int32_t;
typedef std::int16_t int16_t;
typedef std::int8_t int8_t;

typedef std::size_t size_t;
}

}

#include <string>
#include <algorithm>
#include <limits>
#include <locale>
#include <cstring>
#include <utility>
#include <cstdlib>
#include <random>
#include <algorithm>
#include <vector>
#include <stack>
#include <queue>
#include <list>
#include <iomanip>
#include <set>
#include <map>
#include <memory>
#include <functional>
#include <unordered_map>
#include <unordered_set>
#include <complex>

namespace
{
using namespace Wrapper;

struct Info
{
    uint_fast32_t arg;
    uint_fast32_t max;
};

static int_fast32_t *C;
static int_fast32_t *D;
static Info *sol;

static constexpr uint_fast32_t mod = 1000000007;

inline static void solution()
{
    using std::swap;
    uint_fast32_t n;
    in >> n;
    C = new int_fast32_t[n];
    D = new int_fast32_t[n];
    sol = new Info[n];

    for(int_fast32_t i = 0; i < n; ++i)
    {
        int_fast32_t c, d;
        in >> c >> d;
        C[i] = c;
        D[i] = d;
        uint_fast32_t currentMax = 0;
        uint_fast32_t currentArg;

        int_fast32_t minI = i, maxI = 0;
        int_fast32_t currentI = i;

        for(; minI >= maxI && currentI >= 0; --currentI)
        {
            if(currentI < maxI)
            {
                break;    // Wszystkie przedziały już uwzględnione
            }
            minI = std::min(minI, i + 1 - C[currentI]);
            if(minI < 0)
            {
                break;    // Nie da się spełnić tego wymogu
            }
            maxI = std::max(maxI, i + 1 - D[currentI]);
            if(currentI <= minI && currentI >= maxI)
            {
                //std::cerr << currentI << ' ' << i << '\n';
                // Da się stworzyć przedział [currentI;i]
                if(currentI == 0)
                {
                    // To jest przedział początkowy
                    if(currentMax < 1)
                    {
                        currentMax = 1;
                        currentArg = 1;
                    }
                    else if(currentMax == 1)
                    {
                        currentArg =(currentArg+ 1)%mod;
                    }
                }
                else
                {
                    // Istnieje jakiś poprzednik
                    if(sol[currentI - 1].max == 0)
                        ;       // Nie da się dokonać takiego podziału (poprzednik blokuje)
                    else if(sol[currentI - 1].max >= currentMax)
                    {
                        //std::cerr << "Tworzę nową największą drużynę: [" << currentI << ";" << i << "]\n";
                        currentMax = sol[currentI - 1].max + 1;
                        currentArg = sol[currentI - 1].arg;
                    }
                    else if(sol[currentI - 1].max + 1 == currentMax)
                    {
                        //std::cerr << "Nowy sposób maksymalnego podziału: [" << currentI << ";" << i << "]\n";
                        currentArg = (currentArg + sol[currentI - 1].arg) % mod;
                    }
                    else
                    {
                        //std::cerr << "Koniec rozsądnych propozycji\n";
                        check(sol[currentI - 1].max + 1 < currentMax);
                        //break;  // Taki podział (i wszystkie dalsze) tworzyły by mniej drużyn - nie nadaje się
                    }
                }
            }
        }
        sol[i].max = currentMax;
        sol[i].arg = currentArg;
    }

//     for(int i = 0; i < n; ++i)
//     {
//         std::cerr << sol[i].max << '/' << sol[i].arg << ' ';
//     }
//     std::cerr << '\n';

    if(sol[n - 1].max > 0)
    {
        out << sol[n - 1].max << ' ' << sol[n - 1].arg << '\n';
    }
    else
    {
        out << "NIE\n";
    }

    delete [] sol;
    delete [] D;
    delete [] C;
}

} // namespace

int main(int argc, char **argv)
{
    std::ios_base::sync_with_stdio(false);
#ifdef DEBUG
    init(argc, argv);
#else
    (void)argc;
    (void)argv;
#endif
    solution();
    return 0;
}