Ciencias de la Computación

Tengo un problema con este ejercicio: Sea G la siguiente gramática ambigua para el cálculo λ: E → v | λv.E | EE | (E) donde E es el símbolo único no terminal, λv.E representa la abstracción wrt la variable v en E, y EE representa la aplicación. Defina una …

13 context-free  formal-grammars  compilers  parsers 

¿Cuál es la complejidad de MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} y MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? ¿Están en P? ¿Son NP-hard? Para formalizar esto más precisamente, dejemos Φ ( x ) = ∧norteyoCyo,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, donde x =( x1, ... , xmetro)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) y cada cláusula CyoCiC_i tiene la forma (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) o (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg …

13 complexity-theory  optimization  np-hard  satisfiability 

Leí acerca de NPC y su relación con PSPACE y deseo saber si los problemas de NPC se pueden resolver de manera determinista utilizando un algoritmo con el requisito de espacio polinomial en el peor de los casos, pero potencialmente tomando tiempo exponencial (2 ^ P (n) donde P es …

12 complexity-theory  np-complete  np 

En el wiki de haskell hay el siguiente ejemplo de uso condicional de la mónada IO (ver aquí) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Tenga en cuenta que en este ejemplo, la definición …

12 programming-languages  functional-programming  haskell 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté en el tema de Computer Science Stack Exchange. Cerrado hace 10 meses . Python usa muy bien la sangría para definir sintácticamente bloques de código. (Ver declaraciones …

12 programming-languages  python  syntax 

Si una función tiene un tipo de retorno de ⊥ ( tipo inferior ), eso significa que nunca regresa. Puede, por ejemplo, salir o lanzar, ambas situaciones bastante comunes. Presumiblemente, si una función tuviera un parámetro de tipo ⊥, nunca podría llamarse (con seguridad). ¿Hay alguna razón para definir tal …

12 type-theory  type-checking 

Las definiciones de las máquinas de Turing son siempre explícitas sobre el símbolo en blanco que no forma parte del alfabeto de entrada. Me pregunto qué sale mal cuando lo harías parte del alfabeto de entrada, porque efectivamente el símbolo en blanco ya parece ser parte de la entrada. Para …

12 turing-machines 

Suponiendo que tenemos un problema pagpp y mostramos que el límite inferior para resolver pagpp es Ω ( 2norte)Ω(2n)\mathcal{\Omega}(2^n) . ¿puede el límite inferior Ω ( 2norte)Ω(2n)\mathcal{\Omega}(2^n) implica el problema en nortePAGNPNP ?

12 time-complexity  np-complete 

Dadas dos cadenas S1,S2S1,S2S_1, S_2 , escribimos S1S2S1S2S_1S_2 para su concatenación. Dada una cadena SSS y número entero k≥1k≥1k\geq 1 , escribimos (S)k=SS⋯S(S)k=SS⋯S(S)^k = SS\cdots S para la concatenación de kkk copias de SSS . Ahora dada una cadena, podemos usar esta notación para 'comprimirla', es decir, AABAABAABAABAABAAB puede escribirse …

12 dynamic-programming  word-combinatorics 

Sé que diferentes autores usan notación diferente para representar la semántica del lenguaje de programación. De hecho, Guy Steele aborda este problema en un video interesante . Me gustaría saber si alguien sabe si el operador principal de torniquetes tiene un significado bien reconocido. Por ejemplo, no entiendo el operador …

12 type-theory  denotational-semantics 

Estoy tratando de construir una lista de algoritmos / problemas que son "excepcionalmente útiles", como resolver problemas que 'parecen' muy exponenciales en la naturaleza, pero que tienen un algoritmo particularmente inteligente que finalmente los resuelve. Ejemplos de lo que quiero decir: Programación lineal (El algoritmo simplex es tiempo exponencial; ¡llevó …

12 complexity-theory  polynomial-time  efficiency 

Brainfuck es un lenguaje de programación completo de Turing que usa solo 8 símbolos (6 si ignora las E / S). Los dos más notables que lo empujan a la integridad de Turing son [y ], esencialmente, la etiqueta y el goto de Brainfuck. Normalmente, los programas en Brainfuck usan …

12 turing-completeness 

Viene desde la perspectiva de big data. Básicamente, muchos frameworks (como Apache Spark) "compensan" la falta de operaciones relacionales al proporcionar interfaces similares a Functor / Monad y hay un movimiento similar hacia las conversiones de gatos a SQL (Slick in Scala). Por ejemplo, necesitamos una unión natural (suponiendo que …

12 relational-algebra  category-theory  curry-howard 

Me dieron el siguiente problema en una entrevista (que ya no pude resolver, sin tratar de engañarme): El juego comienza con un número entero positivo . (Por ejemplo, A 0 = 1234. ) Este número se convierte en representación binaria, y N es el número de bits establecido en 1 …

12 algorithms  optimization 

Estaba leyendo la pregunta ¿ Consistencia e integridad implican solidez? y la primera declaración dice: Entiendo que la solidez implica consistencia. Lo que me intrigó bastante porque pensé que la solidez era una afirmación más débil que la consistencia (es decir, pensé que los sistemas consistentes tenían que ser sólidos, …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness