Ciencias de la Computación

Estoy tratando de estimar la complejidad de un algoritmo que he escrito para el descompilador Reko , donde estoy tratando de "deshacer" la transformación realizada por un compilador a una división entera por una constantex / nX/ /nortex / n. El compilador ha convertido la división en una multiplicación entera …

8 algorithm-analysis  runtime-analysis  numerical-algorithms 

Entiendo lo que es, pero no veo cómo sirve para algoritmos ni nada. Tal vez me estoy perdiendo algo. Necesito que alguien me dé un ejemplo de cómo se puede usar para poder entenderlo mejor.

8 algorithms  lambda-calculus  combinatory-logic 

Pensé que cualquier FOT es un subconjunto de FOL, pero ese no parece ser el caso, porque FOL está completo (cada fórmula es válida o inválida), mientras que algunos FOT (como la aritmética de enteros lineales) no están completos. Entonces, ¿es FOL más expresivo que cualquiera de FOT? O incomparable? …

8 logic  first-order-logic 

Me sorprendería si este no es un problema bien estudiado, pero no estoy seguro de qué más buscar en este momento: se le da un conjunto de -vectores binarios . El problema es encontrar otro conjunto de -vectores binarios , con un tamaño mínimo, de modo que cada vector en …

8 complexity-theory  arithmetic  matrices  linear-algebra 

Básicamente, mi pregunta se da en tres idiomas A, B y L, donde L es A y B concatenados juntos y se demuestra que B no es regular, ¿es posible encontrar una A que haga L regular?

8 formal-languages  regular-languages 

Pruebas de identidad polinomio es el ejemplo típico de un problema conocido para estar en co-RP , pero no se sabe que en P . Sobre los circuitos aritméticos , de hecho parece difícil, ya que el grado del polinomio puede hacerse exponencialmente grande mediante la cuadratura repetida. Esta pregunta …

8 randomized-algorithms  polynomial-time  circuits 

No he podido encontrar un gráfico que represente o un texto que responda a la siguiente pregunta: ¿Existe una relación directa entre la complejidad de un algoritmo (como el mejor / peor caso de clasificación rápida) y la clase de autómatas que pueden implementar el algoritmo. Por ejemplo, ¿hay un …

8 complexity-theory  automata  reference-request  complexity-classes 

Hice el siguiente programa de Haskell (sin golf) para el desafío del código de golf de calcular los primeros valores de A229037 .nnn Esta es mi propuesta de solución para calcular el º valor:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) …

8 algorithm-analysis  runtime-analysis  recurrence-relation  recursion 

¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de detención?

8 computability  reference-request  undecidability 

Esta pregunta es bastante específica en la forma de los pasos tomados para resolver el problema. Dado prueba que .T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=O(n2)T(n)=O(n2)T(n)=O(n^2) Entonces los pasos fueron los siguientes. Queremos demostrar que .T(n)≤cn2T(n)≤cn2T(n) \le cn^2 T(n)=2T(2n/3)+O(n)≤2c(2n/3)2+an≤(8/9)(cn2)+anT(n)=2T(2n/3)+O(n)≤2c(2n/3)2+an≤(8/9)(cn2)+an\begin{align*} T(n)&=2T(2n/3)+O(n) \\ &\leq 2c(2n/3)^2+an\\ &\leq (8/9)(cn^2)+an \end{align*} y luego mi profesor continuó: T(n)≤cn2+(an−(1/9)cn2),T(n)≤cn2+(an−(1/9)cn2),T(n) \leq cn^2+(an-(1/9)cn^2)\,, que sale …

8 asymptotics  recurrence-relation 

Estaba leyendo CLRS y me pidió que mostrara que si es un primo de la forma y era un residuo cuadrático, entonces es una raíz cuadrada (también se puede mostrar fácilmente que es una raíz cuadrada).ppp4k+34k+34k+3aaaak+1ak+1a^{k+1}a−ka−ka^{-k} Me preguntaba si usar el hecho anterior y también que sabíamos que teníamos un …

8 algorithms  algorithm-analysis  randomized-algorithms  number-theory 

El problema de paridad de prefijo se puede definir de la siguiente manera. Te dan una cuerdaSSS de longitud nnn e inicialmente cada personaje es 000. Luego, desea crear una estructura de datos que pueda admitir actualizaciones como las siguientes. Para una dada iii cambio S[i]S[i]S[i] a cualquiera 000 o …

8 algorithms  algorithm-analysis  search-algorithms  lower-bounds 

Si es computable y tiene un inverso, ¿bajo qué condiciones es también computable? No pude encontrar eso en un libro de texto, y googlear tiene algunas sugerencias vagas sobre bijective, pero no pude encontrar un teorema claramente establecido a tal efecto. De antemano, el bijective parece suficiente pero no necesario, …

8 computability 

Así que acabamos de aprender sobre la auto-reducibilidad en clase. Mi profesor y nuestro libro de texto no se comprometerían a decir que todos los problemas en NP son auto reducibles, pero no parece haber ningún ejemplo de problemas que no lo sean. Me preguntaba si hay algún ejemplo, o …

8 complexity-theory  reductions  decision-problem  np 

Tenemos dos idiomas: . Sabemos que es un lenguaje regular, por lo que mi pregunta es si es regular.L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Trato de encontrar una manera de demostrarlo ... No puedo suponer, por supuesto, que son regulares ... Así que busco una forma de demostrarlo. L1,L2L1,L2L_1,L_2 Me gustaría obtener alguna pista! ¡Gracias!

8 formal-languages  regular-languages  closure-properties