Ciencias de la Computación

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. Ciertamente, no esperaría …

8 computability  type-theory  dependent-types 

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 tamaño lo más pequeño posible y particione el conjunto KKK dentro |S||S||S| conjuntos disjuntos KjKjK_j …

8 algorithms  optimization 

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: …

8 complexity-theory  complexity-classes  quantum-computing 

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 y ejecutamos K-means en para obtener los clústeres .Y= …

8 algorithms  clustering 

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 …

8 algorithms  programming-languages  education 

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 lenguajes de programación tienden a ser deterministas y predecibles. Sin …

8 computation-models 

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 cierto tipo …

8 formal-languages  reference-request  formal-grammars  programming-languages 

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 …

8 type-theory  type-checking  type-inference 

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 …

8 computability  undecidability  number-theory  equality 

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í bien y también …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

Cuando miro las pruebas para bombear lema , tengo la sensación de que a menudo me falta la intuición detrás de la condición | xy | ≤ p. ¿Cuál es exactamente la razón detrás de esta condición? Toda la literatura que he echado un vistazo es silenciosa (sin pruebas, sin …

8 formal-languages  regular-languages  pumping-lemma 

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, no ofrece una …

8 data-structures 

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 …

8 error-correcting-codes 

Se sabe que existe una propiedad de "bombeo" (las palabras de cierta longitud implican la existencia de bucles en el mecanismo de definición del lenguaje) para los lenguajes regulares y libres de contexto y algunos más (generalmente utilizados para refutar la pertenencia de un idioma a una determinada clase) ) …

8 formal-languages  pumping-lemma  context-sensitive 

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 comprimir en tiempo …

8 algorithms  algorithm-analysis  runtime-analysis  data-compression  encoding-scheme