Ciencias de la computación teórica

Me dan un gráfico con un ancho de árbol k y un grado arbitrario, y me gustaría encontrar un subgrafo H de G (no necesariamente un subgrafo inducido) de modo que H tenga un grado constante y su ancho de árbol sea lo más alto posible. Formalmente, mi problema es …

9 co.combinatorics  treewidth  graph-minor  bounded-degree 

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, aquí ) Vendedor ambulante (no tan activo, pero LKH es …

9 heuristics 

Los solucionadores SMT como Z3 o Boolector utilizan un conjunto complejo de heurísticas para resolver problemas. Sin embargo, esto también hace que sea muy difícil predecir el rendimiento de un solucionador de este tipo para un problema dado. Mi pregunta es así: Pregunta ¿Hay alguna manera de comprender u obtener …

9 ds.algorithms  sat  heuristics 

¿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 ?

9 reference-request  machine-models 

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 ( …

9 automata-theory  regular-language  monoid 

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 

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 …

9 automata-theory 

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 

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 , m …

9 gct 

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 entrada si la probabilidad de aceptar es superior a .2323\frac{2}{3} En una publicación anterior , pregunté si …

9 circuit-complexity  randomized-algorithms  derandomization 

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 …

9 permutations  gr.group-theory  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 

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 …

9 automata-theory  turing-machines  cellular-automata 

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