Tengo esta "prueba" muy simple para NP = CoNP y creo que hice algo mal en alguna parte, pero no puedo encontrar lo que está mal. ¿Alguien me puede ayudar? Sea A un problema en NP, y sea M el decisivo para A. Sea B el complemento, es decir, B está en CoNP. Dado que M es un elemento decisivo,...
¿La dificultad de un problema NP-hard o NP-complete (como se define aquí ) cambia cuando su entrada es unaria en lugar de codificada en binario? ¿Qué diferencia hay si la entrada de un problema fuertemente NP-hard está codificada de forma unaria? Quiero decir, si tomo, por ejemplo, el problema de...
Tengo un árbol no dirigido cuyos vértices quiero etiquetar. Los nodos de la hoja deben etiquetarse como uno. Luego, suponga que las hojas fueron removidas. En el árbol que queda, las hojas deben etiquetarse como dos. Este proceso continúa de la manera obvia hasta que todos los vértices tengan una...
Tengo la siguiente pregunta, pero no tengo respuesta para esto. Agradecería si mi método es correcto: P. Cuando se busca el valor clave 60 en un árbol de búsqueda binario, los nodos que contienen los valores clave 10, 20, 40, 50, 70, 80, 90 se atraviesan, no necesariamente en el orden dado....
Estaba leyendo una respuesta a una pregunta reciente, y una especie de pensamiento extraño y efímero vino a mi mente. Si pregunto esto, podría traicionar que mis habilidades teóricas faltan seriamente (en su mayoría ciertas) o que es demasiado pronto para que yo lea este sitio. Ahora, con el...
¿Por qué la transformación de Laplace no es popular para la convolución de procesamiento de imágenes? La mayoría de los libros de texto solo convergen las transformadas de
Estoy tratando de resolver este problema y realmente estoy luchando. Una fórmula booleana monótona es una fórmula en lógica proposicional donde todos los literales son positivos. Por ejemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3...
Si no es así, ¿qué significa cuando para algún estado qqq y algún símbolo unaaa , δ( q, Un )δ(q,a)\delta(q, a) no
No sé si fue una broma, pero una vez que leí lo que se conoce como una definición formal de un archivo en un sistema de versiones como git, hg o svn. Era algo así como un objeto matemático como un homeomorfismo. ¿Fue una broma o hay realmente una teoría de la informática sobre los sistemas de...
Consideremos el siguiente juego: hay algunos jugadores y una computadora. Cada jugador ingresa un entero positivo y su nombre (el jugador no conoce los números de otro, solo el suyo). Cuando todos los jugadores hicieron sus movimientos, la computadora emite un nombre de ganador, que presentó el...
Se nos da una matriz con todo a [ i ] > 0 .a[1…n]a[1…n]a[1 \ldots n]a[i]>0a[i]>0a[i]>0 Ahora necesitamos encontrar cuántas sumas distintas se pueden formar a partir de sus submatrices (donde una submatriz es un rango contiguo de la matriz, es decir, para alguna j , k , la suma es la suma...
Me pregunto, ¿cuál es la complejidad temporal de determinar el vacío para los DFA de 2 vías? Es decir, autómatas finitos que pueden moverse hacia atrás en su cinta de entrada de solo lectura. Según Wikipedia, son equivalentes a los DFA, aunque el DFA equivalente podría ser exponencialmente más...
Recientemente me di cuenta de que hay algún tipo de relación entre la teoría de los tipos de Russell y los sistemas de tipos, como se encuentra, por ejemplo, en Haskell. En realidad, parte de la notación de tipos en Haskell parece tener precursores en la teoría de tipos. Pero, en mi humilde...
Estoy usando redes neuronales para predecir una serie temporal. La pregunta que estoy enfrentando ahora es cómo codifico la fecha / hora / número de serie. de cada conjunto de entrada como entrada a la red neuronal? ¿Debo usar 1 de la codificación C (utilizada para codificar categorías) como se...
¿La completitud de coNP implica dureza NP? En particular, tengo un problema que he demostrado que es completo para coNP. ¿Puedo afirmar que es NP-hard? Me doy cuenta de que puedo reclamar dureza de coNP, pero no estoy seguro de si esa terminología es estándar. Me siento cómodo con la afirmación de...
Dado un polígono ortogonal (un polígono cuyos lados son paralelos a los ejes), quiero encontrar el conjunto más pequeño de cuadrados disjuntos interiores, cuya unión es igual al polígono. Encontré varias referencias a problemas ligeramente diferentes, como: Cubrir un polígono ortogonal con...
Estoy tratando de resolver un problema SAT de 25k cláusulas 5k variables. Como ha estado funcionando durante una hora (precosat) y me gustaría resolver los más grandes después, estoy buscando un SAT-Solver multinúcleo. Como parece haber muchos solucionadores SAT, estoy bastante perdido. ¿Alguien...
Un comentario sobre tex.SE me hizo preguntarme. La declaración es esencialmente: Si puedo escribir un compilador para el lenguaje X en el lenguaje X, entonces X está completo de Turing. En términos de computabilidad y lenguajes formales, esto es: Si decide L ⊆ L T M y ⟨ M ⟩ ∈ L , entonces F...
Aquí está el problema: Demuestre que las máquinas de Turing de una sola cinta que no pueden escribir en la parte de la cinta que contiene la cadena de entrada reconocen solo los idiomas normales. Mi idea es demostrar que esta TM en particular es equivalente a una DFA. Usar este TM para simular...
Las recolecciones de basura deben visitar todos los objetos que están vivos, para encontrar la memoria que se pueda recuperar. (Tener muchas generaciones solo retrasa esto un poco) En igualdad de condiciones, es claramente mejor visitar primero el objeto que ya está paginado en la RAM, antes de...