Ciencias de la Computación

Recientemente me enteré de KRR (Representación del conocimiento y razonamiento) y ASP, sin haber escuchado nada sobre ellos antes (excepto un poco sobre el prólogo). He leído un poco sobre ellos y uno de sus usos principales parece ser la IA. Mi pregunta sería cuán ampliamente utilizados son los ASP …

9 prolog 

Suponiendo que los bordes no están dirigidos, tienen un peso único y no tienen rutas negativas, ¿estos algoritmos producen los mismos árboles de expansión mínima?

9 graphs  trees  minimum-spanning-tree 

He estado tratando de separar las definiciones de seguridad de tipo y solidez de tipo y me lo estoy pasando muy bien. Le pregunté a un profesor recientemente y después de pensar un poco me dijo que realmente no había ninguna diferencia. Sin embargo, después de leer esto , parece …

9 programming-languages  type-theory  type-checking 

¿Dónde puedo encontrar algún código para generar caminatas aleatorias de autoevaluación en redes de 2 y 3 dimensiones cuyas longitudes laterales son potencias de dos? La caminata debe pasar por cada punto de la red. Más específicamente, ¿cómo puedo encontrar una ruta hamiltoniana aleatoria en un gráfico de cuadrícula grande …

9 random-walks  lattices 

Suponga que extiende el cálculo de construcciones con "agujeros", es decir, piezas de código incompletas que aún no completó. Me pregunto si hay un algoritmo para llenar esos roles automáticamente. Por ejemplo (usando la sintaxis de Morte ): Caso A: λ (pred : ?) -> λ (Nat : *) -> …

9 machine-learning  programming-languages  unification 

Según esta fuente, la constante Chaitin es normal.ΩΩ\Omega Cada probabilidad de detención es un número real normal y trascendental que no es computable, lo que significa que no hay un algoritmo para calcular sus dígitos. De hecho, cada probabilidad de detención es aleatoria de Martin-Löf, lo que significa que ni …

9 halting-problem 

Estaba resolviendo relaciones de recurrencia. La primera relación de recurrencia fue T(n)=2T(n/2)+nT(n)=2T(n/2)+nT(n)=2T(n/2)+n La solución de este puede ser encontrada por Master Theorem o el método del árbol de recurrencia. El árbol de recurrencia sería algo como esto: La solución sería: T(n)=n+n+n+...+nlog2n=k times=Θ(nlogn)T(n)=n+n+n+...+n⏟log2⁡n=k times=Θ(nlog⁡n)T(n)=\underbrace{n+n+n+...+n}_{\log_2{n}=k \text{ times}}=\Theta(n \log{n}) Luego me enfrenté al …

9 recurrence-relation 

Estaba aprendiendo sobre las rutas más largas y encontré el hecho de que las rutas más largas en los gráficos generales no se pueden resolver mediante programación dinámica porque el problema carecía de una subestructura óptima (que creo que la afirmación debe corregirse a las rutas simples más largas en …

9 algorithms  graphs  optimization  dynamic-programming 

He leído en muchos artículos sobre búsqueda de vecinos más cercanos en dimensiones superiores que los árboles KD son exponenciales en K, pero parece que no puedo determinar por qué. Lo que estoy buscando es un análisis sólido de complejidad de tiempo de ejecución que explique este aspecto del problema.

9 algorithm-analysis  data-structures  search-trees  nearest-neighbour  search 

En la década de 1950 se inventaron varios métodos para la minimización de circuitos para funciones booleanas . ¿Existe una extensión de esos métodos o algo similar para optimizar el tiempo o la complejidad espacial de los algoritmos? Por ejemplo, una implementación de clasificación de burbujas como entrada para dicho …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

Tengo una matriz de banda : una matriz escasa, cuadrada y simétrica cuya estructura se parece a la siguiente:norte× Nnorte×norteN \times N Aquí, el área debajo de las rayas azules son los elementos distintos de cero; todo lo demás es cero ¿Existe algún algoritmo para invertir este tipo de matriz …

9 algorithms  linear-algebra  sparse-matrices 

String es una clase inmutable en Java. Una clase inmutable es simplemente una clase cuyas instancias no pueden modificarse. ¿Por qué el lenguaje de programación Java elige hacer que los objetos de clase String sean inmutables?

9 programming-languages  language-design 

Una matriz controlada sin puerta se ve así: ⎡⎣⎢⎢⎢1000010000010010⎤⎦⎥⎥⎥[1000010000010010]\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ \end{bmatrix} Eso funciona muy bien cuando solo tienes dos …

9 quantum-computing 

Estoy aprendiendo sobre paginación. Mi libro dice que las direcciones lógicas generadas por la CPU están en forma |p|d|(número de página, desplazamiento de página) y las direcciones físicas están en forma |f|d|(número de marco, desplazamiento de marco). También se menciona específicamente que, des decir, el desplazamiento se copia directamente para …

9 memory-management  paging 

Me presentan una red de comparación. ¿Cómo puedo determinar si la red de comparación es una red de clasificación? En la imagen a continuación hay un ejemplo de una red de clasificación de selección e inserción. La intención es tener una red de comparación y ordenar valores numéricos. Si pruebo …

9 sorting