Perguntas com a marcação «check-my-proof»

Eu sou novo neste fórum e apenas um físico que faz isso para manter seu cérebro em forma; portanto, mostre graça se eu não usar a linguagem mais elegante. Também deixe um comentário, se você acha que outras tags seriam mais apropriadas. Eu estou tentando resolver este problema para que …

18 graph-theory  combinatorics  check-my-proof 

Eu tenho essa "prova" muito simples de NP = CoNP e acho que fiz algo errado em algum lugar, mas não consigo encontrar o que está errado. Alguém pode me ajudar? Seja A um problema no PN, e M seja o decisor para A. Seja B o complemento, ou seja, …

12 complexity-theory  p-vs-np  check-my-proof  np 

Definição: Redução de Karp Uma linguagem AAA é Karp redutível a uma linguagem BBB se houver uma função computável em tempo polinomial f : { 0 , 1 } ∗ → { 0 , 1 } ∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* tal que para cada xxx , x ∈ Ax∈Ax\in A se e somente …

12 complexity-theory  reductions  check-my-proof 

Uma pergunta recente no exame foi a seguinte: AAAA é um conjunto infinito recursivamente enumerável. Prove que possui um subconjunto recursivo infinito.AAA Deixe ser um subconjunto recursiva infinito de . deve ter um subconjunto que não seja recursivamente enumerável?A CCCCAAACCC Eu já respondi 1.. Em relação a 2., respondi afirmativamente …

11 computability  check-my-proof 

Preciso provar que é um subconjunto da união de para todos os .N PNP\mathsf{NP}D T I M E (2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c > 1c>1c > 1 Seja um problema de linguagem / decisão em \ mathsf {NP} . Em seguida, L pode ser decidido dado um certificado de tamanho polinomial em tempo polinomial …

7 complexity-theory  check-my-proof