用SQL解一道有趣的数学题:Gauss和Poincare

杨廷琨,网名 yangtingkun

云和恩墨技术总监,Oracle ACE Director,ACOUG 核心专家

用SQL为解析一道数学题


Oracle的SQL语句功能强大,它可以实现一些你意想不到的功能。比如下面这个数学问题,如果使用常规的数学方法进行手工分析将会十分麻烦,而使用SQL来求解则要简单得多。且看杨廷琨用一个SQL解析一道数学难题。

问题提出

这是一个流传已久的故事:

Gauss和Poincare在天堂相遇了,上帝说:你们都是人间最伟大的数学家,那我来出道题考考你们谁更聪明。我在左手写一个大于1小于100的数,在右手同样写一个大于1小于100的数,然后把他们的和写在Gauss手上,把积写在Poincare手上,看看你们能不能猜出这两个数字是几。

Gauss看了手上的数字,说:“我不知道这两个数字是几,可我保证Poincare也不知道。”

Poincare看了手上的数字,说:“我原来的确不知道那两个数字是几,可我现在知道了。”

Gauss说:“那我也知道了。”

问题:那两个数字是几?

以下是来自维基百科关于两位数学家的简要介绍

约翰·卡尔·弗里德里希·高斯(英语:Gauss;1777年4月30日-1855年2月23日), 德国著名数学家、物理学家、天文学家、大地测量学家。高斯被认为是历史上最重要的数学家之一,并有“数学王子”的美誉。 高斯独立发现了二项式定理的一般形式、数论上的“二次互反律”、素数定理、及算术-几何平均数。1796年,19岁的高斯得到了一个数学史上极重要的结果,就是《正十七边形尺规作图之理论与方法》。

儒勒·昂利·庞加莱(法语:Jules Henri Poincaré,1854年4月29日—1912年7月17日),法国最伟大的数学家之一,理论科学家和科学哲学家。庞加莱被公认是19世纪后和20世纪初的领袖数学家,是继高斯之后对于数学及其应用具有全面知识的最后一个人。 他对数学,数学物理,和天体力学做出了很多创造性的基础性的贡献。

问题分析

这道题给出的已知条件十分隐蔽,首先来分析一下已知条件。

根据题意,最终所求的是两个数字,而这两个数字的范围是在1和100之间。题目中明确说明的条件仅此而已,剩下的条件就要依靠分析才能得出了。

对于Gauss来说他知道两个数之和,而不知道两个数的积,但是Gauss却肯定的说,他保证Poincare也不知道这两个数是什么。这句话就很有深意。

举个例子,如果两个数分别是3和7,那么这两个数之积就是21。由于这两个数都是大于1的,因此两个数乘积为21的只有3和7这一种可能。如果Poincare手中的值是21,那么Poincare肯定可以确定这两个数是什么,因此对于Gauss而言,手中的值肯定不可能是10(3和7这两个数的和)。如果这个值是10,那么这两个数就有可能是3和7,而3和7的乘积又是唯一的,所以Gauss就无法确定Poincare也不知道结果。

当然这只是举了一个例子,如果归纳一下就是说,对于Gauss而言,所有满足相加与手中数值相等的两个数,它们的积都不是唯一的。只有满足这个条件,他才能确认Poincare不知道这两个数是什么。

对于Poincare来说,他开始并不知道两个数是什么,但是Gauss说出了他的推断之后,Poincare居然知道了这两个数是什么。这说明由于Gauss刚才的推断所排除的一些数值组合后,使得Poincare手中的积可以唯一确定这两个数值了。

随后Gauss说他也知道了,意味着根据Poincare能够确认这两个数的信息,Gauss也可以唯一的确定这两个数了。

SQL解答

题目已经分析完了,那么如何用SQL来求解呢,为了便于描述,这里先给出最终的结果,然后描述一下这个SQL的思路如下:

SQL> WITH T_NUM AS
 2  (SELECT ROWNUM + 1 NUM FROM DUAL CONNECT BY LEVEL < 99)
 3  SELECT A, B
 4  FROM
 5  (
 6   SELECT
 7    A,
 8    B,
 9    TOTAL,
10    MUL,
11    MUL_P,
12    COUNT(DECODE(MUL_P, 1, 1)) OVER(PARTITION BY TOTAL) VALUE
13   FROM
14   (
15    SELECT
16     A,
17     B,
18     TOTAL,
19     MUL,
20     COUNT(*) OVER (PARTITION BY TOTAL) TOTAL_P,
21     COUNT(*) OVER (PARTITION BY MUL) MUL_P
22    FROM
23    (
24     SELECT
25      A,
26      B,
27      TOTAL,
28      MUL,
29      MIN(MUL_P) OVER (PARTITION BY TOTAL) MUL_M
30     FROM
31     (
32      SELECT
33       A.NUM A,
34       B.NUM B,
35       A.NUM + B.NUM TOTAL,
36       A.NUM * B.NUM MUL,
37       COUNT(*) OVER (PARTITION BY A.NUM + B.NUM) TOTAL_P,
38       COUNT(*) OVER (PARTITION BY A.NUM * B.NUM) MUL_P  
39      FROM T_NUM A, T_NUM B
40      WHERE A.NUM < B.NUM
41     )
42    )  
43    WHERE MUL_M != 1
44   )
45  )
46  WHERE MUL_P = 1
47  AND VALUE = 1;
  A           B
 ---------- ----------
  4          13

SQL有点长,下面简单分析一下。

首先看一下WITH语句,这个语句其实就是构造大于1小于100的所有的数。

31     (
32      SELECT
33       A.NUM A,
34       B.NUM B,
35       A.NUM + B.NUM TOTAL,
36       A.NUM * B.NUM MUL,
37       COUNT(*) OVER (PARTITION BY A.NUM + B.NUM) TOTAL_P,
38       COUNT(*) OVER (PARTITION BY A.NUM * B.NUM) MUL_P  
39      FROM T_NUM A, T_NUM B
40      WHERE A.NUM < B.NUM
41     )

首先从SQL的最内层开始分析,这一层很简单,构造符合大于1小于100的两个数的笛卡儿积,得到所有的可能性。

根据题目的描述,第一个数是2,第二个数是3的情况,与第一个数是3,第二个数是2没有区别,所以这层SQL在连接时加上了限制条件A > B,这样可以去掉重复的结果。在SELECT列表中分别列出A、B两个数值,以及两个数值之和(A+B)、两个数值之积(A*B),还通过分析函数计算所有可能性中两个数之和与当前两个数之和相等的组合的个数,以及所有可能性中两个数之积与当前两个数之积相等的组合的个数。

23    (
24     SELECT
25      A,
26      B,
27      TOTAL,
28      MUL,
29      MIN(MUL_P) OVER (PARTITION BY TOTAL) MUL_M
30     FROM
31     (
32      SELECT
33       A.NUM A,
34       B.NUM B,
35       A.NUM + B.NUM TOTAL,
36       A.NUM * B.NUM MUL,
37       COUNT(*) OVER (PARTITION BY A.NUM + B.NUM) TOTAL_P,
38       COUNT(*) OVER (PARTITION BY A.NUM * B.NUM) MUL_P  
39      FROM T_NUM A, T_NUM B
40      WHERE A.NUM < B.NUM
41     )
42    )  

接着看第二层SQL,除了列出A和B两个数外,还列出了A和B之和、A和B之积以及一个很重要的值:根据两个数之和进行分组,找出这两个数之积的组合的最小个数。这样描述确实很抽象,不过没有关系,马上要分析的第三层,会对这个值的含义做进一步的说明。

14   (
15    SELECT
16     A,
17     B,
18     TOTAL,
19     MUL,
20     COUNT(*) OVER (PARTITION BY TOTAL) TOTAL_P,
21     COUNT(*) OVER (PARTITION BY MUL) MUL_P
22    FROM
23    (
24     SELECT
25      A,
26      B,
27      TOTAL,
28      MUL,
29      MIN(MUL_P) OVER (PARTITION BY TOTAL) MUL_M
30     FROM
31     (
32      SELECT
33       A.NUM A,
34       B.NUM B,
35       A.NUM + B.NUM TOTAL,
36       A.NUM * B.NUM MUL,
37       COUNT(*) OVER (PARTITION BY A.NUM + B.NUM) TOTAL_P,
38       COUNT(*) OVER (PARTITION BY A.NUM * B.NUM) MUL_P  
39      FROM T_NUM A, T_NUM B
40      WHERE A.NUM < B.NUM
41     )
42    )  
43    WHERE MUL_M != 1
44   )

第三次列出的仍然包括A和B两个数,以及两个数之和、两个数之积。除此之外,还列出了与当前记录中两个数之和相同的组合数;与当前记录中两个数之积相同的组合数,更关键的是这里进行了过滤,在第二层得到的MUL_M不等于1。

目前得到的结果就是Gauss虽然自己不知道两个数是什么,但是可以确认Poincare也不知道。前面已经举过3和7的例子来说明这个问题了,这里就不再重复了。如果归纳起来,就是Gauss手中的两数的和,分解为任何一种可能所得到的两个数的积,都不是唯一的。在SQL中表示的结果就是MIN(MUL_P) OVER (PARTITION BY TOTAL) != 1。

随后要解决的问题就是Poincare说他原来并不知道两个数分别是什么,而当Gauss说完那句话后他已经知道这两个数的值了。也就是说到目前为止,两个数的积已经可以唯一确定这两个数是什么了,数学描述就是两个数乘积分组后值相同的个数是1。在SQL中的表示也就是最外层SQL的限制条件MUL_P = 1。

随后还有最后一个条件,就是Gauss这时也知道了两个数是什么,说明Gauss根据Poincare确定两个数的数值这个事实,进一步推断出了最终的结果。这个SQL的实现是通过COUNT(DECODE(MUL_P, 1, 1)) OVER(PARTITION BY TOTAL) = 1来实现的。前面提到了,只有MUL_P为1的情况,Poincare才能唯一确定两个数的值,而Gauss根据这个结果也推断出两个数的值,说明在当前两个数之和的分组中,只有一种情况满足MUL_P的值为1。

因此整个SQL组合起来,就是这道题的解。

这道题本身解决问题的思路只有穷举法,如果手工计算会非常麻烦且容易出错,而利用穷举法解决问题正是SQL所擅长的。将数学语句通过SQL来进行表述,就可以方便快速地得到最终的结果。

近期文章

新年贺礼:云和恩墨大讲堂期刊发行

2015 Oracle 十大热门文章精选

Oracle 12c ASM 防火防盗新特性揭秘

DBA入门之路:学习与进阶之经验谈

DBA入门之路:关于日常工作的建议

三十八载,Oracle伴我同行—记我的成长之路

从Approx_Count_Distinct到M7的CPU集成

诊断工具与方法:从OS到数据库

Cloud时代DBA的DevOps最佳实践 - SQL 审核

Oracle Database 12.2新特性详解

数据驱动,成就未来。整合业界顶尖的技术与合作伙伴资源,围绕数据及相关领域,提供解决方案和专业服务。

业务架构

电子渠道(网络销售)分析系统、数据治理

IT基础架构

分布式存储解决方案

数据架构

Oracle DB2 MySQL NoSQL

专项服务:架构/安全/容灾/优化/整合/升级/迁移

运维服务:运维服务 代维服务

人才培养:个人认证 企业内训

软件产品:SQL审核、监控、数据恢复

应用架构

应用软件和中间件:数据建模 | SQL审核和优化 | 中间件服务

原文发布于微信公众号 - 数据和云(OraNews)

原文发表时间:2016-01-18

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏java一日一条

SQL vs NoSQL:如何选择?

在前一篇文章中,我们讨论了 SQL 与 NoSQL 数据库之间基本的区别。接下来,我们我们将应用我们在特定场景中的知识来确定最佳的选择。

472
来自专栏nimomeng的自我进阶

探索命名之美(一)

很多新码农在工作中总会被老鸟批评程序命名的陋习,我也被批评过很多次。痛定思过,我决定要研究应该怎么命名,为什么要给函数一个好的命名很难,应该怎么样给函数命名。

593
来自专栏IT派

使用 Python 分析 14 亿条数据

Google Ngram viewer是一个有趣和有用的工具,它使用谷歌从书本中扫描来的海量的数据宝藏,绘制出单词使用量随时间的变化。举个例子,单词 Pytho...

682
来自专栏web前端教室

初学js钻太深,不太好

其实我个人觉得新手不太应该追求彻底的学透每一个知识点。因为初学的时候,钻的太深并不太利于对JS有一个整体的理解。反而有可能钻牛角尖。但这种方法和心态却是必须有的...

1596
来自专栏信数据得永生

JavaScript 编程精解 中文第三版 七、项目:机器人

3146
来自专栏Linyb极客之路

浅谈黑盒测试和白盒测试

  从图中可以直接看出来,黑盒测试就当整个程序是个黑盒子,我们看不到它里面做了些什么事情,只能通过输入输出看是否能得到我们所需的来测试。而白盒测试可以当盒子是透...

861
来自专栏吉浦迅科技

DAY59:阅读 #pragma unroll

By default, the compiler unrolls small loops with a known trip count. The #pragm...

442
来自专栏CDA数据分析师

Excel简化办公系列之一 | VLOOKUP代替IF函数

本文为CDA作者青菜原创文章,转载请注明来源 编者按:CDA作者青菜将在近期发布「Excel简化办公」系列文章,本文是第一篇;更多精彩请持续关注~ 在日常工作...

2049
来自专栏大数据和云计算技术

数据组织核心技术

要高效地使用数据,就必须要有组织,因此业界对数据的结构化组织有很多探索。 1)Cube技术概念 OLAP的目标是满足决策支持或者满足在多维环境下特定的查询和报表...

2807
来自专栏Crossin的编程教室

【Pygame 第11课】 GAME OVER

昨天得知《MacTalk·人生元编程》在多看书城上线之后,一咬牙,花了2.99元入手了。本书是微信公众账号“MacTalk”中的文章经重新审阅、校订、整理、排版...

35812

扫描关注云+社区