Ciencias de la computación teórica

Esta pregunta es similar a una pregunta más general sobre cuál es el modelo teórico correcto de una computadora para diseñar algoritmos y estructuras de datos. Aquí, pregunto específicamente sobre las computadoras actuales de alto rendimiento (como las que figuran como las 500 principales ) o incluso sobre próximas supercomputadoras. …

20 reference-request  soft-question  machine-models 

Hoy en Nueva York y en todo el mundo se celebra el cumpleaños de Christos Papadimitriou. Esta es una buena oportunidad para preguntar sobre las relaciones entre la clase de complejidad PPAD de Christos (y sus otras clases relacionadas) y las computadoras cuánticas. En su célebre artículo de 1994, Papadimitriou …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Es bien sabido que el problema de equivalencia es indecidible para los lenguajes generales sin contexto. Sin embargo, todas las pruebas de este hecho que conozco parecen involucrar algunas gramáticas ambiguas sin contexto. Por esta razón, me gustaría preguntar si se sabe si el problema sigue siendo indecidible mientras se …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Soy un estudiante de doctorado que trabaja en informática teórica. He leído los trabajos de investigación de muchos investigadores y he visto muchas herramientas y matemáticas que utilizan para diseñar un algoritmo. Por ejemplo, vea este trabajo de investigación [Primality in P] . No diría que este trabajo de investigación …

19 advice-request 

A continuación, MSO denota la lógica monádica de segundo orden de los gráficos con cuantificaciones de conjuntos de vértices y conjuntos de bordes. Sea una familia cerrada menor de gráficos. Se deduce de Robertson y de Seymour gráfico teoría menor que F se caracteriza por una lista finita H 1 …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

Deje ser una función de valor entero tal que esté en . ¿Se sigue que2 F # P F # PFFF2 F2F2F# P#P\#PFFF está en ? ¿Hay razones para creer que es poco probable que esto se cumpla siempre? ¿Alguna referencia que deba saber?# P#P\#P Sorprendentemente, esta situación surgió (con …

19 cc.complexity-theory  complexity-classes  counting-complexity 

Pierce (2002) introduce la relación de mecanografía en la página 92 ​​escribiendo: La relación de escritura para expresiones aritméticas, escrita "t: T", se define mediante un conjunto de reglas de inferencia que asignan tipos a términos y la nota al pie de página dice que el símbolo se usa a …

19 type-theory  notation 

Me gustaría dar una charla de matemáticas sobre el sistema de control de revisión git . Ahora es ampliamente utilizado en matemáticas, así como en la industria de la informática. Por ejemplo, la comunidad HoTT (Homotopy Type Theory) lo utiliza, y es el sistema de acceso para la edición colaborativa …

19 co.combinatorics  application-of-theory 

En su artículo de 1995 Algoritmos de tiempo polinómico para la factorización prima y los logaritmos discretos en una computadora cuántica , Peter W. Shor analiza una mejora en la parte de búsqueda de orden de su algoritmo de factorización. Las salidas algoritmo estándar r′r′r' , un divisor de la …

19 quantum-computing  nt.number-theory  factoring 

¿Cuál es la complejidad más conocida para calcular la distancia de edición exacta entre dos cadenas de la misma longitud utilizando un espacio de trabajo que es sublineal en el tamaño de la entrada? Supongo que la entrada se almacena en algún formato de solo lectura. ¿Es este un problema …

19 ds.algorithms  edit-distance  space-time-tradeoff 

Pregunta principal / general Deja que LLL sea ​​un idioma. Defina los idiomas LiLiL_i con L0=LL0=LL_0 = L y Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} para i≥1i≥1i \geq 1 . Considere L = ⋃ L i . Por lo tanto, hacemos repetidamente "Insertar" L sobre sí …

19 reference-request  fl.formal-languages 

USTCONN es el problema que requiere decidir si hay una ruta desde el vértice de origen hasta el vértice de destino en un gráfico , donde todos estos se dan como parte de la entrada.ssstttGGG Omer Reingold demostró que USTCONN está en L (doi: 10.1145 / 1391289.1391291 ). La prueba …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Actualmente, el cálculo de los reales en los idiomas más populares todavía se realiza a través de operaciones de coma flotante. Por otro lado, teorías como la efectividad de tipo dos (TTE) y la teoría de dominios han prometido durante mucho tiempo el cálculo exacto de los reales. Claramente, el …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Recientemente, Dana Scott propuso el cálculo lambda estocástico, un intento de introducir elementos probabilísticos en el cálculo lambda (sin tipo) basado en una semántica llamada modelo gráfico. Puede encontrar sus diapositivas en línea, por ejemplo, aquí y su artículo en Journal of Applied Logic , vol. 12 (2014). Sin embargo, …

19 lo.logic  pl.programming-languages  lambda-calculus 

Wikipedia enumeró cuatro problemas que están en pero se conjetura que están fuera de P : Factorización entera; Logaritmo discreto; Simulación de sistemas cuánticos; Calcular el polinomio de Jones en ciertas raíces de la unidad.BQPBQPBQPPPP ¿Hay algún otro problema?

19 cc.complexity-theory  complexity-classes  quantum-computing