热门标签 | HotTags
当前位置:  开发笔记 > 后端 > 正文

从抽火柴的问题思考中去如何从结论推导条件

看了刘未鹏的文章《跟波利亚学解题》之后关于解题方法的一些想法。这篇文章提到了我们从小大到看到的数学书上无一不是欧几里得方式定义的:从定义到定理,再到推

看了刘未鹏的文章《跟波利亚学解题》之后关于解题方法的一些想法。

这篇文章提到了我们从小大到看到的数学书上无一不是欧几里得方式定义的:从定义到定理,再到推论。是属于“顺流而下”式的。但这样的书其实完全扭曲了数学的发现过程。所以作者推荐我们去看波利亚的书《How to solve it》中的启发思考方法。刘未鹏自己也总结出了以下几点:

1. 时刻不忘未知量

2. 用特例启发思考

3. 反过来推导(归约)

4. 试错(这是大部分人一拿到题目都会尝试的方法)

5. 调整题目条件

6. 求解一个类似的问题

7. 列出所有跟问题有关的定理或者性质(这是我们高中解数学题常用的方法)

8. 考察反面,考察其他的情况

9. 将问题泛化,并求解这个泛化后的问题

其中我对第三点印象比较深刻,就是如何运用反过来推导的思维。意思就是从题目要得出的结论本身去推导一些对我们解题有用的推论,无论这个推论是充分的还是必要的。如果这个推论是充要的,那我们就将问题进行了一次“双向”规约,如果原问题不容易解决,那么可能推论的问题容易解决。即使得到的推论是必要而非充分的,那我们也可以知道——任何不满足这个推论的解都不是原问题的解。

我们可以用这个方法来尝试解决一下抽火柴的问题。问题描述如下:

100根火柴,两个人轮流取,每个人每次只能取1~7根,谁拿到最后一根火柴谁赢;问有必胜策略吗,有的话是先手还是后手必胜?

如果按照正常的思维习惯,我们会从条件入手,不断的进行试错。但是这个问题如果使用这个方法,我们会感觉无从下手,因为问题的整个解的搜索空间会很大。但如果我们先从要求解的结论入手就会感到容易很多。

我们先假设存在必胜的策略&#xff0c;如果我们最后给对手留下了1&#xff0c;2.....7根火柴的话&#xff0c;对手可以一次性的拿走所有的火柴&#xff0c;那对手可以获胜。但如果我们给对手留下8根火柴&#xff0c;我们可以发现&#xff0c;无论下一次对手如何取火柴&#xff0c;我们都可以把留下的火柴一次性取走&#xff0c;那么我们一定可以获胜。从这里我们可以知道8是一个分界点&#xff01;接着我们再思考给对手留下9&#xff0c;10&#xff0c;.......15根火柴&#xff0c;如果对手足够聪明&#xff0c;那他一定会拿走一些火柴&#xff08;如果剩9&#xff0c;那么他就拿1根&#xff1b;如果剩下10&#xff0c;他就拿2根&#xff1b;依此类推&#xff09;&#xff0c;只剩下8跟火柴&#xff0c;那这个时候我们就陷入了必输的状态当中了。如果我们给对手留下16根火柴&#xff0c;假设对手取走x根火柴&#xff08;1<&#61;x<&#61;7&#xff09;&#xff0c;我们这时对应的取走&#xff08;8-x&#xff09;根火柴&#xff0c;那么就又留给对手8根火柴&#xff0c;那他也就陷入了必输的状态当中了。此时我们可以发现16也是一个分界点&#xff01;

再往下推到我们不难发现&#xff0c;当我们留下8,16,24.....96&#xff08;都是8的倍数&#xff09;根火柴时候&#xff0c;对手一定处于必输的状态当中&#xff0c;因为对手如果取x跟&#xff0c;我们就取对应的&#xff08;8-x&#xff09;根&#xff0c;使得对手永远处于必输的状态当中&#xff08;都剩下8的倍数根火柴&#xff09;。再回到题目本身我们可以发现&#xff1a;存在着必胜的策略&#xff0c;而且是先手必胜。先手一开始先取走4跟火柴&#xff0c;那么就剩下了100-4&#61;96根火柴&#xff0c;那么后手就一定处于必输。

其实这个问题可以泛化为&#xff1a;

m根火柴&#xff0c;两个人轮流取&#xff0c;每个人只能取1~n根(n<&#61;m)&#xff0c;问是否有必胜策略&#xff0c;有的话是先手必胜还是后手必胜&#xff1f;

当我们知道了上面这个特例的思想以后&#xff0c;这个泛化后的问题也就很容易解决了。如果m是&#xff08;n&#43;1&#xff09;的倍数&#xff0c;那么后手必胜&#xff1b;反之&#xff0c;先手必胜。


如果我们从这个问题本身衍生出来&#xff0c;可以变种为下列几个同样思路的问题&#xff1a;

100根火柴&#xff0c;两个人轮流取&#xff0c;每个人每次只能取1&#xff0c;3&#xff0c;5&#xff0c;7根&#xff0c;谁拿到最后一根火柴谁赢&#xff1b;问有必胜策略吗&#xff0c;

有的话是先手还是后手必胜&#xff1f;&#xff08;思路还是一样的&#xff09;

或者是&#xff1a;

100根火柴&#xff0c;两个人轮流取&#xff0c;每个人每次只能取1&#xff0c;2&#xff0c;3&#xff0c;4&#xff0c;5&#xff0c;7根&#xff08;不能取6根&#xff0c;注意&#xff0c;当剩下的火柴是m的时候&#xff0c;

不能因为能取的火柴数目比m大就完全拿下&#xff09;&#xff0c;谁拿到最后一根火柴谁赢&#xff1b;问有必胜策略吗&#xff0c;有的话是先手还是后手必胜&#xff1f;&#xff08;还是存在必胜策略&#xff0c;不过这时候8的倍数不是必输的状态了&#xff0c;而是6的倍数&#xff0c;大家可以自己想一想&#xff0c;也欢迎大家一起讨论。&#xff09;



参考链接&#xff1a;

刘未鹏《跟波利亚学解题》&#xff1a;http://mindhacks.cn/2008/04/18/learning-from-polya/ 



推荐阅读
  • 如何实现织梦DedeCms全站伪静态
    本文介绍了如何通过修改织梦DedeCms源代码来实现全站伪静态,以提高管理和SEO效果。全站伪静态可以避免重复URL的问题,同时通过使用mod_rewrite伪静态模块和.htaccess正则表达式,可以更好地适应搜索引擎的需求。文章还提到了一些相关的技术和工具,如Ubuntu、qt编程、tomcat端口、爬虫、php request根目录等。 ... [详细]
  • GetWindowLong函数
    今天在看一个代码里头写了GetWindowLong(hwnd,0),我当时就有点费解,靠,上网搜索函数原型说明,死活找不到第 ... [详细]
  • EPICS Archiver Appliance存储waveform记录的尝试及资源需求分析
    本文介绍了EPICS Archiver Appliance存储waveform记录的尝试过程,并分析了其所需的资源容量。通过解决错误提示和调整内存大小,成功存储了波形数据。然后,讨论了储存环逐束团信号的意义,以及通过记录多圈的束团信号进行参数分析的可能性。波形数据的存储需求巨大,每天需要近250G,一年需要90T。然而,储存环逐束团信号具有重要意义,可以揭示出每个束团的纵向振荡频率和模式。 ... [详细]
  • Monkey《大话移动——Android与iOS应用测试指南》的预购信息发布啦!
    Monkey《大话移动——Android与iOS应用测试指南》的预购信息已经发布,可以在京东和当当网进行预购。感谢几位大牛给出的书评,并呼吁大家的支持。明天京东的链接也将发布。 ... [详细]
  • 本文总结了Java中日期格式化的常用方法,并给出了示例代码。通过使用SimpleDateFormat类和jstl fmt标签库,可以实现日期的格式化和显示。在页面中添加相应的标签库引用后,可以使用不同的日期格式化样式来显示当前年份和月份。该文提供了详细的代码示例和说明。 ... [详细]
  • 推荐一个ASP的内容管理框架(ASP Nuke)的优势和适用场景
    本文推荐了一个ASP的内容管理框架ASP Nuke,并介绍了其主要功能和特点。ASP Nuke支持文章新闻管理、投票、论坛等主要内容,并可以自定义模块。最新版本为0.8,虽然目前仍处于Alpha状态,但作者表示会继续更新完善。文章还分析了使用ASP的原因,包括ASP相对较小、易于部署和较简单等优势,适用于建立门户、网站的组织和小公司等场景。 ... [详细]
  • 本文介绍了使用kotlin实现动画效果的方法,包括上下移动、放大缩小、旋转等功能。通过代码示例演示了如何使用ObjectAnimator和AnimatorSet来实现动画效果,并提供了实现抖动效果的代码。同时还介绍了如何使用translationY和translationX来实现上下和左右移动的效果。最后还提供了一个anim_small.xml文件的代码示例,可以用来实现放大缩小的效果。 ... [详细]
  • Spring源码解密之默认标签的解析方式分析
    本文分析了Spring源码解密中默认标签的解析方式。通过对命名空间的判断,区分默认命名空间和自定义命名空间,并采用不同的解析方式。其中,bean标签的解析最为复杂和重要。 ... [详细]
  • Nginx使用(server参数配置)
    本文介绍了Nginx的使用,重点讲解了server参数配置,包括端口号、主机名、根目录等内容。同时,还介绍了Nginx的反向代理功能。 ... [详细]
  • 搭建Windows Server 2012 R2 IIS8.5+PHP(FastCGI)+MySQL环境的详细步骤
    本文详细介绍了搭建Windows Server 2012 R2 IIS8.5+PHP(FastCGI)+MySQL环境的步骤,包括环境说明、相关软件下载的地址以及所需的插件下载地址。 ... [详细]
  • 云原生边缘计算之KubeEdge简介及功能特点
    本文介绍了云原生边缘计算中的KubeEdge系统,该系统是一个开源系统,用于将容器化应用程序编排功能扩展到Edge的主机。它基于Kubernetes构建,并为网络应用程序提供基础架构支持。同时,KubeEdge具有离线模式、基于Kubernetes的节点、群集、应用程序和设备管理、资源优化等特点。此外,KubeEdge还支持跨平台工作,在私有、公共和混合云中都可以运行。同时,KubeEdge还提供数据管理和数据分析管道引擎的支持。最后,本文还介绍了KubeEdge系统生成证书的方法。 ... [详细]
  • 这是原文链接:sendingformdata许多情况下,我们使用表单发送数据到服务器。服务器处理数据并返回响应给用户。这看起来很简单,但是 ... [详细]
  • 如何去除Win7快捷方式的箭头
    本文介绍了如何去除Win7快捷方式的箭头的方法,通过生成一个透明的ico图标并将其命名为Empty.ico,将图标复制到windows目录下,并导入注册表,即可去除箭头。这样做可以改善默认快捷方式的外观,提升桌面整洁度。 ... [详细]
  • 本文介绍了使用AJAX的POST请求实现数据修改功能的方法。通过ajax-post技术,可以实现在输入某个id后,通过ajax技术调用post.jsp修改具有该id记录的姓名的值。文章还提到了AJAX的概念和作用,以及使用async参数和open()方法的注意事项。同时强调了不推荐使用async=false的情况,并解释了JavaScript等待服务器响应的机制。 ... [详细]
  • 本文介绍了数据库的存储结构及其重要性,强调了关系数据库范例中将逻辑存储与物理存储分开的必要性。通过逻辑结构和物理结构的分离,可以实现对物理存储的重新组织和数据库的迁移,而应用程序不会察觉到任何更改。文章还展示了Oracle数据库的逻辑结构和物理结构,并介绍了表空间的概念和作用。 ... [详细]
author-avatar
帕格迪奥
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有