Ciencias de la Computación

Soy un programador con control sobre los autómatas, pero no sobre la lógica. Leí en periódicos que los dos están estrechamente relacionados. Los autómatas finitos deterministas (DFA), los autómatas de árbol y los autómatas visiblemente pushdown están todos relacionados con la lógica monádica de segundo orden (MSO). Aunque entiendo que …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

Una función heurística es ...h(n)h(n)h (n) Consistente si el costo estimado del nodo al objetivo no es mayor que el costo del paso para su sucesor n ' más el costo estimado del sucesor al objetivo.nnnn′n′n' Admisible si nunca sobreestima el costo real para el estado objetivo.h(n)h(n)h(n) El libro de …

13 algorithms  shortest-path  heuristics 

Parece que las "Expresiones regulares básicas" según lo definido por POSIX.1-2008 no admiten la alternancia a|b(aunque algunas implementaciones grep reconocen la versión escapada \|). Dado que los lenguajes regulares están cerrados bajo unión por definición, ¿significa esto que POSIX BRE tiene menos poder expresivo que un autómata finito? ¿O hay …

13 formal-languages  regular-expressions 

¿Hay algún cambio que se pueda hacer en las CPU para que funcionen mejor en tiempos de ejecución concurrentes como Rust? Por ejemplo, ¿hay cambios en las implementaciones de predicción de sucursales o en los tamaños de caché que ayudarían a los tiempos de ejecución concurrentes? Tengo la impresión de …

13 computer-architecture  concurrency  functional-programming 

Pensé que entendía el tipeo dependiente (DT) correctamente, pero la respuesta a esta pregunta: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-intuitionistic-type-theory me ha hecho pensar lo contrario. Después de leer sobre DT y tratar de entender lo que son, intento preguntarme, ¿qué ganamos con esta noción de DT? Parecen ser más flexibles y poderosos que …

13 logic  type-theory  intuition 

El conocido problema SAT se define aquí como referencia. El problema DOUBLE-SAT se define como DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} ¿Cómo demostramos que es NP-completo? Se apreciará más de una …

13 complexity-theory  np-complete  satisfiability 

La programación dinámica puede reducir el tiempo necesario para realizar un algoritmo recursivo. Sé que la programación dinámica puede ayudar a reducir la complejidad temporal de los algoritmos. ¿Las condiciones generales son tales que si un algoritmo recursivo lo satisface implicaría que el uso de la programación dinámica reducirá la …

13 algorithms  dynamic-programming  efficiency  algorithm-design 

Soy un novato (novato total en la teoría de la complejidad computacional) y tengo una pregunta. Digamos que tenemos 'Problema de vendedor ambulante', ¿lo resolverá la siguiente aplicación de los Algoritmos de Dijkstra? Desde un punto de inicio calculamos la distancia más corta entre dos puntos. Vamos al punto Eliminamos …

13 algorithms  graphs 

Cuando se informa la complejidad algorítmica de un algoritmo, se supone que los cálculos subyacentes se realizan en alguna máquina abstracta (por ejemplo, RAM) que se aproxima a una CPU moderna. Dichos modelos nos permiten informar la complejidad de algoritmos en el tiempo y el espacio. Ahora, con la propagación …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema de Computer Science Stack Exchange. Cerrado hace 2 años . Los tipos de AFAIU pueden ser Setcuyos elementos son programas o propositioncuyos elementos son …

13 dependent-types  coq 

Si tengo dos matrices y B , de dimensiones 1000 × 2 y 2 × 1000 , respectivamente, y quiero calcular ( A B ) 5000 , es más eficiente reescribir primero la expresión como A ( B A ) 4999 B y solo entonces evalúe numéricamente, porque A B …

13 optimization  dynamic-programming  linear-algebra 

Por lo que leí en el preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Esta es la definición de PTAS : Un esquema de aproximación de tiempo polinomial ( PTAS …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Pensé que esta pregunta se sirve mejor en la parte CS de Stack Exchange. Ahora que tenemos GPGPU con lenguajes como CUDA y OpenCL, ¿las extensiones multimedia SIMD (SSE / AVX / NEON) todavía tienen un propósito? Hace poco leí un artículo sobre cómo se podrían usar las instrucciones SSE …

13 computer-architecture  parallel-computing 

Nuestras computadoras actuales usan bits, por lo que usan el sistema de numeración binaria. Pero escuché que las futuras computadoras cuánticas usarán qubits en lugar de simples bits. Como en la palabra "qubit" está la palabra "bi", primero pensé que esto significaba que las computadoras cuánticas usarían binario (base 2). …

13 computer-architecture  quantum-computing  numeral-representations 

El problema No hay una manera fácil de obtener una permutación con una expresión regular. Permutación: Obtener una palabra ("aabc") en otro orden, sin cambiar el número o el tipo de letras.w=x1…xnw=x1…xnw=x_1…x_n Regex: expresión regular. Para verificar: "Permutaciones de expresiones regulares sin repetición" La respuesta crea un código JavaScript en …

13 formal-languages  regular-languages  regular-expressions