Ciencias de la Computación

¿Hay alguna manera de calcular el tamaño de una coincidencia máxima en un gráfico bipartito no ponderado de manera más eficiente (por ejemplo, más rápido) que calcular una coincidencia máxima? Es una posibilidad remota, pero a menudo es un problema interesante para evitar cálculos desechables como estos. Motivación El problema …

11 algorithms  graphs  optimization  matching  bipartite-matching 

Me pregunto si hay un algoritmo polinómico para "2-SAT con relaciones XOR". Tanto 2-SAT como XOR-SAT están en P, pero ¿es su combinación? Entrada de ejemplo: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b …

11 np-complete  satisfiability  xor  2-sat 

Soy un estudiante principiante de CS y estoy aprendiendo algoritmos. Escuché que incluso con las computadoras cuánticas, los algoritmos generales de clasificación nunca pueden ser mejores que time. Sin embargo, también sé que los algoritmos de factorización serían mucho más rápidos. En términos generales, ¿qué tipo de algoritmos serían mucho …

11 algorithms  quantum-computing 

Lo que sabemos es que π es infinito y es muy probable que contenga todas las cadenas de dígitos finitos posibles ( secuencia disyuntiva ). Recientemente he visto algún prototipo de πfs que supone que cada archivo que ha creado (o cualquier otra persona) o que creará, ya está allí, …

11 algorithms  data-compression  mathematical-programming 

Estoy tratando de reproducir las redes sintéticas (gráficos) descritas en algunos documentos. Se afirma que el modelo Barabasi-Albert se utilizó para crear "redes sin escala con distribuciones de grado de ley de potencia, ".PAGUNA( k ) ∝ k- λPA(k)∝k−λP_A(k) ∝ k^{-λ} es una distribución de probabilidad que devuelve la probabilidad …

11 algorithms  graph-theory  graphs  randomness  sampling 

Sé que es una tontería, pero logré confundirme y necesito ayuda para resolver esto Suponga que P=NPP=NPP=NP , entonces claramente para cada oráculo AAA tenemos PA=NPAPA=NPAP^A=NP^A que contradice el hecho de que existe algún oráculo AAA para el cual PA≠NPAPA≠NPAP^A\neq NP^A , de ahí P≠NPP≠NPP\neq NP Que pasa ¡Gracias!

11 complexity-theory  p-vs-np  oracle-machines 

¿La existencia de problemas indecidibles implica inmediatamente la no previsibilidad de los sistemas físicos? Consideremos el problema de detención, primero construimos un UTM físico, digamos usando la construcción basada en circuito habitual. Entonces no puede haber una teoría física decidible que pueda determinar, dada la configuración de entrada de los …

11 computability  turing-machines  undecidability  physics 

He leído que los sistemas operativos como Android e iOS están optimizados de alguna manera para mejorar la duración de la batería. Según tengo entendido, una CPU ejecuta una cierta cantidad de operaciones en un tiempo determinado, por lo que creo que puede acelerar las aplicaciones reduciendo la cantidad de …

11 computer-architecture  operating-systems  performance  program-optimization 

Estoy mirando el cálculo de construcciones y su lugar en el Cubo Lambda . Si entiendo correctamente, se puede pensar que cada eje del cubo agrega otra operación que involucra tipos al cálculo de tipo simple, . El primer eje agrega operadores de tipo a término, los segundos operadores de …

11 terminology  lambda-calculus  type-theory  dependent-types 

En el caso de los gráficos sin etiquetar, el problema del isomorfismo del gráfico puede abordarse mediante una serie de algoritmos que funcionan muy bien en la práctica. Es decir, aunque el peor tiempo de ejecución es exponencial, generalmente se tiene un tiempo de ejecución polinómico. Esperaba que la situación …

11 algorithms  graph-theory  graph-isomorphism 

Sea un problema de conteo que se sabe que es # -Complete .ΠΠ\PiPPP ¿ Implica que es duro (es decir, no existe PTAS para el problema a menos que )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Me pregunto si hay duros que son "polinomiales" en el caso promedio. ¿Creo que hay dos formas de interpretar esto?NPNPNP Si , ¿puede haber un algoritmo que resuelva un problema duro con tiempo de ejecución amortizado (caso promedio) de para una constante ?N P O ( n k ) kP≠NPP≠NPP …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Estoy buscando una estructura de datos persistente similar a la matriz (pero inmutable), que permita operaciones rápidas de indexación, anexión, anteposición e iteración (buena localidad). Clojure proporciona Vector persistente, pero es solo para un apéndice rápido. Scala's Vector tiene efectivamente anexos y antepuestos de tiempo constante, pero no puedo entender …

11 data-structures  functional-programming  persistent-data-structure 

¿Qué es un algoritmo de aproximación de bicriteria? Esto sigue apareciendo en el caso de la agrupación de flujo de datos. ¿Está esto relacionado con la optimización de objetivos múltiples? Aquí es donde lo encontré: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. El documento trata sobre una versión de transmisión del algoritmo k-means. Hay referencias en …

11 optimization  approximation 

En el problema de la estación de servicio , se nos dan ciudades y carreteras entre ellas. Cada camino tiene longitud y cada ciudad define el precio del combustible. Una unidad de carretera cuesta una unidad de combustible. Nuestro objetivo es ir de una fuente a un destino de la …

11 algorithms  graphs  recurrence-relation