Ciencias de la Computación

10
¿

¿Es con acceso oráculo a N P más grande que solo N P ? Según tengo entendido N P N P es sólo una máquina de Turing que se pueden realizar consultas a otro N P máquina si por lo que N P puede simular N P N P ? ¿Hay algo mal con este

10
Determinar el número particular en

\newcommand\ldotd{\mathinner{..}} Dado que A [ 1 . . n ]A[1..n]A[1\ldotd n] son enteros tales que 0 ≤ A [ k ] ≤ m0≤A[k]≤m0\le A[k]\le m para todos 1 ≤ k ≤ n1≤k≤n1\le k\le n , y la aparición de cada uno número excepto un número particular en A [ 1 . . n ]A[1..n]A[1\ldotd n] es un número impar....

10
Variables distintas para diferentes cláusulas

En la demostración del teorema de resolución, normalmente se supone que las variables en diferentes cláusulas son distintas. Esto no es algo que sucede automáticamente; requiere un código adicional significativo y computación para implementar. Dado eso, estoy buscando un caso de prueba para...

10
Matemáticas para TCS major

Estoy buscando una especialización en Informática Teórica; específicamente, estoy interesado en la teoría de la complejidad y la teoría probabilística de autómatas. Al graduarme en un año, ¿qué cursos avanzados de matemáticas (como la teoría de Galois o el análisis armónico, por ejemplo) crees que...

10
Unificación vs solucionador SAT

Leí en Wikipedia que la unificación es un proceso para resolver el problema de la satisfacción. Al mismo tiempo, sé que tales solucionadores se llaman "solucionadores SAT" o "solucionadores SMT". Entonces, ¿son nombres diferentes para la misma cosa? Si dice que son diferentes, señale una falla en...