Preguntas etiquetadas con reference-request

Estoy buscando una referencia (no una prueba que pueda hacer) a la siguiente extensión de Chernoff. Dejar que serán variables aleatorias booleanas, no necesariamente independientes . En cambio, se garantiza que P r ( X i = 1 | C ) < p para cada i y cada evento C …

13 reference-request  pr.probability  chernoff-bound 

Suponga que uno tiene un algoritmo aleatorio (BPP) usa bits de aleatoriedad. Las formas naturales de amplificar su probabilidad de éxito a , para cualquier elegido , sonAAArrr1−δ1−δ1-\deltaδ>0δ>0\delta>0 Ejecuciones independientes + voto mayoritario: ejecute independientemente veces, y obtenga el voto mayoritario de los resultados. Esto requiere bits de aleatoriedad, y …

12 reference-request  randomness  pseudorandomness  expanders 

Hay investigadores que muestran que el bit de borrado tiene que consumir energía, ¿hay alguna investigación sobre el consumo promedio de energía del algoritmo con complejidad computacional ? Supongo que la complejidad computacional está correlacionada con el consumo promedio de energía, espero poder obtener alguna respuesta aquí.F(n)F(n)F(n)F(n)F(n)F(n)

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

¿Quién fue la primera persona en mostrar que un idioma está en NP si se puede verificar un certificado para el idioma en tiempo polinómico? ¿Tenemos un documento que lo demuestre formalmente? ¿Cuándo comenzó la comunidad TCS a desestimar el no determinismo en favor de la verificabilidad? No puedo, por …

12 reference-request 

Digamos que un gráfico tiene la propiedad M si sus vértices se pueden ordenar v 1 , v 2 , ... v n de tal manera que el gráfico H i inducido por los vértices { v 1 , ... , v i } tiene d i s t H …

12 reference-request  graph-theory 

Estoy buscando una encuesta sobre los conceptos importantes en el campo de los autómatas cuánticos. He encontrado la teoría de los autómatas cuánticos: una revisión de Hirvensalo, pero parece demasiado sucinto para comprender el tema. ¿Existe una encuesta bastante completa sobre el tema de Autómatas Cuánticos? Además, ¿podría señalarme la …

12 reference-request  quantum-computing  automata-theory 

Dada compuesto N∈NN∈NN\in\Bbb N tamiz campo de número general es mejor algoritmo de factorización conocida para la factorización de enteros de NNN . Es un algoritmo aleatorio y obtenemos una complejidad esperada de O(e649√(logN)13(loglogN)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)con el factorNNN. Busqué información sobre la complejidad del peor de los casos …

12 reference-request  derandomization  factoring  average-case-complexity  worst-case 

Soy un estudiante de matemáticas interesado en TCS. Quiero estudiar por su cuenta los algoritmos y su complejidad para resolver los problemas teóricos grupales, como encontrar el orden de los elementos, enumeración de coset, encontrar generador, probar si un subconjunto determinado genera el grupo. ¿Qué libro debo leer?

12 ds.algorithms  reference-request  gr.group-theory  books 

en 1979 Hopcroft / Ullman escribió que L ⊆ P ⊆ NP ⊆ PSpace es conocido, pero L ⊊ PSpace es la única contención adecuada (y trivial) conocida, aunque se conjetura que todas son contenciones adecuadas, y "donde las cosas siguen en pie" ~ 4 décadas después . desde entonces, …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Estoy leyendo encuestas de Trevisan y Lovett sobre aplicaciones de aditivo combinatorio en TCS. La mayoría de estas aplicaciones caen bajo la complejidad computacional , por ejemplo, límites inferiores. Me pregunto si la combinatoria aditiva también ha encontrado aplicaciones en el diseño de algoritmos . La motivación para mi pregunta …

12 ds.algorithms  reference-request  co.combinatorics 

Estoy bastante seguro de que no soy el primero en considerar la idea que voy a presentar. Sin embargo, sería útil si puedo encontrar alguna literatura relacionada con la idea. La idea es construir una máquina de Turing M con la propiedad de que si P = NP, entonces M …

12 reference-request  turing-machines  p-vs-np 

¡Entonces todos conocemos el límite inferior del árbol de comparación de en el peor de los casos de comparaciones realizadas por un algoritmo de clasificación de comparación (determinista). No se aplica a la clasificación de comparación aleatoria (si medimos las comparaciones esperadas para el peor de los casos). Por ejemplo, …

12 ds.algorithms  reference-request  sorting 

Mientras respondía esta pregunta en teoría , demostré (informalmente) sobre la marcha el siguiente teorema: Teorema : para cualquier fija, la sonda del ciclo hamiltoniano permanece completa NP incluso si está restringida a gráficos bipartitos planos no direccionados de grado máximo 3 que no contienen ciclos de longitud ≤ l …

12 reference-request  np-hardness 

Por lo tanto, una búsqueda rápida en la web me llevó a creer que "APXHardness implica que no existe QPTAS para un problema a menos que [alguna clase de complejidad] esté incluida en alguna [otra clase de complejidad]" y ¡también es bien conocido! Parece que todo el mundo lo sabe, …

12 cc.complexity-theory  reference-request 

Los idiomas Dyck se definen mediante la siguiente gramática S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sobre el conjunto de símbolos { ( 1 , ... , ( k , ) 1 , ... , ) k } . Intuitivamente, los idiomas Dyck son los idiomas de paréntesis equilibrados de k tipos diferentes. …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free