Ciencias de la computación teórica

Introduciré mi problema con un ejemplo. Supongamos que está diseñando un examen, que consiste en un cierto conjunto de preguntas independientes (que los candidatos pueden obtener bien o mal) Desea decidir sobre un puntaje para dar a cada una de las preguntas, con la regla de que los candidatos con …

16 reference-request  boolean-functions 

Mirando el blog de teoría de tipos de homotopía, se puede encontrar fácilmente una gran cantidad de bibliotecas que formalizan la mayoría de la teoría de tipos de homotopía en Agda y Coq. ¿Alguien sabe si hay algún intento similar de formalizar HoTT en Idris ?

16 proof-assistants  homotopy-type-theory 

Leí que la programación lineal entera se puede resolver en tiempo polinominal si el número de variables es fijo, es decir, n ∈ O ( 1 ) . Si el número de variables crece logarítmicamente, es decir, n ∈ O ( log 2 ( N ) ) para una entrada …

16 cc.complexity-theory  np  open-problem 

El principio 0-1 dice que si una red de clasificación funciona para todas las secuencias 0-1, entonces funciona para cualquier conjunto de números. ¿Hay una tal que si una red ordena cada secuencia 0-1 de S, entonces ordena cada secuencia 0-1 y el tamaño de S es polinomial en n …

16 ds.algorithms  sorting  sorting-network 

Sea un dígrafo (no necesariamente un DAG) y sea s , t ∈ V ( G ) . ¿Cuál es la complejidad de contar el número de rutas s - t simples en G ? GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Esperaría que el problema sea # completo pero no he podido …

16 ds.algorithms  reference-request  counting-complexity 

Estoy buscando un algoritmo de una pasada que calcule la paridad de una permutación. Supongo que una permutación de entrada viene dada por la secuencia π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n] . La salida debe ser la paridad de la permutación. La pregunta que me interesa es cuánta memoria debe usar un …

16 ds.algorithms  permutations  streaming-algorithms 

¿Existe un teorema general que establezca, con una desinfección adecuada, que los resultados más conocidos con respecto al uso de números reales se pueden usar cuando se consideran solo reales computables? ¿O hay una caracterización adecuada de los resultados que siguen siendo válidos cuando se consideran solo los reales computables? …

16 computability  computing-over-reals  topology  model-theory 

Necesito una lista de idiomas completos. Hay dos de estos problemas enumerados en el Complejo Zoo , a saber:Σpag2Σ2pag\Sigma_2^p Mínimo equivalente DNF. Dada una fórmula DNF F y un entero k, ¿hay una fórmula DNF equivalente a F con k o menos ocurrencias de literales? El implicante más corto. Dada …

16 complexity-classes  polynomial-hierarchy 

Recientemente tuve una discusión con un amigo (que defiende los idiomas fuertemente tipados). Hizo el comentario: Los inventores del cálculo Lambda siempre pretendieron que fuera mecanografiado. Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De hecho, parece que explicó el cálculo de Lambda …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Decimos que NFA MMM es constantemente ambiguo si existe k∈Nk∈Nk\in \mathbb{N} tal que cualquier palabra w∈Σ∗w∈Σ∗w\in \Sigma^* sea ​​aceptada por 000 o (exactamente) caminos.kkk Si el autómata es constantemente ambiguo para , entonces se llama FA inequívoca (UFA).k = 1 MMMMk=1k=1k=1MMM Deje que sea ​​un lenguaje regular.LLL ¿Puede un autómata …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Disculpas si esta es una pregunta demasiado amplia para este foro, pero estoy interesado en tácticas y consejos específicos que los investigadores (en TCS) usan para escribir la introducción de un trabajo de investigación.

16 soft-question  advice-request  research-practice  writing 

Estoy enseñando un curso sobre estructuras de datos y cubriré árboles de despliegue a principios de la próxima semana. He leído muchas veces el documento sobre árboles de separación y estoy familiarizado con el análisis y la intuición detrás de la estructura de datos. Sin embargo, parece que no puedo …

16 ds.data-structures  intuition  amortized-analysis 

¿Está NP en DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n}) ?

16 cc.complexity-theory  complexity-classes 

Estoy tratando de entender la complejidad de las funciones que se expresan a través de las puertas de umbral y esto me llevó a . En particular, estoy interesado en lo que se sabe actualmente sobre el aprendizaje dentro de T C 0 , ya que no soy un experto …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Me interesa si existen buenos artículos o encuestas expositivas a los que me pueda referir cuando escribo sobre operadores de clase de complejidad : operadores que transforman las clases de complejidad haciendo cosas como agregarles cuantificadores. Ejemplos de operadores. Lo siguiente se puede interpretar como una lista mínima mínima de …

16 reference-request  complexity-classes