Preguntas etiquetadas con reference-request

En la informática distribuida, el problema del consenso parece ser uno de los temas centrales que ha atraído una investigación intensiva. En particular, el artículo "Imposibilidad de consenso distribuido con un proceso defectuoso" recibió el Premio de papel influyente PODC 2001 . Entonces, ¿por qué es tan importante el problema …

19 reference-request  big-picture  dc.distributed-comp 

Una matriz se llama totalmente regular si todas sus submatrices cuadradas tienen rango completo. Tales matrices se usaron para construir superconcentradores. ¿Cuál es la complejidad de decidir si una matriz dada es totalmente regular sobre los racionales? Sobre campos finitos? Más en general, llame a una matriz totalmente regular si …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Cálculo de la constante Cheeger de un gráfico , también conocida como la constante de isoperimétrico (porque es esencialmente una relación de área mínima y / o volumen), se sabe que es NP-completo. Generalmente es aproximado. Estoy interesado en saber si se conocen algoritmos polinómicos exactos para clases especiales de …

19 ds.algorithms  reference-request  graph-algorithms 

¡Predecir el mercado de valores es difícil! ¿Puede TCS hacer este sentimiento más formal? Recientemente comencé a pensar un poco sobre las finanzas y me preguntaba cómo podría ayudar el conocimiento de TCS. Los fondos de cobertura y las empresas de inversión parecen utilizar el comercio algorítmico, el aprendizaje automático …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Estoy interesado en modelos de gráficos aleatorios que son similares a los gráficos de redes informáticas reales. No estoy seguro de si el modelo común bien estudiado ( vértices, cada borde posible se selecciona con probabilidad ) es bueno para estudiar redes informáticas reales (¿verdad?).G ( n , p )sol(norte,pag)G(n,p)nortenortenpagpagp …

19 reference-request  graph-theory  co.combinatorics 

¿Hay alguna encuesta de algoritmos para calcular interpolantes? ¿Qué pasa con los documentos en un solo algoritmo? El caso que más me interesa es y , más la restricción de que el interpolante es lo más pequeño posible. (Conozco el artículo de McMillan de 2005 , que describe cómo obtener …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Me gustaría saber si ha habido conjeturas que durante mucho tiempo no han sido probadas en TCS, que luego fueron probadas por una implicación de otro teorema, que pueden haber sido más fáciles de probar.

18 reference-request  soft-question  big-list 

El problema de detención para las máquinas de Turing es quizás el conjunto canónico indecidible. Sin embargo, demostramos que hay un algoritmo que decide casi todas las instancias del mismo. Por lo tanto, el problema de detención se encuentra entre la creciente colección de quienes exhiben el fenómeno del "agujero …

18 cc.complexity-theory  reference-request  computability  undecidability 

Me gustaría aprender sobre la Complejidad Parametrizada (tanto en el lado algorítmico como en el lado de la dureza). ¿Qué libros / apuntes puedo leer sobre este tema?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

Supongamos que es un árbol de grado constante cuya estructura no conocemos. El problema es generar el árbol haciendo preguntas de la forma: "¿El nodo encuentra en la ruta del nodo al nodo ?". Suponga que cada consulta puede ser respondida en tiempo constante por un oráculo. Conocemos el valor …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

¿Cuáles son los algoritmos eficientes conocidos para calcular un determinante de una matriz entera con coeficientes en , el anillo de residuos módulo . El número puede no ser primo sino compuesto (por lo que los cálculos se realizan en anillo, no en un campo). mmZmetroZm\mathbb{Z}_mmetrommmetromm Hasta donde yo sé …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

Veo mucha investigación sobre la hipercomputación en la década de 1990, pero en los últimos años parece haber poco trabajo sobre el tema. ¿Es cierto que la investigación en esta área ha disminuido? Si es así, ¿cuáles podrían ser los motivos? ¿Se demostró convincentemente que esta área no era prometedora?

18 reference-request  computability  hypercomputation 

¿Hay algún algoritmo para la resolución SAT que no esté basado en DPLL? ¿O todos los algoritmos utilizados por los solucionadores SAT están basados ​​en DPLL?

18 ds.algorithms  reference-request  sat 

¿La prueba automática de teoremas y la búsqueda de pruebas son más fáciles en lógicas subestructurales lineales y otras proposicionales que carecen de contracción? ¿Dónde puedo leer más sobre la demostración automática de teoremas en estas lógicas y el papel de la contracción en la búsqueda de pruebas?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic