Estoy buscando el documento original donde Hoare (o alguien más, supongo) discute la terminación (corrección total). O cualquier otro trabajo inicial sobre la terminación de la lógica "vainilla" de Hoare (supongo que con eso me refiero a un HL para un lenguaje de juguete tipo C). He echado un...
Tengo dos dominios totalmente distintos (manzanas y naranjas) y tengo una función que toma un conjunto de objetos del primer dominio y un conjunto de objetos del segundo dominio y devuelve un número real.fff tiene las siguientes propiedades interesantes:f(S,T)f(S,T)f(S,T) fijando , es no...
En el artículo de Savitch de 1969, "Relaciones entre complejidades de cinta no deterministas y deterministas", afirma que "todas las funciones de almacenamiento comunes L (n)> = lg n son medibles. En particular, cualquier polinomio en ny lg n es medible". Su definición de mensurable es: "Se dice...
No es difícil mostrar que ordenar una matriz de números es difícil para . Si la entrada es una matriz de 1s y 0s, entonces es esencialmente la función C o u n t (dados n bits, genera el número de 1s en binario) ya que C o u n t está completo para T C 0 y es posible para convertir números unarios en...
Pruebas simultáneas de conocimiento cero con complejidad redonda logarítmica Los números de página son del propio documento, y no del pdf. De la página 3, "Un sistema de prueba interactiva se dice que es negro-box (computacional) cero conocimiento si hay una máquina del tiempo oráculo...
Las funciones lineales en una variable tienen dimensión VC = 3 y recuerdo haber leído en alguna parte que el VC para polinomios de grado es .dred(d2+3d+2)/2(re2+3re+2)/ /2(d^2 + 3d + 2)/2 Estoy buscando ideas que puedan probar la afirmación anterior (y tal vez generalizar a muchas variables...
Deje que AAA sea un conjunto de tamaño kkk y BBB sea un conjunto de tamaño ℓℓ\ell , para fijo kkk y ℓℓ\ell , y tal que A∩B=∅A∩B=∅A\cap B=\emptyset . ¿Cuál es la (o a) familia Sperner FF\mathcal{F}en A∪BA∪BA\cup B para la cual FB={C∩B : C∈F}FB={C∩B : C∈F}\mathcal{F}_B=\{C\cap B ~:~ C\in\mathcal{F}\}...
Thor Johnson, et al, en su artículo: Ancho de árbol dirigido , introdujeron una definición para la cuadrícula dirigida , y conjeturaron:JkJkJ_k Para cada entero k existe un entero N tal que cada dígrafo con un ancho de árbol N o más tiene un isomorfo menor a J k
Me pregunto si hay un algoritmo sublineal para eliminar o contraer un borde en una incrustación combinatoria de, digamos, un gráfico plano. Dado que en la incrustación combinatoria tenemos que mantener los vértices de G y G * al mismo tiempo, teniendo en cuenta que la contracción en el primario es...
Supongamos que tenemos dos números factorizados en sus números primos, representados como listas de (p, d), donde todos los p son primos yd son la potencia de p. ¿Hay alguna manera de comparar esos dos números sin convertirlos en enteros largos? La comparación de dos números se puede reducir a la...
max(dmax−−−−√,dave)≤λmax=λ1≤dmaxmax(dmax,dave)≤λmax=λ1≤dmax\max(\sqrt{d_{\max}}, d_{\text{ave}})\le \lambda_{\max}=\lambda_1 \le d_{\max}λiλi\lambda_ii≥3i≥3i\ge
Estoy leyendo Algoritmos simples de camino más corto eficientes por Donald Goldfarb, Jianxiu Hao y Shen-Roan Kai, quienes consideraron "la especialización del algoritmo simplex primario para el problema de encontrar un árbol de caminos más cortos dirigidos desde un nodo dado a todos los demás nodos...
Net (también conocido como FreeNet o NetWalk) es un juego de rompecabezas que se juega en una cuadrícula con los siguientes objetos:n × nn×nn \times n hay computadoras ; cada computadora ocupa una celda y tiene un cable de enlace;metromm cada computadora debe estar conectada a la unidad central...
Últimamente he estado jugando con los resúmenes , principalmente del clásico artículo de Abramsky Retracing Some Paths in Process Algebra . Son bastante hábiles (básicamente soluciones a la ecuación de dominio ), y recuerdan mucho a las redes de Kahn.R = I→ ( O × R )R=I→(O×R)R = I \to (O \times...
Espero que esta pregunta no sea demasiado ingenua para este sitio. En matemáticas (topología, geometría, álgebra) es común que uno distinga entre dos objetos creando un invariante algebraico o numérico, y demostrando que los dos objetos tienen valores diferentes. Me pregunto hasta qué punto se ha...
Ahora es una observación bien conocida que muchas estructuras gráficas que surgen en entornos naturales tienden a obedecer propiedades libres de escala, como la ley de poder de la distribución de grados. ¿Hay algún buen ejemplo de gráficos naturales que sean bastante aleatorios y que no obedezcan...
El lenguaje de los whileprogramas puede expresar las funciones computablemente enumerables. (Esto es cierto incluso si las únicas operaciones aritméticas en variables son, por ejemplo, incremento y decremento). Si whilese reemplaza por forhacer bucles siempre delimitados, el lenguaje solo puede...
La siguiente breve descripción del conocido "Google Eggs Puzzle" proviene principalmente del sitio web Google Eggs : Google Eggs Puzzle: Dado n pisos ym huevos, ¿cuál es el enfoque para encontrar el piso más alto desde el cual los huevos se pueden tirar de manera segura, mientras se minimizan...
¿Cuáles son algunas aplicaciones de la descomposición gráfica modular en TCS / teoría de la complejidad? Estoy especialmente interesado en su uso en pruebas o límites superior / inferior si ocurre. [1] Descomposición gráfica modular , Wikipedia. [2] Referencias para la descomposición modular...
Estoy usando un cálculo de la matriz de varianza-covarianza en un programa que escribí (para el análisis de componentes principales), y me pregunto cuál es su complejidad. Aunque obviamente la descomposición del vector propio está causando el mayor impacto en el rendimiento, me pregunto cuánto de...