Preguntas etiquetadas con reference-request

Me parece que los expertos en aprendizaje automático / minería de datos están familiarizados con P y NP, pero rara vez hablan de algunas de las clases de complejidad más sutiles (por ejemplo, NC, BPP o IP) y sus implicaciones para analizar los datos de manera efectiva. ¿Hay alguna encuesta …

13 cc.complexity-theory  reference-request  machine-learning 

La fórmula más pequeña conocida para el determinante tiene un tamaño acuerdo con el folclore (o Ran Raz en su papel Las fórmulas multilineales para permanente y determinante son de tamaño superpolinomial ).norteO (logn )norteO(Iniciar sesión⁡norte)n^{\mathcal O(\log n)} ¿Tienes alguna referencia para esto? En particular, ¿cuál es esta fórmula?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por respuesta.

13 reference-request  soft-question  big-list  ho.history-overview 

Dado un gráfico plano, uno puede incrustarlo en tiempo lineal cruzando libremente en una cuadrícula . Me interesa saber si se conoce algún algoritmo eficiente para insertar en línea recta un gráfico plano que se cruce libremente en una cuadrícula , para alguna pequeña , de modo que se maximice …

13 reference-request  graph-theory  graph-drawing 

Estoy interesado en la complejidad del problema de conjunto dominante (DSP) en algunas clases de gráficos específicos que son subclases de gráficos cordales . Un gráfico es un gráfico de ruta no dirigida si es el gráfico de intersección de vértices de una familia de rutas en algún árbol no …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

La definición de los números de Ramsey es la siguiente: Deje que sea un número positivo tal que cada gráfico de la orden, al menos contiene ya sea un clique sobre vértices o un conjunto estable en vértices.R ( a , b )R(un,si)R(a,b)a bR ( a , b )R(un,si)R(a,b)ununasisib Estoy …

13 reference-request  co.combinatorics  ramsey-theory 

Estoy interesado en modelar objetos, desde la programación orientada a objetos, en la teoría del tipo dependiente. Como posible aplicación, me gustaría tener un modelo donde pueda describir diferentes características de los lenguajes de programación imperativos. Solo pude encontrar un artículo sobre modelos de objetos en la teoría de tipos …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

Tengo una pregunta sobre la reducibilidad SERF de Impagliazzo, Paturi y Zane y los algoritmos subexponenciales. La definición de SERF-reducibilidad ofrece lo siguiente: Si P1P1P_1 es SERF-reducible a y hay un algoritmo para para cada , entonces hay un algoritmo para para cada . (El parámetro de dureza para ambos …

13 cc.complexity-theory  reference-request 

En la definición de rastreabilidad de parámetros fijos (fuertes), el límite de tiempo es una expresión de la forma donde la instancia de entrada es ( x , k ) con el parámetro k , p es un polinomio yf es una función computable .F( K ) . p ( …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

¿Hay algún problema que sea NP completo cuando se usa geometría euclidiana pero que está bien definido y puede resolverse en tiempo polinómico para alguna geometría no euclidiana?

13 reference-request  cg.comp-geom 

Ramificar y vincular es una heurística eficaz para los problemas de búsqueda, y Wikipedia enumera una serie de problemas difíciles en los que se ha utilizado ramificar y vincular. Sin embargo, no he podido encontrar referencias que sugieran que es más que solo "un método" para resolver estos problemas. Como …

13 ds.algorithms  reference-request  optimization  heuristics 

Estoy buscando una implementación de un algoritmo para calcular el ancho de ruta de un gráfico. Es bien sabido que calcular el ancho de ruta es equivalente a calcular el número de búsqueda de nodos, el número de separación de vértices o el grosor de intervalo del gráfico. El algoritmo …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

En el " Consejo para un estudiante graduado principiante " de Manuel Blum : LEONID LEVIN cree mientras hago eso, sea cual sea la respuesta a la P = NP? problema, no será como todo lo que crees que debería ser. Y ha dado algunos ejemplos maravillosos. Por un lado, …

13 ds.algorithms  reference-request  factoring 

Contexto. Estoy escribiendo sobre temas como el teorema de Gottesman-Knill , utilizando grupos estabilizadores de Pauli, pero en el caso de d -qudits dimensionales, donde d puede tener más de un factor primo. (Destaco esto porque la gran mayoría de la literatura sobre formalismo estabilizador en "dimensiones superiores" involucra los …

13 reference-request  quantum-computing 

Estoy comenzando a investigar la posibilidad de confiar en un solucionador SAT para abordar un problema de optimización que me interesa, y actualmente estoy buscando una encuesta que presente ejemplos de transformaciones "inteligentes" a variantes de SAT (es decir, transformaciones que resultan en un problema de tamaño razonable, ya que …

13 ds.algorithms  reference-request  sat  optimization