Estoy tratando de mostrar que un cierto problema no es posible por una reducción de la cobertura establecida. Mi reducción transforma una instancia con conjuntos de tierra de conjuntos de tamaño nnn y mmm en una instancia de mi problema donde un determinado parámetro rrr es de tamaño...
Wikipedia - SHA-2 dice SHA-224 es idéntico a SHA-256, excepto que: los valores de la variable inicial h0 a h7 son diferentes y la salida se construye omitiendo h7. RFC3874 - Una función de hash unidireccional de 224 bits: SHA-224 dice El uso de un valor inicial diferente asegura que...
(Mi pregunta original aún no ha sido respondida. He agregado más aclaraciones). Al analizar caminatas aleatorias (en gráficos no dirigidos) al ver la caminata aleatoria como una cadena de Markov, requerimos que el gráfico no sea bipartito para que se aplique el teorema fundamental de las cadenas...
En el problema de Max-Cut , se busca un subconjunto S de vértices de un gráfico simple no dirigido dado de modo que el número de aristas entre S y el complemento de S sea lo más grande posible. Max-Cut es APX-complete en gráficos de grado acotado [PY91], y de hecho APX-complete en gráficos cúbicos...
Para una aplicación de aprendizaje de máquina, mis necesidades de grupo para calcular la distancia euclídea a la ésimo vecino más cercano en un conjunto para cada (para entre 5 y aproximadamente 100 , y algunos cientos hasta unos pocos millones). Actualmente estamos utilizando el enfoque de fuerza...
Dada una función submodular on donde y son disjuntos . Aquí y son submodulares en y respectivamente.Ω = X 1 ∪ X 2 X 1 X 2 f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) f 1 f 2 X 1 X 2FffΩ = X1∪ X2Ω=X1∪X2\Omega=X_1\cup X_2X1X1X_1X2X2X_2F( S) = f1( S∩ X1) + f2( S∩
Estoy aprendiendo la teoría algebraica del análisis. Mi primer problema es identificar ejemplos de semiring que son específicos de la teoría del lenguaje formal. Aquí hay un intento de construir dos ejemplos. 1 Dada la gramática CNF, los elementos de semiring son conjuntos de símbolos terminales y...
Estoy tratando de aprender más sobre la verificación de tipos de todo el programa y los sistemas de inferencia de tipos que usan información de sitios de llamadas de función para calcular la información de tipo (además del enfoque estándar de usar el cuerpo de la función). Por ejemplo, un algoritmo...
Estoy leyendo un artículo antiguo de MC Golumbic sobre gráficos de EPT (intersección de bordes de caminos en un árbol). En el documento se muestra que el número de camarillas máximas de una instancia de gráfico EPT es polinomial. Concluye que si un oráculo informa que un gráfico es un gráfico EPT,...
DLOGTIME se define en http://en.wikipedia.org/wiki/DLOGTIME se define en http://en.wikipedia.org/wiki/L_%28complexity%29 NC y NC n se definen en http: // en .wikipedia.org / wiki / NC_% 28complexity% 29LL\operatorname{L} CAROLINA DEL NORTENC\operatorname{NC}CAROLINA DEL
Supongamos un marco en la complejidad de la comunicación donde tenemos dos jugadores A (piojos) y B (ob) y un R (árbitro). A y B no se comunican directamente entre sí. En cada ronda de comunicación, cada uno de ellos envía un mensaje ( , ) a la R. R calcula dos funciones y y les envía los...
(Disculpas si esto está fuera de lugar o es demasiado amplio. Estoy abierto a sugerencias sobre cómo reformularlo). Estoy interesado en rastrear la historia "antigua" de los algoritmos de flujo máximo y los algoritmos de optimización discretos en general. Ford-Fulkerson es mi hombre de paja como...
El teorema de PCP establece que cada problema de decisión en NP tiene pruebas probabilísticamente comprobables (o de manera equivalente, que existe un sistema de prueba completo y cuasi-sonoro para teoremas en NP que usa complejidad de consulta constante y logarítmicamente muchos bits...
Las triangulaciones de Delaunay en el plano maximizan el ángulo mínimo en un triángulo. ¿Es lo mismo válido para la triangulación de puntos de Delaunay en la esfera? (aquí el "ángulo" es el ángulo local en un vecindario alrededor del vértice en el vértice). Inspirado pero no relacionado con esta...
Estoy buscando un software para calcular / estimar el volumen de poliedros convexos de alta dimensión. Más específicamente, estoy interesado en un programa, que puede manejar cuerpos con vértices en d espacio dimensional con los parámetros delimitadas aproximadamente como sigue: d ≤ 50 y n ≤ 1000 ....
Continuando con esta pregunta ... Estoy tratando de aprender a usar y crear redes neuronales para mi investigación, y un punto se me escapa. Me doy cuenta de que las capas ocultas son una parte algo necesaria de esto, sin embargo, estoy atascado en dos puntos que mis referencias no explican a mi...
Supongamos que tengo una lista de subconjuntos de . Puedo hacer un preprocesamiento en esta lista si es necesario. Después de este preprocesamiento, se me presenta otro conjunto . Quiero identificar cualquier conjuntos con .{ 1 , . . . , N } A ⊆ { 1 , . . . , n } B ∈ X B ⊆ AXX\cal...
Al interpretar las claves como números naturales, podemos usar la siguiente fórmula. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Lo que tengo problemas para entender es cómo elegimos el valor de A
Me gustaría saber por qué para el reconocimiento de lenguajes libres de contexto solo funcionan los autómatas push-down no deterministas (DPA = NPDA). ¿Por qué los autómatas deterministas pushdown (DPDA) no reconocen tales
Quería averiguar cuáles son algunas aplicaciones de SGT en el área de la teoría de la información y la codificación, y tal vez las comunicaciones. Lo más relacionado que me viene a la mente es el trabajo en los códigos de expansión Michael Sipser y Daniel Spielman, "Expander Codes", IEEE...