Ciencias de la computación teórica

Como he estado enseñando la base del cálculo λ últimamente, he implementado un simple evaluador de cálculo λ en Common Lisp. Cuando pregunto la forma Y fac 3normal de reducción de orden normal, se requieren 619 pasos, lo que me pareció un poco demasiado. Por supuesto, cada vez que hice …

9 lo.logic  lambda-calculus 

En la complejidad del árbol de decisión de una función booleana, un método de límite inferior muy conocido es encontrar un polinomio (aproximado) que represente la función. Paturi dio una caracterización para funciones booleanas simétricas (parciales y totales) en términos de una cantidad denotada :ΓΓ\Gamma Teorema ( Paturi ): Sea …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

El teorema de Fáry dice que se puede dibujar un gráfico plano simple sin cruces para que cada borde sea un segmento de línea recta. Mi pregunta es si existe un teorema análogo para las gráficas del número de cruce acotado . Específicamente, ¿podemos decir que se puede dibujar un …

9 graph-theory  co.combinatorics  planar-graphs 

¿Existen permutaciones y gramática libre de contexto de tamaño polinómico (en ) que describe el lenguaje finito sobre el alfabeto ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} ACTUALIZACIÓN: Para una permutación es posible. es la inversión o modificación relativamente menor de la inversión.ππ\piππ\pi

9 fl.formal-languages  grammars  context-free 

Defina que el modelo computacional MPostBQP sea idéntico a PostBQP, excepto que permitimos polinómicamente muchas mediciones de qubit antes de la selección posterior y la medición final. ¿Podemos dar alguna evidencia que indique que MPostBQP es más poderoso que PostBQP? Defina MPostBQP [k] para permitir múltiples rondas de medición y …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Esta es una publicación separada de Consecuencias de UP es igual a NP , y también una pregunta de seguimiento a las clases de complejidad semántica vs. sintáctica . En la publicación anterior aprendimos sobre las clases semánticas y sintácticas . En pocas palabras, cuando una clase puede caracterizarse como …

9 cc.complexity-theory  complexity-classes  big-picture 

recientemente, Craig Gentry publicó el primer esquema de cifrado de clave pública (sobre espacio de texto plano {0,1}) que es completamente homomórfico, lo que significa que uno puede evaluar de manera eficiente y compacta AND y XOR en textos cifrados sin conocer la clave de descifrado secreta. Me pregunto si …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Ejemplos bien conocidos de computación inspirada en fenómenos naturales son las computadoras cuánticas y las computadoras de ADN. ¿Qué se sabe sobre el potencial y / o las limitaciones de la informática con las leyes o la gravedad de Maxwell? Es decir, ¿incorporar las soluciones "rápidas" de la naturaleza a …

9 computability  machine-models  physics  natural-computing 

Me refiero a la pregunta aquí: algoritmos poderosos demasiado complejos para implementar . Si un algoritmo es poderoso, pero demasiado complejo para implementar, ¿cómo puede estar seguro de que el algoritmo es correcto? Sin la implementación, no podrá probar el algoritmo en un escenario del mundo real, y un algoritmo …

9 ds.algorithms  implementation 

Me gustaría saber a dónde puedo recurrir para una buena y amable introducción a k-SAT (esto puede ser para matemáticos que pueden no tener una buena formación en informática). También me gustaría conocer documentos que tal vez examinen o expliquen los métodos actuales utilizados para resolver k-SAT. Finalmente, estoy interesado …

9 reference-request  sat  survey 

En mi experiencia, los lenguajes sensibles al contexto y los autómatas lineales limitados son frecuentemente omitidos o ignorados en los cursos de teoría de la computabilidad, e incluso quedan fuera de algunos libros de texto notables, aunque los autómatas finitos y pushdown reciben mucha atención. ¿Seguramente debe haber una buena …

9 computability  fl.formal-languages  automata-theory 

Tuve dificultades para encontrar algoritmos o artículos publicados sobre triangulación de polígonos auto intersectantes (también polígonos con estructura de agujeros). ¿Alguien puede guiarme para encontrar papel / algoritmo publicado, por favor? PD: alguien etiquete esta pregunta apropiadamente, por favor, no tengo suficientes puntos de reputación para hacerlo.

9 ds.algorithms  reference-request  cg.comp-geom 

Para un proyecto en el que estoy trabajando, debería generar árboles de expansión aleatorios con altura acotada. Básicamente hago lo siguiente: 1) Generar un árbol de expansión 2) Verificar la viabilidad, si es posible, mantenerlo. 1) Comenzando desde un árbol de expansión mínimo (Prim o Kruskal) agrego un borde no …

9 ds.algorithms  graph-algorithms  random-walks 

Sea un conjunto de formas rectangulares -dimensionales. Para y , describe la longitud de en la dimensión . La misma notación se utiliza para el contenedor C . El problema del empaque ortogonal dimensional D (OPP- D ) es decidir si V encaja en el contenedor C sin solaparse. Formalmente, …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Como seguimiento de mi pregunta anterior , que fue resuelta por Hsien-Chih Chang, aquí hay otro intento de encontrar una generalización apropiada del teorema de Ramsey. (No es necesario que lea la pregunta anterior; esta publicación es independiente). Parámetros: se dan enteros , y luego se elige para que sea …

9 reference-request  co.combinatorics  ramsey-theory