Ciencias de la computación teórica

Sé que para un gráfico bipartito no ponderado, puedo encontrar la cobertura de vértice mínima al encontrar primero la coincidencia máxima y convertirla en una cubierta de vértice usando el Teorema de König. ¿Hay alguna modificación que se pueda usar si los nodos están ponderados?

10 ds.algorithms  graph-theory 

¿ implica E = N E ?E XP = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

JBV sugirió que convirtiera algunos comentarios en una pregunta, así que aquí va. Otra pregunta [1] es sobre las aplicaciones de la computación QM. Una respuesta [2] fue "simular eficientemente la mecánica cuántica". Aparentemente, esta idea se remonta a los primeros escritos de Feynman sobre el tema; aunque no tengo …

10 reference-request  quantum-computing  application-of-theory 

Estoy tratando de usar árboles de sufijos para comparar secuencias de cadenas. He encontrado implementaciones / teoría para el problema de subcadena común más largo usando árboles de sufijos. Sin embargo, lo que estoy buscando es una discusión del problema relacionado: "todas las subcadenas comunes". Específicamente, tengo un problema en …

10 ds.algorithms  string-matching 

En el documento Sobre dos problemas de la teoría de la información , Erdõs y Rényi dan límites inferiores sobre el número mínimo de pesadas que uno debe hacer para determinar el número de monedas falsas en un conjunto de monedas.nortenorten Más formalmente: Las monedas falsas tienen un peso menor …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Sea un conjunto de Bases Mutuamente Imparciales (MUB) en C n , es decir, cada B i es una base ortonormal y para v ∈ B i , w ∈ B j , i ≠ j nosotros tener | ⟨ V | w ⟩ | = 1B={B1,…,Bk}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, …

10 reference-request  quantum-information 

Para un grafo no dirigido y un conjunto dado S de vértices, lo que es el algoritmo asintóticamente más rápida conocida para encontrar un camino simple que contiene todos los elementos de S . ¿Qué pasa si requerimos que el camino sea lo más corto posible?solGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

¿Cuál es el mejor límite actual para realizar consultas de conteo de rango de medio espacio en un conjunto de puntos dimensionales, expresados ​​en forma de una compensación tiempo / espacio. De acuerdo con el artículo seminal de 1993 de Matousek (Teorema 6.2, Búsqueda de rangos con cortes jerárquicos eficientes), …

10 reference-request  ds.data-structures  cg.comp-geom 

Soy nuevo en este sitio y esta pregunta ciertamente no tiene un nivel de investigación, pero bueno. Tengo un poco de experiencia en ingeniería de software y casi ninguno en CSTheory, pero me parece atractivo. Para resumir, quisiera una respuesta más detallada a lo siguiente si esta pregunta es aceptable …

10 pl.programming-languages  recursion  recursive 

Si existen OWF, entonces es posible un compromiso de bits estadísticamente vinculante. [1] ¿Se sabe que si existen OWFs, entonces es posible un compromiso de bits perfectamente vinculante? Si no, ¿existe una separación de caja negra conocida entre ellos? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem y http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security  one-way-function 

Se proporciona el conjunto . Para cada elemento , tenemos peso y costo . El objetivo es encontrar el subconjunto de tamaño que maximice la siguiente función objetivo: .e i w i > 0 c i > 0 M k ∑ e i ∈ M w i + ∑ e …

10 np-hardness  optimization 

Supongamos que consideramos 3-SAT con vvv variables y cláusulas . Estoy investigando un método que parece tomar tiempo / espacio para resolver cualquier problema SAT que se ajuste a esta descripción, dentro de un error que se puede ajustar a una cantidad arbitraria. Sin embargo, hay una trampa.O ( v …

10 ds.algorithms  sat  upper-bounds 

Considere un gráfico cúbico aleatorio conectado de n = | V | vértices, extraídos de G ( n , 3 -reg ) (como se define aquí , es decir, 3 n es par y cualesquiera dos gráficos tienen la misma probabilidad).G=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Por supuesto que hay posibles Búsquedas de …

10 graph-theory  co.combinatorics 

La matriz de Moore es similar a la matriz de Vandermonde pero tiene una definición ligeramente modificada. http://en.wikipedia.org/wiki/Moore_matrix ¿Cuál es la complejidad de calcular el determinante de un rango completo de la matriz de Moore módulo algún entero?n×nn×nn \times n ¿Se puede reducir el determinante de Moore de usando técnicas …

10 cc.complexity-theory  algebraic-complexity 

Algunos de nosotros hemos estado leyendo el artículo de Michael Nielsen sobre un enfoque geométrico para usar límites cuánticos inferiores (en resumen, la construcción de una métrica de Finsler en modo que la distancia geodésica de I a un elemento U sea ​​un límite inferior en el número de puertas …

10 quantum-computing