Ciencias de la computación teórica

Me preguntaba si hay un algoritmo `` mejor '' (explicaré en qué sentido) comenzar desde un DFA y construir una expresión regular r tal que L ( A ) = L ( r ) , que la del libro de Hopcroft y Ullman (1979). Allí, los conjuntos R k i …

28 fl.formal-languages  automata-theory  regular-expressions 

Siendo ingeniero de software durante la mayor parte de mi vida, no tengo ni idea de cómo comenzar a publicar un tipo de documento "académico". Durante mi última investigación, encontré un algoritmo interesante para la tarea que estaba resolviendo (relacionada con algunos cálculos en los mercados financieros). No es un …

28 soft-question  research-practice  paper-review 

Estaba presentando una conferencia sobre la clasificación de panqueques , y mencioné que: Ordenar por reversiones es NP-hard "firmado" por las reversiones de clasificación está en P . Lo que me hizo pensar. Hay un sentido en el que la clasificación "firmada" está "dirigida": puede ver el signo como una …

28 ds.algorithms 

Arregle un entero nortenn alfabeto Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Defina D FA ( n )DFA(n)DFA(n) como la colección de todos los autómatas de estado finito en nortenn estados con estado inicial 1. Estamos considerando todos los DFA (no solo los conectados, mínimos o no degenerados); por …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

Estoy buscando buenos ejemplos, donde ocurre el siguiente fenómeno: (1) Un problema algorítmico parece difícil, si desea resolverlo trabajando desde las definiciones y utilizando solo resultados estándar. (2) Por otro lado, se vuelve fácil, si conoce algunos teoremas (no tan estándar). El objetivo de esto es ilustrar para los estudiantes …

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

Estoy buscando construir anotaciones para ordinales contables grandes de una manera "natural". Por "forma natural" quiero decir que, dado un tipo de datos inductivo X, esa igualdad debería ser la igualdad recursiva habitual (lo mismo que deriving Eqen Haskell produciría) y el orden debería ser el orden lexicográfico recursivo habitual …

28 lo.logic  type-theory  proof-theory 

Sea f(x1,…,xn)f(x1,…,xn)f(x_1,\dots,x_n) un polinomio de grado en variables sobre , donde es constante (digamos 2 o 3). Me gustaría encontrar la fórmula más pequeña para , donde "fórmula" y "tamaño de fórmula" se definen de manera obvia (por ejemplo, la fórmula más pequeña para el polinomio es ).n F 2 …

28 cc.complexity-theory  formulas 

Tengo un interés creciente en la teoría de gráficos espectrales, lo cual me parece fascinante, y he comenzado a recopilar algunos documentos que aún no he leído más a fondo de lo que hasta ahora tengo. Sin embargo, tengo curiosidad acerca de una declaración que apareció en varias fuentes (por …

28 graph-theory  co.combinatorics  proofs  spectral-graph-theory 

Supongamos que quisiera formalizar la prueba de Turing sobre el problema de detención para que una máquina pueda verificarlo. Algunos de los sistemas de prueba de teoremas automatizados conocidos incluyen Mizar, Coq y HOL4. Descargué y experimenté con Coq, pero no tiene una biblioteca para máquinas Turing. Pensé en codificar …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

La complejidad del prefijo de Kolmogorov (es decir, K(x)K(x)K(x) es el tamaño del programa mínimo de auto delimitación que genera xxx ) tiene varias características agradables: Corresponde a una intuición de dar cadenas con patrones o estructura de menor complejidad que las cadenas sin ellas. Que nos permite definir la …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

Además de ACM, IEEE Computer Society, Google Scholar, ¿cuál es el mejor sitio para obtener entradas bibtex para artículos relacionados con la informática?

28 soft-question  research-practice  paper-review  bibliography 

¿Tiene sentido considerar una categoría de todos los problemas de NP completo, con morfismos como reducciones de poli-tiempo entre diferentes instancias? ¿Alguien ha publicado alguna vez un artículo sobre esto, y si es así, dónde puedo encontrarlo?

28 cc.complexity-theory  np-hardness  ct.category-theory 

Presentación ahora dada. Diapositivas disponibles a continuación. Presentar el trabajo en progreso es algo que todos debemos hacer para obtener retroalimentación temprana y ayudar a cristalizar nuestras ideas. Desafortunadamente, muchos estudiantes de posgrado necesitan ayuda para superar este obstáculo de presentar una investigación temprana, incluso si es solo para su …

28 soft-question  advice-request 

Una de las cosas buenas de haber evolucionado en un universo con tres dimensiones espaciales es que hemos desarrollado habilidades para resolver problemas relacionados con objetos en el espacio. Así, por ejemplo, podemos pensar en un triplete de números como un punto en 3-d y, por lo tanto, en un …

28 big-list  cg.comp-geom  big-picture 

Me interesa saber por qué los autores de libros sobre teoría de los lenguajes de programación y teoría de los tipos adoran los números naturales (por ejemplo, J. Mitchell, Fundamentos para los lenguajes de programación y B. Pierce, Tipos y lenguajes de programación). La descripción del cálculo lambda de tipo …

28 pl.programming-languages  big-picture  type-theory