Ciencias de la Computación

Estoy tratando de enseñarme sobre computación cuántica, y tengo una comprensión decente del álgebra lineal. Atravesé la puerta NOT, que no estaba tan mal, pero luego llegué a la puerta Hadamard. Y me quedé atrapado. Principalmente porque si bien "entiendo" las manipulaciones, no entiendo lo que realmente hacen o por …

10 logic  quantum-computing 

Estoy implementando un algoritmo Naive Bayes para la categorización de texto con suavizado laplaciano. El problema que tengo es que la probabilidad se acerca a cero porque estoy multiplicando muchas fracciones pequeñas. Por lo tanto, la probabilidad finalmente produce cero. Esto se debe a que hay varias palabras dentro de …

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

Escribí este código de Python y me pregunté si a veces simplemente no termina (suponiendo que tengamos memoria / tiempo infinito y ningún límite de profundidad de recursión). Intuitivamente pensarías que termina, ya que en algún momento debes tener suerte , y si no termina tienes una cantidad infinita de …

10 trees  probability-theory  termination 

De esta referencia: positividad estricta La condición de positividad estricta descarta declaraciones como data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK ¿Por qué A es negativo? ¿También por qué B está …

10 type-theory  inductive-datatypes 

Descargo de responsabilidad: Sé que hay preguntas similares que suenan aquí y en Stackoverflow. Pero se trata de colisiones, que no es lo que estoy pidiendo. Mi pregunta es: ¿por qué la búsqueda sin colisiones O(1)en primer lugar? Supongamos que tengo esta tabla hash: Hash Content ------------- ghdjg Data1 hgdzs …

10 complexity-theory  hash  hash-tables  performance 

Estoy aprendiendo cómo convertir NFA a DFA y quiero asegurarme de que lo estoy haciendo bien. Obviamente, retroceder en la otra dirección no es una cosa. ¿Alguien sabe de un algoritmo para verificar que un DFA es equivalente a un NFA?

10 automata  finite-automata  proof-techniques  nondeterminism 

Los tipos propios son una extensión del cálculo de construcciones [1] que permiten que el lenguaje exprese tipos de datos algebraicos codificados a través de la codificación Scott. Scott Encoding proporciona a uno la capacidad de combinar patrones O(1), que es uno de los principales motivadores para la inclusión de …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

He estado tratando de averiguar si el problema de detención es decidible para autómatas celulares unidimensionales de 3 símbolos. Definición Sea la configuración del sistema en el paso de tiempo . Más formalmente , donde es el alfabeto.i f : A ∗ × N → A ∗ Af(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to …

10 computability  decision-problem  halting-problem  cellular-automata 

Dado un conjunto de puntos y un radio r . Cuál es la complejidad de encontrar el punto con mayor número de puntos a una distancia menor que r . Por ejemplo, el que maximiza ∑ n i = 1 1 ‖ x - x i ‖ ≤ r ?x1,…,xn∈R2x1,…,xn∈R2x_1, …

10 algorithms  complexity-theory  computational-geometry 

Si , entonces es ? Estoy haciendo esta pregunta porque, para otras clases no deterministas, parece que siempre establece que son iguales a sus contrapartes deterministas.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} = \mathbf{NP}

10 complexity-theory  p-vs-np 

Este es probablemente un pensamiento tonto, pero supongamos que tenemos una computadora que está programada para realizar una secuencia infinita de cálculos y supongamos que el cálculo de tarda segundos en completarse. Entonces esta computadora puede hacer un número infinito de cálculos en un tiempo finito. 1 / 2 iyothithi^\text{th}1 …

10 computability  computation-models 

Quiero entender la teoría de tipos, pero primero tengo que saber cómo puedo aplicarla. ¿Podría haber más aplicaciones no obvias de la teoría de tipos aparte de los sistemas de tipos en programación? ¿Podría haber otras aplicaciones, digamos en el perfil de personalidad y los gustos?

10 type-theory  applied-theory 

Esta pregunta es algo opuesta a una pregunta anterior sobre conjuntos formados a partir de operaciones de conjuntos en conjuntos completos de NP: Si el conjunto resultante de la unión, intersección, o el producto cartesiano de dos conjuntos decidibles y es NP-completo, es decir, al menos uno de necesariamente NP-duro? …

10 complexity-theory  np-hard  np  np-intermediate 

Hace poco leí una entrada de blog realmente interesante del Blog de Google Research sobre redes neuronales. Básicamente usan estas redes neuronales para resolver varios problemas como el reconocimiento de imágenes. Utilizan algoritmos genéticos para "evolucionar" los pesos de los axones. Básicamente, mi idea es la siguiente. Si se supone …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

Estaba leyendo Sistemas operativos de Galvin y me encontré con la línea de abajo, Sin embargo, no todos los estados inseguros están en punto muerto. Un estado inseguro puede llevar a un punto muerto ¿Alguien puede explicar cómo punto muerto! = Estado inseguro ? También tomé la misma línea aquí …

10 operating-systems  deadlocks