Ciencias de la computación teórica

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 Lx+y=z.x+y=z.x+y=z. w−w−w-O(n2/max{wlogw,logn(loglogn)2})O(n2/max{wlog⁡w,log⁡n(log⁡log⁡n)2})O(n^2/ \max\{w \log w, …

17 cc.complexity-theory  ds.algorithms 

Mientras buscaba en el Sistema de información sobre clases de gráficos y sus inclusiones , encontré varias clases de gráficos para las cuales el problema del Ciclo Hamiltoniano es NP completo, mientras que la complejidad de los problemas del Camino Hamiltoniano NO se conoce. Algunas de esas clases son gráficos …

17 cc.complexity-theory  graph-theory 

Siguiendo la sugerencia de Josh Grochow, estoy convirtiendo mi comentario de una pregunta anterior en una nueva pregunta. ¿Qué evidencia tenemos para ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Aquí, U PUPAG\mathsf{UP} es la clase de lenguajes reconocibles por las máquinas de Turing no deterministas de tiempo polinómico que tienen …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Actualmente soy un estudiante de secundaria, interesado en informática teórica y matemáticas aplicadas. Yo mismo me enseñé álgebra lineal y cálculo y matemáticas concretas. Tengo una noción ingenua de que para escribir mejores algoritmos, uno debe saber la mayor cantidad de matemáticas posible porque puede aprender sobre nuevas estructuras y …

17 big-picture 

Supongamos que considero la siguiente variante de BPP, que nos permite llamar E (xact) BPP: un lenguaje está en EBPP si hay un TG polinomial aleatorio que acepta cada palabra del idioma con exactamente 3/4 de probabilidad y cada palabra no en el lenguaje con exactamente 1/4 de probabilidad. Obviamente, …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Estoy haciendo una revisión de la literatura sobre el problema del isomorfismo gráfico. La mayoría de los trabajos que estoy leyendo están escritos por EM Luks y Laszlo Babai. Estos documentos utilizan el conocimiento de alto nivel de la teoría de grupos y la teoría de la complejidad. Como soy …

17 cc.complexity-theory  graph-isomorphism 

¿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 …

17 reference-request  graph-theory  treewidth 

Considere el siguiente problema QQQ : Se nos da un número entero , y k intervalos [ l i , r i ] con 1 ≤ l i ≤ r i ≤ 2 n . También se nos dan 2 n enteros d 1 , ... , d 2 n …

17 cc.complexity-theory  np-hardness 

A partir de Curry-Howard-Lambek, ha habido una buena trinidad de teorías de tipos, lógicas y categorías. Tengo curiosidad por saber qué semántica categórica obtienes al agregar subtipos (coercitivos) a una teoría de tipos; parece que esto no se ha explorado mucho, si es que lo ha hecho. En general, agregar …

17 lo.logic  type-theory  ct.category-theory 

Al tratar de convencer a los economistas de la relevancia de la teoría de la complejidad en forma impresa, ¿hay alguna referencia estándar para citar? Estoy familiarizado con la publicación del blog de Noam Nisan , la encuesta de Tim Roughgarden y el capítulo 11 del ensayo de Scott Aaronson …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Recientemente, me he encontrado con la siguiente variante de coloración de bordes. Dado un gráfico conectado no dirigido, encuentre una coloración de los bordes que use la cantidad máxima de colores al tiempo que satisface la restricción de que, para cada vértice , los bordes incidentes a usan como máximo …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

Una cosa que las computadoras cuánticas pueden hacer (posiblemente incluso con solo circuitos cuánticos de profundidad logarítmica BPP +) es aproximar-muestrear la transformada de Fourier de una función de valor booleano en P.± 1±1\pm 1 Aquí y más abajo, cuando hablo de probar la transformada de Fourier, me refiero a …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

Estoy buscando ejemplos naturales de algoritmos eficientes (es decir, en tiempo polinómico) st su corrección y eficiencia pueden demostrarse de manera constructiva (p. ej., en o ), peroPAGR APAGRUNPRAHUNHUNHA no se conoce ninguna prueba que utilice solo conceptos eficientes (es decir, no sabemos cómo demostrar su corrección y eficiencia en …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

En el algoritmo de Strassen, para calcular el producto de dos matrices y , las matrices y se dividen en matrices de bloques y el algoritmo procede calcular recursivamente productos de matriz de matriz de bloques en lugar de productos de matriz de matriz de bloques ingenuos , es decir, …

17 ds.algorithms  linear-algebra  matrices  matrix-product 

Cualquier mónada también es un funtor aplicativo y cualquier funtor aplicativo es un ficticio. Además, cualquier comonad es un functor. ¿Existe un concepto similar entre comonads y functors, algo así como un co-aplicador y cuáles son sus propiedades? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & …

17 ct.category-theory  monad  applicative  comonad