codeforces1359C. Mixing Water

题目链接

现有两水源，一个热水h度，另一个凉水c度，然后你往体积无限的桶里一瓢热的一瓢凉的倒，问倒几瓢离t度最接近

---

显然这题答案只有两种，要么是2，要么$2n+1$。

 证明如下：
 - 当混合了$2n$次之后，温度

$$t_d=\frac{n(h+c)}{2n}=\frac{h+c}{2}$$

 可见偶数次混合后温度恒定

 - 当混合了$2n+1$次后，温度

$$t_d=\frac{n(h+c)+h}{2n+1}$$

其中$t_d(n+1)-t_d(n)<0$故混合温度单调递减且收敛于$\frac{h+c}{2}$

综上可知：

• 对于$t\le \frac{h=c}{2}$时，混合2次即可
• $t\ge \frac{h=c}{2}$时需要计算次数

下面就第二种情况，即答案为$2n+1$的情况做说明：
根据$t_d$的单调性可知，对于$\forall t>\frac{h+c}{2}$必然存在唯一解；且借助单调性，可以用二分进行更高效的查找。但由于涉及浮点运算，所以注意精度或将double换为longlong

最后解释一下 为什么double存在精度问题

#pragma GCC diagnostic error "-std=c++11"
#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
#define ll long long
#define Pair pair<int,int>
#define re return

#define getLen(name,index) name[index].size()
#define mem(a,b) memset(a,b,sizeof(a))
#define Make(a,b) make_pair(a,b)
#define Push(num) push_back(num)
#define rep(index,star,finish) for(register int index=star;index<finish;index++)
#define drep(index,finish,star) for(register int index=finish;index>=star;index--)
using namespace std;

template<class T> void _deb(const char *name,T val){
    cout<<name<<val<<endl;
}


int t;
int main(){
    ios::sync_with_stdio(false);
    cin.tie(NULL);

    cin>>t;
    while(t--){
        double h,c,t;
        cin>>h>>c>>t;
        if((int)t<=(int)((h+c)/2)){
            cout<<2<<endl;
            continue;
        }

        int inf=0,sup=6e5;
        while(inf+1<sup){
            int mid=inf+(sup-inf)/2;
            double n=mid*2+1;

            double tem=((h+c)*mid+h)/n;
            if(tem<t)
                sup=mid;
            else
                inf=mid;
        }
        double abs1=abs(t-((h+c)*inf+h)/(2*inf+1));
        double abs2=abs(t-((h+c)*sup+h)/(2*sup+1));
        if(abs1-abs2<1e-15)
            cout<<2*inf+1<<endl;
        else
            cout<<2*sup+1<<endl;
    }

    re 0;
}

但是看过答案之后，终究还是感叹于自身的zz，能O(1)算出来的东西为啥还得二分再找呢。。。
我们已知混合了$2n+1$次后的温度为
$$t_d=\frac{n(h+c)+h}{2n+1}$$
当$t\ge \frac{h+c}{2}$时，不难求出混合后第一次小于t的次数$2i+1$
$$t_d=\frac{i(h+c)+h}{2i+1}\le t$$
且这个函数是单调递减的,所以答案就在$2i+1$与$2(i-1)+1$之中，只需要单独计算并比较差值即可