¿Alguien ha explorado cuál es la complejidad del circuito de los problemas de decisión clásicos como Primes o Graph-Isomorphism para un tamaño de entrada pequeño ?NNN Si bien la mayoría de la gente está interesada en cómo va la escala según , creo que también sería interesante ver cómo crece esto...
El problema estándar 1-en-3 SAT (o XSAT o X3SAT) es: Instancia : una fórmula CNF con cada cláusula que contiene exactamente 3 literales Pregunta : ¿existe una asignación satisfactoria que establezca exactamente 1 literal por cláusula verdadera? El problema es NP-completo y sigue siendo difícil...
Supongamos que y H son dos gráficos r- conectados regulares de tamaño n . Deje A el conjunto de permutaciones P tal que P G P - 1 = H . Si G = H entonces A es el conjunto de automorfismos de G .solGGHHHrrrnortennUNAAAPAGSPPPAGSG P- 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HAAAGGG ¿Cuál es el límite...
Problema clásico: Deje que se dé un número . El problema -clique es el siguiente.kkkkkkk Dado un gráfico , ¿existe un subconjunto de vértices para que dos vértices de sean adyacentes?S k SGGGSSSkkkSSS Problema de hipergrafía: Deje que se den los números y . El problema -hiperclique es el...
En el clásico artículo PLDI'98 de Necula, "El diseño e implementación de un compilador certificador", el verificador de alto nivel utiliza: VCGen para generar condiciones de verificación (predicados de seguridad) Probador del teorema lógico de primer orden para probar las condiciones Comprobador...
Estoy tratando de entender los conceptos de tipos universales y existenciales, pero en todas partes veo intuiciones lógicas u operativas (o implementaciones) (por ejemplo, el libro TAPL de B. Pierce), que, bueno ... es bueno , pero me gustaría ver las definiciones (donde las vemos como conjuntos),...
Creo que las respuestas a esta pregunta dan clases tales que para todos los polinomios , hay un problema en la clase que no tiene circuitos de tamaño . Sin embargo, estoy preguntando sobre el tamaño del circuito .p ( n ) ωpppp(n)p(n)p(n)ω(n)ω(n)\omega \hspace{.02
Dado un lenguaje regular en el alfabeto A , su autómata determinista mínimo puede verse como un multigrafo conectado directo con un grado de salida constante | A | y un estado inicial marcado (olvidando etiquetas de transiciones, estados finales). Mantenemos el estado inicial porque cada vértice...
El algoritmo de Brzozowski para convertir un DFA en un DFA de estado mínimo equivalente es notablemente simple: si denota el NFA formado al invertir todos los bordes en un DFA , haciendo que el estado inicial anterior sea un estado de aceptación, y haciendo que el anterior acepte estados comienzan...
¿Los autómatas con límites lineales no deterministas de visita limitada reconocen solo los lenguajes normales? Por un autómata lineal no determinista (nLBA) me refiero a una máquina de Turing no determinista de una sola cinta donde la entrada viene "rellenada" con marcadores en ambos extremos que...
Dado un grafo dirigido fijo (dígrafo) , la problema de decisión -Coloreado pregunta si un dígrafo entrada tiene un homomorfismo a . (Un homomorfismo de a es un mapeo de a que conserva los arcos, es decir, si es un arco de , entonces es un arco de )D G D G D f V ( G ) V ( D ) u v G f ( u ) f ( v )...
Wikipedia [1] afirma que el límite inferior más conocido para el tamaño de las pruebas de Frege es cuadrático, y que no hay límites inferiores superlineales conocidos para el número de líneas de pruebas de Frege. Preguntas: 1) ¿Cuál es el límite inferior más conocido para el número de líneas de...
Actualmente soy un estudiante de segundo año interesado en TCS. Recientemente me ha molestado un poco la dificultad de ingresar a programas de doctorado en el futuro ya que la selección es muy competitiva. Revisé las páginas web de algunas de las mejores escuelas de CS y descubrí que sus...
Este es un seguimiento de la aceleración no determinista del cálculo determinista . ¿Es plausible que el no determinismo (o una alternancia más general) permitiría una aceleración cuadrática general de la computación determinista? ¿O hay consecuencias inverosímiles conocidas para algo como...
He estado pensando en la siguiente pregunta en varias ocasiones desde que vi esta pregunta sobre Criptografía . Pregunta Sea RRR una relación TFNP . ¿Puede un oráculo aleatorio ayudar a P / poly a romper RRR con una probabilidad no despreciable? Más
No se sabe si NEXP está contenido en P / poli. De hecho, probar que NEXP no está en P / poli tendría algunas aplicaciones en la desrandomización. ¿Cuál es la clase C uniforme más pequeña para la cual se puede demostrar que C no está contenido en P / poli? ¿Mostrar que co-NEXP no está contenido en...
Hay un buen artículo de 1991 que contiene tres diagramas sobre diferentes familias de clases de grafos que muestran lo que se sabe sobre la dureza de determinar el índice cromático para ellos. ¿Hay alguna noticia desde entonces sobre esto? Estoy más interesado en lo que se sabe sobre gráficos con...
Soy un teórico de la homotopía, interesado en la informática. Me gustaría preguntar ¿cuáles son algunas aplicaciones interesantes de álgebra homotópica (categorías de modelos, categorías de infinito, categorías simples, etc.) en la informática
Me gustaría pedir ayuda a los investigadores que realizan una investigación en un área de árboles de búsqueda. ¿Podría por favor escribir la lista de los documentos que debe leer y los documentos más recientes que es importante leer si quiero escribir documentos sobre árboles de...
Las funciones recursivas primitivas se definen sobre los números naturales. Sin embargo, parece que el concepto debería generalizarse a otros tipos de datos, permitiéndole hablar sobre funciones recursivas primitivas que mapean listas a árboles binarios, por ejemplo. Por analogía, las funciones...