#include<stdio.h> #include<stdlib.h> #include<time.h> void run(void){ int n,k; scanf("%d%d",&n,&k); srand((unsigned)time(NULL)); const int m=1000000; int win=0; int i; for(i=0;i<m;i++){ int j; int t=0; for(j=0;j<n;j++){ t+=rand()%6; } int s=0; for(j=0;j<n-k;j++){ s+=rand()%6; } for(j=0;j<k;j++){ s+=rand()%3+3; } win+=(s>t); } printf("%.4lf\n",(double)win/m); return; } int main(void){ run(); return 0; }