第一感觉是贪心,没证明过,写成模拟了。。。。
#include <iostream>
#include <stdio.h>
#include <string.h>
#include <math.h>
using namespace std;
int a[10];
int main()
{
int t,cas=1;
scanf("%d",&t);
while(t--)
{
for(int i=0;i<3;i++)
{
scanf("%d",&a[i]);
}
int ans=0;
while(a[0]>0||a[1]>0||a[2]>0)
{
ans++;
if(a[2]>=1&&a[0]>=2)
{
a[2]--;
a[0]-=2;
}
else if(a[1]>=1&&a[0]>=2)
{
a[1]--;
a[0]-=2;
}
else if(a[2]>=2)
{
a[2]-=2;
}
else if(a[0]>=3)
{
a[0]-=3;
}
else if(a[1]>=1&&a[2]>=1)
{
a[1]--;
a[2]--;
}
else if(a[1]>=2)
{
a[1]-=2;
}
else
{
a[0]=a[1]=a[2]=0;
}
}
printf("Case %d: %d\n",cas++,ans);
}
return 0;
}