Ciencias de la Computación

¿Aceptar significa que el TM leerá y reconocerá un carácter de la celda de la que está leyendo actualmente? ¿Y es el caso de que una TM se detenga si la entrada es decidible?

10 terminology  turing-machines  undecidability 

Estoy buscando una especialización en Informática Teórica; específicamente, estoy interesado en la teoría de la complejidad y la teoría probabilística de autómatas. Al graduarme en un año, ¿qué cursos avanzados de matemáticas (como la teoría de Galois o el análisis armónico, por ejemplo) crees que serían útiles para tomar en …

10 complexity-theory  automata  education 

Leí en Wikipedia que la unificación es un proceso para resolver el problema de la satisfacción. Al mismo tiempo, sé que tales solucionadores se llaman "solucionadores SAT" o "solucionadores SMT". Entonces, ¿son nombres diferentes para la misma cosa? Si dice que son diferentes, señale una falla en mi tratamiento.

10 terminology  sat-solvers  unification 

Me confundí al resolver el siguiente problema (preguntas 1–3). Pregunta Un montón d -ary es como un montón binario, pero (con una posible excepción) los nodos no hoja tienen d hijos en lugar de 2 hijos. ¿Cómo se representan una d montón ary en una matriz? ¿Cuál es la altura …

10 data-structures  time-complexity  runtime-analysis 

Estoy buscando un algoritmo rápido de coincidencia de cadenas k-incompatibilidad. Dada una cadena de patrón P de longitud m, y una cadena de texto T de longitud n, necesito un algoritmo rápido (tiempo lineal) para encontrar todas las posiciones donde P coincida con una subcadena de T con a lo …

10 algorithms  reference-request  strings  string-metrics  substrings 

En la demostración del teorema de resolución, normalmente se supone que las variables en diferentes cláusulas son distintas. Esto no es algo que sucede automáticamente; requiere un código adicional significativo y computación para implementar. Dado eso, estoy buscando un caso de prueba para ello. El problema es que, en todos …

10 logic  automated-theorem-proving 

En Wikipedia , se proporciona una implementación para el esquema de programación dinámica ascendente para la distancia de edición. No sigue la definición completamente; Las células internas se calculan así: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

¿Cuál es la complejidad de la computación ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Suponga que es un lenguaje regular sobre un alfabeto ordenado. ¿Se construye el lenguaje tomando cada palabra en y clasificándola siempre como un lenguaje normal?LLLLLL

10 formal-languages  regular-languages 

No estoy seguro si esta pregunta pertenece aquí y me disculpo si no. Lo que estoy buscando hacer es desarrollar una forma programática en la que pueda determinar probabilísticamente si una cadena dada "pertenece" en una bolsa de cadenas. Por ejemplo, si tengo una bolsa de 10,000 nombres de ciudades …

10 algorithms  reference-request  string-metrics 

Está comprobado que las redes neuronales con pesos racionales tienen el poder computacional de la máquina universal de Turing Computabilidad de Turing con redes neuronales . De lo que obtengo, parece que el uso de pesos con valor real produce aún más poder computacional, aunque no estoy seguro de esto. …

10 computability  neural-networks 

\newcommand\ldotd{\mathinner{..}} Dado que A [ 1 . . n ]A[1..n]A[1\ldotd n] son enteros tales que 0 ≤ A [ k ] ≤ m0≤A[k]≤m0\le A[k]\le m para todos 1 ≤ k ≤ n1≤k≤n1\le k\le n , y la aparición de cada uno número excepto un número particular en A [ 1 …

10 algorithms  search-algorithms 

¿Existe alguna definición formal sobre la altura promedio de un árbol binario? Tengo una pregunta tutorial sobre cómo encontrar la altura promedio de un árbol binario usando los siguientes dos métodos: La solución natural podría ser tomar la longitud promedio de todos los caminos posibles desde la raíz hasta una …

10 graph-theory  terminology  combinatorics  binary-trees 

En el contexto de nuestra investigación de los autómatas del montón , me gustaría demostrar que una variante particular no puede aceptar lenguajes no sensibles al contexto. Como no tenemos un modelo gramatical equivalente, necesito una prueba que use solo autómatas; por lo tanto, tengo que demostrar que los autómatas …

10 automata  pushdown-automata 

La pregunta es el ejercicio 1.9 del libro de Arora-Barak Complejidad computacional: un enfoque moderno : Defina una máquina RAM Turing para que sea una máquina Turing que tenga memoria de acceso aleatorio. Formalizamos esto de la siguiente manera: la máquina tiene una matriz infinita A que se inicializa en …

10 complexity-theory  turing-machines  machine-models  simulation