#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define FOR(I,A,B) for(int I = (A); I < (B); ++I) #define CLR(mat) memset(mat, 0, sizeof(mat)) typedef long long ll; int dp[5005][15005]; // := i+1日めで正解数がjの時の順位の和の最小 int main() { ios::sync_with_stdio(false); cin.tie(0); int N, P; cin >> N >> P; FOR(i,0,N+1) FOR(j,0,15005) dp[i][j] = 2e9; dp[0][0] = 0; int a[N], b[N], c[N]; FOR(i,0,N) cin >> a[i] >> b[i] >> c[i]; FOR(i,0,N) { FOR(j,0,P+1) { // 0問 dp[i+1][j] = min(dp[i+1][j], dp[i][j] + a[i]); // 1問 if(j+1<=P) dp[i+1][j+1] = min(dp[i+1][j+1], dp[i][j] + b[i]); // 2問 if(j+2<=P) dp[i+1][j+2] = min(dp[i+1][j+2], dp[i][j] + c[i]); // 3問 if(j+3<=P) dp[i+1][j+3] = min(dp[i+1][j+3], dp[i][j] + 1); } } cout << fixed << setprecision(17) << (double)dp[N][P] / N << endl; return 0; }