Ciencias de la Computación

Según el artículo de Wikipedia sobre esquemas de aproximación de tiempo polinomial : Todos los problemas en FPTAS son manejables de parámetros fijos. Este resultado me sorprende: estas clases parecen ser totalmente diferentes entre sí. FPTAS caracteriza los problemas por su facilidad de aproximación, mientras que FPT caracteriza los problemas …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Estoy trabajando en algoritmos de búsqueda de cadenas que admiten la búsqueda de patrones múltiples. Encontré dos algoritmos que parecen ser los candidatos más fuertes en términos de tiempo de ejecución, a saber, Aho-Corasick y Rabin-Karp . Sin embargo, no pude encontrar ninguna comparación exhaustiva entre los dos algoritmos. ¿Qué …

11 algorithms  algorithm-analysis  runtime-analysis  strings 

Estoy leyendo Sipser y me resulta difícil entender cuál es el proceso, de modo que si me das k máquinas Turing con k cintas, puedo escupir una máquina Turing equivalente con una sola cinta. Un ejemplo sería bueno. En realidad, lo que realmente estoy buscando es un ejemplo resuelto que …

11 turing-machines  simulation 

Lo siento si esta pregunta tiene alguna respuesta trivial que me falta. Cada vez que estudio algún problema que se ha demostrado que es indecidible, observo que la prueba se basa en una reducción a otro problema que se ha demostrado que es indecidible. Entiendo que crea algún tipo de …

11 computability  reductions  undecidability 

Estoy construyendo un categorizador de texto para oraciones cortas. Además de decirle al usuario "la categoría del texto que ingresó es C", quiero poder explicar por qué tomé esta decisión, de una manera breve y comprensible. Por ejemplo, no quiero decirle al usuario "Pongo tu oración en una red neuronal …

11 machine-learning  classification 

Mi problema. Dado , quiero contar el número de conjuntos múltiples válida . Un multiset es válido sinnnSSSSSS La suma de los elementos de es , ySSSnnn Cada número de a se puede expresar de forma única como una suma de algunos de los elementos de .111nnnSSS Ejemplo. Por ejemplo, …

11 algorithms  integers 

¿Está el siguiente problema NP-completo? (Asumo que sí). Entrada: un gráfico no dirigido en el que el conjunto de bordes puede descomponerse en dos ciclos simples separados por bordes (estos no son parte de la entrada).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pregunta: ¿Hay un ciclo simple en GGG con una longitud mayor que …

11 graph-theory  np-complete  decision-problem 

¿Existe un autómata celular (en 2D) que simula una fuerza entre partículas?1/r1/r1/r Más específicamente, me gustaría saber si es posible, con reglas de actualización estrictamente locales, que dos objetos (definidos dentro del modelo) se atraigan entre sí con una fuerza de , donde es la distancia que separa los objetos. …

11 simulation  cellular-automata 

Recientemente, me encontré con este problema , una variación de las torres de Hanoi . Planteamiento del problema: Considere la siguiente variación del conocido problema Towers of Hanoi: Se nos dan torres ym discos de tamaños 1 , 2 , 3 , ... , m apilados en algunas torres. Su …

11 algorithms  combinatorics  recursion 

Dado el hecho de que enumeración de la ruta s - t es un problema # P-completo, ¿podría haber métodos eficientes que calculen (o al menos aproximen) la longitud promedio de la ruta s - t sin enumerarlos? ¿Qué pasa si se permite a los caminos volver a visitar los …

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Esta puede ser una pregunta tonta. Parece claro que una FSA, dado que es finita, solo puede contar el número de símbolos en su cadena de entrada hasta un número limitado por el número de sus estados. Pero ahora supongamos que equipamos a la FSA con capacidades de salida (por …

11 automata  finite-automata 

¿Cómo detectaría algorítmicamente para una foto determinada si el sol brillaba cuando se tomó la foto? Ejemplos Una muestra de esta cámara web en la cima de una montaña: Claramente el sol está brillando. En esta otra muestra es mucho menos obvio: Probablemente se podría detectar con bastante facilidad si …

11 algorithms  image-processing 

La afirmación habitual del problema de la tarta justa supone que todos los jugadores obtienen su parte al mismo tiempo. Sin embargo, en muchos casos los jugadores llegan de forma incremental. Por ejemplo, podemos dividir un pastel entre jugadores, pero luego llega un nuevo jugador y quiere compartir.nnnnnnn Por lo …

11 algorithms  game-theory  online-algorithms 

Dada nnn empleos J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , cada trabajo requiere Ti>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N tiempo para completarse. Cada trabajo debe ser preprocesado y procesado posteriormente por una sola máquina M que puede manejar solo 1 trabajo a la vez y ambas fases requieren 1 unidad de tiempo. Después de ser …

11 complexity-theory  reference-request  scheduling 

Me preguntaba, ya que una∗a∗a^* es en sí mismo un lenguaje sin estrellas, ¿existe un lenguaje normal que no sea un idioma sin estrellas? ¿Podrías dar un ejemplo? (de wikipdia ) Lawson define lenguajes sin estrellas como: Se dice que un lenguaje regular no tiene estrellas si puede describirse mediante …

11 formal-languages  regular-languages  automata