洛谷 P10320 勇气（Courage）题解

张镓麒

已于 2024-05-08 11:11:10 修改

阅读量1.2k

点赞数 20

文章标签：算法 c++

于 2024-04-06 17:39:24 首次发布

本文链接：https://blog.csdn.net/2302_81988754/article/details/137433514

版权

文章讲述了如何通过数学分析和对数性质解决一个关于整数x和n的数学问题，涉及连续平方根变换，最终给出一个通用公式并提供了一个C++程序实现，强调了特判在解题中的重要性。

摘要由CSDN通过智能技术生成

P10320 勇气（Courage）题解

题目传送门

题目大意

给定两个整数 $x, n$ 和一种变换方式，要求求出最少经过多少次变换之后 $x$ 的值不小于 $2^n$ 。

上面所提到的“变换方式”如果使用函数来进行刻画的话，其表达式为：

$f(x_i)=\left\{ \begin{array}{rcl} x^2, & & & i=1\\ (\frac{f(x_{i-1})}{2})^2, & &&i > 1 \end{array} \right.$

其中， $f(x_i)$ 代表的是经过第 $i$ 次变换后得到的数值。

变换分析

首先，我们先在小范围内进行模拟计算，其初始值为 $x$ 。为了更加直观的展示每组数据的由来，特地列出了原始的表达式和最后化简的表达式，如下表所示：

变换次数	原始表达式	化简表达式
$0$	$x$	$x$
$1$	$\left(\frac{x}{2^0}\right)^2$	$\frac{x^2}{2^0}$
$2$	$\left(\frac{x^2}{2}\right)^2$	$\frac{x^4}{2^2}$
$3$	$\left(\frac{\left(\frac{x^4}{2^2}\right)}{2}\right)^2$	$\frac{x^8}{2^6}$
$4$	$\left(\frac{\left(\frac{x^8}{2^6}\right)}{2}\right)^2$	$\frac{x^{16}}{2^{14}}$

观察上面的格式特征，我们不妨记经过第 $i$ 次变换后得到的结果为 $\frac{x^m}{2^n}$ 。对 $m, n$ 分别进行分析，如下所示：

$i$	$1$	$2$	$3$	$4$	$5$	$\dots\dots$	$k$
$m$	$2$	$4$	$8$	$16$	$32$	$\dots\dots$	$2^k$
$n$	$0$	$2$	$6$	$14$	$30$	$\dots\dots$	$2^k-2$

通过上表，我们可以得到结果的一个通用表达式。记经过第 $i$ 次变换后的结果为 $x_i$ ，则有：

$x_i=\frac{x^{2^i}}{2^{2^i-2}}$

题目分析

截至目前，我们已经得出了对于题目给定的变换方法的通式：

$x_i=\frac{x^{2^i}}{2^{2^i-2}}$

由于题目要求的是一个最小的正整数 $k$ ，使得经过 $k$ 次变换后得到的答案大于 $2^n$ ，于是就会有下面的不等式：

$\frac{x^{2^k}}{2^{2^k-2}} \geq 2^n$

这时，我想到了高中数学中的对数，其中有一条定理：

对于一个不等式 $\geq n$ ，将其两边同时取以同一数字为底的对数之后，不等号方向不变，即满足 $\log_k{m} \geq \log_k{n}$ 。

上述结论可以利用对数函数的单调性证明，在这里不过多阐述。所以对于这道题，由代数知识可有如下推导过程，应该是足够详细了：

$\frac{x^{2^k}}{2^{2^k-2}} \geq 2^n$

$x^{2^k} \geq 2^n \times {2^{2^k-2}}$

$x^{2^k} \geq 2^{n+2^k-2}$

$log_2{x^{2^k} }\geq log_2{2^{n+2^k-2}}$

$2^klog_2{x}\geq (n+2^k-2) \times log_2{2}$

$2^k log_2{x}\geq n+2^k-2$

$2^k log_2{x} - 2^k \geq n - 2$

$2^k \geq \frac{n-2}{ log_2{x} -1}$

$\geq log_2{\frac{n-2}{ log_2{x} -1}}$

看到这里，终于是拨开云雾了。经过我们的推导，发现对于给定的 $x, n$ ，在一般情况下，程序只要输出一个
$\lceil log_2{\frac{n-2}{ log_2{x} -1}} \rceil$ 即可。

参考代码

#include<bits/stdc++.h>
using namespace std;
int x, n;
int main() {
	cin >> x >> n;
	if(x==2&&n==2){
		cout<<1<<endl;
		return 0;
	}
	if (x == 2 && n > 2) {
		cout << "inf" << endl;
		return 0;
	}
	if (x >= pow(2, n)) {
		cout << 0 << endl;
		return 0;
	}
	if (log2((n - 2) / (log2(x) - 1))< 0) {
		cout << "inf" << endl;
		return 0;
	}
	cout << ceil(log2((n - 2) / (log2(x) - 1))) << endl;
	return 0;
}