Atcoder agc036D

没有负环可以理解为能够给第$i$个点一个距离值$d_i$。由于$i$到$i+1$有$0$边，因此$d_i\ge d_{i+1}$，且由于边权绝对值不超过$1$，因此$d_i\le d_{i+1}+1$。为了使距离值合法，对于$j<i$，若$d_j=d_i$，不能有$-1$的边，若$d_j>d_i+1$，不能有$1$的边，且若$d_i=d_{i-1}-1$，必须有$d_j=d_i+1$到$i$的$-1$的边。
考虑计数，设$F[i][j]$表示考虑到$i$，$d_j=d_{j+1}=...=d_i$且$d_i\ne d_{j-1}$，转移枚举一个$k>i$，使得$d_{i+1}=di+2=...=d_k=d_i-1$，乘上贡献即可。
时间复杂度$\mathcal{O}(N^3)$。

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;

inline void update(ll &x,ll y) {
  x=max(x,y);
}

int num[505][505];

ll sum1[505][505],sum2[505][505];

void pre(int n) {
  for(int i=0;i<=n;i++)
    for(int j=i+1;j<=n;j++) sum1[i][j]=sum1[i][j-1]+num[i][j];
  for(int i=n;i>=0;i--)
    for(int j=i+1;j<=n;j++) sum1[i][j]=sum1[i+1][j]+sum1[i][j];
  for(int i=0;i<=n;i++)
    for(int j=i+1;j<=n;j++) sum2[i][j]=sum2[i][j-1]+num[j][i];
  for(int i=n;i>=0;i--)
    for(int j=i+1;j<=n;j++) sum2[i][j]=sum2[i+1][j]+sum2[i][j];
}

ll f[505][505];

void dp(int n) {
  for(int i=0;i<n;i++)
    for(int j=0;j<=i;j++)
      for(int k=i+1;k<=n;k++) 
        update(f[k][i],f[i][j]+sum1[0][k]-sum1[0][i]-sum1[i+1][k]+sum2[j+1][k]-sum2[j+1][i]);
}

int main() {
  int n;
  scanf("%d",&n);
  ll s=0;
  for(int i=1;i<=n;i++)
    for(int j=1;j<=n;j++)
      if (i!=j) {
	    scanf("%d",&num[i][j]);
	    s+=num[i][j];
	  }
  pre(n);
  dp(n);
  ll ans=0;
  for(int i=0;i<=n;i++) update(ans,f[n][i]);
  printf("%lld\n",s-ans);
  return 0;
}