Ciencias de la Computación

¿Quieres mejorar esta publicación? Proporcione respuestas detalladas a esta pregunta, incluidas citas y una explicación de por qué su respuesta es correcta. Las respuestas sin suficiente detalle pueden ser editadas o eliminadas. A menudo hay lenguajes de programación especializados para tareas específicas. Algunos lenguajes de programación son excelentes en la …

15 programming-languages 

Al menos en Java, si escribo este código: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; El valor de sería . Creo que esto se debe al hecho …

15 arithmetic  floating-point  numerical-algorithms 

Soy un estudiante universitario de Ciencias de la Computación que tiene una gran pasión por estudiar Matemáticas. Creo firmemente que la informática o la informática teórica es una rama directa de las matemáticas y la lógica y también creo que un título en informática siempre debe estar orientado a las …

15 mathematical-foundations 

Estaba leyendo una pregunta en Stack Overflow preguntando si era NP difícil enumerar todos los ciclos simples en un gráfico que contiene un nodo particular y se me ocurrió que no podía pensar en ninguna clase de complejidad existente que fuera adecuada para hablando de problemas de la forma "enumere …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Estoy muy familiarizado con Dijkstra y tengo una pregunta específica sobre el algoritmo. Si tengo un gráfico enorme, por ejemplo 3.500 millones de nodos (todos los datos de OpenStreetMap), entonces claramente no podría tener el gráfico en la memoria, por lo que el gráfico se almacena en el disco en …

15 algorithms  graph-theory  graphs  shortest-path 

Suponga dos listas de elementos comparables: u y s. Deje que INV (u) sea el número de inversiones en u. Estoy buscando un algoritmo eficiente para insertar los elementos de s en u con un aumento mínimo de INV (u). Básicamente, me gustaría insertar objetos en una lista mientras la …

15 algorithms  sorting 

Deje Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Un lenguaje L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* se dice que tiene la propiedad "anti-palíndromo" si para cada cadena www que es un palíndromo, w∉Lw∉Lw\notin L . Además, para cada cadena que no es un palíndromo, o , pero no ambos (!) (Exclusivo o).u ∈ …

15 formal-languages 

En el artículo de Philip Wadler sobre Theorems for Free , afirma en la Sección 2 sobre Parametricidad que no existen modelos ingenuos de teoría de conjuntos de cálculo lambda polimórfico En el ingenuo modelo teórico de conjuntos, los tipos son conjuntos y las funciones son funciones teóricas de conjuntos, …

15 functional-programming 

¿Qué significa log O ( 1 ) nlogO(1)n\log^{O(1)}n ? Soy consciente de la notación big-O, pero esta notación no tiene sentido para mí. Tampoco puedo encontrar nada al respecto, porque no hay forma de que un motor de búsqueda interprete esto correctamente. Para un poco de contexto, la oración donde …

15 asymptotics  landau-notation 

En mi libro de texto se menciona que: ∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\} donde ∅∅\emptyset es un idioma vacío. Sin embargo, sabemos que L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptyset , donde LLL es cualquier lenguaje. No puedo comprender intuitivamente este concepto porque la operación en estrella de Kleene apunta al hecho de que ∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup …

15 formal-languages  kleene-star 

Es posible analizar un documento con una sola pasada desde una máquina de estado. ¿Cuál es el beneficio de tener dos pases, es decir. ¿Tiene un lexer para convertir texto en tokens y un analizador para probar las reglas de producción en esos tokens? ¿Por qué no tener una sola …

15 compilers  parsers 

El otoño pasado hice un recorrido por la supercomputadora Blue Waters en la Universidad de Illinois. Le pregunté si alguien alguna vez usó toda la computadora. Me dijeron que siempre estaba trabajando en múltiples proyectos. Eso me hizo preguntarme sobre la utilidad de las supercomputadoras. Quizás Blue Waters es inusual …

15 computer-architecture 

Un rompecabezas "Flow Free" consiste en un entero positivo y un conjunto de pares (desordenados) de vértices distintos en el gráfico de cuadrícula n × n , de modo que cada vértice esté en un par como máximo. Una solución para tal rompecabezas es un conjunto de rutas no dirigidas …

15 np-hard  square-grid 

Algunas CPU tienen un registro de banderas (ARM, x86, ...), otras no (MIPS, ...). ¿Cuál es la ventaja de tener una instrucción CMP para actualizar el registro de banderas seguido de una instrucción de bifurcación en lugar de usar un registro cero y bifurcaciones condicionales para verificar signos, desbordamientos, etc.?

15 computer-architecture 

Estoy confundido sobre por qué los diseñadores de MIPS incluirían 5 bits dedicados al cambio y tienen códigos de operación y bits de función separados. Debido a que MIPS es tan RISC, supongo que solo se realizarán cambios en unas pocas instrucciones, por lo que esos 5 bits parecen estar …

15 computer-architecture