Preguntas etiquetadas con reference-request

¿Existen ahora algoritmos / pruebas más simples para triangular un polígono plano en tiempo lineal? ¿Cuál es un buen recurso sobre el estado del arte de este famoso problema?

15 reference-request  cg.comp-geom 

Si tenemos un gran gráfico (dirigido) y un árbol enraizado más pequeño H , ¿cuál es la complejidad más conocida para encontrar subgrafías de G isomorfas a H ? Soy consciente de los resultados para el isomorfismo de subárbol donde G y H son árboles y también donde G es …

15 ds.algorithms  reference-request  graph-theory 

Dada una matriz m×nm×nm \times n (suponiendo que m≥nm≥nm \ge n ), ¿cuál es el algoritmo más rápido para calcular su rango y base de las columnas? Soy consciente de que se puede resolver a través de la intersección matroide lineal, lo que implica un algoritmo determinista de tiempo y …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

Tengo un politopo PPP definido por {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pregunta: Dado un vértice vvv de PPP , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de vvv en el gráfico de PPP ? (Polinomio en la dimensión, el número …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Deje que sea la familia de todos los idiomas más Σ que satisfacen la propiedad de bombeo de lenguajes regulares. A saber: para cada L ∈ L , hay una N ∈ N st cada palabra w ∈ L , | w | > N se puede escribir en la …

14 reference-request  fl.formal-languages  automata-theory 

Quiero aprender sobre algoritmos algebraicos y complejidad thoery. En particular, estoy interesado en PIT. ¿Existe un conjunto de apuntes, libros, documentos y encuestas para estudiantes que han leído libros de texto estándar sobre teoría como el libro de Sipser o el libro de texto de complejidad de Arora-Barak? El conjunto …

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

Se ha demostrado que la propagación de creencias es un método muy poderoso a través de la investigación en modelos gráficos probabilísticos. Sin embargo, no sé nada sobre BP que sea comparable a los métodos MCMC donde podemos tener esquemas de aproximación aleatoria totalmente polinomiales (FPRAS) para problemas # P-completos. …

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

Como todos saben, SAT está completo para wrt polinomial-tiempo muchas reducciones de uno. Todavía está completo wrt reducciones muchos-uno.N PnortePAG\mathsf{NP}A C0 0UNC0 0\mathsf{AC^0} Mi pregunta es ¿cuál es la profundidad mínima requerida para las reducciones? Más formalmente, ¿Cuál es la menor tal que SAT es \ mathsf {NP} -hard wrt …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Antecedentes : Estoy llegando al final de mi maestría en matemáticas y comenzaré un doctorado en lógica en agosto. Mientras más lógica estudio, más informática teórica estoy expuesta, por ejemplo, teoría de la recursión, cálculo lambda, pero el CS subyacente está debajo de la alfombra. Mis principales áreas de interés, …

14 reference-request  soft-question 

Siendo de Física, he sido entrenado para investigar muchos problemas desde un punto de vista geométrico. Por ejemplo, la geometría diferencial de múltiples en sistemas dinámicos, etc. Cuando leo los fundamentos de la informática, siempre trato de encontrar interpretaciones geométricas. Como una interpretación geométrica plausible de conjuntos recursivamente enumerables (trabajé …

14 reference-request  computability  big-picture 

¿Cuál es la clase de complejidad asociada con los algoritmos de búsqueda exhaustiva? (si hay uno) ¿Es NP o PSPACE? ¿Existen modelos restringidos de cómputo que capturen la clase de algoritmos de búsqueda exhaustiva similares a los modelos para programación codiciosa y dinámica?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Recuerdo haber visto un estudio o artículo hace un tiempo afirmando que la mayor parte de la aceleración vista en los programas de computadora en las últimas décadas proviene de mejores algoritmos en lugar de hardware más rápido. ¿Alguien sabe el estudio o artículo?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

GI y Knot Problem, ambos son problemas para decidir la equivalencia estructural de los objetos matemáticos. ¿Hay algún resultado que establezca conexiones entre ellos? Se han explorado buenas conexiones del problema de nudos con la física estadística a través de polinomios de nudos , ¿hay resultados similares para ?G IsolyoGI …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Considere el espacio dimensional , y deje que sea ​​una restricción lineal de la forma , donde , y .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

¿Cuál es la complejidad de consulta más conocida del algoritmo de aprendizaje Goldreich-Levin? Las notas de la conferencia del blog de Luca Trevisan , Lemma 3, lo declaran como . ¿Es este el más conocido en términos de dependencia de ? ¡Estaré particularmente agradecido por una referencia a una fuente …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis