JOJ的2042面试题目的数学推导过程

JOJ的2042题目是一个程序理解题目,这个题目非常有意思,给出了下面一段C++源代码,要求计算出最后的输出结果,源代码如下:

#include<cstdio>
int main(void)
{
     int x = 987654321, c = 0, d = 1, e = 6;
     while(x--){
         c += d,
         d += e,
         e += 6;
     }
     printf("%d/n", c);
     return 0;
}

原题目如下:

We can use axioms to calculate programs just like what we do in algebras. Dijkstra is the one who advocates such constructive approach whereby a program is designed together with its correctness proof. In short, one has to start from a given postcondition Q and then look for a program that establishes Q from the precondition. Often, analyzing Q provides interesting hints to finding the program. This approach is quite different from the well known Hoare Logic.

 

For example, the following program is calculated by Dijkstra's approach. Unfortunately, its annotation is lost so that its function is hard to grasp. You are to help with finding the final value of the variable c. Note that the program is designed under 128-bit architecture.

代码就是上面那一段。

这个题目通过小数据计算可以看出规律:x=1, c = 1; x=2, c=8; x=3, c=27; x=4, c=64,于是可以猜测这段程序是用来计算x^3的。用计算器计算出987654321^3,提交上去就AC了。

这个题目是超级大牛SIYEE出的。但是为什么会得到这样神奇的结果?有数学推导方法吗?

有!而且是高中数学知识!这时候才知道高中数学是多么有用呵!

首先看这个程序:

int x = 987654321, c = 0, d = 1, e = 6;
     while(x--){
         c += d,
         d += e,
         e += 6;
     }

这里c,d,e充当了一个临时寄存器角色,不要被赋值语句迷惑了,其实c,d,e都是数列

首先在草稿纸上列出前几列:

x  0   1    2

c  0   1    8

d  1   7   19

e  6   12  18

 

然后在C语言描述中看:

(1)c的数列描述:

c(n) = 0;    n = 0

c(n) = c(n -1) + d(n - 1); n>=1

(2)d的数列描述:

d(n) = 1;    n = 0

d(n) = d(n -1) + e(n - 1); n>=1

(3)e的数列描述:

e(n) = 6(n+1)

由于e(n)已知,所以可以从这里入手:

计算d(n):

d(n) = d(n -1) + e(n - 1); n>=1

变换:

d(n) - d(n -1) = e(n - 1) = 6n

可以看出是一个等变数列,用累加法:

d(n) - d(n -1) =  6n

d(n -1) - d(n -2) =  6(n-1)

...............................

d(1) - d(0) = 6

累加:

d(n) - d(0) = 6n+6(n-1)+........+6(1) = 3n(n+1)

d(n) = 3n(n+1)+1

验算一下,没错,那么继续求c(n):

用同样方法 :

c(n) = c(n -1) + d(n - 1);

c(n) - c(n-1) = 3(n -1)n +1 = 3(n^2) -3n +1

c(n-1) - c(n-2) = 3(n -2)(n-1) +1 = 3((n-1)^2) -3(n-1) +1

.................................................

c(1) - c(0) = 3(1^2) - 3(1) +1

累加:

c(n)-c(0) = 3[n^2+(n-1)^2+.......+2^2+1^2]-3[n+(n-1)+...+2+1]+n

c(n)-c(0) = 1/2[2(n)^3+3(n)^2+n]-3/2[(n)^2+n]+n

c(n)-c(0) = (n)^3+3/2(n)^2+1/2 *(n)-3/2 *(n^2)-3/2 *n +n

c(n)-c(0) = n^3,已知 C(0) = 0

故得c(n) = n^3   n = 0,1,2.......

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/436264.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

linux mysql密码转义_linux忘记mysql密码处理方法

linux忘记mysql密码处理方法:# /etc/init.d/mysql stop# mysqld_safe --usermysql --skip-grant-tables --skip-networking &# mysql -u root mysqlmysql> update user set passwordpassword(newpassword) where userroot;mysql> flush privileges;mysql> quit# /…

不同职业的面试着装技巧。

美女姜培琳&#xff1a;传授独家心经 不同职业的面试着装技巧。 一般来说&#xff0c;职场中精英女性的装扮&#xff0c;首要应讲求端庄、稳重。人们对服饰过于花哨怪异者的工作能力、工作作风、敬业精神、生活态度等&#xff0c;都会持怀疑的态度。 其实&#x…

ARMV4,ARMV4T,ARMV4I的意义

ARMV4,ARMV4T,ARMV4I 以上表示的是指令的版本 也就是三种指令集&#xff1a; ARMv4 -> 它只支持 32 位 ARMv4 指令 ARMv4T ->“T”代表 Thumb(16 位指令模式) ARMv4I ->“I”代表交互作用 (Interworking)。它允许 32 位指令和 16 位指令共存 一些经常出现的CPU支持的指…

【转】C++中的字符串(String)和数值转换

『写在前边』 因为写PAT总是遇到字符串&#xff08;主要是String&#xff09;和数值之间的转化&#xff0c;所以整理一下以便好复习。 『String类型的字符串』 这里数值和字符串相互转换的例子&#xff0c;使用的是stringstream函数&#xff0c;在c11当中有定义好的现成的函数…

好开心

好开心&#xff01;收到我们家lily的礼物&#xff01; 前天&#xff0c;lily传给我一个flash相册&#xff0c;他将我们认识以来的合照做成了flash&#xff0c;配上了音乐。看了好感动&#xff0c;好开心&#xff01; 其实照片倒不是很多&#xff0c;也就7到8张吧&#xff0c;但…

java 实现真正的随机数_关于java:SecureRandom的Android实现是否产生真正的随机数?...

我已经阅读过&#xff0c;一般来说&#xff0c;SecureRandom的一些实现可能会产生真正的随机数。特别是&#xff0c;Android文档说instances of this class will generate an initial seed using an internal entropy source, such as /dev/urandom号但这是否意味着它将产生真正…

etherpeek nx在网络维护中的应用

摘要&#xff1a;该文分析了etherpeek nx的工作原理&#xff0c;主要利用etherpeek nx的数据包截取和分析功能来对netrobocop&#xff08;网络执法官&#xff09;数据包的分析&#xff0c;了解局域网和netrobocop的基本原理&#xff0c;从而更好地维护网络的安全和畅通。 关键…

【转】Windows编程之hdc和hwnd的区别

在windows编程中类型名前面加H的基本是句柄常用句柄 : HBITMAP 保存位图信息的内存域的句柄 HBRUSH 画刷句柄 HCTR 子窗口控件句柄 HCURSOR 鼠标光标句柄 HDC 设备描述表句柄 HDLG 对话框句柄 HFONT 字体句柄 HICON 图标句柄 HINSTANCE 应用程序实例句柄 HMENU 菜单句柄 HMODUL…

java在dos中如何测试_[求助]怎么在java中模拟dos命令行

[CODE]/** Test.java** Created on 2006年12月21日, 下午3:53** To change this template, choose Tools | Template Manager* and open the template in the editor.*/package testCMD;/**** author lbf*/import java.io.*;import java.awt.*;import java.awt.event.*;import …

谈谈基于SQL Server 的Exception Handlingp[下篇]

六、SqlException 在上面一节中&#xff0c;我给出了一个完整的例子说明了&#xff1a;如何在将message定义在sys.messages中保证message的一致性和可维护性&#xff1b;如何在Stored procedure中使用RAISERROR将一个可预知的Error抛出&#xff1b;如何在Stored procedure中使用…

char * 转LPCTSTR若干方法

如何将char* 转换为LPCTSTR&#xff1f;&#xff1f; rainForestBache (百奇) 2004-10-19 20:17:48 在 VC/MFC / 基础类 提问 请多多指教 问题点数&#xff1a;20、回复次数&#xff1a;10 1楼 stephen_young () 回复于 2004-10-19 20:33:45 得分 5 实际上将char*转…

【转】修改static控件背景颜色和文字颜色

当 static 控件或具有 ES_READONLY 风格的 edit 控件被绘制时&#xff0c;会向父窗口发送 WM_CTLCOLORSTATIC 消息。如果我们在窗口过程中处理该消息&#xff0c;就必须返回一个画刷句柄&#xff0c;Windows 会使用该画刷来绘制控件背景&#xff08;子窗口背景&#xff09;。 也…

用C#中的string.Replace有错误,无法替换。

我用的是.net 1.1&#xff0c;在编程要将[Title]替换为“这是标题”&#xff0c;用string.Replace替换总是不对&#xff1a;temp.Replace("[Title]","这是标题");temp输出后显示没有被替换。用较短的实际字符串是可以被替换的&#xff0c;所以我不怀疑我的…

java中随机数彩票练习_基于javascript实现彩票随机数生成(简单版)

本文实例讲解了JavaScript 实现彩票中随机数组的获取详细代码&#xff0c;分享给大家供大家参考&#xff0c;具体内容如下效果图&#xff1a;具体代码&#xff1a;Math.random方法彩票随机数的生成开始获取随机数组//获取节点var btnGo document.getElementById("btnGo&q…

C/C++中near和far的区别

在80286以前的微处理器&#xff08;CPU&#xff09;组成的确16位机上&#xff0c;Windows操作系统&#xff08;包括DOS&#xff09;对于内存是分段使用的&#xff08;分段内存模式&#xff0c;Segment Memory Mode&#xff09;。运行在这些16位CPU微机上的Windows&#xff…

【转】Windows编程之滚动条—滚动条消息

在用鼠标单击滚动条或者拖动卷动方块时&#xff0c;Windows给窗口消息处理程序发送WM_VSCROLL&#xff08;供上下移动&#xff09;和WM_HSCROLL&#xff08;供左右移动&#xff09;消息。在滚动条上的每个鼠标动作都至少产生两个消息&#xff0c;一条在按下鼠标按钮时产生&…

创建IE各版本专属CSS

IE下专属CSS&#xff1a; <![if !IE]><link rel"stylesheet" type"text/css" href"NOT-IE.css" /><![endif]>IE 6 ONLY: <!--[if IE 6]><link rel"stylesheet" type"text/css" href"IE-6-S…

juc是什么java_JUC简介

JUC是什么JUC是 在Java 5.0添加的 java.util.concurrent包的简称&#xff0c;目的就是为了更好的支持高并发任务&#xff0c;让开发者利用这个包进行的多线程编程时可以有效的减少竞争条件和死锁线程。JUC的结构1&#xff0c;tools(工具类)&#xff1a;又叫信号量三组工具类&am…

简述TCP/IP四层体系结构及每层作用

应该说是Internet四层体系结构 1.数据链路层 2.网络层 3.传输层 4.应用层 &#xff0c;其中IP是在第二层网络层中&#xff0c;TCP是在第3层传输层中&#xff0c;Internet体系结构最重要的是TCP/IP协议&#xff0c;是实现互联网络连接性和互操作性的关键&#xff0c;它把许多…

WinAPI: SetTextColor - 设置设备环境的文本颜色

//声明: SetTextColor(DC: HDC; {设备环境句柄}Color: COLORREF {颜色值} ): COLORREF; {返回指定的颜色值; 如果返回值是 CLR_INVALID 表示设置失败}//举例: procedure TForm1.Button1Click(Sender: TObject); beginSetTextColor(Canvas.Handle, clRed);Canvas.Te…