El artículo "Algoritmos subcuadráticos para 3SUM", de Ilya Baran, Erik D. Demaine, Mihai Patrascu tiene la siguiente complejidad para el Problema 3SUM: dada una lista LLL de enteros si hay tal quex , y , z ∈ L x + y = z .nnnx,y,z∈Lx,y,z∈Lx,y,z \in
Este documento afirma que el análisis tradicional de la tasa de error en los filtros Bloom es incorrecto, luego proporciona un análisis extenso y no trivial de la tasa de error real. El documento vinculado se publicó en 2010, sin embargo, he visto que el análisis tradicional de los filtros Bloom...
Para un gráfico acíclico dirigido , hay una estructura de datos que permite consultas de accesibilidad sin requerir espacio cuadrática o tiempo lineal? Idealmente, busco un algoritmo que use solo espacio O (log n) por vértice y tiempo logarítmico⟨ V, E⟩⟨V,mi⟩{\langle}V,E{\rangle} donde .n = |VEl |...
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...
Dado el grupo de simetría y dos subgrupos y , ¿se mantiene ? G , H ≤ S n π ∈ S n G π ∩ H = ∅SnorteSnorteS_nG , H≤ Snortesol,H≤SnorteG, H\leq S_nπ∈ Snorteπ∈Snorte\pi\in S_nG π∩ H= ∅solπ∩H=∅G\pi\cap H=\emptyset Hasta donde yo sé, el problema se conoce como el problema de intersección de coset. Me...
Considere este problema: dada una lista de conjuntos finitos, busque un orden s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots que minimice |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+...|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . ¿Hay algoritmos conocidos para esto? ¿Cuál es su...
Imagínese, definimos números naturales en cálculo lambda tipeado de forma dependiente como números de la Iglesia. Se pueden definir de la siguiente manera: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ R z _ → z suc : SimpleNat → SimpleNat suc sn = λ R z s → s (sn R z...
Estoy buscando el combinador universal más pequeño posible , medido por el número de abstracciones y aplicaciones requeridas para especificar dicho combinador en el cálculo lambda . Los ejemplos de combinadores universales incluyen: tamaño 23: λf.f (fS (KKKI)) K tamaño 18: λf.f (fS (KK)) K tamaño...
Antecedentes . Soy un estudiante de licenciatura que está interesado en investigaciones relacionadas con la teoría de categorías, mónadas y Haskell, y quiero encontrar un tema para mi tesis de licenciatura en esa área. He mirado el papel Eugenio Moggi , " Nociones de computaciones y mónadas ",...
Es bien sabido que muchos problemas NP-completos exhiben transición de fase. Estoy interesado aquí en la transición de fase con respecto a la contención en el lenguaje, en lugar de la dureza de la entrada, en relación con un algoritmo. Para que el concepto no sea ambiguo, definamos formalmente lo...
Soy un matemático que trabaja principalmente en la teoría espectral de operadores unitarios y autoadjuntos. Parte de mi investigación es relevante en caminatas cuánticas, y tengo un artículo en particular que me gustaría presentar en la conferencia de Procesamiento de Información Cuántica este...
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...
Muchos teoremas y "paradojas": la diagonalización de Cantor, la indecidibilidad de la incubación, la indecisión de la complejidad de Kolmogorov, la incompletitud de Gödel, la incompletitud de Chaitin, la paradoja de Russell, etc., tienen esencialmente la misma prueba por diagonalización (tenga en...
Antecedentes Se sabe que existe un oráculo AAA tal que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . Incluso se sabe que la separación es relativa a un oráculo aleatorio. Informalmente, uno puede interpretar que esto significa que hay muchos oráculos para los cuales P S P A C...
Conozco al menos dos enfoques teóricos diferentes para comprender las bases de datos relacionales: álgebra / cálculo relacional de Codd y teoría de categorías. ¿Hay alguna relación entre estos dos enfoques? ¿Son en algún sentido equivalentes? ¿Existe algún trabajo introductorio que explique cómo...
Supongamos que tenemos un conjunto finito de discos en , y deseamos calcular el disco más pequeño para el que . Una forma estándar de hacer esto es utilizar el algoritmo de Matoušek, Sharir y Welzl [1] para encontrar una base de , y dejar que , el disco más pequeño que contiene . El disco puede...
Un circuito booleano no determinista tiene, además de las entradas ordinarias , un conjunto de entradas "no deterministas" y = ( y 1 , ... , y m ) . Un circuito no determinista C acepta la entrada x si existe y tal que la salida del circuito 1 está activada ( x , y ) . Análogo a P / p o l yx = (...
¿Es posible convertir un CNF CC\mathcal C en otro CNF modo queΨ(C)Ψ(C)\Psi(\mathcal C) La función se puede calcular en tiempo polinómico a partir de algún parámetro aleatorio secreto .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) tiene una solución si y solo si tiene una solución.CC\mathcal C Cualquier...
¿Cuáles son algunos de los principales problemas de complejidad computacional abierta que surgen de los lenguajes de programación, especialmente el análisis y la compilación de programas? Estoy buscando problemas en las líneas de "la complejidad temporal de la inferencia de tipo Hindley-Milner" o...
Pido disculpas si esto está fuera de tema. Parece que el nombre de dominio ha expirado. Espero que algunos miembros de la comunidad aquí (no soy uno) puedan saber quién era el administrador / propietario de ese sitio. Fue un recurso bastante