Ciencias de la computación teórica

Tengo una familia de problemas de programación lineal: maximizar sujeto a , . Los elementos de , , y son números enteros no negativos, estrictamente positivo. ( también debería ser integral, pero me preocuparé por eso más adelante).C′Xc′xc' xA x ≤ bAx≤bA x\le bx ≥ 0x≥0x\ge0UNAAAsibbCccCccXxx A menudo sucede en …

9 ds.algorithms  reference-request  linear-programming  matrices 

¿Cuál es el número promedio de publicaciones (incluidas las actas de la conferencia), por año, para investigadores posdoctorales de CS en los Estados Unidos? ¿Cuáles son las formas de averiguar o estimar este número?

9 soft-question  advice-request  research-practice  career 

Me pregunto si existen estudios sistemáticos de sumas de formas cuadráticas al cuadrado, similares a las formas cuadráticas, que se refleja prácticamente en la descomposición del valor propio (que tiene una gran implicación práctica). Par de ejemplos relacionados con la importancia de la pregunta. Análisis de componentes principales (PCA) . …

9 ds.algorithms  polynomials  semidefinite-programming 

La complejidad de Kolmogorov de una cadena no es computable. Sin embargo, en un subconjunto aleatorio de tamaño de cadenas binarias de longitud , el número se espera que tengan menos de complejidad algún entero menor que (en función de , y )?METROMMnortennnorte0 0n0n_{0}nortennMETROMMnortenortennorte0 0norte0 0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

Tengo un conjunto finito , una función , y una orden total en . Quiero encontrar el número de ciclos distintos en .f : S → S &lt; S SSSSf:S→Sf:S→Sf:S\to S&lt;&lt;<SSSSSS Para un elemento dado , puedo usar el algoritmo de Floyd (o Brent, etc.) para encontrar la duración del …

9 graph-theory  graph-algorithms 

Entonces, estoy leyendo un poco sobre la elaboración, particularmente, algoritmos basados ​​en el cálculo bicolor de la construcción, y estoy un poco confundido. No entiendo cuál es exactamente el propósito del . Parece ser idéntico a excepto que hay una distinción entre argumentos implícitos y explícitos para funciones. En particular, …

9 type-theory  lambda-calculus  type-inference  dependent-type 

EDITADO PARA AGREGAR : Esta pregunta ahora se responde esencialmente; por favor vea esta entrada de blog para más detalles. Gracias a todos los que publicaron comentarios y respuestas aquí. PREGUNTA ORIGINAL Espero que sea una versión más inteligente y mejor informada de una pregunta que hice en MathOverflow. Cuando …

9 co.combinatorics 

Tengo un gran conjunto de datos de árboles y me gustaría buscarlo especificando un treelet (subgrafo conectado). La consulta debe devolver todas las ocurrencias del treelet en el conjunto de datos. ¿Hay algoritmos eficientes para hacerlo? Estaba pensando en algo así como matrices de sufijos, sin embargo, codificar ingenuamente los …

9 graph-algorithms  ds.data-structures  tree  graph-isomorphism  string-search 

Los analizadores de gráficos se pueden implementar según la forma normal de Chomsky o directamente según las reglas de producción. Supongamos por el momento que tenemos un analizador gráfico CYK que usa la forma normal de Chomsky. La binarización no está definida de forma exclusiva. ¿Esto afecta el rendimiento del …

9 fl.formal-languages  parsing 

Me gustaría tener un límite en la cardinalidad del conjunto de gráficos de unidades de disco con vértices. Se sabe que verificar si un gráfico es miembro de este conjunto es NP-hard. ¿Esto conduce a un límite inferior en la cardinalidad, suponiendo P ≠ NP?NNN≠≠\neq Por ejemplo, suponga que hay …

9 cc.complexity-theory  graph-theory 

En el Fondo capacitado Localización de problemas (CFLP) , se nos da un conjunto de clientes y un conjunto de posibles instalaciones F . Cada cliente j ∈ C tiene una demanda d j que debe ser atendida por una o más instalaciones abiertas. Cada instalación i ∈ F tiene …

9 ds.algorithms  cg.comp-geom  approximation-algorithms 

Sea una matriz o con entradas . ¿Alguien puede proporcionarme una matriz para que ? ¿Cuál es la B explícita más pequeña que se conoce de modo que \ operatorname {per} (A) = \ det (B) ? ¿Alguna referencia sobre esto con ejemplos explícitos?UNAUNAA3 × 33×33 \times 34×44 4×4 44 …

9 cc.complexity-theory  algebraic-complexity  permanent 

Agradecería cualquier sugerencia o término que pudiera ayudarme a comenzar en la dirección correcta. Tenemos un gráfico dirigido y longitudes para cada borde que se puede suponer positivo. Hay un nodo inicial especial nodo final .l i j i j s tG = ( V, E)G=(V,E)G=(V,E)lyo jlijl_{ij}yo jijijsssttt Para cada …

9 ds.algorithms  reference-request  graph-algorithms 

Como no se dio respuesta, se ha establecido una bandera solicitando que esta pregunta se convierta en una wiki comunitaria. Los comentarios de Aaron Sterling, Sasho Nikolov y Vor se sintetizaron en la siguiente resolución, que está abierta para la discusión de la wiki comunitaria: Resuelto: con respecto a los …

9 quantum-computing  program-verification  sample-complexity 

Defina una malla en 3D como una colección conectada de tetraedros con interiores disjuntos (para que los tetraedros solo compartan caras , k ≤ 2 ). Dado un gráfico arbitrario, ¿existe un procedimiento eficiente para probar si se puede incrustar como una malla?k ≤ 2k≤2k \le 2 Aquí, una incrustación …

9 ds.algorithms  graph-theory