Submission #583717

#	Time	Username	Problem	Language	Result	Execution time	Memory
583717		MilosMilutinovic	Domino (COCI15_domino)	C++14	160 / 160	3826 ms	273360 KiB

domino

/**
 *    author:  wxhtzdy
 *    created: 24.06.2022 12:30:23
**/              
#include <bits/stdc++.h>
 
using namespace std;
 
int f[1 << 23][9];
 
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, k;
  cin >> n >> k;
  vector<vector<int>> a(n, vector<int>(n));
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      cin >> a[i][j];  
    }
  }
  vector<array<int, 3>> b;
  auto Id = [&](int i, int j) {
    return i * n + j;
  };
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      if (i + 1 < n) {
        b.push_back({a[i][j] + a[i + 1][j], Id(i, j), Id(i + 1, j)});
      }
      if (j + 1 < n) {
        b.push_back({a[i][j] + a[i][j + 1], Id(i, j), Id(i, j + 1)});
      }
    }
  }
  sort(b.rbegin(), b.rend());
  while ((int) b.size() > 50) {
    b.pop_back();
  }                   
  int sz = (int) b.size();
  int R = min(22, sz / 2);                                      
  int L = sz - R;
  for (int s = 0; s < (1 << R); s++) {
    for (int j = 0; j <= k; j++) {
      f[s][j] = 0;
    }
  }
  vector<int> bb(R);
  for (int i = 0; i < R; i++) {
    for (int j = 0; j < R; j++) {
      if (i == j) {
        continue;
      }        
      if (b[L + i][1] == b[L + j][1]) {
        bb[i] |= (1 << j);
      }
      if (b[L + i][1] == b[L + j][2]) {
        bb[i] |= (1 << j);
      }
      if (b[L + i][2] == b[L + j][1]) {
        bb[i] |= (1 << j);
      }
      if (b[L + i][2] == b[L + j][2]) {
        bb[i] |= (1 << j);
      }
    }
  }
  for (int s = 0; s < (1 << R); s++) {
    if (__builtin_popcount(s) >= k) {
      for (int i = 0; i < R; i++) {
        if (!(s >> i & 1)) {
          continue;
        }
        for (int j = 0; j <= k; j++) {
          f[s][j] = max(f[s][j], f[s ^ (1 << i)][j]);
        }
      }
      for (int p = 1; p <= k; p++) {
        f[s][p] = max(f[s][p], f[s][p - 1]);
      }
      continue;
    }
    int sub = 0;
    for (int i = 0; i < R; i++) {
      if (s >> i & 1) {
        sub |= bb[i];
      }
    }
    for (int i = 0; i < R; i++) {
      if (s >> i & 1) {
        continue;
      }
      if (sub >> i & 1) {
        continue;
      }
      for (int p = 0; p < k; p++) {
        f[s | (1 << i)][p + 1] = max(f[s | (1 << i)][p], f[s][p] + b[L + i][0]);
      }
    }
    for (int i = 0; i < R; i++) {
      if (!(s >> i & 1)) {
        continue;
      }
      for (int p = 0; p < k; p++) {
        f[s][p] = max(f[s][p], f[s ^ (1 << i)][p]);
      }
    }
    for (int p = 1; p <= k; p++) {
      f[s][p] = max(f[s][p], f[s][p - 1]);
    }
  }
  int ans = 0;    
  for (int s = 0; s < (1 << R); s++) {
    for (int j = 0; j <= k; j++) {
      ans = max(ans, f[s][j]);
    }
  }
  vector<int> bad(L);
  for (int i = 0; i < L; i++) {
    for (int j = 0; j < L; j++) {
      if (i == j) {
        continue;
      }   
      if (b[i][1] == b[j][1]) {
        bad[i] |= (1 << j);
        continue;
      }
      if (b[i][1] == b[j][2]) {
        bad[i] |= (1 << j);
        continue;
      }
      if (b[i][2] == b[j][1]) {
        bad[i] |= (1 << j);
        continue;
      }
      if (b[i][2] == b[j][2]) {
        bad[i] |= (1 << j);
        continue;
      }
    }
  }
  vector<int> oth(L);
  for (int i = 0; i < L; i++) {
    for (int j = 0; j < R; j++) {
      if (b[i][1] == b[L + j][1]) {
        oth[i] |= (1 << j);
        continue;
      }
      if (b[i][1] == b[L + j][2]) {
        oth[i] |= (1 << j);
        continue;
      }
      if (b[i][2] == b[L + j][1]) {
        oth[i] |= (1 << j);
        continue;
      }
      if (b[i][2] == b[L + j][2]) {
        oth[i] |= (1 << j);
        continue;
      }
    }
  }
  for (int s = 0; s < (1 << L); s++) {
    if (__builtin_popcount(s) > k) {
      continue;  
    }
    int t = (1 << R) - 1;
    bool ok = true;       
    int ft = 0;
    for (int i = 0; i < L; i++) {
      if (s >> i & 1) {
        ft += b[i][0];
        if (bad[i] & s) {
          ok = false;
          break;
        }
      }
    }
    if (!ok) {
      continue;
    }
    int q = 0;
    for (int i = 0; i < L; i++) {
      if (s >> i & 1) {
        q |= oth[i];
      }
    }
    t -= q;
    ans = max(ans, ft + f[t][k - __builtin_popcount(s)]);
  }
  long long sum = 0;
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < n; j++) {
      sum += a[i][j];
    }
  }
  cout << sum - ans << '\n';                                        
  return 0;
}

• Subtask 1: 10 / 10
• Subtask 2: 10 / 10
• Subtask 3: 10 / 10
• Subtask 4: 10 / 10
• Subtask 5: 10 / 10
• Subtask 6: 10 / 10
• Subtask 7: 10 / 10
• Subtask 8: 10 / 10
• Subtask 9: 10 / 10
• Subtask 10: 10 / 10
• Subtask 11: 10 / 10
• Subtask 12: 10 / 10
• Subtask 13: 10 / 10
• Subtask 14: 10 / 10
• Subtask 15: 10 / 10
• Subtask 16: 10 / 10