Ciencias de la Computación

Estoy familiarizado con una docena de lenguajes de programación que tienen excepciones de alguna manera, sin embargo, llegué a ser testigo de dos tendencias "patológicas". No parece haber un patrón común o jerarquía de excepciones. Básicamente, cada idioma presenta su propia versión, y si las excepciones se convierten en el …

18 terminology  programming-languages  api-design 

Si tengo un problema difícil, un enfoque estándar es expresarlo como una instancia SAT e intentar ejecutar un solucionador SAT en él. Otro enfoque estándar es expresarlo como un problema de satisfacción de restricciones e intentar usar un solucionador CSP. Los dos se sienten de alguna manera vagamente similares en …

18 heuristics  sat-solvers  constraint-programming 

Tiene una matriz de elementos distintos. Tiene acceso a un comparador (una función de la caja negro teniendo dos elementos un y b y devolver verdadero si y sólo si un < b ) y una fuente verdaderamente aleatoria de bits (una función de la caja negro sin argumentos y …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

Soy nuevo en este foro y solo soy un físico que hace esto para mantener su cerebro en forma, así que por favor muestre gracia si no uso el lenguaje más elegante. También deje un comentario, si cree que otras etiquetas serían más apropiadas. Estoy tratando de resolver este problema …

18 graph-theory  combinatorics  check-my-proof 

Dado un lenguaje regular , entonces es fácil demostrar que hay una constante tal que es , con existen cadenas , y manera que y , y para todo esLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma|αβ|≤N|αβ|≤N\lvert \alpha \beta \rvert \le N|β|≠ϵ|β|≠ϵ\lvert \beta \rvert \ne \epsilonkkkαβkγ∈Lαβkγ∈L\alpha \beta^k \gamma \in L. Se …

18 formal-languages  proof-techniques 

Dado un matriz A . Deje que la matriz inversa de A sea A - 1 (es decir, A A - 1 = I ). Suponga que un elemento en A cambia (digamos a i j a a ′ i j ). El objetivo es encontrar A - 1 después …

18 algorithms  numerical-analysis  online-algorithms 

En su libro Algoritmos aleatorios , Motwani y Raghavan abren la introducción con una descripción de su función RandQS - Randomized quicksort - donde el pivote, utilizado para dividir el conjunto en dos partes, se elige al azar. He estado estacionando mis cerebros (ciertamente algo poco poderosos) sobre esto durante …

18 algorithm-analysis  sorting  randomized-algorithms 

Últimamente he estado estudiando la Maximización de Expectativas y obtuve algunos ejemplos simples en el proceso: A partir de aquí : Hay tres monedas , y con , y la probabilidad respectiva para aterrizar en la cabeza cuando se arrojó. Lanzar . Si el resultado es Cabeza, tres veces, de …

18 probability-theory  statistics 

Wikipedia lo define como Se dice que un algoritmo es de tiempo polinómico si su tiempo de ejecución está limitado por una expresión polinómica en el tamaño de la entrada para el algoritmo, es decir, para alguna constante k.T( n ) = O ( nk)T(norte)=O(nortek)T(n) = O(n^k) El algoritmo se …

18 complexity-theory 

Empecé a leer más y más trabajos de investigación lingüística. Me parece muy interesante y una buena manera de aprender más sobre la programación en general. Sin embargo, generalmente viene una sección en la que siempre lucho (tome, por ejemplo, la tercera parte de esto ) ya que no tengo …

18 logic  reference-request  terminology  type-theory 

Los libros de texto en todas partes suponen que el problema de la correspondencia posterior a los límites está completo para NP (no se permiten más de índices con repeticiones). Sin embargo, en ninguna parte se muestra una reducción de tiempo polinomial simple (como en algo que un estudiante universitario …

18 complexity-theory  np-complete  reductions 

Como se desprende de mi pregunta anterior , he estado jugando con la hipótesis de Riemann como una cuestión de matemática recreativa. En el proceso, he llegado a una recurrencia bastante interesante, y tengo curiosidad por su nombre, sus reducciones y su capacidad de seguimiento hacia la capacidad de solución …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

¿Se pueden resolver los problemas de "asistencia a la fiesta" en Prolog? Por ejemplo: Burdock Muldoon y Carlotta Pinkstone dijeron que vendrían si venía Albus Dumbledore. Albus Dumbledore y Daisy Dodderidge dijeron que vendrían si viniera Carlotta Pinkstone. Albus Dumbledore, Burdock Muldoon y Carlotta Pinkstone dijeron que vendrían si venía …

18 logic  constraint-programming  prolog  logic-programming 

La teoría existencial de los Reales está en PSPACE , pero no sé si es PSPACE-Complete . Si creo que no es así, ¿cómo podría probarlo? De manera más general, dado un problema en cierta complejidad clase X , ¿cómo puedo demostrar que es no X-Completa ? Por ejemplo, X …

18 complexity-theory  proof-techniques 

En pocas palabras, si uno construyera un dispositivo de computación cuántica con el poder de, digamos, 20 qubits, ¿podría usarse una computadora de este tipo para hacer inútil cualquier tipo de algoritmo hash moderno? ¿Sería posible aprovechar el poder de la computación cuántica en una aplicación informática tradicional?

18 cryptography  quantum-computing  hash