Adams describe un algoritmo de divide y vencerás para encontrar la unión de dos conjuntos (representados como árboles de búsqueda binarios con equilibrio de peso). Luego describe un nuevo algoritmo de "unión de cobertura" que, según él, mejora con respecto al de dividir y conquistar. Sin embargo,...
[Nota: este problema fue inspirado por Pokemon Go. Primero explicaré el problema en términos matemáticos, luego explicaré la conexión con Pokemon Go. Mi objetivo no es hacer trampa en el juego. Si quisiera hacer trampa, mejor información estaría disponible más fácilmente.] Supongamos que hay...
Estoy leyendo el artículo NJ Larsson, A. Moffat: Offline Dictionary-Based Compression , que describe un algoritmo de compresión que, si lo entiendo correctamente, es bastante similar a la codificación de pares de bytes . Dada una cuerda SSSde longitud , estoy tratando de entender cómo se puede...
Mi libro de texto ofrece la siguiente definición de una clave primaria en una base de datos relacional, que no entiendo completamente. La ayuda sería muy apreciada. Deje ser una relación. Entonces, la clave principal para es un subconjunto del conjunto de atributos de , digamos , que satisface...
Se garantiza que un código de corrección de errores Reed-Solomon que consta de N símbolos detectará hasta N reemplazos de un solo símbolo en una entrada arbitrariamente larga más el propio ECC, y también se garantiza que corrige hasta un solo símbolo de piso (N / 2) reemplazos en el mismo. No...
Recientemente comencé mis estudios en teoría de tipos / sistemas de tipos y cálculo Lambda. Ya he leído sobre el cálculo simple de Lambda tipificado en estilo Church y Curry. El último también se conoce como sistema de asignación de tipo (TA). Estoy pensando en las relaciones entre TA y...
Considere los términos construidos a partir de elementos de y las operaciones y para cada número natural . Dada la promesa de que dos términos están bien formados, es decir, no hay división por cero y ni siquiera raíces de números negativos, ¿existe un algoritmo que decida cuándo los dos términos...
En clase, nuestro profesor nos mostró 3 métodos para probar la no regularidad: Teorema de Myhill-Nerode Lema de bombeo para idiomas regulares Prueba de no regularidad, basada en la complejidad de Kolmogorov Ahora, los dos primeros, el teorema de Myhill-Nerode y el lema de Pumping, lo entendí...
Dado un conjunto de puntos de datos donde ejecutamos K-means en y obtenemos los grupos .X= {X1,X2, ... ,Xmetro}X={X1,X2,...,Xmetro}X = \{x_1, x_2, \ldots, x_m\}Xyo∈RreXyo∈Rrex_i \in \mathbb{R}^dXXXC1,C2, ... ,CkC1,C2,...,Ckc_1, c_2, \ldots, c_k Ahora, si creamos un nuevo conjunto de datos donde y...
Pregunta: ¿Hay algún texto introductorio en lenguaje formal o teoría del lenguaje de programación que discuta cómo aplicarlo al estudio de la notación óptima? En particular, estoy interesado en aprender qué son los lenguajes de pila, los árboles de análisis y los índices, y cómo predecir cuándo un...
Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema de Computer Science Stack Exchange. Cerrado hace 3 años . Las computadoras y los...
Tengo un problema de tarea que me deja perplejo porque las matemáticas están más allá de lo que he hecho, aunque nos dijeron que no era necesario resolver esto matemáticamente. Solo proporcione un límite superior cercano y justifíquelo. Sea Proporcione un límite superior asintótico en como...
Creo que estas dos clases deberían ser las mismas, pero no puedo encontrar ninguna literatura sobre esto y tengo antecedentes limitados sobre el tema. Este es mi razonamiento, y me gustaría saber si (1) esto ya se conoce o (2) no entendí algo o (3) acabo de descubrir algo útil: PCTCPCTCP_{CTC} es...
La teoría del dominio ofrece una teoría sorprendente de la computabilidad en presencia de tipos simples. Pero cuando se agrega el polimorfismo paramétrico, no parece haber una buena teoría que explique qué está pasando tan bien como la teoría del dominio explica la computación sobre tipos simples....
El verdadero problema al que me enfrento es el siguiente. INSTANCIA : tengo juegosN:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\} y K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\} y matriz aij>0aij>0a_{ij}>0 para todos i∈Ki∈Ki\in K y j∈Nj∈Nj\in N. PREGUNTA : necesito encontrar un subconjuntoSSS de NNN de...
Una vez que arreglamos un verificador determinista de tiempo polinomial V (entrada, certificado), su problema NP correspondiente es la pregunta: para esta entrada, ¿existe un certificado (tamaño polinómico) tal que V (entrada, certificado) devuelva Verdadero? El problema de conteo asociado (clase...
No estoy seguro de si es el lugar correcto para esta pregunta. Perdón si te vas un poco fuera de tema. Elegir un lenguaje adecuado para el primer curso de programación es una de las cosas más importantes que todo maestro / profesor relacionado debe tener en cuenta; especialmente si los estudiantes...
Asumiendo yyy es una variable booleana en un programa ILP (es decir y∈Zy∈Zy \in Z, S t 0<=y<=10<=y<=10
Estoy leyendo el lenguaje de programación Rust y encontré el siguiente pasaje: Recuerde que escribir en una estructura no es una operación atómica, y muchas funciones como vec.push()pueden reasignarse internamente y causar un comportamiento inseguro, por lo que incluso la monotonicidad puede no...
Mi pregunta es la siguiente. Suponga que es un problema NP-hard. Dada una instancia arbitraria de y suponiendo que un adversario sabe que esta instancia es fácil de resolver, ¿es posible encontrar un algoritmo determinista de tiempo polinómico para resolver esta instancia particular...