Se sabe que el tamaño mínimo de los U_2 que calculan la función de paridad es exactamente igual a . La prueba de límite inferior se basa en el método de eliminación de puerta.U2U2U_23(n−1)3(n−1)3(n-1) Recientemente, noté que el método de eliminación de compuerta funciona bien también para U_2 no...
En el libro de Sakarovitch sobre teoría de autómatas, está escrito en la introducción a la sección de racionales en el grupo libre que el material presentado en él establece "la base de una teoría verdaderamente matemática de lenguajes libres de contexto". Sin embargo, esto no se hace explícito, ya...
¿Se conoce la siguiente clase de gráfico en la literatura? La clase de gráficos está parametrizada por los enteros positivos y y contiene cada gráfico modo que para cada vértice , el subgrafo de inducido en todos los vértices a distancia como máximo de en tiene un ancho de árbol como máximo...
Contexto: relaciones entre lógica y autómatas El teorema de Büchi establece que la lógica de segundo orden monádico sobre cadenas (MSO) captura la clase de lenguajes regulares. La prueba muestra que en realidad existencial MSO ( o EMSO ) sobre cadenas es suficiente para capturar los lenguajes...
Es bien sabido que si arrojas n bolas en n contenedores, es muy probable que el contenedor más cargado tenga O ( logn )O(Iniciar sesiónnorte)O(\log n) bolas en él. En general, uno puede preguntar acerca de bolas en contenedores. Un artículo de RANDOM 1998 de Raab y Steger explora esto con cierto...
Hoy enseñé los límites inferiores de , y uno de los estudiantes preguntó por la razón del nombre . La explicación oficial es que la "A" significa "Alternancia".A C0 0AC0AC^0A CACAC Recuerdo vagamente que me dijeron hace muchos años que Nick Pippenger Steve Cook nombró a después de Nick Pippenger...
Me han dicho que hay algunos buenos algoritmos de tiempo polinomiales para aproximar el número de rutas simples en un gráfico dirigido desde el vértice inicial dado hasta el vértice final dado . ¿Alguien sabe de una buena referencia sobre este tema?sssttt Antecedentes: contar el número exacto de...
El recuento de triángulos en gráficos generales se puede hacer trivialmente en el tiempo y creo que hacer mucho más rápido es difícil (se aceptan referencias). ¿Qué pasa con los gráficos planos? El siguiente procedimiento sencillo muestra que se puede hacer en tiempo . Mi pregunta es...
Como en, el área de los artículos en el ACM Journal on Experimental Algorithmic JEA . ¿Cuáles fueron las obras fundamentales? ¿Cuáles son los principales resultados? ¿Cómo se caracterizan? ¿Alguna conexión interesante con otras áreas de la
Estoy tratando de entender la complejidad de las funciones que se expresan a través de las puertas de umbral y esto me llevó a . En particular, estoy interesado en lo que se sabe actualmente sobre el aprendizaje dentro de T C 0 , ya que no soy un experto en el
Hay muy poca información que puedo encontrar sobre el problema NP-completo de resolver la ecuación lineal de diofantina en enteros no negativos. Es decir, ¿hay una solución en no negativo para la ecuación , donde todas las constantes son positivas? La única mención notable de este problema que...
Los gráficos sin X son aquellos que no contienen ningún gráfico de X como un subgrafo inducido. Un hoyo es un ciclo con al menos 4 vértices. Un agujero impar es un agujero con un número impar de vértices. Un antiagujero es el complemento de un agujero. Los gráficos libres de (agujero impar,...
Suponga que tiene dos participantes arbitrariamente poderosos que no confían el uno en el otro. Tienen acceso al compromiso de bits (por ejemplo, sobres sellados que contienen datos que un jugador puede entregar al otro pero que no se pueden abrir hasta que el primer jugador le dé al segundo una...
Una cubierta de borde es un subconjunto de bordes de un gráfico de tal manera que cada vértice del gráfico es adyacente al menos a un borde de la cubierta. Los siguientes dos artículos dicen que las cubiertas de borde de conteo, se #P -Complete: A FPTAS simples para el recuento de cubiertas de...
Un gráfico mixto es un gráfico que puede tener bordes tanto dirigidos como no dirigidos. Su gráfico subyacente no dirigido se obtiene olvidando las orientaciones de los bordes dirigidos, y en la otra dirección se obtiene una orientación de un gráfico mixto al asignar una dirección a cada borde no...
Me interesa si existen buenos artículos o encuestas expositivas a los que me pueda referir cuando escribo sobre operadores de clase de complejidad : operadores que transforman las clases de complejidad haciendo cosas como agregarles cuantificadores. Ejemplos de operadores. Lo siguiente se puede...
Es bien sabido que las fórmulas aleatorias -CNF sobre n variables con c n cláusulas son insatisfactorias (es decir, son contradicciones) con alta probabilidad, para una constante c suficientemente grande . Por lo tanto, las fórmulas aleatorias de k -CNF (para c lo suficientemente grande)...
Mientras leía el blog de Dick Lipton, me topé con el siguiente hecho cerca del final de su publicación de Bourne Factor : Si, por cada nnn , existe una relación de la forma (2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} donde m=poly(n)m=poly(n)m = poly(n) , y...
¿Qué debo leer para entender este problema? El poder de los circuitos cuánticos de pequeña profundidad. ¿Es ? En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo cuántico a la profundidad de polylog (n), siempre que estemos dispuestos a realizar un posprocesamiento...
¿Está disponible públicamente el siguiente manuscrito? Dana Scott, 1969, Una teoría de funciones computables de tipo superior . Notas de seminario no publicadas, 7 páginas, Universidad de Oxford. Hay una discusión sobre este artículo en la sección 8.1.2, Tipos como conjuntos , en Cardone &...