Ciência da Computação

10
Faz

É com acesso oráculo para N P maior do que apenas N P ? Pelo que entendi N P N P é apenas uma máquina de turing que pode fazer consultas a outra máquina N P , se sim, então N P pode simular N P N P ? Há algo de errado com esse

10
Soma dos termos do Landau revisitados

Eu fiz uma pergunta (inicial) sobre somas dos termos do Landau antes , tentando avaliar os perigos de abusar da notação assintótica em aritmética, com sucesso misto. Agora, aqui o nosso guru da recorrência JeffE faz essencialmente isso: ∑i = 1nΘ ( 1Eu) =Θ( Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle...

10
Determinando o número específico em

\newcommand\ldotd{\mathinner{..}}Dado que A [ 1 . . n ]A[1..n]A[1\ldotd n] são números inteiros tais que 0 ≤ A [ k ] ≤ m0≤A[k]≤m0\le A[k]\le m para todos os 1 ≤ k ≤ n1≤k≤n1\le k\le n , e a ocorrência de cada número, exceto um número específico em A [ 1 . . n ]A[1..n]A[1\ldotd n] é um número ímpar....

10
Matemática para o TCS major

Estou procurando uma especialização em Ciência da Computação Teórica; especificamente, estou interessado em teoria da complexidade e teoria probabilística de autômatos. Quando me formei em um ano, quais cursos avançados de matemática (como teoria de Galois ou análise harmônica, por exemplo) você...

10
Solucionador de Unificação vs. SAT

Li na Wikipedia que a unificação é um processo de solução do problema de satisfação. Ao mesmo tempo, eu sei que esses solucionadores são chamados de "solucionadores SAT" ou "solucionadores SMT". Então, eles são nomes diferentes para a mesma coisa? Se você diz que eles são diferentes, por favor,...