Antecedentes Complejidad del circuito se define como el conjunto de familias de circuitos (es decir, secuencias de circuitos, una para cada tamaño de entrada) de profundidad acotada y tamaño polinomial construido utilizando el ventilador sin límites AND, OR y NOT.AC0AC0AC^0 La función de paridad...
En una pregunta anterior sobre la jerarquía de tiempo, aprendí que las igualdades entre dos clases se pueden propagar a clases más complejas y las desigualdades se pueden propagar a clases menos complejas, con argumentos que utilizan relleno. Por lo tanto, una pregunta viene a la mente. ¿Por qué...
Deje que sea un árbol binario enraizado. Cada camino desde la raíz de hasta una hoja tiene una longitud . Cada nodo de siempre tiene un nodo hijo izquierdo y uno derecho, pero es posible que sean iguales (por lo que siempre hay rutas posibles). El tamaño de está limitado por . Un nodo con...
Esta pregunta está en la misma línea que la charla inspiradora para los alumnos de último año de secundaria . Mi doctorado El asesor me pidió que diera una charla inspiradora para el nuevo M.Sc. estudiantes El tema es la base de la criptografía , que se ilustra mejor con el libro de Goldreich . La...
He leído un poco sobre las siguientes estructuras de datos: El hachís ideal de Bagwell intenta Tablas hash dinámicas de Larson Árboles rojo-negro Arboles patricia ... y estoy seguro de que hay muchos otros por ahí. He visto muy poco en la forma en que cada uno es más adecuado, o por qué...
En esta pregunta , se mencionó que existen versiones descriptivas de complejidad del teorema de Rice. Encontré una prueba del siguiente teorema: Dada una clase de complejidad C , las propiedades no triviales de los lenguajes en C no se pueden calcular en C Anteriormente había publicado la...
Tengo la siguiente teoría escrita |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) con ecuaciones para todos los términos: f : A -> B, g : B -> C, h : C -> D |- compose(h,compose(f,g)) =
Dado un plano finito, tengo una teselación hexagonal de ese plano con un hexágono regular de tamaño fijo. Luego calculo el gráfico de Delaunay G para la teselación. Dado tal gráfico G, elimino conjuntos específicos de nodos en ese gráfico para producir múltiples subgrafías de G. Necesito determinar...
Planteamiento del problema : Deje que sea un autómata pushdown (potencialmente no determinista) y deje que sea su alfabeto de entrada. ¿Hay una palabra st que es aceptado por ?A w ∈ A ∗ | w | ≤ k MMETROMETROMUNAUNA\cal Aw ∈ A∗w∈UNA∗w \in \cal A^*El | w | ≤kEl |wEl |≤k|w| \leq kMETROMETROM ¿Es...
¿Qué clasificadores de aprendizaje automático son los más paralelizables? Si tuviera un problema de clasificación difícil, tiempo limitado, pero una LAN decente de computadoras para trabajar, ¿qué clasificadores probaría? Por supuesto, me parece que algunos clasificadores estándar que conozco se...
David Rodríguez - dribeas escribió en un comentario en StackOverflow que "No todas las colecciones se pueden implementar sin bloqueos". No estoy seguro de si esto es cierto, y no puedo encontrar pruebas de ninguna manera. Esta declaración no es muy precisa, pero permítanme tratar de reformularla...
La norma de corte de una matriz real es el máximo sobre todo de la cantidad.||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| Defina...
Dado un circuito booleano en variables (que usa solo compuertas NOT, AND y OR), ¿cuál es la forma más eficiente de extraer la fórmula booleana representada por el circuito? ¿Existe un algoritmo polytime para este
Estaba revisando el trabajo seminal de Les Valiant y tuve un momento difícil con la Proposición 4.3 en la página 10 del documento. No puedo ver por qué es el caso que si hay un generador con ciertos valores para con una base { ( a 1 , b 1 ) ... ( a r , b r ) } , entonces existe algún generador con...
¿Hay alguna manera de que un probador pueda convencer a un verificador de que alguna expresión de HORN-SAT es satisfactoria? Por supuesto, esto puede parecer una tontería, ya que existen algoritmos de tiempo lineal para HORN-SAT. Por otro lado, HORN-SAT es P-completo, lo que significa que no tiene...
MCTS / UCT es un método de búsqueda de árbol de juego que utiliza un algoritmo de bandido para seleccionar nodos prometedores para explorar. Los juegos se juegan hasta su finalización al azar y los nodos que conducen a más victorias se exploran con mayor intensidad. El algoritmo de bandidos...
La suma de Minkowski de dos conjuntos de vectores viene dada porA,B∈RdA,B∈RdA, B \in R^d A⊕B={a+b∣a∈A,b∈B}A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Acabo de escuchar un problema interesante (atribuido a Dan Halperin): Dada una forma , ¿existe una forma A tal que A ⊕ A = B...
Estaba jugando con la muy interesante y abierta pregunta " Alfabeto de la máquina de Turing de una sola cinta " (por Emanuele Viola) y se me ocurrió el siguiente idioma: L = { x ∈ { 0 , 1 }norte st | x | = n = 2metro y c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1
Soy un programador profesional autodidacta. Soy bastante bueno en eso (Ruby, Unix, Clojure, Java, Objective-C), pero ahora estoy pensando en llevarlo al siguiente nivel tal vez solicitando un programa de maestría o doctorado en CS. ¿Qué temas de matemáticas debo estudiar para prepararme para este...
Me interesan los ejemplos explícitos de gráficos para los cuales la aplicación del algoritmo Goemans y Williamson para aproximar los cortes máximos resulta en un factor de aproximación de 0.878 ... El algoritmo para crear tales instancias sería perfecto, los ejemplos explícitos y las referencias...