En el "último párrafo" de la "primera página" del siguiente documento: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Si NP tiene circuitos de tamaño polinómico, entonces MA = AM", Ciencias de la computación teóricas, 1995. Encontré una afirmación algo contraintuitiva:...
Encontré el libro Pairwise Independence and Derandomization sobre el tema, pero está más orientado a la investigación que al tutorial. Soy nuevo en el tema de "Desrandomización" y, como tal, quería saber de qué referencia comenzar. Prefiero uno que discuta literatura e historia, así como los...
Estoy interesado en las propiedades de los gráficos dirigidos al azar con un grado externo fijoddd . Me estoy imaginando un modelo de gráfico aleatorio donde cada vértice elige d vecinos (digamos, con reemplazo) uar Pregunta : ¿Se sabe algo sobre la distribución estacionaria y los tiempos de...
Deje 0≤p≤10≤p≤10\le p\le 1 y considere el problema de decisión CLIQUE p de entrada: número entero s , gráfico G con t vértices y bordes Pregunta: no contiene un clique sobre al menos vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Una instancia de CLIQUE contiene una...
Deje que CCC sea un CCC . Vamos a (×)(×)(\times) sea un producto en bifuntor CCC . Como Cat es CCC, podemos curry (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B La...
Se dice que una distribución ϵ -engaña una función f si | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Y se dice que engaña a una clase de funciones si engaña a todas las funciones de esa clase. Se sabe que la varepsilon espacios -biased engañar a la clase de las paridades sobre subconjuntos....
Esta pregunta está inspirada en la camiseta de Georgia Tech Algorithms and Randomness Center , que pregunta "¿Aleatorizar o no?" Hay muchos ejemplos en los que la aleatorización ayuda, especialmente cuando se opera en entornos adversos. También hay algunas configuraciones donde la aleatorización...
Al leer un documento sobre el uso de métodos algebraicos para detectar algunos subgrafos inducidos, parece que el ideal de borde es una herramienta importante que conecta el álgebra conmutativa y la teoría de grafos. Como no estoy familiarizado con los cálculos de objetos algebraicos, ¿hay alguna...
En el pasado, implementé modelos de coordinación utilizando SAT y satisfacción de restricciones regulares como el caballo de batalla principal en sus motores. Continuando en esta línea de trabajo, me gustaría hacer que los modelos sean más interactivos, y la mejor manera que veo de hacerlo es abrir...
Según tengo entendido, todos saben que las reglas de pivote deterministas para algoritmos simplex tienen entradas específicas en las que el algoritmo requiere tiempo exponencial (o al menos no polinomial) para encontrar el óptimo. Llamemos a estas instancias 'patológicas' ya que generalmente (es...
Digamos que construyes una computadora que calculará el estado de todos los átomos en el Universo en cierto momento futuro. Debido a que el Universo es, por definición, todo lo que existe (y todo lo que interactúa con el resto), también incluye la computadora que está construyendo. ¿Puedes calcular...
Una extensión lineal de un poset P es un orden lineal en los elementos de P , de tal manera que x ≤ y en P implica x ≤ y en L para todo x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Un gráfico de extensión lineal es un gráfico en el...
Dada una caminata aleatoria en un gráfico, el tiempo de cobertura es la primera vez (número esperado de pasos) que cada vértice ha sido golpeado (cubierto) por la caminata. Para gráficos conectados no dirigidos, se sabe que el tiempo de cobertura está limitado por . Hay dígrafos fuertemente...
Es fácil ver que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( P ). Muchos algoritmos de espacio de registro conocidos (por ejemplo: conectividad st no dirigida, isomorfismo de gráfico plano) se ejecutan en O (...
Estoy tratando de averiguar si hay resultados generales o ejemplos sobre la completitud NP del problema de encontrar una segunda solución a un problema NP-completo. Más precisamente, estoy interesado en cualquier problema de la siguiente forma: Dada una solución a una instancia I de un problema...
Soy nuevo en la teoría de los lenguajes de programación y estoy buscando un buen recurso sobre un recurso para la semántica formal de los lenguajes de programación. Específicamente buscando semántica operacional estructural. Tengo algunas recomendaciones de libros. Pero estoy buscando un recurso en...
El problema que consideramos aquí es la extensión del conocido problema de coloreado de intervalos. En lugar de intervalos, consideramos rectángulos que tienen lados paralelos a los ejes. El objetivo es colorear los rectángulos usando un número mínimo de colores, de modo que a cualquiera de los dos...
Parece haber mucho trabajo, para algunos problemas NP-Hard, en el desarrollo de algoritmos exactos rápidos de tiempo exponencial (es decir, resultados de la forma: El algoritmo A resuelve el problema en el tiempo O (c ^ n), con c pequeño). Parece que hay una buena cantidad de trabajo en este...
Estoy leyendo La implementación de los lenguajes de programación funcional de Simon Peyton Jones y hay una declaración que me sorprendió un poco (en la página 39): En un grado mucho mayor que el caso de los lenguajes imperativos, los lenguajes funcionales son en gran medida variaciones...
He estado tratando de leer " Diseño de Algoritmo Funcional de Perlas " y, posteriormente, " El Álgebra de la Programación ", y existe una correspondencia obvia entre los tipos de datos definidos recursivamente (y polinomialmente) y los objetos combinatorios, que tienen la misma definición recursiva...