Ciencias de la Computación

Se sabe que el lenguaje de las palabras que contienen el mismo número de 0 y 1 no es regular, mientras que el lenguaje de las palabras que contienen el mismo número de 001 y 100 es regular ( ver aquí ). Dadas dos palabras , ¿es decidible si el …

14 regular-languages  undecidability 

Necesito construir un gráfico expansor d-regular para algunos pequeños d fijos (como 3 o 4) de n vértices. ¿Cuál es el método más fácil para hacer esto en la práctica? ¿Construir un gráfico d-regular aleatorio, que se ha demostrado que es un expansor? También leí sobre las construcciones de Margulis …

14 graph-theory  combinatorics  cryptography  discrete-mathematics  expanders 

Quiero saber si el siguiente problema es decidible: Instancia: un NFA A con n estados Pregunta: ¿Existe algún número primo p tal que A acepte alguna cadena de longitud p. Creo que este problema es indecidible, pero no puedo probarlo. El decisor puede tener fácilmente un algoritmo para determinar si …

14 computability  finite-automata 

Supongamos que se nos dan enteros distintos , de modo que para alguna constante , y para todo .nnna1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_n0≤ai≤kn0≤ai≤kn0 \le a_i \le knk>0k>0k \gt 0iii Estamos interesados ​​en encontrar los recuentos de todas las sumas por parejas posibles . ( está permitido).Sij=ai+ajSij=ai+ajS_{ij} = a_i + a_ji=ji=ji = …

14 algorithms  time-complexity  fourier-transform 

Orden de aplicación: siempre evalúe completamente los argumentos de una función antes de evaluar la función en sí, como - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow …

14 logic  lambda-calculus  normal-forms 

Dado un tubo con bolas numeradas (al azar). El tubo tiene agujeros para quitar una pelota. Considere los siguientes pasos para una operación: Puede elegir una o más bolas de los agujeros y recordar el orden en que las recogió. Debe inclinar la tubería hacia el lado izquierdo para que …

14 sorting  permutations 

He realizado algunas pruebas de diferentes temperaturas iniciales en mi algoritmo de recocido de simulación y noté que la temperatura inicial tiene un efecto en el rendimiento del algoritmo. ¿Hay alguna forma de calcular una buena temperatura inicial?

14 optimization  artificial-intelligence  heuristics 

Soy un graduado que no es CS y mi campo de estudio no está relacionado con CS. Sin embargo, como parte de un plan más amplio para convertirse en un científico de la computación, quiero obtener una sólida formación en informática teórica y matemáticas en lo que se refiere a …

14 books 

Estoy tratando de resolver un problema gráfico (no es para la tarea, solo para practicar mis habilidades). Se da un DAG , donde es el conjunto de vértices y los bordes. El gráfico se representa como una lista de adyacencia, por lo que A v es un conjunto que contiene …

14 algorithms  graph-theory  graphs 

El algoritmo Bellman-Ford determina la ruta más corta desde una fuente a todos los demás vértices. Inicialmente, la distancia entre todos los demás vértices se establece en . Luego se calcula la ruta más corta desde hasta cada vértice; esto continúa para las iteraciones . Mis preguntas son:ssssss∞∞\inftysssEl |VEl | …

14 algorithms  shortest-path 

Si de hecho es igual a N P , ¿cómo mejoraría esto nuestros algoritmos para factorizar enteros más rápido? En otras palabras, ¿qué tipo de información nos daría este hecho para comprender mejor la factorización de enteros?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Me gustaría saber si hay una función de números de n bits a números de n bits que tenga las siguientes características:fff fff debe ser biyectivo Tanto como deben calcularse bastante rápidof - 1ffff−1f−1f^{-1} fff debería devolver un número que no tenga una correlación significativa con su entrada. La razón …

14 binary-trees  hash  binary-arithmetic 

Tengo un grupo de n conjuntos para los que necesito calcular una especie de valor de "unicidad" o "similitud". Me decidí por el índice Jaccard como una métrica adecuada. Desafortunadamente, el índice Jaccard solo opera en dos conjuntos a la vez. Para calcular la similitud entre todos los conjuntos, será …

14 algorithms  time-complexity 

De Wikipedia sobre algoritmos aleatorios Hay que distinguir entre algoritmos que usan la entrada aleatoria para reducir el tiempo de ejecución esperado o el uso de memoria, pero siempre terminan con un resultado correcto en una cantidad limitada de tiempo, y algoritmos probabilísticos , que, dependiendo de la entrada aleatoria, …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Planar 3SAT es NP-completo. Una instancia plana de 3SAT es una instancia de 3SAT para la cual el gráfico creado con las siguientes reglas es plano: agregue un vértice para cada yXyoXyox_iXyo¯Xyo¯\bar{x_i} agregue un vértice para cada cláusulaCjCjC_j añadir una ventaja para todos los par( xyo, xyo¯)(Xyo,Xyo¯)(x_i,\bar{x_i}) agregue un borde …

14 np-complete  reductions  satisfiability  3-sat