Preguntas etiquetadas con cc.complexity-theory

En el libro de Arora-Barak, en la definición de funciones construibles en el tiempo, se dice que el uso de funciones que no son construibles en el tiempo puede conducir a "resultados anómalos". ¿Alguien tiene un ejemplo de tal "resultado anómalo"? He escuchado en particular que pueden existir funciones tales …

10 cc.complexity-theory 

Actualización: Parece que este problema ha sido estudiado y resuelto recientemente, vea este artículo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Y también esta encuesta: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supongamos que, en lugar del conjunto habitual de palabras, {0,1} *, nuestras palabras no son lineales, sino que se dan en alguna estructura de árbol. Para evitar que …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Planteamiento del problema : Deje que sea ​​un autómata pushdown (potencialmente no determinista) y deje que sea ​​su alfabeto de entrada. ¿Hay una palabra st que es aceptado por ?A w ∈ A ∗ | w | ≤ k MMETROMETROMUNAUNA\cal Aw ∈ A∗w∈UNA∗w \in \cal A^*El | w | ≤kEl …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Para muchos problemas, el algoritmo con la mejor complejidad asintótica tiene un factor constante muy grande que está oculto por la notación O grande. Esto ocurre en la multiplicación de matrices, la multiplicación de enteros (específicamente, el reciente algoritmo de multiplicación de enteros O (n log n) de Harvey y …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Una forma más débil del primer teorema de incompletitud de Gödel, las pruebas directas de las cuales, a su manera, son largas, involucradas y en algún lugar bastante contra-intuitivas, tienen una prueba simple e intuitiva basada en la indecidibilidad del problema de detención: ver por ejemplo https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof ¿Quién …

9 cc.complexity-theory  lo.logic  halting-problem 

Hay un tipo de resultados en TCS que generalmente se llaman resultados de arranque . En general, es de la forma Si la proposición UNAUNAA cumple, entonces la proposición UNA′UNA′A' cumple. donde UNAUNAA y UNA′UNA′A' son proposiciones que se parecen, y UNAUNAA es aparentemente "más débil" que UNA′UNA′A' , que …

9 cc.complexity-theory 

¿Cuáles son los límites superiores asintóticos más conocidos en tamaños de pruebas probabilísticamente comprobables? Idealmente, estoy buscando una encuesta contemporánea sobre esta amplia pregunta, pero si no hay ninguna, estoy especialmente interesado en la inaccesibilidad de 3-SAT. Deje que 7/8 + ε-3-SAT sea 3-SAT con la promesa de que si …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Después de los éxitos cada vez más nuevos de las redes neuronales en los juegos de mesa, uno siente que el próximo objetivo que establecimos podría ser algo más útil que vencer a los humanos en Starcraft. Más precisamente, me preguntaba si ¿Pueden las redes neuronales ser entrenadas para resolver …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

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 precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Es fácil ver que cualquier máquina de …

9 cc.complexity-theory  complexity-classes 

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 …

9 cc.complexity-theory  reference-request  regular-language 

What is Razborov's method of approximations? Can someone give a high-level overview and the intuition behind it?

9 cc.complexity-theory  circuit-complexity 

¿Hay algún número trascendental computable conocido tal que su º dígito es computable en tiempo polinomial, pero no en ?nnnO(n)O(n)O(n)

9 cc.complexity-theory  comp-number-theory 

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 …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Este es un seguimiento de la aceleración no determinista del cálculo determinista . ¿Es plausible que el no determinismo (o una alternancia más general) permitiría una aceleración cuadrática general de la computación determinista? ¿O hay consecuencias inverosímiles conocidas para algo como ?DTime(n2)⊆NTime(n)reTyometromi(norte2)⊆norteTyometromi(norte)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

El problema estándar 1-en-3 SAT (o XSAT o X3SAT) es: Instancia : una fórmula CNF con cada cláusula que contiene exactamente 3 literales Pregunta : ¿existe una asignación satisfactoria que establezca exactamente 1 literal por cláusula verdadera? El problema es NP-completo y sigue siendo difícil incluso si no se produce …

9 cc.complexity-theory  np-hardness  sat