Ciencias de la computación teórica

¿Podría alguien dar una explicación intuitiva ( no intuitiva) de la correspondencia de la introducción a la izquierda y la eliminación de la implicación en el cálculo secuencial (SC) y la deducción natural (ND) respectivamente? Sé que deberían hacerlo por la simetría de SC pero no veo cómo se corresponden …

8 lo.logic  proof-theory  sequent-calculus  natural-deduction 

El problema de optimización de CSP es resistente a la aproximación si es difícil de superar el factor de aproximación de una asignación aleatoria. Por ejemplo, MAX 3-LIN es resistente a la aproximación ya que una asignación aleatoria satisface fracción de las ecuaciones lineales, pero lograr un factor de aproximación …

8 cc.complexity-theory  approximation-hardness  max-cut 

Espero haber llegado al lugar correcto ... es (probablemente) una pregunta de programación lógica bastante sencilla. Si tengo dos cláusulas de la forma: B:-A C:-A puedo transformarlas en: B,C:-A ( Editar: dónde B,Ces una conjunción. Estoy haciendo una evaluación de abajo hacia arriba y me es útil representar múltiples cláusulas …

8 reference-request  pl.programming-languages  terminology  logic-programming 

Recientemente he leído algunas cosas sobre problemas de optimización incremental, pero no puedo ver cuál es la diferencia entre esos y los problemas de optimización en línea. Mi impresión es que puedo definir cada problema en línea como una contraparte incremental (lo contrario es claramente cierto). Aquí van las definiciones …

8 ds.algorithms  optimization  online-algorithms 

Esta es una pregunta algo frívola que surgió en mi cabeza después de leer las diversas respuestas a "¿Cuál es la clase de complejidad" más pequeña "para la que se conoce un circuito superlineal? ". Las respuestas se refieren a , y cuando miré la entrada del zoológico , descubrí …

8 cc.complexity-theory  complexity-classes 

En nuestro grupo de investigación estamos trabajando en la aplicación de métodos heurísticos al problema de iluminación inversa (es decir, dada una serie de restricciones sobre las condiciones de iluminación en una escena, encontrar los lugares donde se deben colocar las fuentes de luz y sus intensidades en para cumplir …

8 cc.complexity-theory  np-hardness  cg.comp-geom  application-of-theory 

Link-cut tree es una estructura de datos inventada por Sleator y Tarjan, que admite varias operaciones y consultas en unbosque de nodos en el tiempo O ( log n ) . (Por ejemplo, el enlace de operacióncombina dos árboles en el bosque en uno, mientras que la operación de corte …

8 ds.algorithms  ds.data-structures  time-complexity  tree  dynamic-algorithms 

Una pregunta genérica: ¿hay alguna técnica espectral para estimar el género de un gráfico? Estoy interesado en gráficos bipartitos.

8 graph-theory  co.combinatorics  spectral-graph-theory 

¿Podría recomendar un artículo de encuesta o un capítulo de libro de texto que presente la teoría de las funciones recursivas? Gracias

8 reference-request  computability 

Es bien sabido en la teoría de modelos finitos que sin un orden en la entrada, la expresividad es muy limitada. Por ejemplo, se sabe que es igual a PSPACE , y F O ( PFP ) (sin ningún orden en la entrada) es solo PSPACE -relacional, una noción definida …

8 cc.complexity-theory  descriptive-complexity  finite-model-theory 

Tengo algunas preguntas sobre la conjetura de Quantum PCP: ¿Cuál es la declaración de la conjetura de PCP cuántica? ¿Qué implicaciones tendría el teorema de PCP Quantum para la simulación de hamiltonianos? ¿Se cree que la adopción de la prueba de Irit Dinur del teorema clásico de PCP puede conducir …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

La seguridad basada en simulación proporciona una definición de seguridad más natural y poderosa que la seguridad basada en juegos. He visto que los enfoques basados ​​en simulación usan las pruebas basadas en juegos en parte para demostrar la seguridad de algunas partes del protocolo. Por ejemplo, para evaluar la …

8 cc.complexity-theory  cr.crypto-security 

Para un lenguaje libre de contexto determinado G, que llamamos un no terminal nullable si , es decir, podemos derivar la cadena vacía de después de aplicar un número finito de producciones.UNAyoAiA_i UNAyo→∗ϵAi→∗ϵA_i \rightarrow^* \epsilonUNAyoAiA_i Hay un algoritmo simple para determinar qué no terminales de una gramática son anulables, como …

8 ds.algorithms  fl.formal-languages  time-complexity 

Sabemos que todos los autómatas push down son representables utilizando gramáticas libres de contexto. Además, existe un algoritmo para construir un CFG a partir de cualquier PDA (por ejemplo, la prueba de Sipser introducida a la teoría de la computación). ¿Hay alguna herramienta que haga esta traducción? Es decir, puedo …

8 automata-theory  fl.formal-languages  grammars  software 

Considere los siguientes dos algoritmos para buscar en una matriz ordenada de nnn elementos: A) búsqueda de interpolación y búsqueda binaria simulada en paralelo, y B) busque a través de pasos de interpolación alternos y pasos binarios. Ambos algoritmos son de peor complejidad de caso 2lgn+12lg⁡n+12\lg n+1 (y complejidad promedio …

8 ds.algorithms  time-complexity