Vamos UUU será la distribución uniforme sobre nnn bits de, y dejar que DDD sea la distribución sobre nnn bits de donde los bits son independientes y cada bit se 111 con una probabilidad de 1/2−ϵ1/2−ϵ1/2-\epsilon . ¿Es cierto que la distancia estadística entre DDD y UUU es...
Elementary Affine Logic es un sistema de tipos que captura la clase de términos λ que se pueden reducir en el tiempo elemental. Además, los términos de tipo EAL se pueden reducir utilizando el fragmento abstracto del algoritmo de Lamping, lo cual es particularmente interesante para mí porque estoy...
El documento SODA de 2 páginas de Kalai ofrece un algoritmo simple y eficiente para la coincidencia de patrones con no importa (comodines que coinciden con un carácter). En esencia, es tan fácil como la convolución. Pero, ¿qué sucede si estamos buscando patrones múltiples que no le importan?...
La siguiente noción de un algoritmo de destilación proviene de "En problemas sin núcleos polinomiales". Deje que se le dé una lenguaUn algoritmo de destilación para toma una lista dada de cadenas de entrada y calcula una cadena de salida tal que:L { x i } i ∈ [ t ] yLLLLLL{ xyo}i ∈ [ t...
Deje que sea un lenguaje y defina por iff . Estoy buscando una referencia para:f L : A ∗ × A ∗ → { 0 , 1 } f L ( x , y ) = 1 x ⋅ y ∈ LL⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Proposición. es...
Tenemos un problema y encontramos un algoritmo que parece ser 2-nexptime. Me gustaría encontrar problemas conocidos de 2-nexptime-complete para encontrar un límite inferior. Encontré en la literatura principalmente dos de estos problemas: si PCP como solución de tamaño inferior a...
Me encontré con un artículo publicado en Science "Memcomputing NP-complete problems in polinomial time usando recursos polinomiales y estados colectivos" , que hace algunas afirmaciones bastante sorprendentes. Memcomputing es un paradigma de computación novedoso que no es de Turing que utiliza...
Deje que sea un alfabeto de tamaño , y considere los DFA mínimos cuyo tamaño está limitado como máximo por . Supongamos que denota el número de diferentes DFA mínimos de este tipo.2 m f ( m )ΣΣ\Sigma222metrommF( m )f(m)f(m) ¿Podemos encontrar una fórmula de forma cerrada para ?F( m...
Mi pregunta es sobre los teoremas 4.1 y 4.2 en "Geometric Complexity Theory V" . El primer teorema establece que existe un algoritmo EXPSPACE para construir hsop para (ver definiciones en el documento) en C (de hecho, en un campo arbitrariamente cerrado algebraico de característica cero).Δ [ det ,...
Dada generadores fuertes para un grupo que actúa sobre bitstrings de longitud n y un elemento s ∈ { 0 , 1 } n , lo difícil que es para calcular el elemento lexicográficamente mínima de G . s , la órbita de s en G ?(G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *)nnns∈{0,1}ns∈{0,1}ns \in \{0,...
Sea una clase de complejidad y sea la contraparte aleatoria de definida de la misma manera que se define con respecto aCC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} . Más formalmente, proporcionamos polinómicamente muchos bits aleatorios y aceptamos una...
Para un lenguaje fijo en algún alfabeto , consideremos el siguiente problema, que llamo -INTERLEAVING :A LLLLUNAAALLL Entrada: dos palabras u , v ∈ A∗u,v∈A∗u, v \in A^* Salida: si existe un entrelazado de tuuu y vvv que está en LLL . Aquí, un entrelazado de dos palabras tuuu y vvv es una...
Deje ser un alfabeto finito. Un código de X sobre Σ es un subconjunto de Σ * de tal manera que cada palabra en X * se puede representar de forma única como una concatenación de palabras en X . Un código X es finito si | X | es finito ¿Qué se sabe sobre los autómatas (mínimos) que reconocen X ∗ para...
Dado un DFA completo , podemos definir una colección de funciones para cada y con , . Podemos generalizar esta noción a una palabra y donde denota la composición de la función. Además, denotamos y es monoide.f a a ∈ Γ f a : Q → Q f a ( q ) = δ ( q , a ) w = a 1 , ⋯ , a m f w = f a 1 ∘ ⋯ ∘ f a m ∘ G...
El tiempo cuasi polinomial, o QP para abreviar, es una clase de complejidad en la máquina determinista de Turing. Aquí está la definición precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Mientras que βP es una clase de complejidad de no determinismo limitado. Aquí está la definición...
¿Hay algún número trascendental computable conocido tal que su º dígito es computable en tiempo polinomial, pero no en
¿Existe un marco / formalismo que defina modelos computacionales basados en proteínas distintas al modelo de ADN de Adleman o este trabajo de Cherry y Qian
un tiempo he sentido curiosidad por las máquinas de Turing con exactamente una cinta y exactamente 3 estados (es decir, el estado inicial , el estado de aceptación y el estado de rechazo ). Tenga en cuenta que permito alfabetos de cinta arbitrarios (finitos) (es decir, el alfabeto de cinta no está...
What is Razborov's method of approximations? Can someone give a high-level overview and the intuition behind
Estoy buscando una lista de problemas de optimización NP-hard, donde hay una investigación activa en heurística práctica para resolverlos y hay puntos de referencia comunes, que las personas intentan superar. Los ejemplos incluyen: Reconstrucción de árboles filogenéticos (heurística, por ejemplo,...