Ciencias de la Computación

Estoy confundido acerca de cómo se definen PP y BPP . Supongamos que es la función característica de un lenguaje . M ser la máquina probabilística de Turing. ¿Son correctas las siguientes definiciones:Lχχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( x …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

MMMG(U,V,E)G(U,V,E)G(U, V, E)min(|U|,|V|)min(|U|,|V|)\min(|U|, |V|)

9 graph-theory  graphs  bipartite-matching 

Hice mi examen de teoría de la computación hace unas semanas, y esta fue una de las preguntas: Asumir lenguajeL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} ¿L es regular? En caso afirmativo, proporcione una expresión regular o un autómata para ello. Después de preguntarle brevemente la respuesta después del examen, parece que realmente …

9 formal-languages  regular-languages  regular-expressions 

Digamos que sabemos que el problema A es difícil, luego reducimos A al problema desconocido B para probar que B también es difícil. Como ejemplo: sabemos que 3 colores es difícil. Luego reducimos 3 colores a 4 colores. Al combinar uno de los colores en 3 colores, tiene 4 colores, …

9 complexity-theory  np-complete  reductions 

Me dieron una tarea con Big O. Estoy atrapado con bucles anidados que dependen del bucle anterior. Aquí hay una versión modificada de mi pregunta de tarea, ya que realmente quiero entenderla: sum = 0; for (i = 0; i < n; i++ for (j = 0; j < i; …

9 algorithms  algorithm-analysis  runtime-analysis  landau-notation 

¿Es una máquina de Turing que puede leer y escribir símbolos de un alfabeto infinito más poderosa que una TM normal (esa es la única diferencia, la máquina todavía tiene un número finito de estados)? La intuición me dice que no, ya que necesitas un número infinito de estados para …

9 computability  turing-machines  reductions  simulation 

Quiero filtrar eficientemente una lista de enteros para duplicados de una manera que solo el conjunto resultante necesite ser almacenado. Una forma de ver esto: tenemos un rango de enteros con N grande (digamos 2 40 )S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\}NNN2402402^{40} tenemos una función con, supuestamente, muchas colisiones (las imágenes …

9 algorithms  data-structures  sorting 

Si tiene un algoritmo de clasificación rápida y siempre selecciona el elemento más pequeño (o más grande) como pivote; ¿estoy en lo cierto al suponer que si proporciona un conjunto de datos ya ordenados, siempre obtendrá el peor rendimiento independientemente de si su lista 'ya ordenada' está en orden ascendente …

9 algorithms  time-complexity  algorithm-analysis  runtime-analysis  sorting 

He leído muchos documentos sobre convolución en el procesamiento de imágenes, y la mayoría de ellos dicen acerca de su fórmula, algunos parámetros adicionales. Nadie explica la intuición y el significado real detrás de hacer convolución en una imagen. Por ejemplo, la intuición de derivación en el gráfico es hacerlo …

9 terminology  intuition  graphics  computer-vision 

Estoy tratando de enseñarme diferentes enfoques para la verificación de software. He leido algunos articulos. Hasta donde aprendí, la lógica proposicional con temporal generalmente usa la verificación de modelos con solucionadores SAT (en sistemas reactivos en curso), pero ¿qué pasa con la lógica de primer orden con temporal? ¿Utiliza demostradores …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Normalmente las universidades enseñan matemáticas discretas / estructura discreta. Mi pregunta es, ¿cuántas matemáticas necesita saber para comprender esta área? ¿Se requiere cálculo o el precalculo funcionará bien? ¿Es necesario haber hecho pruebas antes para poder entender esta área? Gracias a todos por sus respuestas o comentarios. Nota: Mis disculpas …

9 discrete-mathematics 

¿Podría un algoritmo de red neuronal artificial expresarse en términos de operaciones de reducción de mapas? También estoy interesado de manera más general en los métodos de paralelización aplicados a los ANN y su aplicación a la computación en la nube. Creo que un enfoque implicaría ejecutar un ANN completo …

9 parallel-computing  artificial-intelligence  neural-networks 

El requisito de que la codificación esté libre de prefijos da como resultado árboles grandes debido a que el árbol debe estar completo. ¿Existe un umbral en el que el almacenamiento no codificado de datos de longitud fija sería más eficiente que codificar los datos?

9 information-theory  data-compression 

En el artículo Parsing Expressions by Recursive Descent de Theodore Norvell (1999), el autor comienza con la siguiente gramática para expresiones aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" …

9 formal-languages  context-free  formal-grammars  left-recursion 

¿Hay algún buen recurso web de aprendizaje discreto de matemáticas con conjuntos de problemas?

9 reference-request  education  discrete-mathematics