Digamos que tengo un gráfico ponderado tal que es la función de ponderación; tenga en cuenta que se permiten pesos negativos.w : E → [ - 1 , 1 ]G = ( V, E, W )G=(V,E,w)G = (V,E,w)w : E→ [ - 1 , 1 ]w:E→[−1,1]w:E\rightarrow [-1,1] Supongamos que define una propiedad de cualquier subconjunto de los...
Graph automorphism es una permutación de nodos de gráfico que induce una biyección en el conjunto de aristas EEE . Formalmente, es una permutación fff de nodos como (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Defina un borde violado para alguna permutación como un borde...
Motivación: en los algoritmos de flujo máximo de ruta de aumento estándar, el bucle interno requiere encontrar rutas desde la fuente para hundirse en un gráfico ponderado dirigido. Teóricamente, es bien sabido que para que el algoritmo termine incluso cuando hay capacidades de borde irracionales,...
Esta pregunta ha surgido en mi mente después de leer las contribuciones de András Salamon y Colin McQuillan a mi pregunta anterior Soluciones de conteo de fórmulas Monotone-2CNF . EDITAR 30 ª Mar 2011 pregunta Agregado n ° 2. EDITAR 29 º Oct 2010 Pregunta reformuló después de la propuesta...
Dado un dígrafo G fuertemente conectado con bordes ponderados, me gustaría identificar los bordes que probablemente no sean parte de ningún subgráfico mínimo fuertemente conectado (MSCS) de G. Un método para encontrar tales bordes es un algoritmo de Floyd-Warshall modificado. Usando el algoritmo...
¿Existe alguna herramienta en la que uno pueda determinar si dos personas son coautoras o no? Como la herramienta en la que uno puede descubrir el número de Erdos de
Una transacción de base de datos clásica simplificada se puede ver como: leyendo artículos M realizar algunos cálculos basados en esas lecturas escribir algunos resultados de N basados en estos cálculos, que pueden incluir los elementos leídos originalmente. Al realizar estas transacciones...
Tengo el siguiente LP: /* Función objetiva */ min: 1 w + 2 x + 0,5 y + z; / * Límites variables * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; En este caso, U1 + U2> T1 y la solución óptima es y = 70 y z = 25. Quiero hacer cumplir la condición de que a las variables...
Tengo una pregunta de viabilidad que se puede enmarcar de la siguiente manera. Me dan un punto en un d espacio vectorial dimensional, y yo quiero encontrar el punto más cercano q a p que satisface un conjunto de " l 0 limitaciones" de la formapppdddqqqpppℓ0ℓ0\ell_0 Dado un conjunto , como máximo...
Hiroimono es un popular rompecabezas completo de Estoy interesado en la complejidad computacional de un rompecabezas relacionado.NPNPNP El problema es: Entrada : dado un conjunto de puntos en una cuadrícula x n cuadrada y entero knnnnnnkkk Pregunta : ¿Existe un polígono rectilíneo (sus lados...
Deje que π: { 0 , 1 }∗→ { 0 , 1 }∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* sea una permutación. Tenga en cuenta que mientras ππ\pi actúa en un dominio infinito, su descripción puede ser finita. Por descripción , me refiero a un programa que describe la funcionalidad de ππ\pi . (Como en...
En Universal Blind Quantum Computation, los autores describen un protocolo basado en mediciones que permite a un usuario casi clásico realizar cálculos arbitrarios en un servidor cuántico sin revelar casi nada sobre el contenido de la computación. En la descripción del protocolo, los autores...
¿Alguien sabe de un conjunto de problemas que varían uniformemente y abarcan una de las jerarquías "interesantes" de complejidad y computabilidad? Por interesante, quiero decir, por ejemplo, la Jerarquía Polinómica, la Jerarquía Aritmética o la Jerarquía Analítica. O tal vez (N) P, (N) EXP, 2 (N)...
Pregunta : ¿Es tan difícil predecir (como se define a continuación) las secuencias computables como el problema de detención? Elaboración : "Predecir" significa predecir con éxito, lo que significa cometer solo un número finito de errores en la tarea de intentar predecir el enésimo bit de la...
En primer lugar, todavía no estoy seguro de si la teoría está bien adaptada para esta pregunta, por lo que no me ofenderé si la multitud cree que no es así ... En el marketing de motores de búsqueda, varios problemas son interesantes. El diseño de mecanismos de subasta justos (y rentables) y el...
Harvey Friedman demostró que hay un claro resultado de punto fijo que no se puede probar en ZFC (la teoría de conjuntos Zermelo-Frankel habitual con el Axioma de Elección). Muchas lógicas modernas se basan en operadores de punto fijo, así que me preguntaba: ¿hay alguna consecuencia conocida del...
La resolución es un esquema para demostrar la insatisfacción de los CNF. Una prueba en resolución es una deducción lógica de la cláusula vacía para las cláusulas iniciales de la CNF. En particular, se puede inferir cualquier cláusula inicial, y de dos cláusulas A ∨ xA∨xA \lor x y B ∨ ¬ xB∨¬xB \lor...
Al tratar con las categorías teóricas de dominio (por ejemplo, CPO y CPO), con frecuencia deseo un diccionario para el lenguaje de la teoría de categorías en la teoría de dominios.ωω\omega Es decir, dado un concepto, digamos flecha mónica, podría buscarlo en el diccionario y ver cuáles son sus...
Estoy tratando de elaborar una taxonomía de algoritmos para transformar expresiones regulares en autómatas para realizar algunas pruebas empíricas de sus propiedades de complejidad en dominios específicos. Soy consciente de varios de los nombres 'más grandes', por ejemplo, Thompson "Algoritmo...
El capítulo de Smyth en el manual de lógica en informática y otras referencias describe cómo los espacios métricos pueden usarse como dominios. Entiendo que los espacios métricos completos dan puntos fijos únicos, pero no entiendo por qué los espacios métricos son importantes. Realmente agradecería...