2018 USP-ICMC E. Loppinha, the boy who likes sopinha

Link:https://codeforces.com/gym/101875/problem/E
솔루션: 분명히 동적 기획 문제이고 상태도 비교적 좋다. dp[i][j][k]는 전 i개가 j개 변환을 사용했고 현재 연속 k개 1의 최소 소모치를 나타낸다.
정답은 dp[n][?][?]중 만족 소모치가 체력치보다 적은 상태에서 j의 최소치
옮기면 s[i]='1'과 s[i]='0'으로 나뉜다.
s[i] == '1' : 
바꾸기: dp[t1][j][0] = qmin(dp[t1][j][0], dp[t2][j-1][k]);(j != 0)
바꾸지 않음: dp[t1][j][k]=qmin(dp[t1][j][k], dp[t2][j][k-1])+k;(k != 0)
s[i] == '0':
dp[t1][j][0] = qmin(dp[t1][j][0], dp[t2][j][k]);
 
n은 450, n^3은 대략 7e9, TLE는 못하지만 MLE는 할 줄 안다
i 상태가 i-1 상태와만 관련이 있음을 감안하여 스크롤 그룹으로 열 수 있습니다
AC Code:

template inline T qmin(T a, T b) { return a < b ? a : b; }

int dp[2][maxn][maxn];
char s[maxn];
int n, m;

int main()
{
	scanf("%d %d", &n, &m);
	scanf(" %s", s + 1);
	memset(dp, 0x3f, sizeof dp);
	dp[0][0][0] = 0;
	int t1 = 1, t2 = 0;
	rep(i, 1, n){
		if(t1){
			rep(j, 0, n) rep(k, 0, n) dp[1][j][k] = inf;
		} else {
			rep(j, 0, n) rep(k, 0, n) dp[0][j][k] = inf;
		}
		rep(j, 0, i){
			rep(k, 0, i){
				if(s[i] == '1'){
					if(k) dp[t1][j][k] = qmin(dp[t1][j][k], dp[t2][j][k-1]) + k;
					if(j) dp[t1][j][0] = qmin(dp[t1][j][0], dp[t2][j-1][k]);
				} else {
					dp[t1][j][0] = qmin(dp[t1][j][0], dp[t2][j][k]);
				}
			}
		}
		swap(t1, t2);
	}
	int ans = inf;
	rep(j, 0, n){
		rep(k, 0, n){
			if(dp[t2][j][k] <= m) ans = qmin(ans, j);
		}
	}
	printf("%d
", ans);
	return 0;
}

over