En su artículo seminal Algoritmos teóricos grupales para multiplicaciones matriciales , Cohn, Kleinberg, Szegedy y Umans presentan el concepto de rompecabezas único y solucionable (definido a continuación) y la capacidad de USP. Afirman que Coppersmith y Winograd, en su innovador papel Matrix...
La eliminación gaussiana hace que el determinante de una matriz de tiempo polinómico sea computable. La reducción de la complejidad en la computación del determinante, que de otro modo es la suma de términos exponenciales, se debe a la presencia de signos negativos alternativos (la falta de lo que...
La fórmula más pequeña conocida para el determinante tiene un tamaño acuerdo con el folclore (o Ran Raz en su papel Las fórmulas multilineales para permanente y determinante son de tamaño superpolinomial ).norteO (logn )norteO(Iniciar sesiónnorte)n^{\mathcal O(\log n)} ¿Tienes alguna referencia...
La teoría del cómputo del estado del clúster ya está bien establecida, lo que demuestra que cualquier circuito BQP puede modificarse de modo que solo use puertas cuánticas de qubit único, posiblemente controladas de forma clásica, que proporcionen un amplio suministro de un estado conocido como...
Un algoritmo de prueba de distribución para una propiedad de distribución P (que es solo un subconjunto de todas las distribuciones sobre [n]) puede acceder a las muestras de acuerdo con alguna distribución D, y se requiere que decida (whp) si D∈PD∈PD\in P o d(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilon (...
Me parece que los expertos en aprendizaje automático / minería de datos están familiarizados con P y NP, pero rara vez hablan de algunas de las clases de complejidad más sutiles (por ejemplo, NC, BPP o IP) y sus implicaciones para analizar los datos de manera efectiva. ¿Hay alguna encuesta de...
¿Es posible construir una implementación mecánica de un solo propósito (no completa de Turing) de, por ejemplo, Microsoft Word? ¿Es posible implementar cosas como iteradores, funciones de primer orden, toda la gama de técnicas de programación? ¿Podrían los engranajes y otras partes mecánicas...
En [1], Mitchell Wand demostró que agregar fexprs al cálculo lambda puro trivializa la teoría de la equivalencia contextual, lo que significa que dos términos son contextualmente equivalentes si son congruentes. Al explorar el trabajo relacionado, dijo: "nuestro resultado extiende una vieja...
¿Hay libros recientes sobre algoritmos en línea? Solo conozco dos libros sobre el tema. Computación en línea y análisis competitivo de Allan Borodin y Ran El-Yaniv: este es un libro clásico pero antiguo, y no contiene muchos avances recientes en el campo. El diseño de algoritmos competitivos en...
Esta pregunta trata sobre problemas de programación cuadrática con restricciones de caja (box-QP), es decir, problemas de optimización de la forma minimizar sujeto a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in...
Mientras enseñaba cómo implementar FSMs utilizando circuitos lógicos sincrónicos, noté una coincidencia intrigante: tanto en el mundo teórico de CS como en el mundo de la ingeniería eléctrica, el "estado" se denota típicamente (y el espacio de estado ). Primero pregunté sobre EESX , pero luego,...
Decimos que una función es construible en el tiempo , si existe una máquina de Turing multi-cinta determinista M que en todas las entradas de longitud n realiza como máximo f ( n ) pasos y para cada n existe alguna entrada de longitud n en la que M realiza exactamente f ( n )
Digamos que tenemos una representación vectorial de cualquier número entero de magnitud n, V_n Este vector es la entrada a un algoritmo de aprendizaje automático. Primera pregunta: ¿Para qué tipo de representaciones es posible aprender la primalidad / composición de n usando una red neuronal o...
Es fácil ver que si entonces hay un total de problemas de búsqueda de N P que no se pueden resolver en tiempo polinómico (cree un problema de búsqueda total al tener tanto a los testigos como miembros como a los que no son miembros).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq...
La página "Esquema avanzado: algunos bits traviesos" dice: Las continuaciones son una construcción poderosa de flujo de control de la cual se puede derivar casi cualquier otra estructura de flujo de control. ¿Pensé que Scheme call/cc, al estar relacionado (*) con el operador J de Peter...
El problema de partición es débilmente NP-completo ya que tiene un algoritmo de tiempo polinomial (pseudo-polinomial) si los enteros de entrada están limitados por algún polinomio. Sin embargo, 3-Partition es un problema NP-completo, incluso si los enteros de entrada están delimitados por un...
Recordemos que la anchura de una resolución refutación de una fórmula CNF es el número máximo de literales en cualquier cláusula que ocurre en . Para cada , hay fórmulas insatisfactorias en 3-CNF st cada refutación de resolución de requiere un ancho de al menos .F R w F F...
Motivación: un coautor edita un manuscrito y me gustaría ver un resumen claro de las ediciones. Todo "diff" -como herramientas tienden a ser inútil si usted está tanto en el texto desplazando dentro (por ejemplo, la reorganización de la estructura) y haciendo las modificaciones locales. ¿Es...
Encontré el siguiente juego. Migraré esto según lo solicitado. Un error es visitar círculos, y un adversario desea maximizar su tiempo de viaje. El adversario coloca un círculo en cada turno. El error camina desde su posición actual directamente hacia el centro del círculo más nuevo, luego se...
Fuera de la academia, ¿cuáles son los usos de mis 'poderes'? ¿Qué puedo hacer aparte de enseñar y publicar trabajos? ¿Dónde puedo aplicar todos mis poderes? En aras de la discusión: por favor, suponga que tengo un doctorado en algoritmos / TCS y he aprendido una gran cantidad de "cosas" y he...