Does


19

É possível que e a cardinalidade de P sejam iguais à cardinalidade de N P ? Ou PN P significa que P e N P devem ter cardinalidades diferentes?PNPPNPPNPPNP


aparentemente existe um sentido em que línguas mais complexas são mais numerosas do que línguas menos complexas, mas parece não ser muito estudado. em vez disso, há, por exemplo, o espaço eo tempo teoremas de hierarquia ....
vzn

Respostas:


69

Sabe-se que P NP R, onde R é o conjunto de idiomas recursivos. Como R é contável e P é infinito (por exemplo, os idiomas { n } para n N estão em P), obtemos que P e NP são ambos contáveis.{n}nN


Como R é definido?
Saadtaame

É o conjunto de todos os idiomas aceitos pelos programas em C.
Yuval Filmus

7
Deixe-me primeiro corrigir a definição: é o conjunto de todos os idiomas aceitos pelos programas C que sempre param . Não precisamos de uma definição mais formal, já que os programas em C são cadeias de caracteres sobre um alfabeto finito, e existem apenas muitos deles. A teoria da recursão baseia-se nessa percepção, de que os programas podem ser especificados finitamente (como números) e, portanto, podem ser alimentados como entrada para outros programas. R
Yuval Filmus

1
Um produto contável de conjuntos contáveis ​​só é contável se todos, com exceção de muitos deles, forem finitos, ou se pelo menos um deles estiver vazio. Sugiro que você faça mais perguntas sobre cardinalidade em math.stackexchange, onde eles pertencem.
Yuval Filmus

1
@ernab Um subconjunto de um subconjunto contável é finito ou contável.
Yuval Filmus

1

Se você está preocupado com o tamanho de dois conjuntos P e NP, o tamanho desses dois conjuntos é infinito e igual.

Se esses dois conjuntos forem iguais, seu tamanho também será igual. Se eles não são iguais, uma vez que são contáveis, sua cardinalidade é igual à cardinalidade de números naturais e igual.

Portanto, em ambos os casos, sua cardinalidade é igual.


3
Cantor surgiu com uma maneira de comparar as magnitudes de conjuntos infinitos já no século XIX.
Yuval Filmus

Então, a cardinalidade dos números naturais é maior que a cardinalidade dos números pares naturais?
orezvani

1
ABABABABABBB

P e NP são contáveis; portanto, todos os elementos foram combinados em um número natural, certo?
precisa saber é o seguinte

Certo, P e NP têm a mesma cardinalidade que o conjunto de números naturais.
Yuval Filmus

0

Trabalho principalmente em matemática e tenho apenas um pouco de familiaridade com esse tipo de problema. Entretanto, a teoria dos conjuntos é uma das minhas áreas de estudo favoritas, e essa parece ser uma questão da teoria dos conjuntos.

Então, para começar, P e NP são contados infinitamente, como outros já apontaram antes. Portanto, não faz sentido discutir mais a cardinalidade de P e NP.

No entanto, em geral:

A={1,2,3}B={4,5,6}AB|A|=|B|C={1,2,3}D={4,5}CD|C||D|

A=B|A|=|B|A={1,2,3}B={1,2,3}A=B|A|=|B|

Se dois conjuntos são infinitamente contáveis, eles compartilham a mesma cardinalidade. P e NP são ambos infinitamente contáveis, de modo que resume bastante isso.


7
Re "ambos P e NP são infinitamente contáveis, como outros já apontaram antes. Portanto, faz sentido discutir a cardinalidade de P e NP": discordo. Por serem ambos infinitamente contáveis, não há mais nada a dizer sobre sua cardinalidade.

@ David David Eppstein, ao pensar, você está correto. Vou editar minha resposta para corrigir isso. No entanto, deixarei alguma discussão sobre cardinalidade em geral (mencionando a cardinalidade de conjuntos contados infinitamente).

ABPNP
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.