Ciencias de la computación teórica

Deseo saber la dimensión VC de un espacio de rango construido de la siguiente manera:(X,R)(X,R)(X,\mathcal{R}) XXX es el cilindro {(x,y,z)∈R3|x2+y2≤1}{(x,y,z)∈R3|x2+y2≤1}\{(x,y,z)\in\mathbb{R}^3|x^2+y^2\leq 1\} Los rangos en RR\mathcal{R} se forman tomando la unión de discos circulares de manera que: el plano que contiene el disco es ortogonal al eje z ("apilamos" los discos …

8 cg.comp-geom  vc-dimension 

Dada una lista de salto de altura nnn , ¿cuál es su longitud esperada, dentro de un factor constante (multiplicativo)? En la sección 2.2 de Cache-Ajeno B-Trees , Fuertemente Peso equilibrado de la búsqueda árboles se definen como: Para alguna constante ddd , cada nodo vvv a la altura hhh …

8 ds.data-structures  randomized-algorithms  skip-lists 

Se necesita una referencia a las técnicas para demostrar que el tamaño de una brecha de integralidad está limitado por alguna expresión para un LP particular (o SDP, pero menos importante). También sería bueno tener una referencia a un lugar donde se describan técnicas para minimizar las brechas de integralidad. …

8 ds.algorithms  reference-request  linear-programming  semidefinite-programming  integrality-gap 

Tratar de encontrar la solución óptima para WEIGHTED-MAX-3SAT, la versión ponderada del problema de optimización 3-SAT, es NP-hard. De hecho, incluso aproximar la versión no ponderada de MAX-SAT arbitrariamente es probablemente NP-duro por el teorema de PCP. Un algoritmo canónico para aproximar WEIGHTED-MAX-3SAT es MAX-WalkSAT. Al mirar alrededor, encontré información …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness 

Las frases: El rápido zorro marrón salta sobre el perro perezoso [A] y El zorro marrón de Uick salta sobre el perro perezoso [B] se puede comparar usando el algoritmo de distancia de Levenshtein para determinar la similitud calculando el número mínimo de adiciones, eliminaciones o reemplazos de un solo …

8 string-matching  edit-distance 

Supongamos que tenemos un multigraph (más tarde, un multihipegraph). Una camarilla de borde es un conjunto de bordes que se cruzan por pares (tienen al menos un vértice común). Entonces, cualquier camarilla de borde en un multigrafo siempre cae en una de dos categorías:CCC Una estrella : hay un vértice …

8 ds.algorithms  graph-theory  hypergraphs  graph-algorithms  clique 

Dado un torneo donde y haber dos acíclico sub-torneo de .S 1 S 2 TTTTS1S1S_1S2S2S_2TTT ¿Es NP-Complete el siguiente problema: Encontrar un sub-torneo acíclico máximo , que es un subconjunto de ?S 1 ∪ S 2SSSS1∪ S2S1∪S2S_1 \cup S_2 ¿Se puede resolver el problema dado en tiempo polinómico? De lo …

8 ds.algorithms  np-hardness  graph-algorithms 

Un Quine es un programa de computadora que produce una copia de su propio código fuente como su única salida. ¿Hay algún programa de Quine que pueda imprimirse n veces, con n especificado de alguna manera en el programa?

8 computability  recreational 

Me gustaría verificar el estado del límite inferior del espacio para resolver el problema de conectividad en la transmisión en pases. El se indicó en la literatura, pero parece ser por un problema ligeramente diferente. ¿Me he perdido algo? Detalles abajo. Ω ( n / p )pagsppΩ ( n / …

8 lower-bounds  data-streams 

(Estoy en el medio de mi primer curso cs teórico, así que me disculpo de antemano por lo que probablemente sea una pregunta estúpida). Entonces, decimos que algún lenguaje L está en P, lo que significa que se puede construir una máquina de Turing que genera un 1 si x …

8 cc.complexity-theory 

En el artículo Relativizaciones de la P =? Pregunta NP , Baker et al. demostró que existen mundos relativizados en los que se mantiene P = NP o P ≠ NP. Todos los oráculos en su configuración eran conjuntos recursivos. En otro artículo relativo a un Oráculo aleatorio , P …

8 cc.complexity-theory  computability  oracles  relativization 

¿Se sabe si SPACE (n) (la clase de lenguajes reconocidos por TM deterministas con espacio lineal) es un subconjunto apropiado de E (la clase de lenguajes reconocidos por TM deterministas en el tiempo 2 ^ O (n))?

8 cc.complexity-theory  complexity-classes 

Hace unos años, tomé una clase sobre teoría de la complejidad de Steven Rudich, y recuerdo que él dio una conferencia interesante que conecta las pruebas estadísticas (¡como se encuentra en los departamentos de estadística!) Con la complejidad del circuito. Lo recuerdo afirmando algo vagamente parecido: se podían usar circuitos …

8 circuit-complexity  st.statistics 

Esta pregunta surge de una respuesta que Joe Fitzsimons dio a una pregunta diferente . La mayoría de las clases de complejidad natural tienen una "descripción intuitiva" de una línea que ayuda a caracterizar los problemas centrales de esa clase. NP es "verificación eficiente", #P se trata de "enumerar soluciones", …

8 cc.complexity-theory  quantum-computing  big-picture  qma 

He estado leyendo un artículo de un químico matemático. Propone algunos índices para medir la complejidad de las moléculas. De aquí en adelante, en lugar de moléculas, piense en gráficos conectados no dirigidos: un vértice es un átomo y un borde es un enlace entre los átomos. Es posible considerar …

8 cc.complexity-theory  ds.algorithms  graph-algorithms  clique