¿Me puede dar algunas sugerencias sobre un buen libro introductorio (pero completo) sobre Lógica y Computación? Algunos temas confusos que tengo en mente son: Presburger artihm., PA, ZF, ZFC, HOL Teoría de conjuntos, Teoría de tipos Computación de modelado (máquinas de Turing) en diferentes...
En el problema de la estación de servicio , se nos dan ciudades y carreteras entre ellas. Cada camino tiene longitud y cada ciudad define el precio del combustible. Una unidad de carretera cuesta una unidad de combustible. Nuestro objetivo es ir de una fuente a un destino de la manera más barata...
Estoy buscando una estructura de datos persistente similar a la matriz (pero inmutable), que permita operaciones rápidas de indexación, anexión, anteposición e iteración (buena localidad). Clojure proporciona Vector persistente, pero es solo para un apéndice rápido. Scala's Vector tiene...
¿Qué es un algoritmo de aproximación de bicriteria? Esto sigue apareciendo en el caso de la agrupación de flujo de datos. ¿Está esto relacionado con la optimización de objetivos múltiples? Aquí es donde lo encontré: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. El documento trata sobre una...
Entiendo que la mayoría de los problemas son triviales si hay un oráculo de detención disponible (o, creo, equivalentemente, hipercomputación). Sin embargo, aplicar el argumento que muestra que el problema de detención es imposible para una máquina de Turing también muestra que es imposible que un...
Durante una entrevista para un puesto de desarrollador de Java, me preguntaron lo siguiente: Escribe una función que tome dos parámetros: una cadena que representa un documento de texto y un número entero que proporciona la cantidad de artículos a devolver. Implemente la función de...
Me pregunto si hay duros que son "polinomiales" en el caso promedio. ¿Creo que hay dos formas de interpretar esto?NPNPNP Si , ¿puede haber un algoritmo que resuelva un problema duro con tiempo de ejecución amortizado (caso promedio) de para una constante ?N P O ( n k ) kP≠NPP≠NPP \neq...
Sea un problema de conteo que se sabe que es # -Complete .ΠΠ\PiPPP ¿ Implica que es duro (es decir, no existe PTAS para el problema a menos que
Estoy mirando el cálculo de construcciones y su lugar en el Cubo Lambda . Si entiendo correctamente, se puede pensar que cada eje del cubo agrega otra operación que involucra tipos al cálculo de tipo simple, . El primer eje agrega operadores de tipo a término, los segundos operadores de tipo a...
En el caso de los gráficos sin etiquetar, el problema del isomorfismo del gráfico puede abordarse mediante una serie de algoritmos que funcionan muy bien en la práctica. Es decir, aunque el peor tiempo de ejecución es exponencial, generalmente se tiene un tiempo de ejecución polinómico. Esperaba...
¿Es el problema de determinar si una expresión booleana dada es satisfactoriamente computacionalmente distinta de encontrar realmente una solución a la expresión? En otras palabras, ¿hay otra forma de encontrar que una expresión dada es satisfactoria sin determinar explícitamente la 'configuración...
He leído que los sistemas operativos como Android e iOS están optimizados de alguna manera para mejorar la duración de la batería. Según tengo entendido, una CPU ejecuta una cierta cantidad de operaciones en un tiempo determinado, por lo que creo que puede acelerar las aplicaciones reduciendo la...
Digamos, por ejemplo, que estoy procesando cadenas que requieren un análisis de dos cadenas. No he dado información sobre cuáles podrían ser sus longitudes, por lo que provienen de dos familias distintas. ¿Sería aceptable llamar a la complejidad de un algoritmo u (dependiendo de si usamos un...
¿Hay algún algoritmo conocido que muestre correctamente "sí" a un problema NP-completo sin generar implícitamente un certificado? Entiendo que es sencillo convertir un oráculo de satisfacción en un buscador de asignación satisfactoria: simplemente repita las variables, pidiéndole al oráculo de...
El ésimo número de Fibonacci se puede calcular en tiempo lineal utilizando la siguiente recurrencia:nortenn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i El ésimo número de Fibonacci también puede calcularse como [ φ n / √nortenn. Sin embargo, esto tiene problemas con...
Sé que es una tontería, pero logré confundirme y necesito ayuda para resolver esto Suponga que P=NPP=NPP=NP , entonces claramente para cada oráculo AAA tenemos PA=NPAPA=NPAP^A=NP^A que contradice el hecho de que existe algún oráculo AAA para el cual PA≠NPAPA≠NPAP^A\neq NP^A , de ahí P≠NPP≠NPP\neq...
Estoy tratando de reproducir las redes sintéticas (gráficos) descritas en algunos documentos. Se afirma que el modelo Barabasi-Albert se utilizó para crear "redes sin escala con distribuciones de grado de ley de potencia, ".PAGUNA( k ) ∝ k- λPA(k)∝k−λP_A(k) ∝ k^{-λ} es una distribución de...
Soy un estudiante principiante de CS y estoy aprendiendo algoritmos. Escuché que incluso con las computadoras cuánticas, los algoritmos generales de clasificación nunca pueden ser mejores que time. Sin embargo, también sé que los algoritmos de factorización serían mucho más rápidos. En términos...
Lo que sabemos es que π es infinito y es muy probable que contenga todas las cadenas de dígitos finitos posibles ( secuencia disyuntiva ). Recientemente he visto algún prototipo de πfs que supone que cada archivo que ha creado (o cualquier otra persona) o que creará, ya está allí, por lo que es...
Me pregunto si hay un algoritmo polinómico para "2-SAT con relaciones XOR". Tanto 2-SAT como XOR-SAT están en P, pero ¿es su combinación? Entrada de ejemplo: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b xor c xor d) En otras palabras, la entrada es...