Preguntas etiquetadas con application-of-theory

Sea un vector de variables booleanas. Sea dos circuitos booleanos en . Digamos que es similar a si:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] es exponencialmente pequeño, cuando xxx se dibuja uniformemente al azar desde {0,1}n{0,1}n\{0,1\}^n (en otras palabras, tienen una funcionalidad casi idéntica); y, C,DC,DC,D difieren en la distancia de edición del …

11 sat  application-of-theory 

Estoy buscando una estructura de datos altamente eficiente para el almacenamiento de datos similar a la siguiente. Etiquetas de identificación Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Tengo que ser capaz de consultar esta estructura de tal manera …

11 ds.data-structures  application-of-theory  db.databases 

Esta pregunta fue motivada por una pregunta hecha en stackoverflow . Supongamos que se le da un árbol enraizado (es decir, hay una raíz y los nodos tienen hijos, etc.) en n nodos (etiquetados 1 , 2 , ... , n ).TTTnortenn1 , 2 , ... , n1,2,…,n1, 2, \dots, …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Soy un estudiante de CS. Hicimos teoría de grafos en un curso. Lo encontre interesante. ¿Cuáles son las aplicaciones reales de la teoría de grafos en el campo de la informática? Por ejemplo, descubrí que algunos conceptos en la teoría de grafos se pueden usar para diseñar redes. ¿Cuáles son …

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Me interesan las propiedades combinatorias de las redes sociales como gráficos. La gente ha visto cosas como la distribución de los grados, el coeficiente de agrupamiento y la compresibilidad de estos gráficos. Una pregunta básica es: ¿son estos gráficos típicamente buenos gráficos de expansión? ¿Alguien ha verificado, por ejemplo, la …

11 graph-theory  application-of-theory  expanders 

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 

Estamos trabajando en computadoras distribuidas y se nos ocurrió un problema de complejidad que se reduce a un problema mínimo de cobertura de ruta. Actualmente no sabemos cómo resolverlo. El problema es el siguiente: Sea un número entero y sea ​​un gráfico que contenga vértices. Rotulamos cada vértice con un …

10 graph-theory  co.combinatorics  application-of-theory 

¿Cuáles son algunas aplicaciones de la descomposición gráfica modular en TCS / teoría de la complejidad? Estoy especialmente interesado en su uso en pruebas o límites superior / inferior si ocurre. [1] Descomposición gráfica modular , Wikipedia. [2] Referencias para la descomposición modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

¿Alguien sabe de algún trabajo que vincule la informática teórica y la energía barata / sostenible? es decir, ¿hay algún trabajo en TCS con la aplicación en energía barata / sostenible?

8 application-of-theory 

Contexto: según tengo entendido, en la teoría de la complejidad geométrica, la existencia de obstrucciones sirve como un certificado de prueba, por así decirlo, de la inexistencia de un circuito computacional eficiente para la función explícita y difícil en el problema del límite inferior en consideración. Ahora hay algunas otras …

8 application-of-theory  proof-complexity  gct 

En nuestro grupo de investigación estamos trabajando en la aplicación de métodos heurísticos al problema de iluminación inversa (es decir, dada una serie de restricciones sobre las condiciones de iluminación en una escena, encontrar los lugares donde se deben colocar las fuentes de luz y sus intensidades en para cumplir …

8 cc.complexity-theory  np-hardness  cg.comp-geom  application-of-theory