Ciencias de la computación teórica

Estoy tratando de aclarar mi comprensión en el ejemplo presentado en la Sección 2.2 de Autómatas cuánticos finitos de 1 vía: fortalezas, debilidades y generalizaciones (este enlace alternativo también puede ser útil). Este ejemplo proporciona un ejemplo muy simplificado de un 1-QFA con las siguientes reglas de transición: ,Va|q0⟩=12|q0⟩+12|q1⟩+12√|qrej⟩Va|q0⟩=12|q0⟩+12|q1⟩+12|qrej⟩V_a|q_0\rangle = …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Estoy buscando ML para generar código más eficiente (es decir, heurística de tiempo de compilación y tiempo de ejecución). Tengo un phd (compiladores, hpc), pero muy poca experiencia en ML. Agradecería cualquier referencia al trabajo existente. Más importante aún, ¿qué técnicas de aprendizaje automático debería explorar? cada muestra de datos …

8 reference-request  optimization  machine-learning  compilers 

¿Qué algoritmos / técnicas matemáticas están disponibles para contar exactamente / aproximadamente el número de conjuntos independientes? ¿Hay / hay una buena referencia / buenas referencias sobre este tema? Estoy interesado en gráficos regulares.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

esta es una reescritura de otra pregunta reciente mía [1] que no se dijo bien (tenía una simplificación semi obvia, mea culpa) pero creo que todavía hay una pregunta no trivial en el fondo. He visto problemas similares en la literatura pero no este en particular. lo escribirá en términos …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

Si bien es muy común ver a músicos, pintores, autores y arquitectos autodidactas exitosos, no estoy familiarizado con ningún autodidacta famoso en el campo de TCS. ¿Hay algún ejemplo de un experto en informática teórica autodidacta (es decir, alguien que publicó un artículo importante, sin ir a la escuela de …

8 soft-question 

Un estudiante me pidió lo siguiente y no pude encontrar una respuesta completa: ¿Existen propiedades de cierre para la clase de idiomas que no están libres de contexto? Es bastante fácil encontrar ejemplos que muestren que no está cerrado bajo intersección e iteración (operador estrella de Kleene), pero ¿qué hay …

8 fl.formal-languages  context-free-languages 

La idea de un MST de diámetro restringido es que mantenga todos los vértices conectados y dentro de una cierta distancia el uno del otro. Pero todos los papeles que he visto mantienen el requisito de que produzcas un árbol, cuando permitir ciclos podría ayudar a reducir el diámetro. ¿Alguien …

8 cc.complexity-theory  reference-request  graph-theory 

El lema de corte (también conocido como lema de descomposición celular) establece que dadas líneas en el plano, es posible dividirlo en regiones O ( r 2 ) (incluso triángulos) para cualquier 1 ≤ r ≤ n de manera que el interior de cualquier región esté intersectado por líneas O …

8 co.combinatorics  cg.comp-geom 

Supongamos que hay partes p j , cada una con un bit b j ∈ { 0 , 1 } . Quiero calcular la multiplicación del número de unidades por ceros, es decir, R = ( ∑ b j ) × ( N - ∑ b j ) .N>2N>2N>2pjpjp_jbj∈{0,1}bj∈{0,1}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R=(∑bj)×(N−∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) El …

8 cr.crypto-security  security 

Es bien sabido que las gráficas planas de una familia cerrada con menores prohibidos , gráficas con ancho de árbol acotado también son gráficas familiares cerradas sin H k como menor.K3 , 3, K5 5K3,3,K5K_{3,3}, K_{5}HkHkH_{k} Supongo que los gráficos con corte máximo acotado forman gráficos familiares cerrados. Dado el …

8 graph-algorithms 

Muchos resultados en criptografía dependen de resultados / conjeturas imposibles en la teoría de la complejidad. Por ejemplo, se cree que la criptografía de clave pública que usa RSA es posible debido a la conjetura sobre la inviabilidad de la factorización (y los problemas de búsqueda de raíz modular). Mi …

8 cc.complexity-theory  cr.crypto-security  computability 

Estoy tratando de desarrollar algunas nociones de un cálculo de diferencia entre una máquina ideal de Turing ideal concebida por un desarrollador (por ejemplo, lo que sea que pretenda un desarrollador de software), llámelo y las máquinas que representan el software que realmente se diseñó y implementado, digamos M α …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification 

Alice quiere enviar un mensaje a un gran número de personas que viven bajo un gobierno feliz de censura, dirigido por Eve. La forma tradicional de hacerlo es samizdat, pero ese proceso requiere que cada persona que pasa un mensaje tome un cierto riesgo. Sería bueno que hubiera alguna forma …

8 cr.crypto-security 

Editar: Creo que el espíritu de la pregunta era bueno, pero debe mejorarse. Las suposiciones hechas para el lanzamiento de la moneda hicieron esa pregunta trivial, y la tirada del dado todavía no está suficientemente definida. ¿Cuáles son las suposiciones razonables que podemos hacer sobre una tirada de dados que …

8 ds.algorithms  cg.comp-geom 

Estamos trabajando en un documento que presenta algunos algoritmos para encontrar triángulos y motivos de red (subgráficos de tamaño constante, también conocidos como grafitos) en un entorno distribuido. Caracterizamos la compensación entre el número de triángulos en el gráfico y la carga de comunicación necesaria. Estoy buscando referencias al trabajo …

8 reference-request  graph-theory  graph-algorithms