タグ付けされた質問 「check-my-proof」

1
シェルピスキーグラフ上のハミルトニアンサイクルの数
私はこのフォーラムに初めて参加し、物理学者で脳を整えるためにこれを行います。そのため、最もエレガントな言語を使用しない場合は、恵みを示してください。他のタグがより適切だと思われる場合は、コメントを残してください。 私は、ハミルトニアンサイクルの数を次のシェルピンスキーグラフ計算する必要があるこの問題を解決しようとしています。(シェルピンスキーグラフの定義と写真については、上記のリンクも参照してください)C(n)C(n)C(n)nnnSnSnS_n 私はを見つけましたが、解決策が与えられた値一致しないため、何かを台無しにしたに違いありません。私の議論は非常に基本的な考えから成り立っており、間違いを見つけることはできません。どんな助けも大歓迎です。長いように見えても、フォローしている間にグラフを見れば、考えは些細なものになります。C(n)C(n)C(n)C(5)=71328803586048C(5)=71328803586048C(5) = 71328803586048 (a)与えられたグラフ、外側の角呼び出します。次に、次の数量を定義します。SnSnS_nA,B,CA,B,CA,B,C N(n):=N(n):=N(n) := からへのハミルトニアンパスの数。AAACCC N¯(n):=N¯(n):=\bar{N}(n) := を除く各ノードを1回訪問からへのパスの数。AAACCCBBB また、このようなパスをまたはタイプのパスと呼ぶことにします。NNNN¯N¯\bar{N} (b)ことが簡単にわかります。N(n)=N¯(n)N(n)=N¯(n)N(n)=\bar{N}(n) 理由は次のとおりですタイプのパスを考えてください。から始まるこのパスの形式はです。セグメントをに置き換えることにより、タイプのパスを取得します。この操作は、すべてのタイプのパスをタイプのパスに一意にマッピングします。NNNAAA(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}NNNN¯N¯\bar{N} (c)再帰を導出します。N(n+1)=2N(n)3N(n+1)=2N(n)3N(n+1)=2N(n)^3 検討から型経路にし、外側の隅subtrianglesを表すによってそれぞれ。タイプのパスは、からを介してまで、一度だけ各サブトライアングルを訪れることは明らかです。ここで、サブと接触するノードを考えます。(i)離れる前、または(ii)を入力した後、パスがこのポイントにアクセスする場合、2つの可能性があります。NNNAAABBBA,B,CA,B,CA,B,CTA,TB,TCTA,TB,TCT_A,T_B,T_CNNNTATAT_ATBTBT_BTCTCT_CZZZTATAT_ATCTCT_CTATAT_ATCTCT_C。これらの場合、内の3つのサブパスは、それぞれタイプ(i)または(ii)です。これを念頭に置いてカウントすることができますTA,TB,TCTA,TB,TCT_A,T_B,T_C N,N,N¯N,N,N¯N,N,\bar{N} N¯,N,NN¯,N,N\bar{N},N,N N(n+1)=N(n)N(n)N¯(n)+N¯(n)N(n)N(n)N(n+1)=N(n)N(n)N¯(n)+N¯(n)N(n)N(n)N(n+1)=N(n)N(n)\bar{N}(n)+\bar{N}(n)N(n)N(n)そして(b)で上に到達します再帰。 (D)我々は再帰解決の(c)とと得。N(1)=1N(1)=1N(1)=1N(n)=230+31+...+3n−2N(n)=230+31+...+3n−2N(n)=2^{3^0+3^1+...+3^{n-2}} (e)グラフハミルトニアンサイクルを考えます。3つのサブ三角形はそれぞれ2つのノードのみを介して他のサブ三角形に接続されているため、サイクルが1つの接続ノードを介して各サブ三角形に1回だけ入り、それを「塗りつぶし」、最後に他の接続ノードを介して離れることは明らかです。したがって、のハミルトニアンサイクルは、すべてが構造を持つサブトライアングルの3つの型サブパスで構成されます。ハミルトニアンサイクルの数について結論づけることができますSnSnS_nSnSnS_nNNNSn−1Sn−1S_{n-1} C(n)=N(n−1)3C(n)=N(n−1)3C(n) = N(n-1)^3。 ただし、場合は次のようになりますn=5n=5n=5 C(5)=N(4)3=81923=549755813888≠71328803586048C(5)=N(4)3=81923=549755813888≠71328803586048C(5) = N(4)^3 = 8192^3=549755813888 \neq 71328803586048 後者は問題のページに従って取得する必要があります(上記のリンク)。 ヘルプやコメントをありがとう。

5
NPの欠陥= CoNP証明?
NP = CoNPのこの非常に単純な「証明」があり、どこかで間違ったことをしたと思いますが、何が間違っているのかわかりません。誰か助けてくれますか? AをNPの問題とし、MをAの決定者とします。Bを補数にします。つまり、BはCoNPにあります。Mは決定者であるため、これを使用してBも決定できます(答えを反転させるだけです)。これは、NPとCoNPの両方の問題を同じMで解決するという意味ではありませんか? もっと具体的に言うと。 AをNP完全問題とし、MをAの決定者とします。CoNPの問題Bを検討します。NPにある補数not-Bを考慮し、Aへの多項式簡約を取得します。次に、ディサイダーMを実行し、答えを反転します。したがって、Bの決定子を取得します。これは、BもNPにあることを意味します。 私の推論の何が悪いのか知っていますか?

2
カープ削減はレビン削減と同一ですか
定義:カープ削減 言語言語にカープの還元性である多項式時間計算可能関数がある場合ようにすべてのために、場合のみ。AABのBBF :{ 0 、1 } * → { 0 、1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* X xxX ∈ A x∈Ax\in AF (X )∈ Bf(x)∈Bf(x)\in B 定義:レビン削減 検索問題は、Karpがを減らす多項式時間関数があり、次のような多項式時間計算可能な関数とがある場合、検索問題還元可能です。V A VAV_AV BVBV_B f ffL (V A)L(VA)L(V_A)L (V B)L(VB)L(V_B)g gghhh ⟨ X 、Y ⟩ ∈ V A⟹⟨ F (X )、G (X 、Y )⟩ ∈ V …

1
無限再帰セットのサブセット
最近の試験問題は次のとおりです。 は、無限に再帰的に列挙可能なセットです。Aに無限の再帰サブセットがあることを証明します。AAAAAA してみましょう、無限の再帰的なサブセットであるA。Cには、再帰的に列挙できないサブセットが必要ですか?CCCAAACCC 1.と答えました。2.に関しては、私は肯定的に答え、次のように主張した。 すべてのサブセットが再帰的に列挙可能であると仮定します。以来、Cが無限大の電力セットCはそう仮定により非可算多くの帰納的可算集合が存在するであろう、無数です。しかし、再帰的に列挙可能なセットは、それらを認識するチューリングマシンと1対1で対応しており、チューリングマシンは列挙可能です。矛盾。したがって、Cには、再帰的に列挙できないサブセットが必要です。CCCCCCCCCCCC これは正しいです?

1
NPの証明は、指数DTIMEの和集合のサブセットです
がすべてのに対しての和集合のサブセットであることを証明する必要があります。NPNP\mathsf{NP}DTIME(2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c>1c>1c > 1 してみましょうで言語/意思決定問題で。次に、チューリングマシンして、多項式時間で多項式サイズの証明書を指定してを決定できます。したがって、多項式サイズのすべての可能な証明書を列挙します。長さ証明書には可能な証明書があります。までの長さの証明書、ある多くの証明書。各証明書は多項式時間で決定できるため、各問題はで実行できることがわかります。何が悪いのですか?LLLNPNP\mathsf{NP}LLLMMM2l2l2^llllncncn^c∑ncl=02l=2nc+1−1∑l=0nc2l=2nc+1−1\sum_{l=0}^{n^c} 2^l = 2^{n^c + 1} - 1NPNP\mathsf{NP}DTIME(2ncnc)DTIME(2ncnc)\mathsf{DTIME}(2^{n^c}n^c)
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.