Tengo una pregunta sobre la reducibilidad SERF de Impagliazzo, Paturi y Zane y los algoritmos subexponenciales. La definición de SERF-reducibilidad ofrece lo siguiente: Si P1P1P_1 es SERF-reducible a y hay un algoritmo para para cada , entonces hay un algoritmo para para cada . (El parámetro de...
Estoy interesado en modelar objetos, desde la programación orientada a objetos, en la teoría del tipo dependiente. Como posible aplicación, me gustaría tener un modelo donde pueda describir diferentes características de los lenguajes de programación imperativos. Solo pude encontrar un artículo...
El teorema de la pretición paralela de Raz es un resultado importante en PCP, aproximación, etc. El teorema se resume de la siguiente manera. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi,
La definición de los números de Ramsey es la siguiente: Deje que sea un número positivo tal que cada gráfico de la orden, al menos contiene ya sea un clique sobre vértices o un conjunto estable en vértices.R ( a , b )R(un,si)R(a,b)a bR ( a , b )R(un,si)R(a,b)ununasisib Estoy trabajando en alguna...
Estoy buscando algunos consejos y comentarios. Antecedentes: soy un estudiante de pregrado en matemáticas, interesado en la informática teórica (complejidad computacional, teoría de grafos, combinatoria). Quiero obtener un doctorado en informática y centrarme en la teoría. Mi experiencia es en...
Estoy interesado en la complejidad del problema de conjunto dominante (DSP) en algunas clases de gráficos específicos que son subclases de gráficos cordales . Un gráfico es un gráfico de ruta no dirigida si es el gráfico de intersección de vértices de una familia de rutas en algún árbol no...
Dado un gráfico plano, uno puede incrustarlo en tiempo lineal cruzando libremente en una cuadrícula . Me interesa saber si se conoce algún algoritmo eficiente para insertar en línea recta un gráfico plano que se cruce libremente en una cuadrícula , para alguna pequeña , de modo que se maximice el...
Uno de mis amigos me pregunta el siguiente problema de programación en el árbol. Me parece muy limpio e interesante. ¿Hay alguna referencia para ello? Problema: hay un árbol , cada borde tiene un costo de viaje simétrico de 1 . Para cada vértice , hay una tarea que debe realizarse antes de su...
En 1973 Weiner dio la primera construcción en tiempo lineal de árboles sufijos. El algoritmo fue simplificado en 1976 por McCreight, y en 1995 por Ukkonen. Sin embargo, encuentro el algoritmo de Ukkonen relativamente involucrado conceptualmente. ¿Ha habido simplificaciones en el algoritmo de...
Tengo un problema algebraico relacionado con vectores en el campo GF (2). Supongamos que sean (0,1) -vectores de dimensión n , ym = n O ( 1 ) . Encuentre un algoritmo de tiempo polinómico que encuentre un vector (0,1) u de la misma dimensión tal que u no sea la suma de ningún vector ( log n ) O ( 1...
¿Hay alguna prueba de que la emulación de una máquina de Turing en una máquina de Turing ajena no se puede hacer en menos de donde es el número de pasos que usa la máquina de Turing ? ¿O es solo un límite superior?O ( m logm )O(metroIniciar sesiónmetro)\mathcal{O}\left(m\log...
Me gustaría saber sobre la historia de estos dos términos: " eficiente ", " factible ". ¿Quién los usó sobre computación / algoritmos la primera vez? (en el sentido moderno de estos términos, es decir, siglo XX). ¿Cómo se convirtieron en la corriente principal? ¿Cómo comenzaron a usarse estos dos...
¿Alguien ha formalizado la relación entre técnicas de análisis de reducción de turnos y continuaciones delimitadas? Al construir un analizador de abajo hacia arriba (p. Ej., Analizadores LR), tomamos una gramática y luego representamos estados de análisis como conjuntos de elementos :...
¿Se sabe si el problema del conjunto de vértices de retroalimentación en gráficos planos no dirigidos de grado acotado es
Una función de conjunto es monótono submodular si para todos , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA,BA,BA,Bf(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Una propiedad más fuerte es Tomando , esta propiedad implica...
¿Alguien puede enumerar algunos problemas conocidos que satisfacen las siguientes condiciones: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
Asigné a mis alumnos el problema de encontrar un triángulo consistente con una colección de puntos en , etiquetado con . (Un triángulo es consistente con la muestra etiquetada si contiene todos los puntos positivos y ninguno de los negativos; por supuesto, la muestra admite al menos 1 triángulo...
ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Cuando escribo polinomios aleatorios con grados yn variables, puedes pensar en cada...
Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por
Hay varios conocidos AC0AC0\mathsf{AC^0} de límite inferior de tamaño de circuito basados en restricciones aleatorias y el Lema de conmutación . ¿Podemos desarrollar un resultado de Lema de conmutación para probar un tamaño de límite inferior para circuitos TC0TC0\mathsf{TC^0} (similar a las...