Ciencias de la computación teórica

Los cierres léxicos son una técnica de implementación en lenguajes con funciones de primera clase. Estoy interesado en una descripción operacional simple de los cierres de funciones. ¿Alguien sabe de tal descripción?

8 reference-request  pl.programming-languages  semantics  compilers 

Aunque L.Berman demostró que el problema de verificar o falsificar cualquier declaración de primer orden sobre números reales que usa la suma y la comparación pero no la multiplicación está en EXPSPACE. ¿Se le ha mostrado cuánto tiempo o espacio necesitaría para verificar o falsificar cualquier enunciado de primer orden …

8 cc.complexity-theory  lo.logic  model-theory 

Tengo vectores de bits, cada uno de los cuales está compuesto por bits. Denotemos con el bit del -ésimo vector, . Cada vector de bits está sujeto a las siguientes 2 restricciones:m v i [ j ] j i i , j ∈ [ 1 , m ] v imetrommmetrommvyo[ …

8 co.combinatorics 

Contexto: según tengo entendido, en la teoría de la complejidad geométrica, la existencia de obstrucciones sirve como un certificado de prueba, por así decirlo, de la inexistencia de un circuito computacional eficiente para la función explícita y difícil en el problema del límite inferior en consideración. Ahora hay algunas otras …

8 application-of-theory  proof-complexity  gct 

Dado un gráfico G ( V, E)G(V,E)G(V,E) , el problema clásico de coincidencia máxima es elegir el subconjunto máximo de aristas METROMETROM st, para cada arista ( u , v ) ∈ M(tu,v)∈METRO(u,v) \in M , re( u ) = d( v ) = 1re(tu)=re(v)=1d(u)=d(v)=1 . ¿Alguien ha estudiado la …

8 cc.complexity-theory  ds.algorithms  graph-theory  co.combinatorics 

¿Qué estructuras de datos recomendaría que representen una colección de subconjuntos de y admitan las siguientes operaciones?{1,…,n}{1,…,n}\{1, \dots, n\} : inserta S en la colección.insert(S)insert(S)insert(S)SSS : devuelve verdadero si existe S ′ en la colección tal que S ′ ⊂ S , falso en caso contrario.query(S)query(S)query(S)S′S′S'S′⊂SS′⊂SS' \subset S Mi criterio …

8 ds.data-structures 

Considere un lenguaje de expresiones regulares con el cuantificador codicioso , el cuantificador no codicioso ∗ ? , alternancia ordenada y clases de caracteres. (Esto es esencialmente un sublenguaje de PCRE sin referencias posteriores, afirmaciones de búsqueda o algunos de los otros bits más elegantes).∗∗*∗?∗?{*}? Un partido para una expresión …

8 fl.formal-languages  regular-expressions 

¿Existe una función similar a una trampilla cuya complejidad de codificación es el tiempo polinomial nk1nk1n^{k_{1}} y la complejidad inversora (sin clave secreta) también es una función polinómica en la longitud de entrada con (digamos que y es incondicionalmente demostrable estar limitado por ) ¿Cuáles son las implicaciones de tales …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function 

De alguna manera pasé de la biofísica a un equipo mixto donde generalmente publicamos en revistas / conferencias TCS. Para obtener financiación, en el país europeo donde vivo, es recomendable mostrar en su CV que tengo documentos o conferencias arbitradas en estos campos. Tengo más de 30 publicaciones, pero nunca …

8 paper-review  conferences 

Estoy considerando el problema de reconocer un idioma (sobre el alfabeto 0-9 y el espacio) que contiene cadenas como "1 2 3 4 5 6" y "14 15 16 17" pero no "1 3". Esto surgió mientras trabajaba en una tarea de análisis común donde los elementos debían estar en …

8 fl.formal-languages 

En el paso de reducción de grados de la prueba de Dinur, el gráfico de entrada se transforma en un gráfico G ' reemplazando cada vértice v ∈ V ( G ) por un conjunto de vértices, c l o u d ( v ) , de modo que | …

8 cc.complexity-theory  pcp 

[Editar 21 de julio de 2011: edité la pregunta para pedir más ejemplos] Esta pregunta requiere una discusión documentada de o más ejemplos de una observación heurística. Algunos problemas matemáticos que admiten algoritmos eficientes parecen ser de naturaleza convexa. Estoy pensando en programas lineales y semi-definidos y varios problemas combinatorios …

8 ds.algorithms  convex-optimization  philosophy 

Tengo un DAG de dependencias que contiene muchos bordes redundantes (ver ejemplo a continuación). Quiero un algoritmo "rápido" (es decir, puede manejar un gráfico con varios miles de nodos / bordes) que encuentre un gráfico secundario mínimo. Por ejemplo: A -> B -> C A -> C en palabras, A …

8 ds.algorithms  graph-algorithms  transitive-reduction 

Estoy planeando ejecutar un "experimento" cuando enseñe mi clase de algoritmos este otoño, con una computadora muy antigua y limitada (el factor limitante principal es probablemente la memoria, posiblemente tan bajo como 16 KB) y uno moderno / estándar. La idea es resolver un problema con un polinomio, que se …

8 ds.algorithms  teaching 

Como sabemos, el isomorfismo gráfico está en NP pero no se sabe que sea NP-Completo o P-Completo. Me preguntaba si hay algún problema que se sabe que está en PSPACE pero no se sabe que es PSPACE-Complete y no se encuentra en PH.

8 cc.complexity-theory  complexity-classes