Ciencias de la computación teórica

EDITAR (por Tara B): Todavía estaría interesado en una referencia a una prueba de esto, ya que tuve que demostrarlo yo mismo para mi propio artículo. Estoy buscando la prueba del Teorema 4 que aparece en este documento: Una jerarquía infinita de intersecciones de lenguajes sin contexto por Liu y …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Dado un conjunto finito de puertas cuánticas , ¿es decidible (en sentido teórico de la computación) si es un conjunto de puerta universal? Por un lado, "casi todos" los conjuntos de compuertas son universales, por otro lado, los conjuntos de compuertas no universales aún no se comprenden bien (en particular, …

11 quantum-computing 

¿Cuál es la diferencia de llamar a -calculus un álgebra en lugar de un cálculo? Planteo esta pregunta porque leí en alguna parte la línea " -calculus no es un cálculo sino un álgebra" (iirc, atribuido a Dana Scott). ¿Cual es el punto? Gracias.λλλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

Recientemente comencé mi curso de maestría. El semestre pasado tomé cursos de diferentes disciplinas como redes, ingeniería de software, arquitectura, etc. Recientemente, después de tomar un curso avanzado en algoritmos y estructuras de datos, creo que encontré un curso que me interesa más (incluyendo otros temas similares como lenguajes de …

11 soft-question  career 

El siguiente ejercicio ha sido entregado a los estudiantes que superviso: Dados nnn puntos en el plano, diseñe un algoritmo que encuentre un par de puntos cuya distancia sea mínima entre todos los pares de puntos. El algoritmo debe ejecutarse en el tiempo o(n2)o(n2)o(n^2) . Existe un algoritmo de división …

11 ds.data-structures  cg.comp-geom 

Según tengo entendido, en informática los tipos de datos no se basan en la teoría de conjuntos debido a cosas como la paradoja de Russell, pero como en los lenguajes de programación del mundo real no podemos expresar tipos de datos tan complejos como "conjunto que no se contiene a …

11 type-theory  set-theory  type-systems 

Sea una secuencia de enteros donde cada a j ∈ { 1 , 2 , ... , n } . Para i ∈ { 1 , 2 , ... , n } , sea m i = | { j : a j = i } | . El k …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Dado un gráfico ponderado no dirigido con m=o(n2)m=o(n2)m = o(n^2) aristas, me gustaría calcular distancias de aproximación menores que 2 entre cualquier par de vértices dado. Por supuesto, me gustaría utilizar el espacio subcuadrático y el tiempo de consulta sublineal. Soy consciente del resultado de Zwick que utiliza la multiplicación …

11 ds.algorithms  graph-algorithms 

En los sistemas de control de versiones distribuidas (como Mercurial y Git ) existe la necesidad de comparar eficientemente los gráficos acíclicos dirigidos (DAG). Soy un desarrollador de Mercurial, y estaríamos muy interesados ​​en escuchar sobre el trabajo teórico que discute la complejidad del tiempo y la red de comparar …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Supongamos que tenemos un semigrupo con elementos S = { s 1 , s 2 , ... , s n } . Nuestro objetivo es calcular productos s i ∘ s i + 1 ∘ ⋯ ∘ s j .( S, ∘ )(S,∘)(S,\circ)S= { s1, s2, ... , snorte}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesyo∘ …

11 cc.complexity-theory  graph-theory  ds.data-structures 

El problema de la galería de arte tradicional establece una región y guardias con alguna noción de visibilidad, y solicita el número mínimo de guardias que deben colocarse para ver toda la región. ¿Alguien ha mirado alguna vez las variantes de la galería de arte donde la región de visibilidad …

11 reference-request  cg.comp-geom 

Supongo que se llamaría # P-Space, pero solo he encontrado un artículo que lo menciona vagamente. ¿Qué tal la versión de conteo de EXP-TIME-Complete, NEXP-Complete y EXP-SPACE-Complete? ¿Hay algún trabajo previo que pueda citarse con respecto a este o algún tipo de inclusión o exclusión como el Teorema de Toda?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Esta pregunta está relacionada con una pregunta reciente de Janoma . Antecedentes En la programación de restricción, un regular de restricción global sobre un dominio es un par con una tupla de variables (el alcance) y un DFA sobre el dominio . Una asignación a satisface si acepta la cadena …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

¿Qué se sabe sobre la transición de fase en problemas # P-Complete? Específicamente, ¿existe una transición de fase diferente para # DNF-k-SAT y # CNF-k-SAT? Actualización: Como sabemos, hay una transición de fase en Random k-SAT donde la resolución del problema pasa de ser fácil a difícil y volver a …

11 cc.complexity-theory  counting-complexity  phase-transition 

¿Cómo se ve un problema y la razón por la que es probable NP-Intermedio en lugar de NP-Completo? A menudo es bastante simple observar un problema y determinar si es probable que esté NP-Completo o no, pero me parece mucho más difícil saber si un problema es NP-Intermedio ya que …

11 cc.complexity-theory  complexity-classes  np-intermediate