Ciencias de la computación teórica

Encontré un artículo titulado " Factorizando enteros y calculando logaritmos discretos mediante aproximación diofantina " por CP Schnorr de 1993. Parece un método probabilístico con tiempo de ejecución polinomial esperado (y espacio) para realizar la factorización de enteros. Del documento: "Un escenario para factorizar ... El problema de red correspondiente …

8 ds.algorithms  approximation-algorithms  integer-programming 

¿Alguien sabe de algún trabajo en la semántica de juegos para predicados coinductores? Un predicado coinductivo es aquel en el que el predicado en sí se llama en el cuerpo del predicado, y estamos tomando el significado del predicado como el mayor punto fijo de la definición subyacente. Dicho predicado …

8 lo.logic 

Se sabe que el problema # MONOTONE-2SAT es # P-completo. Esto significa que #SAT se puede reducir a eso. Mi pregunta es: dada una instancia #SAT , ¿cuál es la transformación que convierte F en su correspondiente instancia # MONOTONE-2SAT F ' ?FFFFFFF′F′F' Una segunda pregunta es: que es el …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat 

Comencé a buscar estructuras de incidencia y diseños combinatorios (posible motivación: para enlazar algunas estructuras en el autoensamblaje generalizado), y el artículo de Wikipedia hace la siguiente declaración interesante pero inexplicable: los diseños de bloques tienen aplicación en las pruebas de software. (La página de Wikipedia con el reclamo está …

8 reference-request 

Problema de cláusulas independientes máximas parametrizadas : Entrada: Una fórmula F de r-CNFSAT que tiene n variables y cláusulas m , k Ques: ¿Existe al menos k cláusulas tales que sean mutuamente independientes, es decir, no se produce ninguna variable más de una vez en todas estas cláusulas combinadas. Parámetro: …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Se sabe que si PAGS= NPAGSP=NPP=NP entonces Co NPAGS= PCPAGS[ O ( l o g( n ) ) , O ( 1 ) ]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Además, se sabe que nortemiXPAGS= PCPAGS[ p o l y( n ) , p o l y( n ) ]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Parece que el PCP …

8 cc.complexity-theory  pcp  proof-complexity 

Diagramas reducido Ordenadas decisión binaria (ROBDD) son una estructura de datos eficiente para la representación de funciones booleanas de múltiples variables . Me gustaría tener una intuición de cuán eficientes son.F( x1, x2, . . . , xnorte)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Por ejemplo, para la compresión de datos, sabemos que los datos con …

8 ds.data-structures  binary-decision-diagrams 

Supongamos que tienes hombres y mujeres. Cada persona tiene atributos. Cada persona indica un conjunto de atributos que debe tener un posible candidato. Una coincidencia es un conjunto de pares. Cada par une a un macho con una hembra. La satisfacción de una coincidencia es el número de atributos satisfechos …

8 cc.complexity-theory  np-hardness  matching 

Me gustaría ser algo bueno en la búsqueda de cadenas y la coincidencia de patrones, ¿podría señalarme algunos buenos recursos en línea? Los problemas de ejercicio serían geniales. Gracias.

8 ds.algorithms  string-search 

¿Alguien sabe de algún formalismo algebraico (o relacionado) de proceso que capture información de ubicación detallada? Estoy familiarizado con los ambientes y bigrafos, que obviamente tienen un modelo de ubicación, pero ¿qué pasa con los intentos de modelar información de ubicación más concreta, de modo que la ubicación de algún …

8 concurrency  process-algebra  formal-modeling 

Supongamos que F: R × R → Rf:R×R→Rf:\mathbf{R}\times \mathbf{R} \to \mathbf{R} es alguna función continua X1... xnortex1…xnx_1 \ldots x_n es un conjunto de valores reales, y nos gustaría calcular argminuna∑yoF( a , xyo)argmina∑if(a,xi)\text{argmin}_a \sum_i f(a,x_i) con la precisión prescrita ¿Hay algunos resultados sobre la dificultad de este problema para varias …

8 approximation-algorithms  machine-learning  st.statistics 

Por ejemplo, una forma de ver la coincidencia de peso máximo es que cada vértice obtiene una utilidad que es igual al peso del borde con el que coincide y cero en caso contrario.vvvfv=w(ev)fv=w(ev)f_v= w(e_v) en consecuencia, una coincidencia de peso máximo podría verse como una maximización del objetivo .∑vfv∑vfv\sum_v …

8 ds.algorithms  graph-theory 

Hubo recientemente un reivindicado prueba de que PAGS≠ NPAGSPAGS≠nortePAGSP \ne NP . No mucho después de su publicación, surgieron algunos problemas con esta prueba. Entonces ... ¿la prueba es correcta o no? (Responda esto solo si tiene evidencia ... esta pregunta puede tomar un tiempo hasta que se responda)

8 np-hardness  cc.complexity-theory 

¿Existe algún algoritmo que pueda devolver algún valor que indique un nivel de aleatoriedad? Creo que se llama Data Entropy . Recientemente leí este artículo: http://faculty.rhodes.edu/wetzel/random/mainbody.html ¿Su enfoque de analizar lanzamientos de monedas se aplicaría a bytes? ¿Debería desplegarme al nivel de bits donde es verdadero / falso nuevamente o …

8 randomness 

¿Existe un algoritmo generalizado para encontrar la función inversa de una función biyectiva arbitraria? Para que este algoritmo sea útil, debe detenerse una vez que se encuentre la respuesta correcta. Más allá del requisito de que finalmente debe encontrar la solución, no hay limitaciones de tiempo en el tiempo que …

8 ds.algorithms