El problema es el siguiente: Tenemos una matriz / cuadrícula bidimensional de números, cada uno representa algún "beneficio" o "beneficio". También tenemos dos enteros fijos y (para "ancho" y "altura"). Y un entero fijo .wwwhhhnnn Ahora deseamos superponer rectángulos de dimensiones en la...
Sea una función bastante agradable (p. Ej., Continua, diferenciable, no demasiados máximos locales, tal vez cóncavos, etc.). Quiero encontrar un máximo de f : un valor x ∈ R d que haga que f ( x ) sea lo más grande posible.F: Rre→ Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}Fffx ∈ Rrex∈Rdx \in...
Mientras intentaba mejorar el rendimiento de mi clase de detección de colisión, descubrí que ~ 80% del tiempo que pasaba en la gpu, lo dedicaba a las condiciones de si / de lo contrario solo intentaba descubrir los límites de los cubos por los que debería pasar. Más precisamente: cada hilo...
Los números naturales se definen inductivamente como (usando la sintaxis de Coq como ejemplo) Inductive nat: Set := | O: nat | S: nat -> nat. ¿Existe una forma estándar de definir enteros (y tal vez otros conjuntos como racionales y reales) de manera
Los ejemplos comunes de problemas NP-difíciles (camarilla, 3-SAT, cubierta de vértice, etc.) son del tipo en el que no sabemos si la respuesta es "sí" o "no" de antemano. Supongamos que tenemos un problema en el que sabemos que la respuesta es sí, además, podemos verificar un testigo en tiempo...
En relación con el hilo Probar que la conversión de CNF a DNF es NP-Hard (y un hilo matemático relacionado ): ¿Qué tal la otra dirección, de DNF a CNF? ¿Es fácil o difícil? En la página 2 de este documento , parecen insinuar que ambas direcciones son igualmente difíciles cuando dicen " Estamos...
Sé que el problema cuantificado de la fórmula booleana para una fórmula donde ϕ no contiene cuantificadores y solo las variables x 1 , ... , x n , y 1 , ... , y n es un ejemplo de un problema Π P 2 completo. Sin embargo, me pregunto si hay algún problema natural conocido por ser Π Pψ = ∀ x1… ∀...
Estoy tratando de encontrar las respuestas de dos preguntas sobre la máquina Universal Turing. ¿Cómo puede la máquina Universal Turing simular una máquina Turing si la que se está simulando tiene un mayor número de estados? ¿Cómo puede la máquina de Turing universal simular una máquina de Turing...
¿Qué significa "en posición positiva" y "en posición negativa" en el contexto de la teoría de tipos? Lo único que entendí de la publicación del blog de Bob Harper sobre el tema es que hay una conexión entre la polaridad en este sentido en la teoría de tipos y la polaridad en la lógica, pero no sé...
El algoritmo de Brzozowski se puede extender a los autómatas de Moore, pero su complejidad temporal es exponencial en general. ¿Hay algún otro algoritmo para minimizar los autómatas de Moore? ¿Cuáles son los tiempos de ejecución de estos algoritmos si los
En un analizador LR (0), cada estado consta de una colección de elementos LR (0), que son producciones anotadas con una posición. En un analizador LR (1), cada estado consta de una colección de elementos LR (1), que son producciones anotadas con una posición y un carácter anticipado. Se sabe que...
Hay una manera de realizar un análisis difuso (acepta cadenas incluso con errores tipográficos a una cierta distancia de edición), con un DFA y un Autómata Levenshtein construido en tiempo de ejecución de la palabra de entrada. ¿Se puede hacer algo similar con un analizador Earley? Me resulta...
Después de leer los logros de google deepmind en los juegos de Atari , estoy tratando de entender el q-learning y q-networks, pero estoy un poco confundido. La confusión surge en el concepto del factor de descuento. Breve resumen de lo que entiendo. Se utiliza una red neuronal convolucional...
Estoy leyendo "El alma de una nueva máquina" de Tracy Kidder, donde un equipo de Data General diseña una nueva máquina (con el nombre clave "Eagle", más tarde llamado MV / 8000). Es una extensión de 32 bits de una arquitectura anterior (el Eclipse de 16 bits). Parece que uno de los temas giratorios...
Estaba leyendo Sistemas operativos de Galvin y me encontré con la línea de abajo, Sin embargo, no todos los estados inseguros están en punto muerto. Un estado inseguro puede llevar a un punto muerto ¿Alguien puede explicar cómo punto muerto! = Estado inseguro ? También tomé la misma línea...
Estoy tratando de entender cómo funciona la asignación de losas y por qué es diferente o mejor que la paginación normal. Me encontré con este diagrama que creo que sería de gran ayuda si tenía más explicación. Algunas preguntas: ¿Qué representan los elementos de 3 KB y 7 KB? ¿Deben estar...
Esta pregunta es algo opuesta a una pregunta anterior sobre conjuntos formados a partir de operaciones de conjuntos en conjuntos completos de NP: Si el conjunto resultante de la unión, intersección, o el producto cartesiano de dos conjuntos decidibles y es NP-completo, es decir, al menos uno de...
Este es probablemente un pensamiento tonto, pero supongamos que tenemos una computadora que está programada para realizar una secuencia infinita de cálculos y supongamos que el cálculo de tarda segundos en completarse. Entonces esta computadora puede hacer un número infinito de cálculos en un...
Intenté resolver el siguiente ejercicio, pero me quedé estancado mientras trataba de encontrar todos los pares críticos . Tengo las siguientes preguntas: ¿Cómo sé qué par crítico produjo una nueva regla? ¿Cómo sé que encontré todos los pares críticos? Deje Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{...
Hace poco leí una entrada de blog realmente interesante del Blog de Google Research sobre redes neuronales. Básicamente usan estas redes neuronales para resolver varios problemas como el reconocimiento de imágenes. Utilizan algoritmos genéticos para "evolucionar" los pesos de los...