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...
Del artículo de estrategia de evaluación en Wikipedia: La noción de estrategia de reducción en el cálculo lambda es similar pero distinta. Del artículo de estrategia de reducción en Wikipedia: Es similar pero sutilmente diferente de la noción de estrategia de evaluación en...
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...
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 que probar estos...
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...
Deje ser un gráfico simple no dirigido en n vértices ym bordes.G=(V,E)G=(V,E)G=(V,E)nnnmmm Estoy tratando de determinar el tiempo de ejecución esperado de algoritmo de Wilson para generar un árbol de expansión aleatoria de . Allí, se muestra que es O ( τ ) , donde τ es el tiempo medio de golpeo :...
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, incluidos los...
¿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...
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....
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 embargo,...
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 evitar abordar problemas con el modelo de computación.F: Knorte→ KF:Knorte→Kf:\mathbb{K}^n...
El problema parametrizado de k-FLIP SAT se define como: Entrada: una fórmula 3-CNF φφ\varphi con nortenorten variables y una asignación de verdad σ: [ n ] → { 0 , 1 }σ:[norte]→{0 0,1}\sigma : [n] \to \{0,1\} Parámetro: kkk Pregunta: ¿podemos transformar la asignación σσ\sigma en una asignación...
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 O...
¿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...
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...
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
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
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...
Esto está inspirado en esta pregunta. Sea la colección de todos los combinadores que solo tienen dos variables ligadas. ¿ C es combinatoriamente completa?CC\mathcal{C}CC\mathcal{C} Creo que la respuesta es negativa, sin embargo, no pude encontrar una referencia para esto. También me interesarían...
Deje que una máquina de Turing probabilística tenga acceso a una moneda injusta que sale cara con probabilidad (los lanzamientos son independientes). Defina B P P p como la clase de lenguajes reconocibles por dicha máquina en tiempo polinomial. Es un ejercicio estándar demostrar que:pagppB...