Ciencias de la Computación

Se nos da un generador de números aleatorios RandNum50que genera un entero aleatorio uniformemente en el rango 1-50. Podemos usar solo este generador de números aleatorios para generar e imprimir todos los enteros del 1 al 100 en un orden aleatorio. Cada número debe venir exactamente una vez, y la …

11 algorithms  integers  randomness  random-number-generator 

Dada la siguiente ecuación recursiva T(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log n queremos aplicar el teorema de Master y observar que nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Ahora verificamos los dos primeros casos para ε>0ε>0\varepsilon > 0 , es decir si nlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in O(n^{1-\varepsilon}) o nlogn∈Θ(n)nlog⁡n∈Θ(n)n\log n \in \Theta(n) . Los dos casos …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem 

Dada una matriz de números naturales , donde es una constante, quiero responder en consultas de la forma: "¿cuántas veces aparece en la matriz entre los índices y "?a1,…,ana1,…,ana_1,\ldots,a_n≤k≤k\leq kkkkO(1)O(1)O(1)mmmiiijjj La matriz debe ser preprocesada en tiempo lineal. En particular, me gustaría saber si hay una reducción en la consulta …

11 algorithms  arrays  algorithm-design 

Una pregunta reciente del examen fue la siguiente: UNAAA es un conjunto infinito recursivamente enumerable. Demuestre que tiene un subconjunto recursivo infinito.UNAAA Deje que sea un subconjunto infinito de recursiva . ¿Debe tener un subconjunto que no es recursivamente enumerable?A CCCCUNAAACCC Respondí 1. ya. Con respecto a 2., respondí afirmativamente …

11 computability  check-my-proof 

Estoy luchando con hashing y material de árbol de búsqueda binaria. Y leí que en lugar de usar listas para almacenar entradas con los mismos valores hash, también es posible usar árboles de búsqueda binarios. Y trato de entender cuál es el tiempo de ejecución más desfavorable y más desfavorable …

11 data-structures  time-complexity  runtime-analysis  search-trees  hash-tables 

¿Es correcto el siguiente ejemplo sobre si un algoritmo de inferencia es sólido y completo ? Supongamos que tenemos agujas a, b, c en un pajar, y también tenemos un algoritmo de inferencia diseñado para encontrar agujas. sonido : solo se obtienen las agujas a, byc. Completo : se obtienen …

11 logic 

El algoritmo simple habitual para encontrar el elemento mediano en una matriz de números es:nAAAnnn Muestra de elementos de con reemplazo en A Bn3/4n3/4n^{3/4}AAABBB Ordene y encuentre el rango elementos y de| B | ± √BBB lrB|B|±n−−√|B|±n|B|\pm \sqrt{n}lllrrrBBB Verifique que y estén en lados opuestos de la mediana de y …

11 algorithms  algorithm-analysis  randomized-algorithms 

Estoy tratando de usar una cámara a color para rastrear múltiples objetos en el espacio. Cada objeto tendrá un color diferente y para poder distinguir bien entre cada objeto, estoy tratando de asegurarme de que cada color asignado a un objeto sea tan diferente de cualquier color en cualquier otro …

11 algorithms  optimization  computational-geometry 

En la discusión sobre esta pregunta , Gilles menciona correctamente que cualquier prueba de corrección de un algoritmo que usa matrices tiene que demostrar que no hay accesos de matriz fuera de los límites; dependiendo del modelo de tiempo de ejecución, esto provocaría un error de tiempo de ejecución o …

11 proof-techniques  semantics  arrays  hoare-logic  software-verification 

Mi pregunta va a aquellos que están preocupados por los algoritmos de biología computacional. Voy a tomar un curso sobre bioinformática este otoño; El problema, sin embargo, es que tengo muy poca experiencia en biología y química para sentirme preparado para ese ciclo de lecciones (estaba bastante débil en estas …

11 algorithms  reference-request  education  bioinformatics 

Supongamos que yo soy dado un conjunto finito de puntos en el plano, y se le pidió que dibujara una curva C ( P ) dos veces diferenciable a través de los p i 's, de modo que su perímetro sea lo más pequeño posible. Suponiendo que p i = …

11 complexity-theory  np-hard  optimization  computable-analysis 

Estoy trabajando en un lenguaje basado en expresiones de genealogía ML, por lo que naturalmente necesita inferencia de tipos> :) Ahora, estoy tratando de extender una solución basada en restricciones al problema de inferir tipos, basada en una implementación simple en EOPL (Friedman y Wand), pero ellos eligen elegantemente los …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

La idea principal de k-Nearest-Neighbor tiene en cuenta los puntos más cercanos y decide la clasificación de los datos por mayoría de votos. Si es así, entonces no debería tener problemas en los datos de dimensiones superiores porque los métodos como el hashing sensible a la localidad pueden encontrar vecinos …

11 machine-learning  artificial-intelligence 

Un montón de Fibonnaci admite las siguientes operaciones: insert(key, data) : agrega un nuevo elemento a la estructura de datos find-min() : devuelve un puntero al elemento con clave mínima delete-min() : elimina el elemento con clave mínima delete(node) : elimina el elemento señalado por node decrease-key(node) : disminuye la …

11 data-structures  priority-queues 

Esta es una pregunta de tarea del libro de Udi Manber. Cualquier pista sería buena :) Debo demostrar que: n ( log3( n ) )5 5= O ( n1,2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Intenté usar el Teorema 3.1 del libro: c > 0 a > 1F( n )C= O ( aF( n …

11 asymptotics  landau-notation  mathematical-analysis