Ciencias de la computación teórica

Antecedentes Complejidad del circuito se define como el conjunto de familias de circuitos (es decir, secuencias de circuitos, una para cada tamaño de entrada) de profundidad acotada y tamaño polinomial construido utilizando el ventilador sin límites AND, OR y NOT.AC0AC0AC^0 La función de paridad con entrada de n bits es …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Estoy tratando de elaborar una taxonomía de algoritmos para transformar expresiones regulares en autómatas para realizar algunas pruebas empíricas de sus propiedades de complejidad en dominios específicos. Soy consciente de varios de los nombres 'más grandes', por ejemplo, Thompson "Algoritmo de búsqueda de expresiones regulares", Thompson, 1968 Glushkov "Un nuevo …

10 automata-theory  fl.formal-languages  regular-expressions 

Harvey Friedman demostró que hay un claro resultado de punto fijo que no se puede probar en ZFC (la teoría de conjuntos Zermelo-Frankel habitual con el Axioma de Elección). Muchas lógicas modernas se basan en operadores de punto fijo, así que me preguntaba: ¿hay alguna consecuencia conocida del teorema del …

10 computability  lo.logic 

Al tratar con las categorías teóricas de dominio (por ejemplo, CPO y CPO), con frecuencia deseo un diccionario para el lenguaje de la teoría de categorías en la teoría de dominios.ωω\omega Es decir, dado un concepto, digamos flecha mónica, podría buscarlo en el diccionario y ver cuáles son sus caracterizaciones …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

La resolución es un esquema para demostrar la insatisfacción de los CNF. Una prueba en resolución es una deducción lógica de la cláusula vacía para las cláusulas iniciales de la CNF. En particular, se puede inferir cualquier cláusula inicial, y de dos cláusulas A ∨ xA∨xA \lor x y B …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

En primer lugar, todavía no estoy seguro de si la teoría está bien adaptada para esta pregunta, por lo que no me ofenderé si la multitud cree que no es así ... En el marketing de motores de búsqueda, varios problemas son interesantes. El diseño de mecanismos de subasta justos …

10 reference-request  lg.learning  gt.game-theory 

Pregunta : ¿Es tan difícil predecir (como se define a continuación) las secuencias computables como el problema de detención? Elaboración : "Predecir" significa predecir con éxito, lo que significa cometer solo un número finito de errores en la tarea de intentar predecir el enésimo bit de la secuencia con acceso …

10 computability 

En Universal Blind Quantum Computation, los autores describen un protocolo basado en mediciones que permite a un usuario casi clásico realizar cálculos arbitrarios en un servidor cuántico sin revelar casi nada sobre el contenido de la computación. En la descripción del protocolo, los autores mencionan "conjuntos de dependencias" asociados a …

10 quantum-computing  cr.crypto-security 

¿Alguien sabe de un conjunto de problemas que varían uniformemente y abarcan una de las jerarquías "interesantes" de complejidad y computabilidad? Por interesante, quiero decir, por ejemplo, la Jerarquía Polinómica, la Jerarquía Aritmética o la Jerarquía Analítica. O tal vez (N) P, (N) EXP, 2 (N) EXP,……\ldots Más concretamente: puede …

10 cc.complexity-theory  computability 

Tengo una pregunta de viabilidad que se puede enmarcar de la siguiente manera. Me dan un punto en un d espacio vectorial dimensional, y yo quiero encontrar el punto más cercano q a p que satisface un conjunto de " l 0 limitaciones" de la formapppdddqqqpppℓ0ℓ0\ell_0 Dado un conjunto , …

10 ds.algorithms  approximation-algorithms  linear-programming 

Tengo el siguiente LP: /* Función objetiva */ min: 1 w + 2 x + 0,5 y + z; / * Límites variables * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; En …

10 linear-programming 

Hiroimono es un popular rompecabezas completo de Estoy interesado en la complejidad computacional de un rompecabezas relacionado.NPNPNP El problema es: Entrada : dado un conjunto de puntos en una cuadrícula x n cuadrada y entero knnnnnnkkk Pregunta : ¿Existe un polígono rectilíneo (sus lados paralelos al eje o y ) …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Deje que π: { 0 , 1 }∗→ { 0 , 1 }∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* sea ​​una permutación. Tenga en cuenta que mientras ππ\pi actúa en un dominio infinito, su descripción puede ser finita. Por descripción , me refiero a un programa que describe la funcionalidad de ππ\pi …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Una transacción de base de datos clásica simplificada se puede ver como: leyendo artículos M realizar algunos cálculos basados ​​en esas lecturas escribir algunos resultados de N basados ​​en estos cálculos, que pueden incluir los elementos leídos originalmente. Al realizar estas transacciones (simultáneamente), las propiedades ACID deben mantenerse. Exactamente los …

10 ds.algorithms  dc.distributed-comp 

Dado un dígrafo G fuertemente conectado con bordes ponderados, me gustaría identificar los bordes que probablemente no sean parte de ningún subgráfico mínimo fuertemente conectado (MSCS) de G. Un método para encontrar tales bordes es un algoritmo de Floyd-Warshall modificado. Usando el algoritmo Floyd-Warshall, uno puede identificar qué bordes nunca …

10 ds.algorithms  graph-theory  graph-algorithms