Ciencias de la computación teórica

Preguntas y respuestas para científicos informáticos teóricos e investigadores en campos relacionados.

1
¿Por qué los gráficos reflexivos para la parametricidad?
En cuanto a los modelos de polimorfismo paramétrico, tengo curiosidad por qué se utilizan las categorías de gráficos reflexivos . En particular, ¿por qué no incluyen la composición relacional? Al observar los modelos, todos parecen apoyar una noción natural de composición relacional: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y …
1
¿Cómo se ve una puerta cuántica tangible?
He leído libros, artículos y documentos publicados sobre Quantum-Computing. Descubrí que todos los materiales que he visto son, en lugar de describir la puerta cuántica desde la física básica hasta la abstracción, tratando de evitar hablar sobre los detalles de implementación de las puertas cuánticas . En primer lugar, me …
1
¿Cuál es el nombre de una función tal que ?
Sea un lenguaje y una función en dos parámetros con la propiedad de que para todos e , devuelve un elemento de si y solo si tanto como son elementos de :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . Pregunta ¿Estas funciones tienen un nombre en la literatura? …
1
vs
¿Es NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? O, más generalmente, ¿es NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?
1
¿Cómo sirven las revistas a la comunidad TCS?
En el pasado, las revistas eran la principal forma en que los descubrimientos científicos / matemáticos se difundían y examinaban. En algunas áreas, todavía lo son. Sin embargo, en ciencias de la computación (teóricas) ese rol se realiza casi en su totalidad mediante conferencias y difusión abierta basada en la …
1
La caja más pequeña alineada al eje que contiene
Entrada: Un conjunto de puntos en R 3 y un número entero k ≤ n .nortennR3R3\mathbb{R}^3k ≤ nk≤nk \le n Salida: el cuadro delimitador alineado al eje del volumen más pequeño que contiene al menos de estos n puntos.kkknnn Me pregunto si se conocen algoritmos para este problema. Lo mejor …
1
Tipos dependientes sobre el tipo codificado por Church en PTS / CoC
Estoy experimentando con sistemas de tipo puro en el cubo lambda de Barendregt, específicamente con el más poderoso, el cálculo de construcciones. Este sistema tiene géneros *y BOX. Solo para el registro, a continuación estoy usando la sintaxis concreta de la Morteherramienta https://github.com/Gabriel439/Haskell-Morte-Library que está cerca del cálculo lambda clásico. …
3
Complejidad de calcular la paridad de la fórmula CNF de lectura dos veces opuesta (
En una fórmula CNF de lectura dos veces opuesta, cada variable aparece dos veces, una vez positiva y otra negativa. Estoy interesado en el problema , que consiste en calcular la paridad del número de asignaciones satisfactorias de una fórmula CNF de lectura dos veces opuesta.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} No pude encontrar ninguna …
2
Consecuencia de PIT sobre no tiene un algoritmo eficiente
Dado modo que los coeficientes de están delimitados por , hace ¿sostener?p , q B p ≡ qp(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q El lema de Schwartz-Zippel se aplica aquí, ya que es válido para campos generales y y hay un algoritmo aleatorio eficiente para este problema.Z⊂QZ⊂Q\Bbb Z\subset\Bbb Q Esperamos que este …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.