A partir de, las pruebas por el método probabilístico a menudo se dice que no son constructivas. Sin embargo, una prueba por método probabilístico de hecho diseña un algoritmo aleatorio y lo usa para probar la existencia. Citado de p103 de Algoritmos aleatorizados por Rajeev Motwani, Prabhakar...
Estoy tratando de enseñarme la teoría de la computabilidad con un libro de texto. Según mi libro, una funciónFff sobre un alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , o , p , q, r , s , t , u , v , w , x , y, z}A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A=\{a, b,...
Así que llevo unos días rascándome la cabeza sobre este problema. Dado un lenguaje y que es regular, demuestre que el lenguaje que consiste en todas las cadenas en cuya longitud es igual a alguna cadena en es un lenguaje regular.AAABBBLLLAAABBB En forma de
Como establece la red de hoja perenne The Physics of Santa , es físicamente imposible para Santa obtener un regalo para todos los niños del planeta. La planificación de rutas no ayudará mucho allí, pero ¿puede un buen algoritmo de planificación al menos asegurarse de que cada niño reciba un regalo...
¿Cómo demuestro que el problema de decidir si un PDA acepta alguna cadena de la forma es indecidible?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} He tratado de reducir este problema a otro indecidible, como si dos gramáticas libres de contexto aceptan el mismo lenguaje. Sin...
En la teoría de algoritmos distribuidos, hay problemas con límites inferiores, como , que son "grandes" (quiero decir, más grandes que ), y no triviales. Me pregunto si hay problemas con un límite similar en la teoría del algoritmo en serie, me refiero a un orden mucho mayor que...
Sé el orden de los términos de un árbol B. Recientemente escuché un nuevo término: árbol B con un grado mínimo de 2. Sabemos que el grado está relacionado con un nodo, pero ¿cuál es el grado de un árbol? ¿El grado impone algún tipo de restricción en la altura de un árbol B?...
Si un gráfico con nnn vértices tiene más de (n−1)(n−2)2(n−1)(n−2)2\frac{(n-1)(n-2)}{2} bordes entonces está conectado. Estoy un poco confundido acerca de esta pregunta, ya que siempre puedo demostrar que para un gráfico conectado necesita más de |E|>n−1|E|>n−1|E|>n-1...
En la clase de esta semana hemos estado aprendiendo sobre las CFL y sus propiedades de cierre. He visto pruebas de unión, intersección y cumplido, pero para la reversión, mi profesor acaba de decir que está cerrado. Quería ver la prueba, así que he estado buscando durante los últimos días, pero...
Dado n∈Nn∈Nn \in \mathbb{N} y p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] se puede definir la siguiente fórmula en el lenguaje de la aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall...
Estoy interesado en la auto-reducibilidad del problema Graph 3-Coloralibity. Definición del problema del gráfico 3-Coloralibity. Dado un gráfico no dirigido, ¿existe alguna forma de colorear los nodos de rojo, verde y azul para que ningún nodo adyacente tenga el mismo color?solGG Definición de...
3n=2O(n)3n=2O(n)3^n = 2^{O(n)} es aparentemente cierto. Sin embargo, pensé que era falso porque crece más rápido que cualquier función exponencial con una base de 2.3n3n3^n ¿Cómo es verdadero ?3n=2O(n)3n=2O(n)3^n =
Dado un gráfico , donde . ¿Qué es un algoritmo rápido para generar la colección de todas las listas de vecindario de 2 saltos de todos los nodos en ?G = ( V, E)sol=(V,mi)G = (V,E)El | VEl | =nEl |VEl |=norte|V| = nVVV Ingenuamente, puedes hacer eso en . Con el poder de las matrices, puede hacerlo...
Tengo dos preguntas: Considero que el siguiente idioma En otras palabras, no es palíndromo con una longitud uniforme. Probé que este lenguaje NO es regular al demostrar que su complemento no es regular. Mi pregunta es cómo probarlo usando el lema de bombeo sin usar el
Para mallas poligonales 2D, las representaciones de la estructura de datos QuadEdge y HalfEdge son suficientes para almacenar y permitir una consulta eficiente de toda la información topológica y de incidencia. ¿Existen estructuras de datos compactas y eficientes para mallas poliédricas 3D? Sé que...
Acabo de empezar a leer un libro llamado Introducción a la compresión de datos, por Guy E. Blelloch. En la página uno, dice: La verdad es que si un mensaje se acorta mediante un algoritmo, entonces se debe alargar algún otro mensaje. Puede verificar esto en la práctica ejecutando GZIP en un...
Estoy particularmente interesado en soluciones al problema de que la búsqueda encapsulada puede depender del orden de evaluación. De acuerdo con [1], la búsqueda encapsulada en PAKCS depende del orden de evaluación, mientras que en MCC no, pero su uso requiere conocimiento de la implementación del...
XOR no es el nombre correcto, pero estoy buscando algún tipo de comportamiento exclusivo. Actualmente estoy resolviendo un conjunto de problemas diferentes (asignación) modelando redes de flujo y ejecutando un algoritmo de costo mínimo-flujo máximo. Las redes de flujo son bastante útiles porque se...
Dada una matriz entera (tamaño máximo 50000), tengo que encontrar la mínima y máxima de tal manera que para alguna , con .XXXX=ap⊕ap+1⊕⋯⊕aqX=ap⊕ap+1⊕⋯⊕aqX = a_p \oplus a_{p+1} \oplus \dots \oplus a_qpppqqqp≤qp≤qp \leq q He intentado este proceso: para todo . Lo precalculé en y luego el valor de...
El problema de 3 colores puede probarse NP-Complete haciendo uso de la reducción de 3SAT Graph Coloring (de 3SAT) . Como consecuencia, el problema de 4 colores es NP-Completo usando la reducción de 3 colores: Reducción de la instancia de 3 colores: agregando un vértice adicional al gráfico del...