Ciencias de la computación teórica

Sea una familia de subconjuntos de elementos de un universo finito de objetos. Una familia de subconjuntos -elemento de , con , es una - hitting-set de si, para cada existe al menos un conjunto tales que .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Dada una …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

En la introducción de este documento Objetos compartidos eventualmente linealizables (PODC'10) , los autores han presentado la siguiente declaración sin referencias: Sin embargo, la linealización se puede lograr si y solo si se puede resolver el consenso. Aquí, la linealización es la propiedad de consistencia más fuerte conocida de los …

9 reference-request  dc.distributed-comp 

Estoy buscando la complejidad de la satisfacción de una fórmula o de una fórmula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ donde ϕ es la fórmula de la forma: ϕ : = ϕ ∧ ϕ | ¬ ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

Aquí hay dos familias de funciones hash en las cadenas X⃗ = ⟨ X0 0X1X2... xmetro⟩X→=⟨X0 0X1X2...Xmetro⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle : pagspagspXyo∈ ZpagsXyo∈Zpagsx_i \in \mathbb{Z_p}a ∈ Z p ∀ x ≠ y , P a ( h 1 a ( x ) = h 1 …

9 ds.data-structures  randomness  hash-function 

Gran parte de la literatura de computación cuántica se centra en el modelo de circuito. La computación cuántica adiabática no se basa en aplicar una secuencia de operadores unitarios, sino en cambiar un hamiltoniano dependiente del tiempo. Estoy buscando información sobre cualquiera de los siguientes. ¿Es la computación cuántica adiabática …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Considere una fórmula Monotone 3CNF que tenga las siguientes restricciones adicionales: Cada variable aparece exactamente en cláusulas.222 Dadas cláusulas, comparten como máximo variable.222111 Me gustaría saber qué tan difícil es contar las tareas satisfactorias de tal fórmula. Actualización 06/04/2013 12:55 También me gustaría saber qué tan difícil es determinar la …

9 cc.complexity-theory  sat  counting-complexity 

Sabemos que . Del teorema de Savitch, , y, del Teorema de la jerarquía espacial, . Entonces, como no sabemos si , no sabemos si , o sabemos que ? ¿Alguien ha intentado demostrar que \ mathcal L ^ 2 \ subseteq \ mathcal P ? ¿Cuáles son los últimos …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Considere una gráfica con todas las aristas con capacidad unitaria. Uno puede encontrar el corte mínimo en tiempo polinómico. Supongamos que se me permite aumentar la capacidad de cualquier bordes hasta el infinito (equivalente a fusionar los nodos a cada lado del borde). ¿Cuál es la forma óptima de seleccionar …

9 ds.algorithms  graph-theory  co.combinatorics  max-flow-min-cut 

Supongamos que operamos en un campo finito. Se nos da un gran polinomio fijo p (x) (de, digamos, grado 1000) sobre este campo. Este polinomio se conoce de antemano y se nos permite hacer cálculos utilizando muchos recursos en la "fase inicial". Estos resultados pueden almacenarse en tablas de consulta …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

Vi que algunas personas usan la notación de Krivine para la aplicación de funciones cuando presentan la sintaxis para el cálculo . Por ejemplo, el λ -term λ f . λ x . λ y . f x y (con la convención normal de que la aplicación de función se …

9 lo.logic  lambda-calculus 

Soy un estudiante graduado de la India. Estoy muy interesado en asistir a los talleres, conferencias y conferenciantes invitados impartidos por destacados profesores. Al final de la charla, como de costumbre, algunas personas harán preguntas y el orador las responderá. Pero mi problema es que no entiendo la mayoría de …

9 co.combinatorics  soft-question 

Encontré la siguiente pregunta, que es un ejercicio fácil (spoiler a continuación). Se nos dan instancias del problema de detención (es decir ), y debemos decidir exactamente cuál de ellas se detendrá en . Es decir, necesitamos generar . Se nos da un oráculo para el problema de detención, pero …

9 computability  lower-bounds 

Introducción Estoy escribiendo mi tesis doctoral sobre Modelado Delta abstracto (ADM), una descripción algebraica abstracta de modificaciones (conocidas como deltas ) capaces de actuar sobre productos (como en 'productos de software'). Esto se puede usar para organizar un conjunto de productos relacionados (una 'línea de productos') como un producto básico …

9 pl.programming-languages  algebra  monoid 

¿Existe una familia conocida de acciones grupales con un elemento designado en el conjunto sobre el que se está actuando, donde se sabe cómo eficientemente \: muestra (esencialmente uniforme) de los grupos, calcula las operaciones inversas, calcula las operaciones del grupo y calcula las acciones del grupo \: y no …

9 cr.crypto-security  quantum-computing  gr.group-theory 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema para el intercambio teórico de pila de informática. Cerrado hace 7 años . ¿Cómo podemos expresar " " como una fórmula de primer orden?P=PSPACEP=PSPACEP=PSPACE …

9 cc.complexity-theory  lo.logic  descriptive-complexity