Ciencias de la computación teórica

Esto es similar a SAT, excepto que conocemos la asignación de cada variable, pero no conocemos la asignación de ningún operador booleano. En ese caso, ¿encontrar la asignación de cada operador para que la expresión evalúe un valor booleano dado es un problema NPC? En realidad, me preguntaba si encontrar …

11 cc.complexity-theory  np-hardness 

Estoy traduciendo un libro sobre LISP y, naturalmente, toca algunos elementos del cálculo . Entonces, una noción de extensionalidad se menciona allí junto con algunos modelos de cálculo λ , a saber: P ω y D ∞ (sí, con el infinito en la parte superior). Y se dice que P …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Dado un gráfico con aristas ponderadas, ¿cómo podemos encontrar un ciclo negativo que contenga al menos un vértice en un conjunto de vértices dado ? Gracias.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Consideremos ahora las familias de circuitos con puertas de Oracle - por ejemplo, , donde es una clase de la complejidad del circuito que contiene logspace con acceso a Oracle a otra clase , a través de puertas de Oracle adjuntas a la base de . ¿Hay …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Dado un estado cuántico elegido uniformemente al azar de un conjunto de N estados mixtos ρ 1 . . . ρ N , ¿cuál es la probabilidad promedio máxima de identificar correctamente A ?ρAρA\rho_ANNNρ1...ρNρ1...ρN\rho_1 ... \rho_NAAA Este problema puede convertirse en un problema de distinguibilidad de dos estados al considerar …

11 quantum-computing  it.information-theory  quantum-information  st.statistics 

Se mostró en el documento "Programación de enteros con un número fijo de variables" que las programaciones de enteros con un número constante de restricciones (o variables) son polinomialmente solucionables. ¿Esto es válido para la programación 0-1?

11 cc.complexity-theory  integer-programming 

Nos dan un matroid. Nuestro objetivo es encontrar un conjunto de elementos de tamaño mínimo que tenga una intersección no vacía con cada base del matroide. ¿El problema se estudió antes? ¿Está en P? Por ejemplo, en un árbol de expansión matroide, el conjunto de golpes mínimos debe ser un …

11 co.combinatorics  approximation-algorithms  optimization 

Un teorema directo del producto, informalmente, dice que calcular instancias de una función es más difícil que calcular una vez.kkkffffff Los teoremas típicos de productos directos (p. Ej., El Lema XOR de Yao) analizan la complejidad de los casos promedio y argumentan (muy a grandes rasgos) que no puede calcularse …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Estoy leyendo algoritmos cuánticos en papel de Harrow, Hassidim y Lloyd para sistemas lineales de ecuaciones . En la tercera página de ese documento, escriben A continuación, aplicamos la evolución condicional hamiltoniana on | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T- 1τ= 0El | τ⟩ ⟨ TauEl |C⊗ …

11 quantum-computing  notation 

Respuesta: no conocida Muchas gracias a todos los que ayudaron a refinar esta pregunta y las definiciones asociadas. Las definiciones de esta wiki proporcionaron el punto de partida para la wiki TCS más reciente " ¿Contiene P lenguajes cuya existencia es independiente de PA o ZFC? (Wiki de la comunidad …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Deje una matriz real ( ) {\ bf A} con la propiedad de que cualquier colección de k columnas es de rango completo.k ≤ nk×nk×nk\times nk≤nk≤nk\le nAA{\bf A}kkk P: ¿Hay una manera eficiente de encontrar determinísticamente un vector aa{\bf a} modo que la matriz aumentada A′=[Aa]A′=[Aa]{\bf A}' = [{\bf A}\;{\bf …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

Dana Angluin ( 1987 ; pdf ) define un modelo de aprendizaje con consultas de membresía y consultas teóricas (contraejemplos de una función propuesta). Ella muestra que un lenguaje regular que está representado por un DFA mínimo de estados se puede aprender en tiempo polinómico (donde las funciones propuestas son …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

El problema de la partición de 3 cliques es el problema de determinar si los vértices de un gráfico, digamos , se pueden dividir en 3 camarillas. Este problema es NP-duro por una simple reducción del problema de 3 colorabilidad. No es difícil ver que la respuesta a este problema …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Estoy buscando una técnica general que pueda ayudarme a demostrar no solo que el autómata de Buchi es un modelo más expresivo que LTL, sino que la fórmula específica puede / no puede expresarse en LTL. Por ejemplo, " ocurre al menos en posiciones pares" puede describirse mediante los siguientes …

11 lo.logic  automata-theory 

Estoy familiarizado con el algoritmo de descenso de gradiente que puede encontrar el mínimo local (máximo) de una función determinada. ¿Hay alguna modificación del descenso de gradiente que permita encontrar el mínimo absoluto (máximo), donde la función tiene varios extremos locales? ¿Existen técnicas generales, cómo mejorar un algoritmo que puede …

11 ds.algorithms  approximation-algorithms  machine-learning