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...
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,
Considere conjuntos de valores (representados como matrices ordenadas sin duplicados y con un tamaño conocido (es decir, el tamaño puede obtenerse en O (1)). Los valores pueden probarse para la igualdad en el tiempo O (1). Quiero para obtener el conjunto de valores que están presentes en al menos k...
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 ω es extensional mientras que...
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...
Estoy buscando una forma de generar gráficos para que se conozca la cobertura óptima del vértice. No hay restricciones en el número de nodos o bordes, solo que el gráfico está completamente conectado. la idea es generar un gráfico que no sea fácil de encontrar la cubierta óptima del vértice, para...
¿Hay alguna aplicación de álgebra abstracta para la teoría del lenguaje de programación? ¿Hay algo que sería útil en el diseño del lenguaje y la implementación del
Estoy tratando de cubrir un polígono cóncavo simple con un mínimo de rectángulos. Mis rectángulos pueden tener cualquier longitud, pero tienen anchuras máximas y el polígono nunca tendrá un ángulo agudo. Pensé en tratar de descomponer mi polígono cóncavo en triángulos que produjeran un conjunto de...
Un -coloring de una cuadrícula es una función . Un rectángulo roto en es una tupla satisface , es decir, exactamente tres esquinas del rectángulo son del mismo color.kkkm×nm×nm \times nC:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to
El problema de N-queen es este: Entrada: N Salida: una colocación de N "reinas" en un tablero de ajedrez de NXN de modo que no haya dos reinas en la misma fila, columna o diagonal. Al hacer una búsqueda en Google sobre esto, descubrí que muchas diapositivas de muchos profesores afirman que este...
Se cree ampliamente que algunos problemas computacionales, como el isomorfismo de grafos, no pueden ser NP-completos porque no poseen suficiente estructura o redundancia para ser computacionalmente duros (NP-hard). Estoy interesado en las diferentes nociones formales para la estructura de los...
El teorema de Courcelle establece que cada propiedad de gráfico definible en la lógica monádica de segundo orden se puede decidir en tiempo lineal en gráficos de ancho de árbol acotado . Este es uno de los metateoremas algorítmicos más conocidos. Motivado por el teorema de Courcelle, hice la...
¿Qué tipo de teoremas de jerarquía existen para la profundidad del circuito? Declaraciones como g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n))...
¿Qué se sabe actualmente sobre la aproximabilidad del problema del género? Una búsqueda preliminar me dice que una aproximación de factor constante es trivial para gráficos suficientemente densos, y se ha descartado un algoritmo de aproximación . ¿Esta información está actualizada o se conocen...
Relajemos un poco el color, es decir, permitimos que se asigne el mismo color a un pequeño número de vértices adyacentes. Un componente monocromático se define como un componente conectado en el subgrafo inducido por el conjunto de vértices que reciben el mismo color, y la pregunta es pedir el...
Estoy interesado en la pregunta de si NP es igual a coNP o no. Agradecería mucho algunos consejos sobre buenas publicaciones para leer sobre el tema. Para el registro, sé que esta pregunta está íntimamente relacionada con la pregunta de si P es igual a NP o no (de modo que si NP! = CoNP entonces...
Sé cómo algunas ocurrencias negativas pueden ser definitivamente malas: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) false :: False false = yc id Sin embargo, no estoy seguro...
Me interesa el sistema de girasol y sus aplicaciones en informática. Dado un Universo y una colección de k conjuntos A i se llama sistema k-girasol si A i ∩ A j = Y para todo i ≠ j . Y Y se llama como núcleo y A i - Y se llama pétalos. UUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji \neq...
Algunos antecedentes: Estoy interesado en encontrar límites inferiores "menos conocidos" (o resultados de dureza) para el problema de Aprendizaje con errores (LWE) y generalizaciones de los mismos como Aprender con errores sobre anillos. Para definiciones específicas, etc., aquí hay una buena...
Un problema abierto muy interesante en el estudio de las medidas de complejidad de la función booleana es la llamada conjetura de sensibilidad frente a sensibilidad de bloque. Para obtener información sobre la sensibilidad frente a la sensibilidad de bloque, puede consultar la siguiente publicación...