Ciencias de la Computación

Recientemente he pensado la siguiente prueba de que L = P implica P = NP. Supongamos que L = P. Deje que A sea un problema en NP. Según la definición del verificador de NP, cada solución positiva a A tiene un testigo que puede verificarse en tiempo polinómico. Como …

8 complexity-theory  p-vs-np 

¡Yo! Esta es probablemente una pregunta estúpida, sin embargo, nunca lo he visto escrito explícitamente si, por ejemplo, la capacidad de decisión de la verificación de tipo es equivalente a la propiedad de normalización fuerte. Por lo tanto, hago esta pregunta para aclarar todas las relaciones posibles entre la verificación …

8 type-theory  type-checking  type-inference 

Me pregunto si hay funciones útiles asintóticamente mayores que una función pollogarítmica y menores que una función polinómica. Es decir, una función F( n )f(n)f(n) tal que f(n)=ω(log(n)k)f(n)=ω(log⁡(n)k)f(n) = \omega(\log(n)^k) por alguna constante k>0k>0k > 0 y f(n)=o(nk)f(n)=o(nk)f(n) = o(n^k) por alguna constante k>0k>0k > 0 Lo que quiero decir …

8 asymptotics 

Esto es algo que no pude encontrar, pero siempre me pareció interesante que el lema de bombeo sea solo un lema (especialmente porque tiene el mismo nombre para idiomas normales, idiomas libres de contexto, etc.) ¿Para qué es un lema?

8 complexity-theory  regular-languages  finite-automata 

Estoy estudiando sistemas de tipos puros, particularmente el cálculo de construcciones, y tratando de usar una codificación para tipos recursivos, lo que, según Philip Wadler, es posible . Como ejemplo, estoy usando la biblioteca Morte Haskell para codificar los números de Scott tal como los da Cardelli . Un resumen …

8 lambda-calculus  type-theory 

Mi algoritmo inicial: Compare el elemento 0 con cualquier otro elemento, haciendo un seguimiento de cuántos elementos son menores. Repita para cada elemento hasta que se encuentre un elemento que sea mayor que exactamente (k-1). Supongo que esto tomaría en el peor de los casos. ¿Se puede lograr un tiempo …

8 search-algorithms  lists 

Como se dijo, quiero construir un programa para generar n puntos equidistantes en un espacio euclidiano. Por lo que sé 1d: todos los puntos 2d: todos los triángulos equiláteros 3d: todos los tetraedros equiláteros hasta 3d: supongo que se llama hipertriangulo equilátero Entonces, mi problema es el siguiente, en un …

8 computational-geometry 

Recientemente aprendí sobre Q-learning, una técnica de aprendizaje de refuerzo que estima directamente el valor esperado de tomar una acción en un estado. Me pregunto si existen técnicas para hacer "aprendizaje dinámico", para estimar la dinámica de un sistema. Un agente de "aprendizaje dinámico" podría elegir acciones que lo ayuden …

8 machine-learning  physics 

Estoy tratando de entender cómo puedo ordenar una matriz de elementos cuando solo no está en su lugar.nortenortenIniciar sesiónnorteIniciar sesión⁡norte\log n Escuché que ordenar una matriz con a lo sumo inversiones tiene complejidad . Debido a que hay elementos que no están clasificados, en mi caso, a lo sumo, hay …

8 sorting 

Dado un DFA, A, deje que L (A) denote el número de palabras que A acepta. Creo que es fácil calcular L (A): traducir la codificación de A a una expresión regular. Si la estrella de Kleene aparece en algún lugar de la expresión, el lenguaje es infinito. De lo …

8 regular-languages  automata  regular-expressions 

Tengo la siguiente pregunta. ¿Los solucionadores SAT son deterministas? Me refiero, por ejemplo, al algoritmo miniSAT y DPLL . ¿Son completamente deterministas? Si estos algoritmos devolverán unSAT, ¿significa que ciertamente la solución no existe?

8 algorithms  logic  satisfiability  sat-solvers 

Mi pregunta es la siguiente. Suponga que es un problema NP-hard. Dada una instancia arbitraria de y suponiendo que un adversario sabe que esta instancia es fácil de resolver, ¿es posible encontrar un algoritmo determinista de tiempo polinómico para resolver esta instancia particular ?ΠΠ\PiIIIΠΠ\PiIII Por ejemplo: supongamos que es COLORACIÓN …

8 complexity-theory  np-complete  np-hard  np  p-vs-np 

Estoy leyendo el lenguaje de programación Rust y encontré el siguiente pasaje: Recuerde que escribir en una estructura no es una operación atómica, y muchas funciones como vec.push()pueden reasignarse internamente y causar un comportamiento inseguro, por lo que incluso la monotonicidad puede no ser suficiente para justificar UnsafeCell Simplemente apareció …

8 programming-languages  synchronization 

Asumiendo yyy es una variable booleana en un programa ILP (es decir y∈Zy∈Zy \in Z, S t 0&lt;=y&lt;=10&lt;=y&lt;=10 <= y <= 1) y x1x1x_1, x2x2x_2 son variables enteras limitadas entre 000 y MMM. Quiero codificar la siguiente restricción de alto nivel: y=1⟺x1≤x2y=1⟺x1≤x2y = 1 \iff x_1 \le x_2 Hasta ahora …

8 integer-programming 

Una vez que arreglamos un verificador determinista de tiempo polinomial V (entrada, certificado), su problema NP correspondiente es la pregunta: para esta entrada, ¿existe un certificado (tamaño polinómico) tal que V (entrada, certificado) devuelva Verdadero? El problema de conteo asociado (clase #P) es: ¿Cuántos certificados existen de modo que V …

8 complexity-theory