Submission #1174734

#TimeUsernameProblemLanguageResultExecution timeMemory
1174734chikien2009Skyscraper (JOI16_skyscraper)C++20
15 / 100
1 ms1096 KiB
#include <bits/stdc++.h>

using namespace std;

void setup()
{
    ios_base::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
}

int n, a[101], b, l;
long long f[101][101][1001][3], mod = 1e9 + 7, res;

inline void Add(long long &ina, long long inb)
{
    ina = (ina + inb) % mod;
}

inline long long Mul(long long ina, long long inb)
{
    return (ina * inb) % mod;
}

int main()
{
    setup();

    cin >> n >> l;
    for (int i = 1; i <= n; ++i)
    {
        cin >> a[i];
    }
    sort(a + 1, a + n + 1);
    f[0][0][0][0] = 1;
    for (int i = 0; i < n; ++i)
    {
        for (int j = 0; j <= i; ++j)
        {
            for (int k = 0; k <= l; ++k)
            {
                for (int g = 0; g <= 2; ++g)
                {
                    f[i][j][k][g] %= mod;
                    b = (a[i + 1] - a[i]) * (2 * j - g) + k;
                    if (b < 0 || b > l || f[i][j][k][g] == 0)
                    {
                        continue;
                    }
                    Add(f[i + 1][j + 1][b][g], Mul(f[i][j][k][g], j + 1 - g));
                    if (g < 2)
                    {
                        Add(f[i + 1][j + 1][b][g + 1], Mul(f[i][j][k][g], 2 - g));
                    }
                    if (j > 0)
                    {
                        Add(f[i + 1][j][b][g], Mul(f[i][j][k][g], 2 * j - g));
                        if (g < 2)
                        {
                            Add(f[i + 1][j][b][g + 1], Mul(f[i][j][k][g], 2 - g));
                        }
                    }
                    if (1 < j)
                    {
                        Add(f[i + 1][j - 1][b][g], Mul(f[i][j][k][g], j - 1));
                    }
                }
            }
        }
    }
    for (int i = 0; i <= l; ++i)
    {
        res += f[n][1][i][2];
    }
    cout << res % mod;
    return 0;
}
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...