Entiendo la consistencia estricta y secuencial independientemente bastante bien. El estricto C básicamente impone el orden real en el que se ejecutaron las instrucciones en el reloj global. La coherencia secuencial básicamente impone el orden solo en un procesador. Sin embargo, tengo problemas...
Estoy escribiendo un modelo de juguete , y estoy en el punto en que es hora de implementar la traducción de autómatas LTL a Buchi. Por una variedad de razones obvias, deseo que el algoritmo sea simple :) por ejemplo, quiero que el código permanezca extremadamente claro y conciso durante el mayor...
por favor, ¿puede proporcionar una referencia o dar ejemplos particulares de problemas completos de PSPACE que se puedan resolver en tiempo pseudo-polinomial? Notas Adicionales: Definición de tiempo pseudopolinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time En respuesta a algunos...
La pregunta es si es posible modelar en lógica lineal dos modos de acceso a un recurso. Sé que son posibles dos modos de recursos, es decir: !r⊢!r⊢!r \vdash r está infinitamente disponible r solo está disponible una vez r⊢r⊢r \vdash \quad Pero, ¿y si no quiero decidir si r es infinita o solo una...
Se nos dan pilas que contienen "elementos" de diferente color y una máquina que puede procesar múltiples elementos del mismo color de una sola vez. En cada paso, podemos eliminar un elemento de la parte superior de cada pila y ponerlo en nuestra máquina (de manera efectiva, la máquina puede...
Como sabemos, el isomorfismo gráfico está en NP pero no se sabe que sea NP-Completo o P-Completo. Me preguntaba si hay algún problema que se sabe que está en PSPACE pero no se sabe que es PSPACE-Complete y no se encuentra en
Un -net para un espacio de rango es un subconjunto de tal que no es vacío para todos tal que.( X , R ) N X N ∩ R R ∈ R | X ∩ R | ≥ ε | X |εε\varepsilon( X, R )(X,R)(X,\mathcal{R})norteNNXXXnorte∩ RN∩RN\cap RR ∈ RR∈RR\in \mathcal{R}El | X∩ R | ≥ ε | XEl ||X∩R|≥ε|X||X\cap R| \ge \varepsilon |X| Dado...
La idea básica de la inducción hacia atrás es comenzar con todas las posiciones finales posibles de un juego en el que el jugador X gana. Entonces, para el ajedrez, mira todas las formas en que las blancas pueden hacer jaque mate a las negras. Ahora trabaje hacia atrás a todos los movimientos /...
En el paso de reducción de grados de la prueba de Dinur, el gráfico de entrada se transforma en un gráfico G ' reemplazando cada vértice v ∈ V ( G ) por un conjunto de vértices, c l o u d ( v ) , de modo que | c l o u d ( v ) | = d e g r e e G ( v ) , e imponiendo un gráfico expansor de grado d en...
Estoy planeando ejecutar un "experimento" cuando enseñe mi clase de algoritmos este otoño, con una computadora muy antigua y limitada (el factor limitante principal es probablemente la memoria, posiblemente tan bajo como 16 KB) y uno moderno / estándar. La idea es resolver un problema con un...
Tengo un DAG de dependencias que contiene muchos bordes redundantes (ver ejemplo a continuación). Quiero un algoritmo "rápido" (es decir, puede manejar un gráfico con varios miles de nodos / bordes) que encuentre un gráfico secundario mínimo. Por ejemplo: A -> B -> C A -> C en...
Estoy considerando el problema de reconocer un idioma (sobre el alfabeto 0-9 y el espacio) que contiene cadenas como "1 2 3 4 5 6" y "14 15 16 17" pero no "1 3". Esto surgió mientras trabajaba en una tarea de análisis común donde los elementos debían estar en una lista ordenada. Me llamó la...
De alguna manera pasé de la biofísica a un equipo mixto donde generalmente publicamos en revistas / conferencias TCS. Para obtener financiación, en el país europeo donde vivo, es recomendable mostrar en su CV que tengo documentos o conferencias arbitradas en estos campos. Tengo más de 30...
[Editar 21 de julio de 2011: edité la pregunta para pedir más ejemplos] Esta pregunta requiere una discusión documentada de o más ejemplos de una observación heurística. Algunos problemas matemáticos que admiten algoritmos eficientes parecen ser de naturaleza convexa. Estoy pensando en programas...
¿Existe una función similar a una trampilla cuya complejidad de codificación es el tiempo polinomial nk1nk1n^{k_{1}} y la complejidad inversora (sin clave secreta) también es una función polinómica en la longitud de entrada con (digamos que y es incondicionalmente demostrable estar limitado por )...
Considere un lenguaje de expresiones regulares con el cuantificador codicioso , el cuantificador no codicioso ∗ ? , alternancia ordenada y clases de caracteres. (Esto es esencialmente un sublenguaje de PCRE sin referencias posteriores, afirmaciones de búsqueda o algunos de los otros bits más...
¿Qué estructuras de datos recomendaría que representen una colección de subconjuntos de y admitan las siguientes operaciones?{1,…,n}{1,…,n}\{1, \dots, n\} : inserta S en la colección.insert(S)insert(S)insert(S)SSS : devuelve verdadero si existe S ′ en la colección tal que S ′ ⊂ S , falso en...
Contexto: según tengo entendido, en la teoría de la complejidad geométrica, la existencia de obstrucciones sirve como un certificado de prueba, por así decirlo, de la inexistencia de un circuito computacional eficiente para la función explícita y difícil en el problema del límite inferior en...
Aunque L.Berman demostró que el problema de verificar o falsificar cualquier declaración de primer orden sobre números reales que usa la suma y la comparación pero no la multiplicación está en EXPSPACE. ¿Se le ha mostrado cuánto tiempo o espacio necesitaría para verificar o falsificar cualquier...
Dado un gráfico G ( V, E)G(V,E)G(V,E) , el problema clásico de coincidencia máxima es elegir el subconjunto máximo de aristas METROMETROM st, para cada arista ( u , v ) ∈ M(tu,v)∈METRO(u,v) \in M , re( u ) = d( v ) = 1re(tu)=re(v)=1d(u)=d(v)=1 . ¿Alguien ha estudiado la siguiente variante? Para...