Ciencias de la computación teórica

La hipercomputación se refiere a modelos de computación que no son posibles de simular usando máquinas Turing. (¡Las hipercomputadoras no son necesariamente realizables físicamente!) Algunas hipercomputadoras tienen acceso a un recurso que permite resolver el problema de detención de las máquinas Turing estándar. Llame a esto una "superpotencia": una hipercomputadora …

17 computability  hypercomputation 

Es bien sabido que si arrojas n bolas en n contenedores, es muy probable que el contenedor más cargado tenga O ( logn )O(Iniciar sesión⁡norte)O(\log n) bolas en él. En general, uno puede preguntar acerca de bolas en contenedores. Un artículo de RANDOM 1998 de Raab y Steger explora esto …

17 reference-request  pr.probability 

¿Cómo se puede demostrar que relación existe entre "Conjetura de juegos únicos" y "Teorema de PCP"? ¿Cómo se explica "La conjetura de juegos únicos" es una forma más fuerte de "teorema de PCP"?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Rompecabezas Dado que el problema es largo aquí hay un caso especial que captura su sentido. Problema: Sea A un algoritmo detrminístico para 3-SAT. Es el problema de simular completamente el algoritmo A (en cada instancia del problema). P-Space duro? (Más precisamente, ¿hay razones para creer que esta tarea es …

17 cc.complexity-theory  big-picture  structural-complexity 

Estoy buscando un ejemplo sencillo de dos sistemas de transición que sean equivalentes a LTL, pero que no sean equivalentes de rastreo. He leído la prueba de que Trace Equivalence es más fina que LTL Equivalence en el libro "Principles of Model Checking" (Baier / Katoen) pero no estoy seguro …

17 lo.logic  model-checking  linear-temporal-logic 

En la teoría de los autómatas (autómatas finitos, autómatas pushdown, ...) y en la complejidad, existe una noción de "ambigüedad". Un autómata es ambiguo si hay una palabra www con al menos dos ejecuciones de aceptación distintas. Una máquina es kkk ambigua si por cada palabra www aceptada por la …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Mi idea de una carrera de ensueño es una carrera en investigación industrial, donde uno puede abordar problemas que son desafiantes y también tienen un uso práctico. Con ese fin, ¿es una mala idea buscar un doctorado en TCS (estoy interesado en temas como algoritmos distribuidos / paralelos, algoritmos en …

17 soft-question  advice-request  career 

¿Qué pasa si se sabe algo sobre la complejidad parametrizada de calcular el número de intersección de un gráfico (el número más pequeño de camarillas necesario para cubrir todos sus bordes)? Desde hace tiempo se sabe que es NP-completo, y obviamente es FPT porque tiene un núcleo: si puede cubrir …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Dado un gráfico acíclico dirigido, , ¿es posible soportar eficientemente las siguientes operaciones?G(V,E)G(V,E)G(V,E) : determina si hay una ruta en G del nodo a al nodo bisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b)GGGaaabbb : Agrega una arista de a a b en el gráfico Glink(G,a,b)link(G,a,b)link(G,a,b)aaabbbGGG : elimina el borde de a a b en Gunlink(G,a,b)unlink(G,a,b)unlink(G,a,b)aaabbbGGG : …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

Entiendo que la integridad de Turing requiere memoria ilimitada y tiempo ilimitado. Sin embargo, hay una cantidad finita de átomos en este servicio, lo que limita la memoria. Por ejemplo, aunque es irracional, no hay forma de almacenar más de un cierto número de dígitos, incluso si todos los átomos …

17 computability  upper-bounds 

Como es bien sabido, PARITY no se puede hacer en circuitos de profundidad constante de tamaño polivinílico, y de hecho, los circuitos const-dept requieren un número EXP de compuertas. ¿Qué pasa con los circuitos QUANTUM? a) ¿Se puede hacer PARITY con un circuito cuántico que tiene una profundidad constante y …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

El artículo de Fischer de este mes me recordó lo poco que sé sobre el arte de las estructuras de datos sucintas y los algoritmos para usarlas. Para aquellos que no saben sobre estructuras de datos sucintas: Dada una estructura combinatoria, con (n) configuraciones distintas, y una representación "útil" conocida …

17 ds.data-structures  lower-bounds 

He estado tratando de leer " Diseño de Algoritmo Funcional de Perlas " y, posteriormente, " El Álgebra de la Programación ", y existe una correspondencia obvia entre los tipos de datos definidos recursivamente (y polinomialmente) y los objetos combinatorios, que tienen la misma definición recursiva y posteriormente conducen a …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Dado que el término está sobrecargado, primero una breve definición. Un poset es un conjunto XXX dotado de un orden parcial ≤≤\le . Dados dos elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (unión) como su límite superior mínimo en XXX , y definir de manera similar x∧yx∧yx …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Parece haber mucho trabajo, para algunos problemas NP-Hard, en el desarrollo de algoritmos exactos rápidos de tiempo exponencial (es decir, resultados de la forma: El algoritmo A resuelve el problema en el tiempo O (c ^ n), con c pequeño). Parece que hay una buena cantidad de trabajo en este …

17 ds.algorithms