Ciencias de la computación teórica

Dado un lenguaje L definido por una máquina de Turing que lo decide, ¿es posible determinar algorítmicamente si L se encuentra en NP?

15 cc.complexity-theory  computability  turing-machines 

Esta pregunta se refiere al algoritmo de Fisher-Yates para devolver una combinación aleatoria de una matriz determinada. La página de Wikipedia dice que su complejidad es O (n), pero creo que es O (n log n). En cada iteración i, se elige un número entero aleatorio entre 1 e i. …

15 ds.algorithms  permutations 

En nuestro trabajo reciente, resolvemos un problema computacional que surgió en un contexto combinatorio, suponiendo que , donde es el -versión de . El único artículo sobre que encontramos fue el artículo de Beigel-Buhrman-Fortnow 1998 que se cita en Complexity Zoo . Entendemos que podemos tomar versiones de paridad de …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Estaba leyendo un capítulo en LYAH que realmente no tenía sentido para mí. Entiendo que las cremalleras pueden atravesar arbitrariamente una estructura similar a un árbol, pero necesito alguna aclaración al respecto. Además, ¿se pueden generalizar las cremalleras a cualquier estructura de datos?

15 ds.data-structures  functional-programming  tree 

Si tenemos un gran gráfico (dirigido) y un árbol enraizado más pequeño H , ¿cuál es la complejidad más conocida para encontrar subgrafías de G isomorfas a H ? Soy consciente de los resultados para el isomorfismo de subárbol donde G y H son árboles y también donde G es …

15 ds.algorithms  reference-request  graph-theory 

El problema Deje que A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangle ser un autómata Büchi, reconociendo un lenguaje L⊆ΣωL⊆ΣωL\subseteq\Sigma^\omega . Suponemos que AAA tiene una estrategia de aceptación en el siguiente sentido: hay una función σ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to Q que puede ser utilizado para pruebas piloto de AAA . Lo formalizamos mediante las siguientes condiciones: …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

La clase de complejidad BQP corresponde a subrutinas cuánticas de tiempo polinómico que toman entradas clásicas y escupen una salida clásica probabilística. El asesoramiento cuántico modifica eso para incluir copias de algunos estados de asesoramiento cuántico predeterminados pero con entradas clásicas como de costumbre. ¿Cuál es la clase de complejidad …

15 cc.complexity-theory  complexity-classes  quantum-computing 

Dada una matriz m×nm×nm \times n (suponiendo que m≥nm≥nm \ge n ), ¿cuál es el algoritmo más rápido para calcular su rango y base de las columnas? Soy consciente de que se puede resolver a través de la intersección matroide lineal, lo que implica un algoritmo determinista de tiempo y …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

A menudo consideramos clases de complejidad donde estamos limitados en la cantidad de espacio que nuestra máquina Turing puede usar, por ejemplo: o NSPACE ( f ( n ) ) . Parece que al principio de la teoría de la complejidad hubo mucho éxito con estas clases, como el teorema …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

¿Cuál es la siguiente variación en la cubierta del set conocida como? Dado un conjunto S, una colección C de subconjuntos de S y un entero positivo K, ¿existen K conjuntos en C de manera que cada par de elementos de S se encuentre en uno de los subconjuntos seleccionados? …

15 np-hardness  set-cover  cc.complexity-theory 

Tengo un politopo PPP definido por {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pregunta: Dado un vértice vvv de PPP , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de vvv en el gráfico de PPP ? (Polinomio en la dimensión, el número …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

¿Hay alguna forma natural de entender la esencia de la semántica relacional para el polimorfismo paramétrico? Acabo de empezar a leer sobre la noción de parametricidad relacional, a la manera de "Tipos, abstracción y polimorfismo paramétrico" de John Reynolds, y tengo problemas para entender cómo se motiva la semántica relacional. …

15 type-theory  parametricity 

Los solucionadores SAT ofrecen una forma poderosa de verificar la validez de una fórmula booleana con un cuantificador. Por ejemplo, para verificar la validez de , podemos usar un solucionador SAT para determinar si φ ( x ) es satisfactoria. Para verificar la validez de ∀ x . φ ( …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Problema relacionado: el teorema de Veblen establece que "un gráfico admite una descomposición del ciclo si y solo si es par". Los ciclos son de borde disjunto, pero no necesariamente de nodo disjunto. Dicho de otra manera, "El conjunto de bordes de un gráfico se puede dividir en ciclos si …

15 cc.complexity-theory  graph-theory  co.combinatorics 

La altura de estrella (generalizada) de un idioma es la anidación mínima de estrellas de Kleene requerida para representar el idioma mediante una expresión regular extendida. Recuerde que una expresión regular extendida sobre un alfabeto finito AAA satisface lo siguiente: (1) ∅,1∅,1\emptyset, 1 y aaa son expresiones regulares extendidas para …

15 fl.formal-languages  lower-bounds  regular-expressions