Ciencias de la Computación

He comenzado a estudiar autómatas no deterministas utilizando el libro de Hopcroft y Ullman . Estoy atrapado en un problema que me pareció muy interesante: Dé un autómata finito no determinista que acepte todas las cadenas que tienen el mismo valor cuando se evalúan de izquierda a derecha como de …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Estoy revisando para un curso de seguridad informática y estoy atascado en una de las preguntas anteriores. Aquí es: Alice ( UNAAA ) quiere enviar un mensaje corto METROMM a Bob ( siBB ) usando un secreto compartido Sa bSabS_{ab} para autenticar que el mensaje proviene de ella. Ella propone …

9 cryptography  hash  one-way-functions 

Tengo una prueba sobre la rama y el algoritmo enlazado . Entiendo teóricamente cómo funciona este algoritmo, pero no pude encontrar ejemplos que ilustren cómo este algoritmo puede implementarse prácticamente. Encontré algunos ejemplos como este, pero todavía estoy confundido al respecto. También busqué el problema del vendedor ambulante y no …

9 algorithms  optimization  branch-and-bound 

Teniendo un conjunto de n elementos, digamos que quiero calcular una función f ( A ) que es sensible a todas las partes de la entrada, es decir, depende de un miembro muy de A (es decir, es posible cambiar cualquier miembro de A a algo de lo contrario, para …

9 complexity-theory 

Supongamos que tengo dos cuerdas. Llamarlos y . Ninguna cadena tiene caracteres repetidos.UNAAABBB ¿Cómo puedo encontrar la secuencia más corta de operación de inserción, movimiento y eliminación que convierte en , donde:AAABBB insert(char, offset)inserta charen el dado offseten la cadena move(from_offset, to_offset)mueve el personaje actualmente en desplazamiento from_offseta una nueva …

9 algorithms  combinatorics  string-metrics 

En el análisis de algoritmos, a menudo tienes que resolver las recurrencias. Además del teorema maestro, los métodos de sustitución e iteración, hay uno que usa polinomios característicos . Digamos que he concluido que un polinomio característico tiene raíces imaginarias , a saber, x 1 = 1 + i y …

9 algorithms  algorithm-analysis  recurrence-relation 

En las aplicaciones del mundo real, ¿hay un beneficio concreto al usar los algoritmos lugar de ?O(log(log(n))O(log⁡(log⁡(n))\mathcal{O}(\log(\log(n))O(log(n))O(log⁡(n))\mathcal{O}(\log(n)) Este es el caso cuando uno usa, por ejemplo, árboles de Van Emde Boas en lugar de implementaciones de árbol de búsqueda binaria más convencionales. Pero, por ejemplo, si tomamos , en el …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees 

Creo que en el algoritmo de Peterson para la exclusión mutua , si el primer proceso para ingresar a la sección crítica fuera a morir o cancelarse, el otro proceso se repetiría para siempre, esperando ingresar a la sección crítica. En la imagen, si el proceso 1 se detiene, el …

9 programming-languages  concurrency  mutual-exclusion 

A mitad de período había una variante de la siguiente pregunta: Para un decidible, defina Pref ( L ) = { x ∣ ∃ y st x y ∈ L } Muestre que Pref ( L ) no es necesariamente decidible.LLLPref ( L ) = { x ∣ ∃ y …

9 computability  undecidability 

Tomemos como ejemplo la reducción 3d → 2d: ¿Cuál es el costo de simular un autómata celular 3d con un autómata celular 2d? Aquí hay un montón de preguntas más específicas: ¿Qué tipo de algoritmos cambiarán su complejidad de tiempo, en cuánto? ¿Cuál sería la idea básica para la codificación? …

9 complexity-theory  time-complexity  cellular-automata 

En un planificador round-robin, agregar un proceso varias veces a la lista de procesos es una forma económica de darle mayor prioridad. Me pregunto qué tan práctico podría ser este enfoque. ¿Qué beneficio tiene sobre otras técnicas, como dar al proceso un intervalo de tiempo más largo (beneficio: menos tiempo …

9 operating-systems  process-scheduling 

Estoy diseñando un algoritmo para una clase que determinará si un gráfico dirigido es único con respecto a un vértice tal manera que para cualquier haya como máximo una ruta de a . Comencé usando BFS (búsqueda de amplitud) para encontrar la ruta más corta de v a otro vértice …

9 graph-theory  shortest-path  graph-traversal 

Si una gráfica tiene un ciclo de Euler, ¿los componentes biconéctados también tienen ciclos de Euler?

9 graph-theory  eulerian-paths 

Sabemos por este documento que no existe un rompecabezas que pueda resolverse comenzando con 16 o menos pistas, pero implica que existe un rompecabezas que puede resolverse a partir de 17 pistas. ¿Se pueden especificar todos los rompecabezas de sudoku válidos en 17 pistas? Si no, ¿cuál es el número …

9 sudoku  combinatorics 

Estoy tratando de encontrar una prueba de lo siguiente: Para cualquier idioma , existe un lenguaje de B tal que A ≤ T B pero B ≰ T A .AUNAABsiBA≤TBUNA≤TsiA \le_{\mathrm{T}} B≰TA≰TUNA\nleq_{\mathrm{T}} A Estaba pensando en dejar que sea A T M , pero me doy cuenta de que no …

9 computability  reductions  undecidability