Ciencias de la Computación

Describo un enfoque para el isomorfismo gráfico que probablemente tiene falsos positivos, y tengo curiosidad por saber si hay literatura que indique que no funciona. Dadas dos matrices de adyacencia , un método ciertamente ingenuo para verificar el isomorfismo es verificar si para cada fila u de G...

Viniendo de un entorno de C ++, no entiendo por qué uno necesita tipos / expresiones de tipo como ciudadano de primera clase. El único idioma que sé que admite esta función es Aldor. ¿Alguien tiene alguna literatura sobre tipos como ciudadano de primera clase o sabe algunas razones por las que es...

Aquí está el problema: Hay un gráfico conectado con nodos que representan a varias personas. Cada nodo / persona tiene una opinión sobre un tema, por ejemplo, trump vs clinton, libros de papel vs kindle, etc. El objetivo es hacer que cada nodo en un gráfico comparta la misma opinión,...

La desfuncionalización es una transformación descrita por primera vez en 1972 por John C. Reynolds para eliminar las funciones de orden superior. ¿Hay transformaciones alternativas (¿más eficientes?) Para eliminar las funciones de orden

Soy relativamente nuevo en teoría de tipos y programación dependiente. He estado estudiando el cálculo de construcciones (CoC) y otros sistemas de tipo puro. Estoy particularmente interesado en usarlo como una representación intermedia de preservación de pruebas para un sistema...

Aproximadamente, un gráfico no dirigido es muy similar a un gráfico dirigido donde para cada borde (v, w), siempre hay un borde (w, v). Eso sugiere que podría ser aceptable ver gráficos no dirigidos como un subconjunto de gráficos dirigidos (tal vez con una restricción adicional de que agregar /...

Considere la siguiente declaración del problema: Dado un número inicial, usted y su amigo se turnan para restarle un cuadrado perfecto. El primero en llegar a cero gana. Por ejemplo: Estado inicial: 37 El jugador1 resta 16. Estado: 21 El jugador2 resta 8. Estado: 13 El jugador1 resta...

Si los procesadores solo pueden ejecutar una cosa a la vez, ¿por qué puedo reproducir música continuamente y aún así poder ejecutar otras tareas? Entiendo el sistema de interrupción, pero ¿no es necesario que la CPU procese continuamente el audio para que no suene nervioso / lento? Estoy...

¿Es "verdadero el teorema de Rice para los reales computables"? ¿Corresponde esto de alguna manera directa a la conexión de los

Se puede demostrar que dos modelos informáticos están completos si cada uno puede codificar un simulador universal para el otro. Se puede demostrar que dos lógicas están completas si una codificación de las reglas de inferencias (y tal vez los axiomas si están presentes) de cada uno se muestra como...

En realidad, descubrí que el conjunto de lenguajes sensibles al contexto, ( \ mathbf {= NSPACE (O (n)) = LBA} idiomas aceptados) no se discuten tan ampliamente como \ mathbf {REG} (idiomas regulares) o \ mathbf {CFL} (lenguajes sin contexto). Y también el problema abierto \ mathbf {DSPACE (O (n))}...

Estoy leyendo el documento "Maquinaria de computación e inteligencia" de Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) y encontré un fragmento en el que dice: He configurado en la computadora Manchester un pequeño programa que usa solo 1,000 unidades de almacenamiento,...

Mi principal preocupación es si la programación genética es un campo activo de investigación, con algunas aplicaciones prometedoras en la práctica. Parece que en el campo del aprendizaje automático, las redes neuronales son la palabra de moda principal, con menciones en las principales noticias de...

Se le da una matriz de longitud . Cada elemento de la matriz pertenece a una de las clasesSe supone que debe reorganizar la matriz utilizando un número mínimo de operaciones de intercambio para que todos los elementos de la misma clase estén siempre agrupados, es decir, que formen una submatriz...

Mi situación Estoy escribiendo un documento que presenta un módulo de software que desarrollé y quiero comparar su tiempo de ejecución con otros módulos para la misma tarea. Soy consciente de los inconvenientes de los experimentos en tiempo de ejecución , pero suponga que dado que no hay forma de...

He encontrado el término muchas veces, en varios materiales educativos de CS: L2 CS162 (UC Berkeley): E / S mapeadas en memoria L4 CS162 (UC Berkeley): Archivos mapeados de memoria L24 CS61 (UC Berkeley): "E / S asignadas a memoria": registros de control / datos del dispositivo...

En la programación de tipo dependiente, hay dos formas principales de descomponer datos y realizar recursividad: Dependencia de patrones dependientes : las definiciones de funciones se dan como múltiples cláusulas. La unificación asegura que todos los casos omitidos son imposibles, y un...

No sé dónde más hacer esta pregunta, espero que este sea un buen lugar. Tengo curiosidad por saber si es posible hacer un generador de cálculo lambda; esencialmente, un ciclo que, dado un tiempo infinito, producirá todas las funciones posibles de cálculo lambda. (como en forma de una...

Deje → β→β\to_\beta ser β-β\beta reducción en el cálculo λλ\lambda . Definir β-β\beta expansión ← β←β\leftarrow_\beta por t ′ ← β t⟺t → β t ′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . ¿Es ← β←β\leftarrow_\beta confluente? En otras palabras, ¿tenemos eso para cualquier l , d , rl,d,rl,d,r...

He oído hablar de todas estas prevenciones de ataque de Man-In-The-Middle y me pregunto cómo podría funcionar esto si el hombre en el medio solo escucha su transmisión y no quiere cambiar el mensaje en sí. ¿Puede el hombre en el medio no solo tomar las llaves intercambiadas por los oponentes,...