Ciencias de la computación teórica

El rango de signos de una matriz A con entradas + 1, -1 es el rango mínimo (sobre los reales) de una matriz B que tiene el mismo patrón de signos que A (es decir, para todo i , j ) Esta noción es importante en la complejidad de la …

25 lg.learning  open-problem  communication-complexity  matrices 

¿Hay alguna referencia que cubra esto?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

A la luz del resultado reciente de Arora, Barak y Steurer, Algoritmos subexponenciales para juegos únicos y problemas relacionados , me interesan los problemas de gráficos que tienen algoritmos de tiempo subexponenciales pero que no se pueden resolver polinomialmente. Un ejemplo famoso es isomorfismo gráfico que tiene algoritmo subexponencial de …

25 cc.complexity-theory  reference-request 

Es bien sabido que cualquier prueba que resuelva la cuestión P vs NP debe superar la relativización , las pruebas naturales y las barreras de algebrización . El siguiente diagrama divide el "espacio de prueba" en diferentes regiones. Por ejemplo, RNRNRN corresponde al conjunto de pruebas que se relativizan y …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

RP es la clase de problemas que puede resolver una máquina de Turing no determinista que termina en tiempo polinómico, pero también se permite un error unilateral. P es la clase habitual de problemas que puede resolver una máquina de Turing determinista que termina en tiempo polinómico. P = RP …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

Considere el siguiente problema: dada una fórmula CNF y una asignación que satisface esta fórmula, ¿hay otra asignación satisfactoria para esta fórmula? ¿Cuál es la complejidad de este problema? (Seguramente está en NP, pero ¿también es NP-hard?) ¿Qué sucede si no se le asigna la tarea y solo desea decidir …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

La intersección de dos (mínimos) DFA con n estados se puede calcular utilizando O (n 2 ) tiempo y espacio. Esto es óptimo en general, ya que el DFA resultante (mínimo) puede tener n 2 estados. Sin embargo, si el DFA mínimo resultante tiene estados z, donde z = O …

25 automata-theory  dfa 

Por supuesto, algunos resultados de complejidad pueden colapsar para los idiomas unarios, pero me pregunto si hay alguna encuesta que resuma los resultados conocidos en este caso: una especie de zoológico de complejidad para los idiomas unarios. ¿Sabrías de tal referencia?

25 cc.complexity-theory  reference-request  big-list 

Formulé el siguiente problema hoy mientras jugaba con mi GPS. Aquí está : Supongamos que sea ​​un gráfico dirigido, de modo que si entonces (v, u) \ notin E , es decir, G es una orientación del gráfico subyacente no dirigido. Considere las siguientes operaciones:e = ( u , v …

25 ds.algorithms  graph-algorithms 

Considere esta pregunta resuelta. No elegiré la mejor respuesta ya que todas ellas han contribuido a mi comprensión del tema. No estoy seguro de qué beneficio tenemos al definir formalmente la semántica de la lógica de predicados. Pero sí valoro tener un cálculo de prueba formal. Mi punto es que …

25 lo.logic  semantics 

Supongo que leí demasiados documentos ambiciosos de CoRR . El problema es que esos documentos no son revisados ​​por pares, pero a menudo suenan interesantes y pasan verificaciones básicas de plausibilidad. O tal vez no, y solo necesito mejorar mis verificaciones de plausibilidad. Aquí hay una muestra reciente de tales …

24 soft-question  graph-isomorphism  paper-review  ppad 

Sé que es indecidible determinar si un conjunto de fichas puede enlosar el plano, como resultado de que Berger usa fichas de Wang . Mi pregunta es si también se sabe que es indecidible determinar si un solo mosaico dado puede enlosar el plano, un mosaico monoédrico . Si esto …

24 reference-request  co.combinatorics  decidability  undecidability 

Me topé con un desacuerdo confuso entre Agda y Coq que obviamente no está relacionado con las distinciones más conocidas entre sus teorías de tipo (por ejemplo, (im) predicatividad, inducción-recursión, etc.). En particular, Agda acepta la siguiente definición: data Ty : Set0 -> Set0 where c1 : Ty ℕ c2 …

24 type-theory  coq 

Estoy buscando un libro sobre estructuras de datos avanzadas que vaya más allá de lo que se cubre en los libros de texto estándar como Cormen, Leiserson, Rivest y Stein "Introducción a los algoritmos". Un libro que se puede usar para enseñar un curso de posgrado sobre estructuras de datos …

24 soft-question  ds.data-structures  survey  books 

¿Qué implicaciones tendría una prueba de la conjetura abc para tcs? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory