Ciencias de la computación teórica

Barry Jay en su libro hace algunas afirmaciones audaces, básicamente al decir que, en el centro de un programa, todo es atómico o compuesto. Luego, las cosas se pueden iterar, filtrar y actualizar fácilmente, simplemente navegando por esta relación de composición. ¿Es esta una nueva frontera en Ciencias de la …

11 fl.formal-languages 

Dado cualquier gráfico G no dirigido simple, no es trivial determinar si G tiene automorfismos no triviales (no identitarios). Pero, ¿cuáles son los resultados en los límites superior / inferior de este problema de decisión?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Acabo de comenzar (independientemente) a aprender sobre computación cuántica en general del libro de Nielsen-Chuang. Quería preguntar si alguien podría tratar de encontrar tiempo para ayudarme con lo que está sucediendo con el postulado de medición de la mecánica cuántica. Quiero decir, no estoy tratando de cuestionar el postulado; es …

11 quantum-computing  quantum-information 

En un gráfico dirigido, , F ⊂ E , si G ∖ F es un DAG (gráfico acíclico dirigido), F se llama un conjunto de arco de retroalimentación. G = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Si cada borde está asociado con un peso , el problema del …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Estoy especialmente interesado en su uso en aplicaciones de verificación de modelos. Tengo redes de colas abiertas, cerradas y mixtas con diferentes clases de clientes por Baskett et al. ¿Alguna otra sugerencia para leer material? Gracias.

11 reference-request  markov-chains  queueing-theory  model-checking 

Cuando pienso en un software inseguro, creo que es "demasiado útil" y que un atacante puede abusar de él. Entonces, en cierto sentido, asegurar el software es el proceso de hacer que el software sea menos útil. En informática teórica no estás trabajando con el mundo real. Entonces, ¿hay problemas …

11 cr.crypto-security  big-picture 

Aquí hay dos variaciones en la definición de NP. Definen (casi con certeza) clases de complejidad distintas, pero mi pregunta es: ¿hay ejemplos naturales de problemas que encajen en estas clases? (Mi umbral para lo que cuenta como natural aquí es un poco más bajo de lo habitual). Clase 1 …

11 cc.complexity-theory  complexity-classes  np 

En el artículo de Stephen Cook sobre el problema P vs NP, [1] afirma lo siguiente [2]: Tesis de viabilidad: un problema natural tiene un algoritmo factible si tiene un algoritmo de tiempo polinómico. Mi pregunta es, ¿qué quiere decir exactamente él (o, en general, qué quiere decir uno) con …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

En la teoría de la complejidad, la definición de complejidad de tiempo y espacio hace referencia a una máquina universal de Turing: resp. la cantidad de pasos antes de detenerse y la cantidad de celdas en la cinta tocada. Dada la tesis de Church-Turing, también debería ser posible definir la …

11 time-complexity  lambda-calculus 

Se dice que dos grupos (G,⋅)(G,⋅)(G,\cdot) y (H,×)(H,×)(H, \times) son isomórficos si existe un homomorfismo de GGG a HHH que es biyectivo. El problema del isomorfismo grupal es el siguiente: dados dos grupos, verifique si son isomorfos o no. Hay diferentes formas de ingresar un grupo, las dos más utilizadas …

11 ds.algorithms  gr.group-theory 

Deje que sea ​​un oráculo genérico en el sentido de la categoría de Cohen / Baire. Deje ser un oráculo al azar.RGGGRRR ¿Hay clases de complejidad A y B con o el al revés, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} La pregunta fue inspirada por un comentario de Scott …

11 cc.complexity-theory  complexity-classes 

Es bien sabido que para una clase de concepto con VC dimensión , es suficiente obtener ejemplos etiquetados para PAC learn . ¿No me queda claro si el algoritmo de aprendizaje PAC (que utiliza estas muestras) es correcto o incorrecto? En los libros de texto de Kearns y Vazirani, así …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

He estado programando durante varios años, pero no estoy muy familiarizado con el CS teórico. Recientemente he estado tratando de estudiar lenguajes de programación y, como parte de eso, la verificación de tipos y la inferencia. Mi pregunta es, si trato de escribir una inferencia de tipos y un programa …

11 coq  type-inference  proof-assistants 

Me interesan las propiedades combinatorias de las redes sociales como gráficos. La gente ha visto cosas como la distribución de los grados, el coeficiente de agrupamiento y la compresibilidad de estos gráficos. Una pregunta básica es: ¿son estos gráficos típicamente buenos gráficos de expansión? ¿Alguien ha verificado, por ejemplo, la …

11 graph-theory  application-of-theory  expanders 

¿Es la teoría de tipo Martin-Löf básicamente el cálculo predicativo de construcciones inductivas sin impredicative ?PropProp\mathtt{Prop} Si están estrechamente relacionados pero con más diferencias que solo , ¿cuáles son esas diferencias?PropProp\mathtt{Prop}

11 type-theory  calculus-of-constructions