Ciencias de la computación teórica

¿Hay problemas decidibles de tal manera que para ningún algoritmo que resuelva el problema podamos dar un límite de tiempo en función de la longitud n de la instancia de entrada? Llegué a esta pregunta porque estaba pensando en lo siguiente: Supongamos que tenemos un problema recursivamente enumerable pero indecidible. …

12 computability  time-complexity 

Digamos que uno tiene un idioma L ⊆ Σ∗L⊆Σ∗L \subseteq \Sigma^* , pero uno no sabe qué cadenas son realmente parte del idioma. Todo lo que uno tiene es una vista finita del lenguaje: un conjunto finito de cadenas A ⊆ LA⊆LA \subseteq L que se sabe que están en …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Dado un filtro de floración de tamaño N-bits y K funciones hash, de las cuales se establecen M-bits (donde M <= N) del filtro. ¿Es posible aproximar el número de elementos insertados en el filtro de floración? Ejemplo simple He estado reflexionando sobre el siguiente ejemplo, suponiendo un BF de …

12 ds.data-structures  pr.probability 

Estoy buscando un algoritmo rápido para calcular el flujo máximo en gráficos dinámicos. es decir, considerando un gráfico y s , t ∈ V tenemos máximo flujo F en G de s a la t . Entonces nuevo / viejo nodo u añadido / borrado con sus correspondientes bordes para …

12 graph-theory  graph-algorithms 

Solo quiero conocer algunos ejemplos de las funciones que pueden calcularse con el cálculo lambda sin tipo pero no con los cálculos lambda con tipo. Como soy un principiante, agradecería cierta reiteración de la información de fondo. Gracias. Editar: por cálculos lambda mecanografiados, tenía la intención de saber sobre el …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

Por lo general, es más simple razonar sobre el cálculo donde la limitación es la finitud de la computación en lugar de un umbral como "computable en una cantidad de tiempo polinómica". En la teoría de los lenguajes formales, por ejemplo, en lugar de usar para caracterizar un monoïd aperiódico, …

12 cc.complexity-theory  computability 

El peso El | x ||x||x|de una cadena binaria x ∈ { 0 , 1 }nortex∈{0,1}nx\in\{0,1\}^n es el número de unos en la cadena. ¿Qué sucede si estamos interesados ​​en calcular una función monótona en entradas con pocas? Sabemos que decidir si un gráfico tiene una kkk -clique es difícil …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Dado un endofunctor , podemos definir funciones de observación como funciones que son polimórficos para cualquier F -coalgebra, es decir o b s se define para cualquier F -coalgebra ⟨ A , C : A → F A ⟩ . o b s : ∀ ⟨ A , c ⟩ …

12 ct.category-theory 

Estoy buscando un lenguaje L con las siguientes propiedades: L no debe estar libre de contexto. El complemento de L no debe estar libre de contexto. (Todo lo que ves en los libros de texto como ejemplos principales de lenguajes sin contexto parece fallar en este segundo requisito). No debería …

12 fl.formal-languages  automata-theory 

Como es bien sabido, los problemas de optimización de NP-hard pueden tener muchas relaciones de aproximación diferentes, que van desde tener un PTAS hasta no ser aproximable dentro de ningún factor. En el medio, tenemos varias constantes, , p o l y ( n ) , etc.O ( logn )O(log⁡n)O(\log …

12 cc.complexity-theory  approximation-hardness 

La complejidad de la zoología de Greg Kuperberg afirma que hay un lenguaje tal que - en otras palabras, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} , pero no proporciona una referencia para este resultado. ¿Por qué se sostiene esto? ¿O …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Encontré un problema en la prueba de reducción de sujetos de Barendregt (Thm 4.2.5 de cálculos Lambda con tipos ). El último paso de la prueba (página 60) dice: "y, por lo tanto, según el Lema 4.1.19 (1), Γ , x : ρ ⊢ P: σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' ". Sin embargo, …

12 lo.logic  type-theory  lambda-calculus  proof-theory 

En mi trabajo surge el siguiente problema: ¿Existe un algoritmo conocido que se aproxime al número cromático de un gráfico sin un conjunto independiente de orden 65? (Por lo tanto, se conoce alfa (G) <= 64 y | V | / 64 es un límite inferior trivial, | V | …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

Soy más un tipo de óptica cuántica que un tipo de información cuántica, y trato principalmente en ecuaciones maestras. Estoy interesado en la forma de suma de operador, y me gustaría derivar los errores en esta forma para un pequeño sistema cuántico que estoy simulando. El problema: el sistema cuántico …

12 quantum-information 

Considere el siguiente problema de prueba de membresía de subgrupo abelian . Entradas: Un grupo abeliano finito G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} con arbitrariamente grande didid_i . Un generador de conjunto {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace de un subgrupo H⊂GH⊂GH\subset G . Un elemento b∈Gb∈Gb\in G . Salida: 'sí' si b∈Hb∈Hb\in H y 'no' en otro lugar …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory