Ciencias de la Computación

14
Ejemplos de algoritmos recursivos sofisticados

Estaba explicando el famoso algoritmo determinista de selección de tiempo lineal ( algoritmo de mediana de medianas) a un amigo. La recurrencia en este algoritmo (aunque es muy simple) es bastante sofisticada. Hay dos llamadas recursivas, cada una con diferentes parámetros. Estaba tratando de...

14
Reducción directa de

Sabemos que st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivity está en NLNL\mathsf{NL} según el teorema del teorema de Immerman – Szelepcsényi y dado que st-connectivityst-connectivityst\text{-}connectivity es NL-hardNL-hard\mathsf{NL\text{-}hard} por lo tanto es un espacio...

14
Razón para aprender lógica proposicional y predicada

Puedo entender la importancia de que los informáticos o cualquier ingeniero relacionado con el desarrollo de software deberían haber entendido el estudio de la lógica básica como base. Pero, ¿hay tareas / trabajos que requieran explícitamente el conocimiento sobre estos, aparte de las tareas que...