之前翻硬币问题胡思乱想的完善

2024-04-06 17:20

本文主要是介绍之前翻硬币问题胡思乱想的完善,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

题目背景
小明正在玩一个“翻硬币”的游戏。

题目描述
桌上放着排成一排的若干硬币。我们用 * 表示正面,用 o 表示反面(是小写字母,不是零),比如可能情形是 **oo***oooo,如果同时翻转左边的两个硬币,则变为 oooo***oooo。现在小明的问题是:如果已知了初始状态和要达到的目标状态,每次只能同时翻转相邻的两个硬币,那么对特定的局面,最少要翻动多少次呢?

输入格式
两行等长字符串,分别表示初始状态和要达到的目标状态,每行长度小于 10001000。

数据保证一定存在至少一种方案可以从初始状态和要达到的目标状态。

输出格式
一个整数,表示最小操作步数。

输入输出样例
输入 #1复制

**********
o****o****
输出 

5
输入 

*o**o***o***
*o***o**o***
输出 #2复制

1

在做这道题目的时候我这样评价这个解法答案的唯一性是因为——

另外,应当明确的一个事实就是我们写算法就是为了让计算机的for循环结构和while结构帮我们自动处理同一的大量的执行。还有一点就是它们必须都是满足某种规律的,然而有的题目就比如翻硬币是没有规律的(我指的是明显的使得程序直接按照最朴素的想法直接进行的),这时for和while(虽然不一定但依然是在for和while的基础上进行转化的)肯定还是要用到的。所以我们只能按部就班的直接翻硬币。这时往往是要从另外一个角度来看待这一个问题的。我们可以毫不怀疑的说就是这个直接从开头开始翻转了。因为像数学一样转化这个问题就说明它是有规律的,但是请注意到那些看可以被重写(重述)的问题是在基本的问题上进行改进的(因为这就和数学里面的“范畴论”一样,不同的问题之间之所以可以一步一步的转化就是因为它转化后的,如代数转几何是因为几何就是代数建立的基础)而算法的简化问题就是在之前的问题的认识之下(不是穷举)一一对应的结果(即使人们并未意识到),所以我们可以丝毫不怀疑的说就是要这样解决的。

  但是用已有的去重构那些复杂的是很累的,所以数学中才会用那些高级的理论来解决成了那些基础数学很难解决的问题(高级理论放大了基础的一些特性,更高又在更高级的上面构造,(高级又有“自己的”特点,又可以深挖))。对应到同样是逻辑为基础的计算机里就是——高级算法和数据结构了。这样子我们就看清楚了哪些问题是值得我们去用算法和数据结构的。

然而其实可以解释得更加清楚的。

启发我的是我对格皇的不可模仿性的思考。可以说尽管我已经意识到了这一点,但是我还是不能完全说服自己。在清明假期回家的路上我反思了自己的所学和所见,了一些结果。

我在B站上面看到一个UP主,他教授的是他自己在高中数学竞赛学习过程中悟出来的“自由度”分析。我当时就觉得和格皇在《收获与播种》里面说因为知道三条边可以确定一个三角形所以就去找到了边表示面积的方法。UP主是北大数院的,他的实力在我之上但是他依然不可能做到像格洛滕迪克那样,自己发现勒贝格积分和测度论。他反而是利用高级的知识来揭示高中知识的本质(尽管自由度的刻画几乎只对线性方程有解决问题的时候看清楚道路的作用),这给了我很大的启发,这次想起我觉得虽然不能到达格的水平亦可以用苏苏的方法来学习新思想,达成自己的小目的。

在知乎上面看数学有关的帖子的时候突然刷到了希尔伯特纲领中对符号证明的推崇——也就想起来了自己学习数学的经历(对偏导数导数和向量函数导数的一些玩乐)。

从导数的数学定义进而推导出的导数运算法则。运用拉格朗日中值定理得到偏导数公式。一个思想贯彻其中。这使得我去猜测这样一个在希尔伯特纲领里称为形式化的东西。

1.导函数只能是两个元素之间的,也就是只能是自由度为1的时候微积分才存在

2.偏导数相当于是,一个变量先动,然后另外一个变量后动。转化成数学语言就是把时间的先后给拍扁成为隐藏的操作 f(x + delt x, y + delt y)- f(x,y) = f(x + delt x, y + delt y)- f(x,y + delt y) + f(x ,y + delt y) - f(x,y)(x变化和y变化)

3.无论给出任何数总是存在更小的数字使得函数接近极限

而希尔伯特纲领是这样子的

希尔伯特纲领的核心目标通常可以总结为以下三个关键点:

  1. 形式化:希尔伯特希望将整个数学体系的形式化,即将所有的数学概念和推理过程转化为精确的符号逻辑表达,并基于一套有限的、明确的公理和严密的推理规则构建数学体系。这意味着所有的数学理论都应该能在一种形式语言中得到表达。

  2. 一致性和完备性:希尔伯特计划证明数学公理系统的相容性,即确保在该系统内不可能推导出逻辑矛盾;同时他还追求完备性,即系统内每一个真实的陈述都应该能够在该系统内部通过逻辑推理得到证明。换言之,他希望建立一个既能涵盖所有真命题,又能排除一切内在矛盾的数学体系。

  3. 决定性:希尔伯特试图找到一种通用的方法或算法,对于任何给定的数学命题,都能确切地决定它在所考虑的公理系统中是否可证明。这意味着数学真理的可判定性问题,即是否存在一种机械程序,对于任何数学陈述,都能准确判断其是否为真或者能否被证明。

虽然说这个纲领最后被证明是错误的。但是需要注意到的一点是,这是专业数学家得到的结果。

这说明了

你学到的数学是完全符合希尔伯特纲领的

假设你学到的数学是不符合希尔伯特纲领的,换句话说就是会找到不能用公理体系证明的定理的话那就说明这个纲领一开始就是荒谬的,大数学家没你牛。但是这是不可能的。

事实也确实如此

1.除了哥德尔找到的sub(n,n,17)的这个自相矛盾的命题之外数学家也就只找到了其余的几个。如果你在你学到的那些不高级的数学中找到了这样的定理,那你就会留名数学史。但是这是几乎不可能的。所以,希尔伯特纲领在低级的数学领域是符合的。我们大可放心使用。

2.就算是高级的数学也可把希尔伯特纲领当作假定为真,应为反列少得可怜。找到可以留名史册。没找到可以推进自己的工作,两不输。

所以以上三个性质请大胆地去用。

由此可知我们遇到的数学领域都是可以相互转化的,就是一一对应的。各个数学领域一一对应。几何代数本质上相同。我们也没必要在这上面浪费时间了,除了偶尔转化来玩一下,熟悉一下数学,混个脸熟。

范畴论太复杂了,而且涉及到了高级的知识,我的理解可能不对了。用到希尔伯特纲领就足够解释了。

其实我原来是想要解决算法问题的——判断那些题目是穷举,那些是有存在成立的数学原理的。但是计算机里面有的问题就是纯体力活。比如计算机找素数,这就是纯体力活。应为数学家都没找到一个素数公式去表达所有的素数或者说部分无限多个素数。(欧拉、高斯、黎曼都未曾找到)当然现在也没有。也许有的知识是有规律的,但是我的数学技术还是不够深,所以暂时还是不能知道其中的奥秘(或许穷不穷举都是数学问题?毕竟几乎计算机上有成就的计算机专家都是数学家或者擅长数学的,图灵、冯诺依曼、)我留下这篇文章。希望会对以后有所帮助。

只是暂时归纳到

看似穷举但是没有穷举思路的也许是数学问题

这篇关于之前翻硬币问题胡思乱想的完善的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/880414

相关文章

好题——hdu2522(小数问题:求1/n的第一个循环节)

好喜欢这题,第一次做小数问题,一开始真心没思路,然后参考了网上的一些资料。 知识点***********************************无限不循环小数即无理数,不能写作两整数之比*****************************(一开始没想到,小学没学好) 此题1/n肯定是一个有限循环小数,了解这些后就能做此题了。 按照除法的机制,用一个函数表示出来就可以了,代码如下

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

购买磨轮平衡机时应该注意什么问题和技巧

在购买磨轮平衡机时,您应该注意以下几个关键点: 平衡精度 平衡精度是衡量平衡机性能的核心指标,直接影响到不平衡量的检测与校准的准确性,从而决定磨轮的振动和噪声水平。高精度的平衡机能显著减少振动和噪声,提高磨削加工的精度。 转速范围 宽广的转速范围意味着平衡机能够处理更多种类的磨轮,适应不同的工作条件和规格要求。 振动监测能力 振动监测能力是评估平衡机性能的重要因素。通过传感器实时监

缓存雪崩问题

缓存雪崩是缓存中大量key失效后当高并发到来时导致大量请求到数据库,瞬间耗尽数据库资源,导致数据库无法使用。 解决方案: 1、使用锁进行控制 2、对同一类型信息的key设置不同的过期时间 3、缓存预热 1. 什么是缓存雪崩 缓存雪崩是指在短时间内,大量缓存数据同时失效,导致所有请求直接涌向数据库,瞬间增加数据库的负载压力,可能导致数据库性能下降甚至崩溃。这种情况往往发生在缓存中大量 k

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

XTU 1233 n个硬币连续m个正面个数(dp)

题面: Coins Problem Description: Duoxida buys a bottle of MaiDong from a vending machine and the machine give her n coins back. She places them in a line randomly showing head face or tail face o

【VUE】跨域问题的概念,以及解决方法。

目录 1.跨域概念 2.解决方法 2.1 配置网络请求代理 2.2 使用@CrossOrigin 注解 2.3 通过配置文件实现跨域 2.4 添加 CorsWebFilter 来解决跨域问题 1.跨域概念 跨域问题是由于浏览器实施了同源策略,该策略要求请求的域名、协议和端口必须与提供资源的服务相同。如果不相同,则需要服务器显式地允许这种跨域请求。一般在springbo

题目1254:N皇后问题

题目1254:N皇后问题 时间限制:1 秒 内存限制:128 兆 特殊判题:否 题目描述: N皇后问题,即在N*N的方格棋盘内放置了N个皇后,使得它们不相互攻击(即任意2个皇后不允许处在同一排,同一列,也不允许处在同一斜线上。因为皇后可以直走,横走和斜走如下图)。 你的任务是,对于给定的N,求出有多少种合法的放置方法。输出N皇后问题所有不同的摆放情况个数。 输入

vscode中文乱码问题,注释,终端,调试乱码一劳永逸版

忘记咋回事突然出现了乱码问题,很多方法都试了,注释乱码解决了,终端又乱码,调试窗口也乱码,最后经过本人不懈努力,终于全部解决了,现在分享给大家我的方法。 乱码的原因是各个地方用的编码格式不统一,所以把他们设成统一的utf8. 1.电脑的编码格式 开始-设置-时间和语言-语言和区域 管理语言设置-更改系统区域设置-勾选Bata版:使用utf8-确定-然后按指示重启 2.vscode

CSP 2023 提高级第一轮 CSP-S 2023初试题 完善程序第二题解析 未完

一、题目阅读 (最大值之和)给定整数序列 a0,⋯,an−1,求该序列所有非空连续子序列的最大值之和。上述参数满足 1≤n≤105 和 1≤ai≤108。 一个序列的非空连续子序列可以用两个下标 ll 和 rr(其中0≤l≤r<n0≤l≤r<n)表示,对应的序列为 al,al+1,⋯,ar​。两个非空连续子序列不同,当且仅当下标不同。 例如,当原序列为 [1,2,1,2] 时,要计算子序列 [