Ciencias de la Computación

Que yo sepa, el problema de detención pregunta si existe un programa que decida si un programa que se está probando, dados algunos datos de entrada (no importa qué programa sea, o qué datos de entrada proporcionamos) terminará o no. La respuesta a este problema es 'no'. En otras palabras, …

8 computability  halting-problem 

He estado pensando en este problema particular de informática / criptografía / base de datos durante años y solo quiero saber si ya hay soluciones para él. Para ser sincero, ni siquiera sé a qué campo pertenece exactamente este problema. En pocas palabras: la persona A tiene una lista de …

8 cryptography  security  protocols  encryption 

Tengo dos archivos grandes que contienen párrafos de texto en inglés: El primer texto tiene aproximadamente 200 páginas y tiene aproximadamente 10 párrafos por página (cada párrafo tiene 5 oraciones). El segundo texto contiene casi exactamente los mismos párrafos y texto que el primero. También tiene 200 páginas con 10 …

8 strings  data-mining  natural-language-processing  edit-distance 

Según lo definido por Wikipedia, (La correspondencia de Curry-Howard) es una generalización de una analogía sintáctica entre sistemas de lógica formal y cálculos computacionales que fue descubierta por primera vez por el matemático estadounidense Haskell Curry y el lógico William Alvin Howard. Relacionado con él está el cubo λ, que …

8 logic  type-theory  functional-programming 

Muchas funciones de activación en redes neuronales (sigmoide, tanh, softmax) son monótonas, continuas y diferenciables (excepto que puede haber un par de puntos, donde la derivada no existe). Entiendo la razón de la continuidad y la diferenciabilidad, pero realmente no puedo entender una razón para la monotonisidad.

8 machine-learning  neural-networks 

Quiero determinar si este problema de decisión es decidible. He intentado establecer reducciones de Alto y "Acepta cadena vacía", pero aún no he encontrado una solución. ¿Alguien me puede ayudar?

8 computability  turing-machines  undecidability 

Estoy atrapado analizando la complejidad temporal del siguiente algoritmo: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - 1, p) if …

8 algorithm-analysis  runtime-analysis 

Quiero preguntar exactamente cuál es la relación entre problemas e idiomas. Sabemos que el conjunto de todos los idiomas incontables. ¿El conjunto de problemas también es incontable? ¿Puede cada problema ser definido por un idioma? ¿Puede un idioma resolver más de un problema y viceversa? ¿Existe una correspondencia uno a …

8 formal-languages 

Imaginemos que tenemos una fórmula satisfactoria El problema a resolver es "¿Hay una asignación para las variables que hará F insatisfactorio? ". Una forma de resolver es encontrar todas las soluciones para F en términos de variables y si el recuento es < , la solución que falta será la …

8 logic  satisfiability  sat-solvers 

Por ejemplo, podemos decir que tenemos un programa abstracto que, dada una cadena binaria finita como entrada, elimina todos los ceros (es decir, 0010001101011 se evalúa como 111111), que definitivamente es una función computable de Turing. ¿Cómo puede un sistema de etiquetas cíclicas calcular esto (que puede hacerlo, por definición …

8 computability  turing-machines 

Tengo un autómata finito sin estados finales / de aceptación, por lo que F está vacío. ¿Cómo lo minimizo? Obtuve esto en una prueba y no sabía cómo abordar el problema porque el autómata no tenía estados de aceptación. ¿Es un estado inicial único con todas las transiciones en sí …

8 automata  finite-automata 

¿Existen aplicaciones del mundo real del Steiner Tree Problem (STP)? Entiendo que el diseño del chip VSLI es una buena aplicación del STP. ¿Hay otros ejemplos de problemas del mundo real que la gente pueda sugerir que podrían formularse en términos del STP? Antecedentes: estoy comenzando mi investigación de doctorado …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

Preguntas: ¿Puede haber un hash (criptográficamente seguro) que conserva la topología de la información de {0,1}∗{0,1}∗\{0,1\}^{*}? ¿Podemos agregar un predicado de cercanía eficientemente computable que dado hk(x)hk(x)h_k(x) y hk(y)hk(y)h_k(y) (o yyy en sí) nos dice si yyyestá muy cerca dexxx (por ejemplo, la distancia de Levenshtein o la distancia de …

8 complexity-theory  cryptography  hash  string-metrics  topology 

Dado un gráfico bipartito donde cada vértice está coloreado de rojo o azul, estoy tratando de minimizar el número de vértices azules usando la siguiente operación:G = ( A , B , E)G=(A,B,E)G = (A,B,E) Elija un vértice envunavav_aUNAAA Voltee los colores de , lo que significa que y todos …

8 algorithms  graphs 

Aquí está la fuente de mi pregunta. Dado un árbol de auto-equilibrio (AVL), codifique un método que devuelva la mediana. (Mediana: el valor numérico que separa la mitad superior de una muestra de datos de la mitad inferior. Ejemplo: si la serie es 2, 7, 4, 9, 1, 5, 8, …

8 data-structures  search-trees  selection-problem  balanced-search-trees