[NOIP1998 提高组] 拼数

题目描述:

设有 n 个正整数 a1​…an​，将它们联接成一排，相邻数字首尾相接，组成一个最大的整数。

输入格式:

第一行有一个整数，表示数字个数 n。

第二行有 n 个整数，表示给出的 n 个整数 ai​。

输出格式:

一个正整数，表示最大的整数

输入输出样例:

输入 #1:

3
13 312 343

输出 #1:

34331213

输入 #2:

4
7 13 4 246

输出 #2:

7424613

说明/提示:

对于全部的测试点，保证 1≤n≤20，1≤ai​≤10^9。

思路：

  75分解：

  看到这道题，我们很容易想到每一个输入的数都相当于输入一个最大长度为10的字符串，这样我们可以经过排序进行求解。

  首先定义n个string类型的数组s，将每一个数相当于化成十进制存在string里面，之后我们可以进行一次排序，需要进行自定义比较函数，我们知道想要组成一个最大的数，第一位肯定要最大对吧，所以我们可以按字典序比较（如果输入的字符为数字，依旧是按照1~9进行比较的），因为系统定义了字符串比较'<'和'>'的运算，所以我们不用手写一份。

#include <bits/stdc++.h> //万能头文件 
using namespace std; //批准使用std 
bool cmp(string a,string b){ //比较函数 
	return (a.substr(0,a.size()))>(b.substr(0,b.size())); //字典序比较法 
}
int main(){ //主函数 
	int n; //字符数 
	cin>>n; //输入 
	string s[n]; //定义n个字符串 
	for(int i=0;i<n;i++) //n次输入 
	  cin>>s[i]; //每次输入一个数 
	sort(s,s+n,cmp); //利用cmp自定义比较函数进行排序 
	for(int i=0;i<n;i++) //n次输出 
	  cout<<s[i]; //输出这个数 
	return 0; //结束 
} 

  这份代码提交上去是这样的，我们可以看一下：

 

  错了两个样例，是为什么呢？我们下载一下样例看一下：

输入:

6
321 32 407 135 13 217

正确输出:

4073232121713513

我的输出：

4073213221713513

  哪里不一样？我们发现在321与32的比较中错了，假设我们只输入321和32这两个数，按照我之前的代码，应该输出的是32132，但是真正最大的数是32321，发现什么没有。

  字符串a和字符串b，如果a>b，并且b为a的前缀子串，那么我们在比较函数中需要判b是比a更大的（这是一种解决方法，是可以AC的，接下来我来讲解第二种求解算法）

   100分解：

  这个解重在证明上！

  先写上代码：

#include<iostream>
#include<string>
#include<algorithm>
using namespace std;
string s[21];
int n;
bool cmp(const string &a,const string &b) { // &表示引用
    return (a+b > b+a);
}
int main() {
    cin >> n;
    for(int i=1;i<=n;++i) cin >> s[i];
    sort(s+1,s+n+1,cmp);
    for (int i=1;i<=n;++i) cout << s[i];
    return 0;
}

  接下来就是重点了，这个自定义比较函数为什么是正确的呢？

证明之前，我们先定义几个符号
ab （a,b是数字字符串）
表示 a+b 也就是把a和b连起来写
abc （a,b,c都是数字符串）（当然再多几个字符串也没关系，跟上面一个意思）
没错，这个东西本来是表示数字的，现在被我们借过来表示字符串

a ⩾b 表示正常的a大于等于b （下面这个就是不正常的）
a>=b a,b是数字字符串 表示 a+b⩾b+a
注意区分这两个大于等于！

a*n ,a是数字字符串 n是正整数 表示把a连续写n遍形成的很长的字符串

说明了这么几个奇怪的符号之后，我们正式开始证明。

从代码中可以看出，我们把aa数组按这个 >= 符号 降序 排好序，再直接输出就是正确的答案了。容易发现，对于任意一种排列方式，只要相邻的两个数不满足 前面的 >= 后面的（注意这是那个奇怪的大于等于），那么这种排列肯定不是最优的。也就是说，对于最优排列，肯定有 第一个串 >= 第二个串 第二个串 >= 第三个串 第三个串 >= 第四个串 ... 依此类推。

经过这一些简单的推理，证明的思路实际上很清晰了（千万不要误认为证完了）：只需要再证明传递性（由a>=b 且 b>=c 能否推出 a>=c)。这是最后的一步，也是关键的一步。

先证明一个性质： 如果 a>=b，那么 a*n >= b。 （思路：递推/数学归纳法）

由a>=b即 ab⩾ba
可知aab⩾aba 并且aba⩾baa
从而aab⩾baa 也就是 a*2>=b

由a*2>=b即aab⩾baa 又由ab⩾ba
可知 aaab⩾abaa 并且 abaa⩾baaa
从而aaab⩾baaa 也就是 a*3>=b

依此类推，便能证得 a*n>=b
类似地，由 a>=b，也可以得到 a>=b*n。 相反，如果 a*n>=b 或者 a>=b*n，也能得到 a>=b。（口胡一个证明，如果不满足a>=b这个结论，肯定不满足题设，如果能满足a>=b这个结论，题设肯定成立。大概是一个反证法？）

有了这个结论，我们只要对a,b,c各乘上一个合适的整数（没错就是合适），不难证明传递性了。

总结：

  此题是一个证明题吧！如果光说字符串的话倒是挺简单的，扯到数学就慢慢的脑子转不来弯了！

题目链接：

[NOIP1998 提高组] 拼数 - 洛谷https://www.luogu.com.cn/problem/P1012