<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>未解决问题 on kenji.blog</title><link>http://kenji.blog/zh-cn/tags/%E6%9C%AA%E8%A7%A3%E5%86%B3%E9%97%AE%E9%A2%98/</link><description>Recent content in 未解决问题 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>zh-cn</language><copyright>kenjinote</copyright><lastBuildDate>Wed, 11 Sep 2024 02:22:39 +0900</lastBuildDate><atom:link href="http://kenji.blog/zh-cn/tags/%E6%9C%AA%E8%A7%A3%E5%86%B3%E9%97%AE%E9%A2%98/index.xml" rel="self" type="application/rss+xml"/><item><title>P≠NP猜想</title><link>http://kenji.blog/zh-cn/p/pnp%E4%BA%88%E6%83%B3/</link><pubDate>Wed, 11 Sep 2024 02:22:39 +0900</pubDate><guid>http://kenji.blog/zh-cn/p/pnp%E4%BA%88%E6%83%B3/</guid><description>&lt;h1 id="概要">概要
&lt;/h1>&lt;div class="highlight">&lt;div class="chroma">
&lt;table class="lntable">&lt;tr>&lt;td class="lntd">
&lt;pre tabindex="0" class="chroma">&lt;code>&lt;span class="lnt">1
&lt;/span>&lt;/code>&lt;/pre>&lt;/td>
&lt;td class="lntd">
&lt;pre tabindex="0" class="chroma">&lt;code class="language-fallback" data-lang="fallback">&lt;span class="line">&lt;span class="cl">P类问题是指在确定性图灵机上，能够在多项式时间内判定的问题类别。而NP类问题是指，当给定一个“是”的证据（称为Witness）时，能够在多项式时间内验证该Witness正确性的问题类别。由于在多项式时间内可以判定的问题，也必定能在多项式时间内被验证，因此P⊆NP是显而易见的。但P是否为NP的真子集，目前尚不明确。尽管目前尚未得到证明，但大多数研究人员都相信P≠NP。这种认为P类问题与NP类问题不相等的猜想，就被称为“P≠NP猜想”。
&lt;/span>&lt;/span>&lt;/code>&lt;/pre>&lt;/td>&lt;/tr>&lt;/table>
&lt;/div>
&lt;/div>&lt;p>参考网站 : &lt;a class="link" href="https://daigakudenki.com/np-hard/" target="_blank" rel="noopener"
>https://daigakudenki.com/np-hard/&lt;/a>&lt;/p></description></item><item><title>数学的未解决问题</title><link>http://kenji.blog/zh-cn/p/%E6%95%B0%E5%AD%A6%E3%81%AE%E6%9C%AA%E8%A7%A3%E6%B1%BA%E5%95%8F%E9%A1%8C/</link><pubDate>Sat, 02 Mar 2024 22:57:36 +0900</pubDate><guid>http://kenji.blog/zh-cn/p/%E6%95%B0%E5%AD%A6%E3%81%AE%E6%9C%AA%E8%A7%A3%E6%B1%BA%E5%95%8F%E9%A1%8C/</guid><description>&lt;img src="http://kenji.blog/p/%E6%95%B0%E5%AD%A6%E3%81%AE%E6%9C%AA%E8%A7%A3%E6%B1%BA%E5%95%8F%E9%A1%8C/img.png" alt="Featured image of post 数学的未解决问题" />&lt;h1 id="数学的未解决问题">数学的未解决问题
&lt;/h1>&lt;p>下面来介绍一些数学中的未解决问题。尽管问题本身非常简单，但仍有许多尚未被证明的问题。&lt;/p>
&lt;h2 id="完全数有无数个吗">完全数有无数个吗？
&lt;/h2>&lt;p>完全数是指除了自身以外的所有正约数之和等于其本身的自然数。
例如：&lt;/p>
&lt;ul>
&lt;li>6的约数有1、2、3，而1+2+3=6，因此它是完全数。&lt;/li>
&lt;li>28的约数有1、2、4、7、14，而1+2+4+7+14=28，因此它是完全数。&lt;/li>
&lt;/ul>
&lt;p>目前只发现了51个完全数，虽然人们猜想它有无数个，
但至今尚未被证明。&lt;/p>
&lt;h2 id="哥德巴赫猜想">哥德巴赫猜想
&lt;/h2>&lt;p>哥德巴赫猜想是指任何大于2的偶数都可以表示为两个素数之和。
（这里的素数是指除了1和自身之外没有其他约数的自然数。）&lt;/p>
&lt;p>例如：&lt;/p>
&lt;ul>
&lt;li>4=2+2&lt;/li>
&lt;li>6=3+3&lt;/li>
&lt;li>8=3+5&lt;/li>
&lt;li>10=3+7=5+5&lt;/li>
&lt;/ul>
&lt;p>问题本身非常简单，但至今仍未被证明。&lt;/p>
&lt;h2 id="黎曼猜想">黎曼猜想
&lt;/h2>&lt;p>黎曼猜想是指黎曼ζ函数的零点仅限于负偶数以及实部为 1/2 的复数。&lt;/p>
&lt;p>黎曼ζ函数是指，当$s$为复数、$n$为自然数时，由&lt;/p>
$$\zeta(s):=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=1+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+\cdots$$
&lt;p>所定义的函数$\zeta$。&lt;/p></description></item></channel></rss>