Ciencias de la computación teórica

Estoy buscando el documento original donde Hoare (o alguien más, supongo) discute la terminación (corrección total). O cualquier otro trabajo inicial sobre la terminación de la lógica "vainilla" de Hoare (supongo que con eso me refiero a un HL para un lenguaje de juguete tipo C). He echado un vistazo …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic 

Estaba leyendo sobre el problema de la altura de las estrellas y noté que la familia de expresiones regulares de Eggan sigue un patrón simple que puede describirse mediante una expresión regular. Mi pregunta es: ¿hay resultados interesantes sobre expresiones regulares que describan familias de expresiones regulares? ¿Puede este proceso …

8 fl.formal-languages  regular-language  regular-expressions 

Me gustaría un método eficiente para calcular la cantidad mínima de transposiciones necesarias para ordenar una lista. No necesito saber cuáles son las transposiciones en realidad. Por ejemplo, la lista [1, 1, 2, 0] requiere 2 transposiciones: [1, 1, 2, 0] // Start [1, 1, 0, 2] // Swap index …

8 ds.algorithms  sorting  permutations  edit-distance 

Las funciones lineales en una variable tienen dimensión VC = 3 y recuerdo haber leído en alguna parte que el VC para polinomios de grado es .dred(d2+3d+2)/2(re2+3re+2)/ /2(d^2 + 3d + 2)/2 Estoy buscando ideas que puedan probar la afirmación anterior (y tal vez generalizar a muchas variables también, aunque …

8 cg.comp-geom  vc-dimension 

En mi trabajo surgió el problema de la clasificación CFL bajo imágenes de funciones racionales. En otros términos, ¿qué clase de lenguajes forman idiomas , para el contexto fijo lenguaje libre y el transductor de estados finitos determinista . He obtenido algunos resultados fáciles, como el lenguaje Dyck con dos …

8 fl.formal-languages  context-free-languages 

¿Es posible encontrar una reducción de conteo de #SAT a #HornSAT? No he encontrado esta pregunta publicada aquí, así que decidí verificar si alguien tiene alguna respuesta. Permítanme explicar a qué me refiero con contar la reducción. Suponga que son dos problemas de conteo. Por ejemplo, #SAT pregunta cuántas asignaciones …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

¿Alguien sabe de algún trabajo que vincule la informática teórica y la energía barata / sostenible? es decir, ¿hay algún trabajo en TCS con la aplicación en energía barata / sostenible?

8 application-of-theory 

¿Se sabe algo sobre lenguajes reconocidos por un autómata determinista bidireccional de múltiples cabezas o un logspace TM con contador (modelo equivalente)? Esta clase se llama Aux2DC en el documento de mi asesor . ¿O sobre tal clase no determinista? He obtenido que la clase de idiomas reconocidos por tales …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

¿Cuál es el conjunto más grande que admite un algoritmo de búsqueda cuántica determinista, para un solo elemento marcado, que opera con una sola llamada al oráculo? La pregunta es interesante ya que el algoritmo de Grover, que para la búsqueda no estructurada en un conjunto de elementos requiere O …

8 quantum-computing  quantum-information 

Me gustaría saber la importancia de TCS en la investigación de malware. Debido al gran volumen de nuevas variantes de malware recibidas por día (~ 50,000 muestras / día según McAfee), los investigadores de malware dependen en gran medida del análisis dinámico (es decir, ejecutar las muestras en un sandbox …

8 cr.crypto-security  security 

Estoy buscando fuentes sobre la noción formal de programas. Esto parece estar estrechamente relacionado con la correspondencia de Curry-Howard, pero también podría rastrearse hasta Universal Turing Machines y su capacidad para leer la descripción y la entrada de cualquier TM. Al leer sobre la correspondencia de Curry-Howard, siento que la …

8 pl.programming-languages  universal-computation  type-systems  program-verification  formal-methods 

Soy nuevo en el estudio de sistemas de reescritura como estudiante de doctorado de primer año. Me gustaría proponer un curso de temas especiales sobre la teoría de la reescritura, y quiero asegurarme de no dejar de lado ninguna de las fuentes originales. Tengo una copia de Barendregt y Terese …

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems 

¿El siguiente problema es NP-hard? Dado un conjunto de números reales (objetivos) x 1 , ... , x N y un "tridente" definido por dos distancias a , b desde el centro del tridente, ¿cuál es el número mínimo K de posiciones p 1 , ... , p K del …

8 cc.complexity-theory  np-hardness  set-cover 

Supongamos que queremos encontrar el elemento más pequeño de un conjunto , cuyos elementos están indexados de a . No tenemos acceso a los valores de estos elementos, pero podemos comparar cualquiera de los dos elementos de para ver cuál es más pequeño. Para cualquier índices y , hay un …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

Considere un politopo racional que se define por medio de un oráculo de separación. Es decir, puede describirse implícitamente como , pero dado que es muy grande, utilizamos un oráculo, que da un punto , o bien dice o devuelve una media-espacio tal que .P P = { x ∈ …

8 ds.algorithms  convex-optimization  convex-geometry  high-dimensional-geometry