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í mismo la respuesta...
¿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...
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...
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...
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...
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...
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...
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
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 p > 0: fun (r, k - 1, d, p - 1) La llamada raíz será fun (0, 0, n, n), y nes el...
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...
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 datos,...
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...
Así que acabamos de aprender sobre la auto-reducibilidad en clase. Mi profesor y nuestro libro de texto no se comprometerían a decir que todos los problemas en NP son auto reducibles, pero no parece haber ningún ejemplo de problemas que no lo sean. Me preguntaba si hay algún ejemplo, o si es solo...
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, no existe...
Si es computable y tiene un inverso, ¿bajo qué condiciones es también computable? No pude encontrar eso en un libro de texto, y googlear tiene algunas sugerencias vagas sobre bijective, pero no pude encontrar un teorema claramente establecido a tal efecto. De antemano, el bijective parece...
Tenemos dos idiomas: . Sabemos que es un lenguaje regular, por lo que mi pregunta es si es regular.L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Trato de encontrar una manera de demostrarlo ... No puedo suponer, por supuesto, que son regulares ... Así que busco una forma de demostrarlo....
Esta pregunta es bastante específica en la forma de los pasos tomados para resolver el problema. Dado prueba que .T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=O(n2)T(n)=O(n2)T(n)=O(n^2) Entonces los pasos fueron los siguientes. Queremos demostrar que .T(n)≤cn2T(n)≤cn2T(n) \le...
Estaba leyendo CLRS y me pidió que mostrara que si es un primo de la forma y era un residuo cuadrático, entonces es una raíz cuadrada (también se puede mostrar fácilmente que es una raíz cuadrada).ppp4k+34k+34k+3aaaak+1ak+1a^{k+1}a−ka−ka^{-k} Me preguntaba si usar el hecho anterior y también que...
El problema de paridad de prefijo se puede definir de la siguiente manera. Te dan una cuerdaSSS de longitud nnn e inicialmente cada personaje es 000. Luego, desea crear una estructura de datos que pueda admitir actualizaciones como las siguientes. Para una dada iii cambio S[i]S[i]S[i] a...
¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de