Ciencias de la computación teórica

Dada una matriz A con entradas racionales. ¿Cuál es la complejidad para verificar que A es diagonalizable?n × nnorte×norten\times nUNUNAUNUNA Sospecho que esto se puede hacer en P, pero no conozco ninguna referencia. Sin embargo, una pregunta más interesante es, ¿hay alguna clase de complejidad mejor para capturar este problema? …

13 cc.complexity-theory  linear-algebra  matrices 

Quiero definir una noción de "cercanía" entre dos idiomas regulares de palabras finitas en Σ∗Σ∗\Sigma^* (y / o palabras infinitas en ΣωΣω\Sigma^\omega ). La idea básica es que queremos que dos idiomas estén cerca si no difieren en muchas palabras. También podríamos usar la distancia de edición de alguna manera …

13 reference-request  fl.formal-languages  regular-language 

¿Qué se sabe sobre la clase de idiomas reconocidos por autómatas finitos que tienen el mismo estado inicial y de aceptación? Este es un subconjunto adecuado de los idiomas regulares (ya que cada idioma contiene la cadena vacía), pero ¿qué tan débil es? ¿Existe una caracterización algebraica simple? Lo mismo …

13 fl.formal-languages  automata-theory  algebra  regular-language 

La semana pasada, estaba leyendo de nuevo el trasncrito de Leslie en Lamport de 1982 de una conferencia que dio sobre Problemas resueltos, Problemas no resueltos y No problemas en concurrencia . El documento es fácilmente legible, pero una de las cosas que me hizo pensar es la siguiente afirmación: …

13 reductions  dc.distributed-comp  concurrency 

Si se colocan bolas en n contenedores de manera uniforme al azar, el contenedor cargado más pesado tiene O ( lg n / lg lg n ) bolas con alta probabilidad. En "The Power of Simple Tabulation Hashing" , Pătraşcu y Thorup mencionan que "los límites de Chernoff-Hoeffding para aplicaciones …

13 ds.data-structures  randomness  hash-function  independence 

Estoy buscando una estructura de datos que mantenga una tabla entera de tamaño , y que permita las siguientes operaciones en el tiempo .n O ( log n )tttnortenortenO ( logn )O(Iniciar sesión⁡norte)O(\log n) aumento ( a , b )incrementar(un,si)\text{increase}(a,b) , que aumenta .t [ a ] , t [a …

13 ds.data-structures  cg.comp-geom 

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

13 soft-question  big-picture  career 

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 polinomio. Suponiendo, , ¿podemos demostrar que deben …

13 cc.complexity-theory  np-hardness  partition-problem 

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 …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

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 realmente tan difícil hacerlo …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

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 \mathsf{P}NPNP\mathsf{NP} Lo contrario también …

13 cc.complexity-theory  reference-request  search-problem 

¿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 línea a …

13 reference-request  big-list  online-algorithms 

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 [0,1]^n Si fuera semi-definido positivo, entonces todo sería agradable, convexo y fácil, y podríamos resolver el problema …

13 ds.algorithms  optimization  exp-time-algorithms 

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 detiene cuando …

13 gt.game-theory 

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 …

13 cc.complexity-theory  time-complexity  terminology