Ciencias de la Computación

En un curso de algoritmos estándar se nos enseña que quicksort es en promedio y en el peor de los casos. Al mismo tiempo, se estudian otros algoritmos de clasificación que son en el peor de los casos (como mergesort y heapsort ), e incluso tiempo lineal en el mejor …

308 algorithms  sorting 

Estoy en un curso sobre computación y complejidad , y no puedo entender lo que significan estos términos. Todo lo que sé es que NP es un subconjunto de NP-completo, que es un subconjunto de NP-hard, pero no tengo idea de lo que realmente significan. Wikipedia tampoco es de gran …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Me he dado cuenta de que me resulta mucho más fácil escribir pruebas matemáticas sin cometer errores, que escribir un programa de computadora sin errores. Parece que esto es algo más extendido que solo mi experiencia. La mayoría de las personas cometen errores de software todo el tiempo en su …

190 correctness-proof  mathematical-foundations  philosophy 

Echando un vistazo a la página web de Julia , puede ver algunos puntos de referencia de varios idiomas en varios algoritmos (los tiempos se muestran a continuación). ¿Cómo puede un lenguaje con un compilador originalmente escrito en C, superar el código C? Figura: tiempos de referencia relativos a C …

175 programming-languages  compilers  efficiency 

Hay un montón de preguntas acerca de cómo analizar el tiempo de ejecución de algoritmos (véase, por ejemplo, el tiempo de ejecución-análisis y algoritmo de análisis ). Muchos son similares, por ejemplo, aquellos que solicitan un análisis de costos de bucles anidados o algoritmos de dividir y conquistar, pero la …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

No entiendo por qué el problema de detención se usa con tanta frecuencia para descartar la posibilidad de determinar si un programa se detiene. La Wikipedia [artículo] [1] explica correctamente que una máquina determinista con memoria finita detendrá o repetirá un estado anterior. Puede usar el algoritmo que detecta si …

149 computability  halting-problem 

Nos dieron el siguiente ejercicio. Dejar f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Demuestre que es computable.fff ¿Cómo es esto posible? Hasta …

130 computability  undecidability 

Soy bastante fluido en C / C ++, y puedo manejar los diversos lenguajes de scripting (awk / sed / perl). Empecé a usar Python mucho más porque combina algunos de los aspectos ingeniosos de C ++ con las capacidades de scripting de awk / sed / perl. Pero, ¿por …

130 programming-languages 

Déjame aclarar: Dada una gráfica de dispersión de un número dado de puntos n, si quiero encontrar mentalmente el punto más cercano a cualquier punto de la gráfica, puedo ignorar inmediatamente la mayoría de los puntos en el gráfico, reduciendo mis opciones a un número pequeño y constante de puntos …

122 algorithms  computer-vs-human  human-computing 

Estoy aprendiendo Haskell y estoy fascinado por el idioma. Sin embargo, no tengo antecedentes serios en matemáticas o CS. Pero soy un programador de software experimentado. Quiero aprender teoría de categorías para poder mejorar en Haskell. ¿Qué temas de la teoría de categorías debería aprender a proporcionar una buena base …

118 programming-languages  functional-programming  category-theory 

Convertir expresiones regulares en NFA (mínimo) que acepten el mismo lenguaje es fácil con algoritmos estándar, por ejemplo, el algoritmo de Thompson . Sin embargo, la otra dirección parece ser más tediosa, y a veces las expresiones resultantes son desordenadas. ¿Qué algoritmos existen para convertir NFA en expresiones regulares equivalentes? …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

La mayor parte del cifrado actual, como el RSA, se basa en la factorización de enteros, que no se cree que sea un problema NP-hard, pero pertenece a BQP, lo que lo hace vulnerable a las computadoras cuánticas. Me pregunto, ¿por qué no ha habido un algoritmo de cifrado basado …

109 complexity-theory  np-hard  encryption  cryptography 

Para intentar probar si un algoritmo para algún problema es correcto, el punto de partida habitual es intentar ejecutar el algoritmo a mano en una serie de casos de prueba simples; pruébelo en algunos ejemplos de problemas, incluidos algunos "casos de esquina" simples ". Esta es una gran heurística: es …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Un árbol indexado binario tiene muy poca o relativamente poca literatura en comparación con otras estructuras de datos. El único lugar donde se enseña es el tutorial de topcoder . Aunque el tutorial está completo en todas las explicaciones, ¿no puedo entender la intuición detrás de tal árbol? ¿Cómo se …

99 algorithms  binary-trees  trees 

Hay muchos intentos de probar o , y, naturalmente, muchas personas piensan en la pregunta y tienen ideas para probar cualquier dirección.P ≠ N PP = N PPAGS=nortePAGS\mathsf{P} = \mathsf{NP} P ≠ N PPAGS≠nortePAGS\mathsf{P} \neq \mathsf{NP} Sé que hay enfoques que han demostrado que no funcionan, y probablemente hay más …

97 complexity-theory  reference-request  history  p-vs-np  reference-question