Ciencias de la computación teórica

Hace poco recibí mis documentos rechazados de revistas (es decir, TALG) por el simple hecho de no tener una diferencia significativa entre la versión de la revista y los procedimientos (es decir, SODA). Las principales razones para que me envíe a una revista es su minucioso proceso de revisión. Aparte …

23 soft-question  research-practice  conferences  journals 

Inspirado por las extensas jerarquías presentes en la teoría de la complejidad, me preguntaba si tales jerarquías también estaban presentes para los sistemas de tipos. Sin embargo, los dos ejemplos que he encontrado hasta ahora son más parecidos a listas de verificación (con características ortogonales) que a jerarquías (con sistemas …

23 pl.programming-languages  type-theory 

Considere un cuerpo convexo KKK centrado en el origen y simétrico (es decir, si x∈Kx∈Kx\in K entonces −x∈K−x∈K-x\in K ). Deseo encontrar un cuerpo convexo diferente LLL tal manera que K⊆LK⊆LK\subseteq L y la siguiente medida se minimice: f(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}), dondexxxes un punto elegido uniformemente al azar de L. …

23 cg.comp-geom  approximation  convex-geometry 

En la computación cuántica, a menudo nos interesan los casos en que el grupo de operadores unitarios especiales, G, para algún sistema d-dimensional proporciona al grupo entero SU (d) exactamente o incluso solo una aproximación proporcionada por una cubierta densa de SU (d). Un grupo de orden finito, como el …

23 quantum-computing 

¿Alguien puede sugerir una encuesta buena y reciente sobre problemas de conteo y / o problemas que son #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas sean respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión extendida. Si cree que esta pregunta se puede mejorar y posiblemente volver a …

23 soft-question  big-list  paper-review 

Esta pregunta se migró de Cross Validated porque se puede responder en el intercambio teórico de pila de informática. Migrado hace 8 años . Tengo un problema bastante único que resolver y espero que alguien aquí pueda darme una idea de cómo abordarlo mejor. Problema: suponga que una lista de …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Las computadoras cuánticas son muy buenas para distribuciones de muestreo que no sabemos cómo muestrear usando computadoras clásicas. Por ejemplo, si f es una función booleana (de a - 1 , 1 ) que se puede calcular en tiempo polinómico, entonces con computadoras cuánticas podemos muestrear eficientemente de acuerdo con …

23 quantum-computing  cg.comp-geom  optimization 

Prácticamente, para un lenguaje que eventualmente puede compilarse / transformarse en instrucciones de nivel de sistema, ¿es necesario que sea una gramática libre de contexto? Ej: ¿Todos los lenguajes de programación / scripting son gramáticas libres de contexto? Java se basa en CFG, pero ¿es realmente el caso de que …

23 pl.programming-languages  context-free 

Probablemente, la aplicación más común de los tipos lineales en PL es usarlos para dar lenguajes que controlen el alias (es decir, un valor lineal tiene un solo puntero, más o menos). Pero hay un ligero desajuste entre este uso y los modelos denotacionales típicos de lógica lineal. IIRC, Benton …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

¿Dónde puedo encontrar gráficos relevantes para problemas de la vida real? Dos repositorios que conozco son: Colección de matriz dispersa de la Universidad de Florida TreewidthLib de Bodlaender

23 graph-theory  big-list  co.combinatorics  data-sets 

En la encuesta "Circuitos cuánticos de pequeña profundidad" de D. Bera, F. Green y S. Homer (p. 36 de ACM SIGACT News, junio de 2007 vol. 38, no. 2) , leí la siguiente oración: La versión clásica de (en la que las compuertas A N D y O R tienen …

23 cc.complexity-theory  circuit-complexity 

¿Qué se sabe sobre la complejidad de encontrar circuitos mínimos que computan SAT hasta una longitud nnn ? Más formalmente: ¿cuál es la complejidad de una función que, dado como entrada, genera un circuito mínimo tal que para cualquier fórmula φ con , ?1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq nC(φ)=SAT(φ)C(φ)=SAT(φ)C(\varphi) = SAT(\varphi) (Estoy específicamente …

23 cc.complexity-theory  sat 

El ancho del árbol mide qué tan cerca está un gráfico de un árbol. Es NP-difícil calcular el ancho del árbol. El algoritmo de aproximación más conocido logra factor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) El teorema de Courcelle establece que cualquier propiedad de gráficos definibles en lógica monádica de segundo orden (MSO2) se puede decidir …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

( Publiqué esta pregunta en MathOverflow hace dos semanas, pero hasta ahora sin una respuesta rigurosa) Tengo una pregunta sobre las medidas de ancho de gráficos de gráficos simples no dirigidos. Es bien sabido que los cográficos (gráficos que pueden construirse mediante las operaciones de unión y complementación disjuntas, comenzando …

23 graph-theory  co.combinatorics  cliquewidth