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 que se me...
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...
Deje que sea un gráfico acíclico dirigido , y dejar que λ ser una función de etiquetado mapear cada vértice v ∈ V a una etiqueta λ ( v ) en algunos finito alfabeto L . Escribiendo n : = | V | , un tipo topológico de G es una biyección σ de { 1 , ... , n } a V (es decir, un ordenamiento deG = ( V,...
¿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}
Me interesan las propiedades combinatorias de las redes sociales como gráficos. La gente ha visto cosas como la distribución de los grados, el coeficiente de agrupamiento y la compresibilidad de estos gráficos. Una pregunta básica es: ¿son estos gráficos típicamente buenos gráficos de...
Un anticadena en un DAG (V,E)(V,E)(V, E) es un subconjunto A⊆VA⊆VA \subseteq V de vértices que son pairwise inalcanzable, es decir, no hay v≠v′∈Av≠v′∈Av \neq v' \in A tal que vvv es alcanzable desde v′v′v' en EEE . Por el teorema de Dilworth en la teoría del orden parcial, se sabe que si DAG no...
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...
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...
Considere el siguiente problema: dada una matriz , índices i , j ∈ { 1 , ... , n } y un número entero a . Reemplazar M [ i , j ] por una y llame nueva matriz M . Es p e r ( M ) > pMETRO∈ { - m , ... , 0 , ... , m }n × nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times n}i , j ∈ { 1 , ... , n...
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...
En un documento de conferencia, para probar la completitud de un problema, escribí la estúpida oración "Está claro que el problema está en N P. Por lo tanto, demostraremos que es N P- duro". De hecho, no estaba claro en absoluto. Incluso parece ser un problema abierto. Para el público objetivo, no...
He estado programando durante varios años, pero no estoy muy familiarizado con el CS teórico. Recientemente he estado tratando de estudiar lenguajes de programación y, como parte de eso, la verificación de tipos y la inferencia. Mi pregunta es, si trato de escribir una inferencia de tipos y un...
Estoy tratando de entender la lógica lineal para comprender mejor los sistemas de tipo lineal. Sin embargo, cuando leí las reglas, no llego a tener una intuición detrás de él como lo he hecho en la lógica modal - significa un se requiere como en los marcos de Kripke A es necesaria para todos los...
Deje que sea cualquier estructura finita. ¿Su teoría de primer orden tiene un rango cuantificador acotado, en el sentido de que hay un tal que para todos con hay un con y ?AA\mathfrak{A} T:=TH(A)T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈Nq∈N q\in\mathbb{N} φ∈Tφ∈T...
Deje que sea un oráculo genérico en el sentido de la categoría de Cohen / Baire. Deje ser un oráculo al azar.RGGGRRR ¿Hay clases de complejidad A y B con o el al revés, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne...
Soy consciente de que el cálculo de construcciones se está normalizando fuertemente, lo que significa que cada expresión tiene una normalidad que no puede ser beta, eta-reducida aún más. De hecho, esta es la expresión más eficiente que calcula el mismo valor que la expresión original. Pero en...
La lógica monádica de primer orden, también conocida como la clase monádica del problema de decisión, es donde todos los predicados toman un argumento. Se demostró que era decidible por Ackermann, y está NEXPTIME-complete . Sin embargo, problemas como SAT y SMT tienen algoritmos rápidos para...
En general, decidir si una ecuación de diofantina tiene alguna solución entera es equivalente al problema de detención. Creo que decidir si una ecuación de diofantina cuadrática tiene alguna solución es NP-completo. ¿Existe una restricción adicional en las ecuaciones involucradas que produce un...
Tengo un conjunto de vectores binarios S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } y un vector objetivo t = 1 k, que es el vector de todos.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Conjetura: Si puede...
Pregunta general ¿El teorema de la jerarquía espacial se generaliza a la computación no uniforme? Aquí hay algunas preguntas más específicas: ¿Es ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas las funciones construibles en el espacio f(n)f(n)f(n) , ¿es...