C. Numbers on Whiteboard(思维+规律)

https://codeforces.com/contest/1430/problem/C

---

思路：本来以为最后变的值只会是原来的n/2+1或者n/2之类的。推了几个例子发现每次都有办法构造到2.

怎么构造呢？从后两个开始取，取完之后把这个新数再和前一个去取。

模拟的过程用优先队列可以很方便的完成。

简单考虑一下正确性：由于最小的是1，想让最后的数最小，那么后面应该融合成一个相对来说小的数和1进行结合。

比如后面是2 3 4 5 6 7 8 9，很多时候是 2 9 配对，3 8配对，最后取到平均，但是这样最后和1结合的数就会比较大。

但是看这个9和前面的8，取了之后能尽量变小，结合成新的数之后，前面的数一定是<=新数，这样每次都拉低后面数的平均值。

最后到和1结合的时候就是最小的。

具体的证明应该是能用数学证明的叭(欢迎大佬在评论区评论

个人感觉是一个离散的点的函数的图像，每一个前面的点如果和后面取，最后会拉到中间值。而后面两个取平均之后再和前面的取能让最后的值变低。

#include<iostream>
#include<vector>
#include<queue>
#include<cstring>
#include<cmath>
#include<map>
#include<set>
#include<cstdio>
#include<algorithm>
#define debug(a) cout<<#a<<"="<<a<<endl;
using namespace std;
const int maxn=1e5;
typedef long long LL;

int main(void)
{
  cin.tie(0);std::ios::sync_with_stdio(false);
  LL t;cin>>t;
  while(t--)
  {
  	LL n;cin>>n;
  	cout<<"2"<<endl;//特判n==2 
    priority_queue<LL>q;
    for(LL i=1;i<=n;i++) q.push(i);
    while(q.size()>1)
    {
    	LL t1=q.top();q.pop();
    	LL t2=q.top();q.pop();
    	cout<<t1<<" "<<t2<<endl;
    	LL t3=ceil((t1*1.0+t2*1.0)/2);
    	q.push(t3);
	}
  }
return 0;
}