zoukankan      html  css  js  c++  java
  • 数论--唯一分解定理及代码实现

    唯一分解定理,及证明?

    看《什么是数学》有讲一个算术基本定理,又称为正整数的唯一分解定理,即:每个大于1的自然数均可写为质数的积,而且这些素因子按大小排列之后,写法仅有一种方式。看了半天还是不太明白是怎么证明的。

    贴一段转来的,终于看懂了(转自:《什么是数学》读书笔记(一):反证法、数学归纳法与唯一分解定理
    为了真正地证明,分解质因数的方法是唯一的,我们将再次用到反证法。假设存在某些数,它们有至少两种分解方法。那么根据上文提到的“非空正整数集里存在最小的元素”,一定有一个最小的数M,它能用至少两种方法表示成质数的乘积:
    M = P1 * P2 * … * Pr = Q1 * Q2 * … * Qs
    下面我们将看到,这种假设会推出一个多么荒谬的结果来。不妨设P1 <= P2 <= … <= Pr, Q1 <= Q2 <= … <= Qs。显然,P1是不等于Q1的,不然两边同时约掉它,我们就得到一个更小的有两种分解方法的数。不妨设P1 < Q1,那么我们用P1替换掉等式最右边中的Q1,得到一个比M更小的数T = P1 * Q2 * Q3 * … * Qs。令M’ = M – T,我们得到M’的两种表达:
    M’ = (P1 * P2 * … * Pr) – (P1 * Q2 * … * Qs) = P1 * (P2 * .. * Pr – Q2 * … * Qs) …… (1)
    M’ = (Q1 * Q2 * … * Qs) – (P1 * Q2 * … * Qs) = (Q1 – P1) * Q2 * … * Qs ……………… (2)
    由于T比M小,因此M’是正整数。从(1)式中我们立即看到,P1是M’的一个质因子。注意到M’比M小,因此它的质因数分解方式应该是唯一的,可知P1也应该出现在表达式(2)中。既然P1比所有的Q都要小,因此它不可能恰好是(2)式中的某个Q,于是只可能被包含在因子(Q1-P1)里。但这就意味着,(Q1-P1)/P1除得尽,也就是说Q1/P1-1是一个整数,这样Q1/P1也必须得是整数。我们立即看出,P1必须也是Q1的一个因子,这与Q1是质数矛盾了。这说明,我们最初的假设是错误的。

    假设x是一个正整数,它的值不超过65535(即1< x <= 65535),请编写一个程序,将x分解为若干个素数的乘积。

     1 #include <bits/stdc++.h>     
     2 using namespace std;
     3 int a[10000],c,n,t; 
     4 int main()    
     5 {    
     6        
     7     scanf("%d",&t);   //t组测试数据 
     8     while(t--)    
     9     {    
    10         scanf("%d",&n);    
    11         c=0;  
    12         for(int i=2;i<=n;i++)
    13         {    
    14             while(n%i==0)
    15             {    
    16                 a[c++]=i;
    17                 n/=i;
    18             }    
    19         }    
    20         for(int i=0;i<c;i++)    
    21         {    
    22             printf(i==0?"%d":"*%d",a[i]);    
    23         }    
    24         printf("
    ");    
    25     }    
    26     return 0;    
    27 }   

    参考:知乎:怎样理解唯一分解定理,如何证明,这个定理有什么用?

  • 相关阅读:
    再见,我的二零一七
    Tomcat 源码分析(二)——Request处理全过程
    帅案之上——作为开发者的远见与卓识
    Tomcat 源码分析(一)——启动与生命周期组件
    从代码质量谈起
    Java设计模式(四)——再谈观察者模式
    你所不了解的五条面试忠告
    见微知著——从自定义类型的operator==说起
    编码、散列与加解密
    数据结构与算法(c++)——双缓存队列
  • 原文地址:https://www.cnblogs.com/mjtcn/p/6743624.html
Copyright © 2011-2022 走看看