Considere el siguiente problema: Dado planar maximal Gráficos de y , encontrar el gráfico con el número máximo de bordes de tal manera que hay un subgrafo (no necesariamente inducida) tanto en y que es isomorfo a .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG ¿Se puede hacer esto en tiempo polinómico? ¿Si...
Antecedentes Esta pregunta está motivada por un juego de mesa llamado 'Drácula'. En este juego hay un vampiro y cuatro cazadores, el objetivo de los cazadores es atrapar al vampiro. El juego tiene lugar en Europa. El juego tiene el siguiente aspecto: 1. El jugador cazador coloca a todos los...
Contexto. Estoy escribiendo sobre temas como el teorema de Gottesman-Knill , utilizando grupos estabilizadores de Pauli, pero en el caso de d -qudits dimensionales, donde d puede tener más de un factor primo. (Destaco esto porque la gran mayoría de la literatura sobre formalismo estabilizador en...
En el " Consejo para un estudiante graduado principiante " de Manuel Blum : LEONID LEVIN cree mientras hago eso, sea cual sea la respuesta a la P = NP? problema, no será como todo lo que crees que debería ser. Y ha dado algunos ejemplos maravillosos. Por un lado, ha dado un ALGORITMO DE...
Descargo de responsabilidad : aunque me importa la teoría de tipos, no me considero un experto en teoría de tipos. En el cálculo lambda de tipo simple, el tipo cero no tiene constructores y un eliminador único: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash...
Estoy buscando una implementación de un algoritmo para calcular el ancho de ruta de un gráfico. Es bien sabido que calcular el ancho de ruta es equivalente a calcular el número de búsqueda de nodos, el número de separación de vértices o el grosor de intervalo del gráfico. El algoritmo no tiene que...
Esta pregunta está motivada por una pregunta de MathOverflow de Peng Zhang . Valiant mostró que contar las camarillas máximas en un gráfico general es # P-completo, pero ¿qué pasa si restringimos a los gráficos de incomparabilidad (es decir, queremos contar las antichains máximas en un grupo...
El popular algoritmo DEFLATE utiliza la codificación Huffman sobre Lempel-Ziv. En general, si tenemos una fuente de datos aleatoria (= entropía de 1 bit / bit) , es probable que ninguna codificación, incluida Huffman, la comprima en promedio. Si Lempel-Ziv fuera "perfecto" (que se acerca a la...
Estoy buscando una referencia (no una prueba que pueda hacer) a la siguiente extensión de Chernoff. Dejar que serán variables aleatorias booleanas, no necesariamente independientes . En cambio, se garantiza que P r ( X i = 1 | C ) < p para cada i y cada evento C que solo depende de { X j | j ≠...
Parity-L, también conocido como L, es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación". Niel de Beaudrap hizo una pregunta relacionada reciente .⊕⊕\oplus Mi pregunta es la...
Ramificar y vincular es una heurística eficaz para los problemas de búsqueda, y Wikipedia enumera una serie de problemas difíciles en los que se ha utilizado ramificar y vincular. Sin embargo, no he podido encontrar referencias que sugieran que es más que solo "un método" para resolver estos...
El Capítulo 1 del libro El Método Probabilístico, de Alon y Spencer, menciona el siguiente problema: Dado un gráfico GGG , decida si su conectividad de borde es al menos n/2n/2n/2 o no. El autor menciona la existencia de un O(n3)O(n3)O(n^3) algoritmo por Matula y mejora a
¿Hay algún problema que sea NP completo cuando se usa geometría euclidiana pero que está bien definido y puede resolverse en tiempo polinómico para alguna geometría no
Chong, Han y Lam mostraron que la conectividad st no dirigida se puede resolver en la EREW PRAM en tiempo con procesadores O ( m + n ) .O ( log n )O(Iniciar sesiónnorte)O({\log}n)O ( m + n )O(metro+norte)O(m+n) ¿Cuál es el algoritmo paralelo más conocido para la conectividad st en gráficos planos...
En este artículo de Kempe-Kleinberg-Tardos, los Autores proponen algoritmos codiciosos basados en funciones submodulares para determinar los nodos más influyentes en un gráfico, con aplicaciones a las redes sociales.kkk Básicamente, el algoritmo es el siguiente: S= e m p t y s e...
Sea un cuadrado n × nnorte×norten\times n matriz real UNUN{\bf A} y dos vectores XX{\bf x} y sisi{\bf b} de longitud nortenorten , de modo que A x = b .UNX=si.{\bf A}{\bf x}={\bf b}. Resolver XX{\bf x} través de la eliminación gaussiana estándar produce una complejidad agregada de casi O (...
En la definición de rastreabilidad de parámetros fijos (fuertes), el límite de tiempo es una expresión de la forma donde la instancia de entrada es ( x , k ) con el parámetro k , p es un polinomio yf es una función computable .F( K ) . p ( | x | ) ,F(k).pag(El |XEl |),f(k).p(|x|),( x , k...
En mi búsqueda continua para tratar de aprender el cálculo lambda, "Lambda-Calculus and Combinators an Introduction" de Hindley & Seldin menciona el siguiente artículo (por Bruce Lercher) que demuestra que la única expresión reducible que es la misma (conversión de módulo alfa) en sí misma es:...
Encontré este problema en un área de la física bastante alejada de la informática, pero parece ser el tipo de pregunta que se ha estudiado en CS, así que pensé en probar suerte preguntándola aquí. Imagine que le dan un conjunto de puntos y una lista de algunas de las distancias entre los puntos ....
La función Mobius μ(n)μ(n)\mu(n) se define como μ(1)=1μ(1)=1\mu(1)=1 , μ(n)=0μ(n)=0\mu(n)=0 si nnn tiene un factor primo cuadrado, y μ(p1…pk)=(−1)kμ(p1…pk)=(−1)k\mu(p_1 \dots p_k)= (-1)^k si todos los primos p1,…,pkp1,…,pkp_1,\dots,p_k son diferentes. ¿Es posible calcular μ(n)μ(n)\mu(n)sin calcular...