题目描述:
设有 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