Preguntas etiquetadas con reference-request

Estoy trabajando con un algoritmo de coincidencia de patrones que genera un autómata de estado finito acíclico que acepta una cadena de texto dada y todas sus subcadenas. El algoritmo FSA se ejecuta en una representación simbólica de una transmisión de música (por ejemplo, datos MIDI). La transmisión de música …

10 formal-languages  reference-request  finite-automata 

Hemos tenido varias preguntas sobre la relación de las reducciones de Cook y Karp . Está claro que las reducciones de Cook (reducciones de Turing de tiempo polinómico) no definen la misma noción de integridad de NP que las reducciones de Karp (reducciones de tiempo múltiple polinomiales), que generalmente se …

10 complexity-theory  reference-request  np-complete  reductions 

Considere los programas lineales. Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} El teorema de la dualidad débil establece que si x⃗ …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Estoy interesado en los procedimientos para una división equitativa de la tierra (es decir, una división libre de envidia, o al menos una división proporcional). A diferencia del problema bien estudiado de la división de la torta, la división de la tierra es bidimensional, es decir, las preferencias de los …

10 reference-request  game-theory 

Un gráfico es cordal si no tiene ciclos inducidos de longitud o más. Un árbol clique de es un árbol en el que los vértices del árbol son la máxima camarillas de . Un borde en corresponde a un separador mínimo. El número de árboles de camarilla distintos puede ser …

10 algorithms  graph-theory  reference-request 

Estoy buscando recursos para comenzar con el análisis de programas . El único libro que he encontrado sobre el tema es el libro de Nielson & Nielson . Aparte de eso, parece que solo hay libros de "compilación" donde el "análisis de programa" sería un capítulo, o algo por el …

10 reference-request  compilers  semantics 

Procedente del punto de vista de alguien que está pensando en obtener un doctorado en informática. Tengo problemas para decidir en qué enfocaría mi investigación cuando vaya a hacer mi doctorado. Ver también esta pregunta en academia.SE . Así que estoy pensando que leer / mantenerse al día sobre qué …

10 reference-request 

¿Existen lenguajes de programación (o lógica) que puedan implementar (o expresar) una función si y solo si es una función biyectiva computable? ff:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

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 

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 

¿Será necesario cambiar las definiciones de seguridad si tenemos computadoras cuánticas? ¿Qué construcciones criptográficas se romperán? ¿Conoces una encuesta o un artículo que explique qué se necesitará para cambiar?

10 reference-request  cryptography  quantum-computing 

Debido a la naturaleza de la pregunta, tengo que incluir mucha información de fondo (porque mi pregunta es: ¿cómo puedo reducir esto?) Dicho esto, se puede resumir (según mi leal saber y entender) como: ¿Qué métodos existen para encontrar óptimos locales en espacios de búsqueda combinatoria extremadamente grandes? Antecedentes En …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

La pregunta está más o menos en el título. ¿Hay algún momento en que un lenguaje puede ser aceptado por un DFA mínimo con estados, pero , la reversión de , puede ser aceptado por un DFA con estados, dondeLLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n ?

10 formal-languages  reference-request  automata  finite-automata 

Hay una variedad vertiginosa de símbolos que a veces se utilizan en documentos de matemáticas y CS. Sin embargo, muchos suponen una familiaridad básica que parece raramente enseñada en un solo lugar. Estoy buscando un diccionario similar al siguiente, especialmente desde una perspectiva CS. Enumeraría todos los símbolos matemáticos básicos …

10 terminology  reference-request  education 

Estoy trabajando en un problema relacionado con los cuadrados latinos, y quiero un método para lo que esencialmente se reduce al problema de decisión: Entrada : Un gráfico simple finito G. Salida : YESsi G tiene un automorfismo no trivial, de lo NOcontrario. Por lo tanto... Pregunta : ¿Existe un …

9 algorithms  graphs  graph-theory  reference-request