QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#639025#9458. Triangulationhos_lyricTL 88ms23372kbC++147.4kb2024-10-13 17:41:262024-10-13 17:42:35

Judging History

你现在查看的是测评时间为 2024-10-13 17:42:35 的历史记录

  • [2024-10-13 18:03:21]
  • 管理员手动重测本题所有提交记录
  • 测评结果:TL
  • 用时:112ms
  • 内存:23336kb
  • [2024-10-13 17:42:35]
  • 自动重测本题所有获得100分的提交记录
  • 测评结果:97
  • 用时:88ms
  • 内存:23372kb
  • [2024-10-13 17:42:33]
  • hack成功,自动添加数据
  • (/hack/962)
  • [2024-10-13 17:41:26]
  • 评测
  • 测评结果:100
  • 用时:85ms
  • 内存:23328kb
  • [2024-10-13 17:41:26]
  • 提交

answer

#include <cassert>
#include <cmath>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <bitset>
#include <complex>
#include <deque>
#include <functional>
#include <iostream>
#include <limits>
#include <map>
#include <numeric>
#include <queue>
#include <random>
#include <set>
#include <sstream>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

using namespace std;

using Int = long long;

template <class T1, class T2> ostream &operator<<(ostream &os, const pair<T1, T2> &a) { return os << "(" << a.first << ", " << a.second << ")"; };
template <class T> ostream &operator<<(ostream &os, const vector<T> &as) { const int sz = as.size(); os << "["; for (int i = 0; i < sz; ++i) { if (i >= 256) { os << ", ..."; break; } if (i > 0) { os << ", "; } os << as[i]; } return os << "]"; }
template <class T> void pv(T a, T b) { for (T i = a; i != b; ++i) cerr << *i << " "; cerr << endl; }
template <class T> bool chmin(T &t, const T &f) { if (t > f) { t = f; return true; } return false; }
template <class T> bool chmax(T &t, const T &f) { if (t < f) { t = f; return true; } return false; }
#define COLOR(s) ("\x1b[" s "m")


inline int sig(Int r) { return (r < 0) ? -1 : (r > 0) ? +1 : 0; }
inline Int sq(Int r) { return r * r; }
struct Pt {
  Int x, y;
  Pt() : x(0), y(0) {}
  Pt(Int x_, Int y_) : x(x_), y(y_) {}
  Pt operator+(const Pt &a) const { return Pt(x + a.x, y + a.y); }
  Pt operator-(const Pt &a) const { return Pt(x - a.x, y - a.y); }
  Pt operator*(const Pt &a) const { return Pt(x * a.x - y * a.y, x * a.y + y * a.x); }
  Pt operator+() const { return Pt(+x, +y); }
  Pt operator-() const { return Pt(-x, -y); }
  Pt operator*(const Int &k) const { return Pt(x * k, y * k); }
  Pt operator/(const Int &k) const { return Pt(x / k, y / k); }
  friend Pt operator*(const Int &k, const Pt &a) { return Pt(k * a.x, k * a.y); }
  Pt &operator+=(const Pt &a) { x += a.x; y += a.y; return *this; }
  Pt &operator-=(const Pt &a) { x -= a.x; y -= a.y; return *this; }
  Pt &operator*=(const Pt &a) { return *this = *this * a; }
  Pt &operator*=(const Int &k) { x *= k; y *= k; return *this; }
  Int abs2() const { return x * x + y * y; }
  Int dot(const Pt &a) const { return x * a.x + y * a.y; }
  Int det(const Pt &a) const { return x * a.y - y * a.x; }
  bool operator==(const Pt &a) const { return (x == a.x && y == a.y); }
  bool operator!=(const Pt &a) const { return !(x == a.x && y == a.y); }
  bool operator<(const Pt &a) const { return ((x != a.x) ? (x < a.x) : (y < a.y)); }
  friend ostream &operator<<(ostream &os, const Pt &a) { os << "(" << a.x << ", " << a.y << ")"; return os; }
};
inline Int tri(const Pt &a, const Pt &b, const Pt &c) { return (b - a).det(c - a); }


constexpr int INF = 1001001001;

int N;
vector<Pt> P;
int W[18][18];

// P: Pt * or vector<Pt>
int sigtri(int u, int v, int w) {
  return sig(tri(P[u], P[v], P[w]));
}
vector<int> convexHull(vector<int> us, bool sorted = false) {
  const int n = us.size();
  if (!sorted) {
    sort(us.begin(), us.end(), [&](int u, int v) -> bool {
      return (P[u] < P[v]);
    });
  }
  vector<int> vs;
  for (int i = 0; i < n; vs.push_back(us[i++]))
    for (; vs.size() > 1 && sigtri(vs[vs.size() - 2], vs[vs.size() - 1], us[i]) <= 0; vs.pop_back()) {}
  const int r = vs.size();
  for (int i = (int)us.size() - 2; i >= 0; vs.push_back(us[i--]))
    for (; (int)vs.size() > r && sigtri(vs[vs.size() - 2], vs[vs.size() - 1], us[i]) <= 0; vs.pop_back()) {}
  if (vs.size() > 1) vs.pop_back();
  return vs;
}

int S[18][18][18];
int can[18][18][18];

// (min, count)
using Pair = pair<int, Int>;
void update(Pair &t, const Pair &f, int c) {
  c += f.first;
  if (chmin(t.first, c)) t.second = 0;
  if (t.first == c) t.second += f.second;
}

/*
  dp[q][m]:
    q \cup {0,N-1}: upper hull
    edges 0-...-m are red
*/
int trim(int p) {
  return p >> 1 & ((1<<(N-2))-1);
}
Pair dp[1 << 16][18];

int main() {
  for (int numCases; ~scanf("%d", &numCases); ) { for (int caseId = 1; caseId <= numCases; ++caseId) {
    scanf("%d", &N);
    P.resize(N);
    for (int u = 0; u < N; ++u) {
      scanf("%lld%lld", &P[u].x, &P[u].y);
P[u].y*=-1;
    }
    for (int u = 0; u < N; ++u) for (int v = 0; v < N; ++v) {
      scanf("%d", &W[u][v]);
    }
    
    {
      vector<pair<Pt, int>> pus(N);
      for (int u = 0; u < N; ++u) pus[u] = make_pair(P[u], u);
      sort(pus.begin(), pus.end());
      int WW[18][18];
      for (int u = 0; u < N; ++u) for (int v = 0; v < N; ++v) WW[u][v] = W[u][v];
      for (int u = 0; u < N; ++u) for (int v = 0; v < N; ++v) W[u][v] = WW[pus[u].second][pus[v].second];
      sort(P.begin(), P.end());
    }
// cerr<<"P = "<<P<<endl;
    
    int lower = 0, upper = 0;
    int base = 0;
    {
      vector<int> us(N);
      for (int u = 0; u < N; ++u) us[u] = u;
      const auto vs = convexHull(us);
      const int vsLen = vs.size();
      for (int h = 0; h < vsLen; ++h) {
        const int u = vs[h];
        const int v = vs[(h + 1) % vsLen];
        if (u < v) {
          lower |= 1 << u | 1 << v;
          base += W[u][v];
        } else {
          upper |= 1 << u | 1 << v;
        }
      }
    }
    
    for (int u = 0; u < N; ++u) for (int v = 0; v < N; ++v) for (int w = 0; w < N; ++w) S[u][v][w] = sigtri(u, v, w);
    for (int u = 0; u < N; ++u) for (int v = u + 1; v < N; ++v) for (int w = v + 1; w < N; ++w) {
      can[u][v][w] = [&]() -> int {
        const int s = S[u][v][w];
        for (int x = 0; x < N; ++x) if (u != x && v != x && w != x) {
          if (s == S[u][v][x] && s == S[v][w][x] && s == S[w][u][x]) {
            // inside
            return 0;
          }
        }
        return s;
      }();
    }
    
    vector<pair<Int, int>> es(1 << (N-2));
    for (int q = 0; q < 1 << (N-2); ++q) {
      const int p = 1 << 0 | q << 1 | 1 << (N-1);
      Int area = 0;
      for (int u = 0, v; u < N-1; u = v) {
        v = __builtin_ctz(p & ~((1<<(u+1))-1));
        area += (P[v].x - P[u].x) * (P[u].y + P[v].y);
      }
      es[q] = make_pair(area, p);
    }
    sort(es.begin(), es.end());
    
    for (int q = 0; q < 1 << (N-2); ++q) fill(dp[q], dp[q] + N, Pair(INF, 0));
    dp[trim(lower)][0] = Pair(base, 1);
    for (const auto &e : es) {
      const int p = e.second;
      const int q = trim(p);
// cerr<<"e = "<<e<<": ";for(int u=0;u<N;++u)if(p>>u&1)cerr<<u<<" ";cerr<<endl;
      for (int m = 0; m < N; ++m) if (dp[q][m].first < INF) {
// cerr<<"  m = "<<m<<": "<<dp[q][m]<<endl;
        const int l = (m == 0) ? -1 : (31 - __builtin_clz(p & ((1<<m)-1)));
        const int r = (m == N-1) ? N : __builtin_ctz(p & ~((1<<(m+1))-1));
        // green -> red
        if (m < N-1) {
          update(dp[q][r], dp[q][m], 0);
        }
        // red|green -> + -> |green
        if (0 < m && m < N-1) {
          if (can[l][m][r] > 0) {
            update(dp[q ^ 1 << (m-1)][l], dp[q][m], W[l][r]);
          }
        }
        // |green -> - -> |green,green
        if (m < N-1) {
          for (int u = m + 1; u < r; ++u) if (can[m][u][r] < 0) {
            update(dp[q | 1 << (u-1)][m], dp[q][m], W[m][u] + W[u][r]);
          }
        }
      }
    }
    
    const Pair ans = dp[trim(upper)][N-1];
    printf("%d %lld\n", ans.first, ans.second);
  }
#ifndef LOCAL
  break;
#endif
  }
  return 0;
}

详细

Test #1:

score: 100
Accepted
time: 0ms
memory: 3768kb

input:

2
4
0 0
1 1
1 0
0 1
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 0
4
0 0
3 0
1 3
1 1
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 0

output:

5 2
6 1

result:

ok 2 lines

Test #2:

score: 0
Accepted
time: 88ms
memory: 23372kb

input:

68
3
454 364
117 336
271 84
0 6 2
6 0 10
2 10 0
4
454 364
117 336
271 84
274 296
0 3 2 10
3 0 6 4
2 6 0 5
10 4 5 0
4
603 817
230 695
230 303
604 183
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
5
454 364
117 336
271 84
274 296
220 225
0 1 7 3 2
1 0 4 4 2
7 4 0 1 5
3 4 1 0 0
2 2 5 0 0
5
666667 788675
333173 78858...

output:

18 1
30 1
0 2
27 1
38 2
35 5
54 1
44 2
18 14
69 1
12 1
88 42
59 1
23 8
180 150
80 1
23 2
0 780
30 12
504 4550
30 4
19656 26888
29 6
26700 168942
24 88
22770 1098904
21 28
30816 7281984
24 27
15327 49789428
24 4
16338 342305320
21 48
42615 2410168190
22 360
44928 17309628327
1240448 1
2613579 1
19532...

result:

ok 68 lines

Extra Test:

score: -3
Extra Test Failed : Time Limit Exceeded on 5

input:

70
18
0 81
1 64
2 49
3 36
4 25
5 16
6 9
7 4
8 1
9 0
10 1
11 4
12 9
13 16
14 25
15 36
16 49
17 64
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0...

output:


result: