state compress DP