fork download
  1. //
  2. //
  3. #include <stdio.h>
  4.  
  5. int main()
  6. {
  7. int n,k,i,b,count=0;
  8. double avg=0.0;
  9. scanf("%d",&n);
  10. int a[6];
  11. for(i=0;i<6;i++)
  12. a[i]=0;
  13. for(i=0;i<n;i++)
  14. {
  15. scanf("%d ",&b);
  16. a[b]++;
  17. }
  18. for(i=0;i<6;i++)
  19. {
  20. avg+=a[i]*i;
  21. }
  22. avg/=n;
  23. if(avg>=4.5)
  24. printf("0\n");
  25. else
  26. {
  27. i=0;
  28. while(i<6 && avg)
  29. {
  30. if(a[i]!=0)
  31. {
  32. avg= avg*n -i + 5.0;
  33. a[i]--;
  34. count++;
  35. }
  36. else
  37. {i++;continue;}
  38. avg=avg/n;
  39. if(avg>=4.5)
  40. break;
  41. }
  42. printf("%d\n",count);
  43. }
  44. return 0;
  45. }
Success #stdin #stdout 0s 4336KB
stdin
100
3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
stdout
75