Ciencias de la computación teórica

¡Predecir el mercado de valores es difícil! ¿Puede TCS hacer este sentimiento más formal? Recientemente comencé a pensar un poco sobre las finanzas y me preguntaba cómo podría ayudar el conocimiento de TCS. Los fondos de cobertura y las empresas de inversión parecen utilizar el comercio algorítmico, el aprendizaje automático …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

¿Hay alguna referencia que proporcione detalles sobre los límites inferiores del circuito para problemas difíciles específicos que surgen en la criptografía, como la factorización de enteros, el problema de logaritmo discreto primario / compuesto y su variante sobre el grupo de puntos de curvas elípticas (y sus variedades abelianas de …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

La computación reversible es un modelo computacional que solo permite operaciones termodinámicamente reversibles. De acuerdo con el principio de Landauer, que establece que borrar un poco de información libera julios de calor, esto excluye las funciones de transición que no son uno a uno (por ejemplo, los operadores booleanos AND …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

En su artículo (p. 503), Garey y Johnson comentan: ... podría existir un problema de NP-completo que no es NP-completo en sentido estricto ni resuelto por un algoritmo de tiempo pseudo-polinomial ... ¿Alguien sabe algunos problemas candidatos con las propiedades mencionadas anteriormente? Creo que la posible respuesta a esta pregunta …

19 ds.algorithms  np-hardness  np 

Actualmente estoy interesado en obtener (o construir) y estudiar fórmulas 3-CNF que son insatisfactorias y de tamaño mínimo. Es decir, deben consistir en la menor cantidad posible de cláusulas (m = 8 preferiblemente) y la menor cantidad posible de variables distintas (n = 4 o más), de modo que eliminar …

19 cc.complexity-theory  sat 

Rn\mathbb{R}^n⟨⋅,⋅⟩\langle \cdot, \cdot \ranglemmv1,v2,…,vmv_1, v_2, \ldots, v_mx∈Rnx \in \mathbb{R}^nmin i ⟨ x , v i ⟩ mini⟨x,vi⟩\min_i \langle x, v_i \rangleO ( n m )O(nm)O(nm) n = 2 n=2n = 2O ( conecto 2 m )O(log2m)O(\log^2 m) Lo único que se me ocurre es lo siguiente. Es una consecuencia inmediata …

19 ds.data-structures  cg.comp-geom  linear-algebra  metrics 

Parece que se sabe que para encontrar una respuesta a una consulta sobre una base de datos relacional , se necesita tiempo , y no se puede eliminar el exponente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como puede ser muy grande, nos preguntamos por qué las bases de datos funcionan en la práctica.DDD ¿Es solo una …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Supongamos que es el peor tiempo de ejecución de un problema en una entrada de tamaño . Hagamos el problema un poco extraño arreglando para pero para .f(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 Entonces, ¿cuál es el límite inferior del problema? La forma en que lo entendí es solo el límite …

19 cc.complexity-theory  time-complexity 

Un DFA tiene una palabra de sincronización si hay una cadena que envía cualquier estado del DFA a un solo estado. En 'La conjetura de Cerny para autómatas aperiódicos ”por AN Trahtman (Matemática discreta y ciencias de la computación teórica vol. 9: 2, 2007, pp.3-10), escribió: Cerny conjeturó en 1964 …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

EDITAR el 2011/02/08: Después de encontrar y leer algunas referencias, decidí separar la pregunta original en dos. Aquí está la parte relativa a UP vs NP, para la parte de clases sintácticas y semánticas, consulte Beneficios para clases sintácticas y semánticas . (el tiempo polinómico inequívoco, verwikiyel zoológicopara referencias) se …

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

Estoy buscando formas de mantener un árbol de expansión de un gráfico relativamente equilibrado, a medida que agrego nuevos nodos / bordes al gráfico. Tengo un gráfico no dirigido que comienza como un solo nodo, la "raíz". En cada paso, agrego al gráfico un nuevo nodo y un borde que …

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

He leído en alguna parte que una máquina de Turing no puede calcular esto y, por lo tanto, es indecidible, pero ¿por qué? ¿Por qué es computacionalmente imposible para una máquina generar el árbol de análisis y tomar una decisión? ¿Quizás estoy equivocado y se puede hacer?

19 computability  turing-machines  context-free 

La paridad y son como gemelos inseparables. O eso parece durante los últimos 30 años. A la luz del resultado de Ryan, habrá un renovado interés en las clases pequeñas.A C0 0AC0AC^0 Furst Saxe Sipser a Yao a Hastad son todas paridades y restricciones aleatorias. Razborov / Smolensky es un …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

En la teoría de la información cuántica, la distancia entre dos canales cuánticos a menudo se mide utilizando la norma del diamante. También hay varias formas de medir la distancia entre dos estados cuánticos, como la distancia de rastreo, la fidelidad, etc. El isomorfismo de Jamiołkowski proporciona una dualidad entre …

19 quantum-computing  it.information-theory  quantum-information 

Aquí hay una abstracción de un problema de aprendizaje / bandido en línea en el que he estado trabajando en el verano. No he visto un problema como este antes, y parece bastante interesante. Si conoce algún trabajo relacionado, agradecería referencias. El problema La configuración es la de los bandidos …

19 machine-learning  lg.learning  online-learning