Ciencias de la computación teórica

El teorema del punto fijo de Banach dice que si tenemos un espacio métrico completo no vacío , entonces cualquier función uniformemente contractiva tiene un punto fijo único . Sin embargo, la prueba de este teorema requiere el axioma de elección: debemos elegir un elemento arbitrario para comenzar a iterar …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Como todos saben, el famoso libro de Garey y Johnson (y muchos otros) proporciona una excelente referencia para la técnica de reducción en el entorno clásico. ¿Hay encuestas o libros sobre el tema de la técnica de reducción en algoritmos parametrizados, digamos la reducción de fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Supongamos que estamos tratando con un lenguaje de programación que admite tipos lineales (los términos de tipo lineal se pueden usar como máximo una vez, por así decirlo). Esto permite tratar algunos efectos computacionales (como la mutación, incluso cambiar el tipo de operando) de una manera que es problemática para …

15 pl.programming-languages  type-theory  linear-logic 

Hace un tiempo hice esta pregunta sobre Stack Overflow: Problema: la venta de Bob . Alguien sugirió publicar la pregunta aquí también. Alguien ya ha hecho una pregunta relacionada con este problema aquí: peso mínimo por debajo del bosque de la cardinalidad dada , pero, por lo que entiendo, no …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Al leer el documento " Una teoría aplicativa para FPH " puede encontrar el siguiente pasaje: Considerando las teorías que caracterizan las clases de complejidad computacional, existen tres enfoques diferentes: en uno, las funciones que se pueden definir dentro de la teoría son "automáticamente" dentro de una cierta clase de …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Recientemente descubrí un límite inferior cuadrático en la complejidad de un problema en el modelo de árbol de decisión, y me pregunto si este resultado podría generalizarse parcialmente al modelo de máquina de acceso aleatorio. Por parcial , me refiero a una generalización de los programas de RAM con una …

15 cc.complexity-theory  lower-bounds 

Una extensión clásica del problema del flujo máximo es el problema del "flujo máximo en el tiempo": se le da un dígrafo, dos de los cuales se distinguen como la fuente y el sumidero, donde cada arco tiene dos parámetros, una capacidad por -unidad-tiempo y un retraso. También se le …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

Al tratar de idear mi propio algoritmo de clasificación, estoy buscando el punto de referencia óptimo con el que pueda compararlo. Para una ordenación no ordenada de los elementos A y una ordenación ordenada B , ¿cuál es una manera eficiente de calcular el número óptimo de transposiciones para llegar …

15 ds.algorithms  co.combinatorics  sorting 

Mi pregunta es general: ¿cómo empiezo a pensar en términos de diseño y complejidad de algoritmos? Voy a tomar un curso de posgrado en diseño de algoritmos. Me había inscrito en él antes, pero lo abandoné más tarde porque no podía seguir el ritmo. Tengo que tomar este curso como …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Estoy interesado en la generación de números pseudoaleatorios para la criptografía. Además del Capítulo 5 de Menezes / Oorschot / Vanstone ; Capítulo 8 de Stinson ; y el Capítulo 3 de Goldreich , ¿dónde más podría encontrar más? Me interesan los principios generales para diseñar PRNG (propiedades deseables, pruebas, …

15 cc.complexity-theory  reference-request  pseudorandomness 

Deje e dos números binarios conxxxyyynnn bits y el número binario (longitud 2 n ) del producto de x e y . Queremos calcular el bit más significativo z 2 n - 1 del producto z = z 2 n - 1 ... z 0 .z=x⋅y z=x⋅y z = x …

15 cc.complexity-theory  binary-decision-diagrams 

Esta pregunta puede hacerse en el marco de la complejidad del circuito de los circuitos booleanos, o en el marco de la teoría de la complejidad algebraica, o probablemente en muchos otros entornos. Es fácil mostrar, contando argumentos, que existen funciones booleanas en N entradas que requieren exponencialmente muchas puertas …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

La coloración de 3 bordes de los gráficos cúbicos es -completa. El teorema de cuatro colores es equivalente a "Cada gráfico cúbico plano sin puente es coloreable por 3 bordes".nortePAGnortePAGNP ¿Cuál es la complejidad de la coloración de 3 bordes de los gráficos planos cúbicos? Además, se conjetura que color …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

Es duro encontrar una aproximación de factor constante del ciclo más largo en gráficos hamiltonianos cúbicos. Los gráficos hamiltonianos cúbicos tienen al menos dos ciclos hamiltonianos.nortePAGnortePAGNP ¿Cuáles son los límites superior e inferior más conocidos en el número de ciclos hamiltonianos en gráficos hamiltonianos cúbicos? Dado un gráfico hamiltoniano cúbico, …

15 cc.complexity-theory  counting-complexity 

Supongamos que queremos encontrar o max x ∏ i j ∈ E f(xi,xj)∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Donde Max o la suma se toma sobre todos los marcajes de VVV , el producto se toma sobre todos los bordes EEE para un gráfico G={V,E}G={V,E}G=\{V,E\} y fff …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity