Ciencias de la computación teórica

La teoría de tipo constructivo con su interpretación básica bajo la correspondencia de curry howard consiste solo en funciones totales y computables. En la literatura, se ha dicho algo sobre el uso de la "teoría del tipo computacional" para representar la no terminación en los programas funcionales, sin embargo, en …

10 lo.logic  type-theory  oracles  halting-problem 

La inclusión inversa es obvia, como lo es el hecho de que cualquier lenguaje NP auto reducible en BPP también está en RP. ¿También se sabe que esto es válido para idiomas NP no auto-reducibles?

10 cc.complexity-theory  derandomization  pseudorandomness 

Estoy interesado en reducir -Clique a SAT sin hacer que la instancia sea mucho más grande.kkk Clique está en NP, por lo que puede reducirse a SAT utilizando espacio logarítmico. La reducción directa del libro de texto de Garey / Johnson explota la instancia a un tamaño cúbico . Sin …

10 cc.complexity-theory  sat  reductions  clique 

Una de las pocas cosas que no me gustan del libro de Okasaki sobre estructuras de datos puramente funcionales es que su código está plagado de una inagotable coincidencia de patrones. Como ejemplo, le daré su implementación de colas en tiempo real (refactorizadas para eliminar suspensiones innecesarias): infixr 5 ::: …

10 type-theory  type-inference 

¿Dónde puedo encontrar una introducción a los autómatas probabilísticos y lo que reconocen (ciertas funciones desde palabras hasta )? ¿Existe un término estándar para tales funciones que son reconocidas por los autómatas probabilísticos, análoga a "lenguajes regulares" para lo que reconocen los autómatas finitos deterministas (DFA)?[ 0 , 1 ][0 …

10 reference-request  fl.formal-languages  probabilistic-automata 

Hay varias clases interesantes de gráficos con ancho de árbol acotado. Por ejemplo, árboles (ancho de árbol 1), gráficos paralelos en serie (ancho de árbol 2), gráficos de plano externo (ancho de árbol 2), gráficos -outerplanar (ancho de árbol O (k)), gráficos de ancho de rama k (ancho de árbol …

10 graph-theory  treewidth 

Sea un polinomio simétrico , es decir, un polinomio tal que f ( x ) = f ( σ ( x ) ) para todas las x ∈ K n y todas las permutaciones σ ∈ S n . Por conveniencia, podemos suponer que K es un campo finito, para …

10 cc.complexity-theory  permutations  polynomials 

Dado un gráfico bipartito con pesos positivos, deje con igual a la coincidencia de peso máximo en el gráfico .G = ( U∪ V, E)G=(U∪V,E)G = (U \cup V, E)F: 2U→ Rf:2U→Rf: 2^U \rightarrow \mathbb{R}F( S)f(S)f(S)G [ S∪ V]G[S∪V]G[S\cup V] ¿Es cierto que es una función submodular?FFf

10 matching  submodularity 

Conjetura de Berman-Hartmanis: todos los lenguajes NP completos se parecen, en el sentido de que pueden estar relacionados entre sí por isomorfismos de tiempo polinomiales [1]. Estoy interesado en una versión más detallada del "tiempo polinómico", es decir, si usamos reducciones parametrizadas. Un problema parametrizado es un subconjunto de Σ∗×Z≥0Σ∗×Z≥0Σ^∗ …

10 complexity-classes  np-complete  fixed-parameter-tractable 

¿Existen ejemplos naturales conocidos de problemas de optimización para los cuales es mucho más fácil producir una solución óptima que evaluar la calidad de una solución candidata dada? En aras de la concreción, podemos considerar problemas de optimización solucionables en tiempo polinómico de la forma: "dado x, minimizar ", donde …

10 cc.complexity-theory  optimization  examples 

El siguiente término (usando índices bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Cuando se aplica a un número de iglesia se Nevalúa rápidamente a su forma normal en varios evaluadores existentes, …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

Es bien sabido que ciertas clases de NP -Problemas Tienes dicotomía teoremas, lo que garantiza que todas las tareas en la clase es o NP -Complete o está en P . El mejor resultado conocido es el teorema de dicotomía de Schaefer , junto con una serie de generalizaciones. Entiendo …

10 cc.complexity-theory  np  descriptive-complexity 

Considere el siguiente problema: Dada una matriz , queremos optimizar el número de adiciones en el algoritmo de multiplicación para calcular .v ↦ M vMMMv ↦ Mvv↦Mvv \mapsto Mv Este problema me parece interesante debido a su relación con la complejidad de la multiplicación de matrices (este problema es una …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Los transductores considerados aquí son aquellos que Wikipedia llama transductores de estado finito . El comportamiento de un transductor , es decir, la relación que calcula, se escribe : una palabra es una salida para iff .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Pregunta: ¿Se puede resolver el siguiente problema: Dado: Un transductor y un lenguaje …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

En los proyectos Polymath, un grupo grande trabaja en un problema abierto. ¿Qué tipo de problemas parecen funcionar mejor en este marco? ¿Hay buenos candidatos para un proyecto de polymath en informática teórica? ¿Hay algún obstáculo que haga que los proyectos Polymath sean menos propensos a tener éxito en informática …

10 soft-question  open-problem  research-practice