DOES


19

あり、PのカーディナリティがN Pのカーディナリティと同じである可能性はありますか?または、PN Pは、PN Pが異なるカーディナリティを持たなければならないことを意味しますか?PNPPNPPNPPNP


明らかに、より複雑な言語はそれほど複雑ではない言語よりも多いという意味がありますが、あまり研究されていないようです。代わりに、例えば時空間階層定理があります
。...-vzn

回答:


69

これは、Pことが知られている NP Rは再帰言語のセットであるR、。Rが可算であり、Pは、(例えば、言語無限大であるので、{ N }のためのn Nは Pである)、我々は、P及びNPは、両方のカウント可能であることを得ます。{n}nN


Rはどのように定義されますか?
saadtaame

Cプログラムで受け入れられるすべての言語のセットです。
ユヴァルフィルマス14

7
最初に定義を修正しますは、常に停止するCプログラム受け入れられるすべての言語のセットです。Cプログラムは有限アルファベット上の文字列であり、これらの多くは数え切れないほどあるため、より正式な定義は必要ありません。再帰理論はこの洞察に基づいており、プログラムは有限で(数値として)指定できるため、他のプログラムへの入力として供給することができます。R
ユヴァルフィルマス14

1
可算セットの可算積は、それらの有限数を除くすべてがシングルトンである場合、またはそれらの少なくとも1つが空の場合にのみ可算です。math.stackexchangeのカーディナリティーについて、さらに質問することをお勧めします。
ユヴァルフィルマス14

1
@ernab可算サブセットのサブセットは、有限または可算です。
ユヴァルフィルム14

1

2つのセットPとNPのサイズが心配な場合、これらのセットのサイズは両方とも無限で等しくなります。

これらの2つのセットが等しい場合、サイズも等しくなります。それらが等しくない場合、それらは可算であるため、そのカーディナリティーは自然数のカーディナリティーに等しく、等しくなります。

したがって、どちらの場合でも、それらのカーディナリティは等しくなります。


3
カントールは、19世紀にすでに無限集合の大きさを比較する方法を思いつきました。
ユバルフィルマス

では、自然数の基数は自然数の基数よりも大きいのでしょうか?
オレズヴァニ14

1
いいえ、それらのカーディナリティは同じです。必要な定義については、集合論(またはウィキペディア)に関する本を確認できます。2つのセットの間に全単射がある場合、2つのセットは同じカーディナリティを持つと言われます。集合有すると言われている最大でのカーディナリティBからの噴射がある場合、ABを。選択の公理を仮定すると、ABの 2つのセットごとに、Aは最大でBのカーディナリティーを持つか、またはその逆です。Aが最大でBのカーディナリティを持っている場合、ABよりもカーディナリティが小さいと言います。ABABABABABBただし、とは異なります。B
ユヴァルフィルム14

PとNPは数えられるので、すべての要素は自然数にマッピングされていますが、これは正しいですか?
オレズヴァニ14

そうです、PとNPは自然数のセットと同じカーディナリティを持っています。
ユヴァルフィルマス14

0

私は主に数学で働いており、この種の問題に少し精通しています。しかし、集合論は私のお気に入りの研究分野の1つであり、これは集合論の問題のようです。

したがって、そもそもPとNPの両方は、他の人が以前指摘したように数え切れないほど無限です。したがって、PとNPのカーディナリティーをこれ以上議論することは意味がありません。

ただし、一般的に:

セットの不等式は、セットのサイズについて通知しません。例えば取る、B = { 4 5 6 }A B、ただし| A | = | B | 。また検討、C = { 1 2 3 }及びD = { 4 5 }C A={1,2,3}B={4,5,6}AB|A|=|B|C={1,2,3}D={4,5}および | C | | D | CD|C||D|

ただし、定義により、セットの平等はカーディナリティについて通知します。もし、そして| A | = | B | 。以下の場合考えるA = { 1 2 3 }B = { 1 2 3 }A = Bおよび| A | = | BA=B|A|=|B|A={1,2,3}B={1,2,3}A=B|A|=|B|

2つのセットが数え切れないほど無限である場合、それらは同じカーディナリティを共有します。PとNPはどちらも数え切れないほど無限であるため、ほぼ合計されます。


7
「PとNPの両方は、他の人が以前指摘したように数え切れないほど無限です。したがって、PとNPの基数を議論することは理にかなっています。」:私は同意しません。どちらも数え切れないほど無限であるため、それらのカーディナリティーについて言うことはありません。

@DavidEppstein、考えると、あなたは正しいです。答えを編集して修正します。ただし、一般的なカーディナリティーに関する議論を残します(数え切れないほどの無限集合のカーディナリティーに言及します)。

例の面であなたがここに欠けている、関連する詳細、Bは、ということであるP N PABPNP
-jmite
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.