Questions tagged «check-my-proof»

1
Sierpiński图上的哈密顿循环数
我是这个论坛的新手,只是一名物理学家,他这样做是为了保持大脑健康,因此,如果我不使用最优雅的语言,请显示优雅。如果您认为其他标签更合适,也请发表评论。 我试图解决这个问题,对此我需要计算哈密顿周期数在Ñ阶的Sierpinski-图表小号Ñ。(还请参见上面的链接以获取谢尔宾斯基图的定义和图片)C(n)C(n)C(n)nnnSnSnS_n 我找到了,但是我一定搞砸了,因为我的解决方案与给定的值C (5 )= 71328803586048不匹配。我的论点包括非常基本的思想,我找不到错误。任何帮助是极大的赞赏。即使看起来很冗长,但如果您在跟踪时查看图表,这些想法也会变得微不足道。C(n)C(n)C(n)C(5)=71328803586048C(5)=71328803586048C(5) = 71328803586048 (a)在给定的图调用外角A ,B ,C。然后定义以下数量:SnSnS_nA,B,CA,B,CA,B,C 从 A到 C的哈密顿路径的数量。N(n):=N(n):=N(n) := AAACCC 从路径数阿到ç哪个访问每个节点一次,除了乙。N¯(n):=N¯(n):=\bar{N}(n) := AAACCCBBB 我还将调用这样的路径 -或ˉ ñ型在下面的路径。NNNN¯N¯\bar{N} (b)中这是很容易看到,。N(n)=N¯(n)N(n)=N¯(n)N(n)=\bar{N}(n) 原因如下:考虑型路径。在开始甲此路径的形式为(甲,。。。,X 1,乙,X 2,。。。,C ^ )。通过更换段(X 1,乙,X 2)由(X 1,X 2),我们得到ˉ Ñ型路径。此操作唯一地映射所有NNNNAAA(A,...,X1,B,X2,...,C)(A,...,X1,B,X2,...,C)(A,...,X_1,B,X_2,...,C)(X1,B,X2)(X1,B,X2)(X_1,B,X_2)(X1,X2)(X1,X2)(X_1,X_2)N¯N¯\bar{N}NNN型路径型路径。N¯N¯\bar{N} (c)推导递归。N(n+1)=2N(n)3N(n+1)=2N(n)3N(n+1)=2N(n)^3 考虑一个从型路径甲于乙和表示子三角形在外角甲,乙,Ç由Ť 甲,Ť 乙,Ť Ç,分别。显然,从T A到T B到T C,N型路径将恰好访问每个子三角形。现在考虑子三角形T A和T C的节点ZNNNAAABBBA,B,CA,B,CA,B,CTA,TB,TCTA,TB,TCT_A,T_B,T_CNNNTATAT_ATBTBT_BTCTCT_CZZZTATAT_ATCTCT_C触摸。路径访问此点时,有两种可能性,即(i)离开之前或(ii)进入T C之后。在这些情况下三个子路径内Ť 甲,Ť 乙,Ť Ç如下类型的(ⅰ)Ñ ,Ñ ,ˉ Ñ或(ⅱ)ˉ …

5
我的NP中的缺陷= CoNP证明?
对于NP = CoNP,我有一个非常简单的“证明”,我认为我在某处做错了什么,但我找不到错误所在。有人可以帮我吗? 设A是NP中的问题,设M是A的决策者。设B是补数,即B在CoNP中。由于M是决定者,因此您也可以用它来决定B(只需翻转答案即可)。这不是说我们用相同的M解决NP和CoNP问题吗? 更具体地说。 假设A是一些NP完全问题,而让M是A的决定者。请考虑CoNP中的任何问题B。我们考虑它的补码不是B,它在NP中,然后将多项式简化为A。然后运行决策器M并翻转答案。因此,我们获得了B的决策者。这意味着B也位于NP中。 我可以知道我的推理有什么问题吗?

2
减少卡普是否等于减少莱文
定义:减少卡普 甲语言是卡普还原为一个语言如果有一个多项式时间计算函数,使得对于每个,当且仅当。乙˚F :{ 0 ,1 } * → { 0 ,1 } * X X ∈ 甲˚F (X )∈ 乙一个AA乙BBF:{ 0 ,1 }∗→ { 0 ,1 }∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*XxxX ∈ 一x∈Ax\in AF(X )∈ 乙f(x)∈Bf(x)\in B 定义:减少莱文 一个搜索问题是莱还原为一个搜索问题如果有多项式时间函数该卡普降低至和有多项式时间可计算函数和使得V B f L (V A)L (V B)g hV一个VAV_AV乙VBV_BFff大号(V一个)L(VA)L(V_A)大号(V乙)L(VB)L(V_B)GggHhh ⟨ X ,ÿ⟩ ∈ V一个⟹⟨ ˚F(x ),g(x …

1
无限递归集的子集
最近的考试题如下: A一种AA是无限递归可枚举的集合。证明具有无限递归子集。一种AA 令为的无限递归子集。是否必须具有不可递归枚举的子集?A CCCC一种AACCC 我已经回答了1。关于2.,我给出了肯定的回答,并提出以下意见。 假设所有子集都是递归可枚举的。由于是无限的,功率设定是不可数的,因此通过假设会有很多不可数递归可枚举集。但是,递归可枚举的集合与识别它们的图灵机一一对应,而图灵机是可枚举的。矛盾。因此,必须具有不可递归枚举的子集。C C CCCCCCCCCCCCC 这个对吗?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.