Hace unos años, me encontré con la siguiente regla de la izquierda para la igualdad en el cálculo posterior: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Aquí, s ≐ t ⇝ θs≐t⇝θs...
Sea un conjunto de Bases Mutuamente Imparciales (MUB) en C n , es decir, cada B i es una base ortonormal y para v ∈ B i , w ∈ B j , i ≠ j nosotros tener | ⟨ V | w ⟩ | = 1B={B1,…,Bk}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, B_k\}CnCn\mathbb{C}^nBiBiB_iv∈Bi,w∈Bj,i≠jv∈Bi,w∈Bj,i≠jv \in B_i, w \in B_j, i...
¿Hay alguna construcción conocida de un código de corrección de error lineal (con parámetros razonables), de modo que cuando se le da un vector booleano , también devuelve un vector booleano whp? (aunque se acabó ) v ∈ { 0 , 1 } n F qE C C : Fnorteq→ FmetroqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n...
Las representaciones más simples para gráficos utilizan matrices / listas de adyacencia, lo que significa que cada nodo y borde se representa explícitamente. La importancia de las representaciones implícitas para gráficos que exhiben fuertes regularidades ha sido reconocida desde hace mucho tiempo....
Deje . Necesito generar gráficos simples G de circunferencia g de modo que el conjunto de todos los g- ciclos forme una cubierta de doble borde de G (es decir, cada borde es compartido por exactamente dos g- ciclos), y tal que la intersección de dos g -cycles es un vértice, un borde o está vacío....
Para celebrar el cumpleaños de Alan Turing, Google publicó un garabato que muestra una máquina. ¿Qué tipo de máquina es el garabato? ¿Puede expresar un lenguaje completo de Turing? Hay diferencias obvias en la máquina clásica de turing: una cinta finita, restricciones en cómo se puede conectar el...
Deje que sea un problema completo de EXP. Entonces, .AAAPA=NPAPA=NPAP^A = NP^A Deje que sea cierto oráculo que tiene en cuentas las consultas que (TM en P) hará, y podemos obtener .BBBP B ≠ N P BMMMPB≠NPBPB≠NPBP^B \neq NP^B Pregunta: ¿Tenemos resultados de oráculo similares para P vs...
Parece que hay muchos algoritmos aleatorios para las pruebas de identidad polinomiales, que verifican si un polinomio dado es cero o no. ¿Hay algún resultado de algoritmos que hagan algún tipo de estimación de polinomios sobre un conjunto específico de puntos? Esto podría ser, por ejemplo,...
Recientemente he estado leyendo una buena cantidad de documentos CoLT. Aunque no lucho con los documentos individuales (al menos no más de lo que normalmente lucho con otros documentos de teoría), no creo que tenga una buena comprensión del campo en general. ¿Existe un texto estándar, encuestas o...
No he podido encontrar una declaración que relacione y N P R P en la literatura; los punteros serían apreciadosMAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Creo que son iguales: : El N P máquina adivina cadena de Merlin, y los R P verifica Oracle la cadena como Arthur
Fijar . Para cualquier suficientemente grande , nos gustaría etiquetar todos los subconjuntos de de tamaño exactamente por enteros positivos de . Nos gustaría que este etiquetado satisfaga la siguiente propiedad: hay un conjunto de enteros, stn { 1 .. n } n / k { 1 ... T } Sk ≥ 5k≥5k\ge5nortenn{ 1...
Los tipos de propiedad y la lógica de separación parecen tener objetivos similares, control sobre la propiedad y alias. Quizás, también debería agregar: la capacidad de escribir especificaciones modulares. ¿Qué se sabe sobre la relación entre los tipos de propiedad y la lógica de...
Sea un conjunto de N puntos en R d . Para cualquier t ≥ 1 , un t -spanner es un gráfico no dirigido G = ( P , E ) ponderado bajo la medida euclidiana, de modo que para cualquiera de los dos puntos v , u , la distancia más corta en G , d ( v , u ) , es a lo sumo t veces la distancia euclidiana entre...
En la mayoría de los sistemas de prueba probabilística (teorema PCP, por ejemplo), las probabilidades de error generalmente se definen del lado de los falsos positivos, es decir, una definición típica podría verse así: si , el verificador siempre acepta, pero en En otro caso, la probabilidad de...
Sé que Gaussian Elimination toma operaciones aritméticas , pero no estoy seguro de si se conocen algoritmos mejores.O (
En la semántica del lenguaje de programación, a menudo se escucha que las personas hablan sobre significado y denotación . Parecen no ser lo mismo. ¿Cuál es la diferencia? ¿El primero está asociado con la semántica operacional mientras que el segundo con la semántica denotacional?...
Dada una familia de a lo sumo n subconjuntos de { 1 , 2 , ... , n } . El cierre unión F es otra familia conjunto C que contiene cada conjunto que puede ser construido mediante la adopción de la unión de 1 o más conjuntos en F . Por | C | denotamos el número de juegos en C .FF\mathcal Fnortenorten{...
Mi pregunta es ¿por qué los límites inferiores para los circuitos booleanos de profundidad 3 con puertas "y" y "xor" para determinante no implican los mismos límites inferiores para los circuitos aritméticos sobre ?ZZ\mathbb{Z} Lo que está mal con el siguiente argumento: Sea un determinante...
Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en...
Deje que la clase BPNC (la combinación de y ) sean algoritmos paralelos de profundidad logarítmica con probabilidad de error limitada y acceso a una fuente aleatoria (no estoy seguro si este tiene un nombre diferente). Defina la clase DBPNC de manera similar, excepto que todos los procesos tienen...