Ciencias de la computación teórica

Encontré este problema en un área de la física bastante alejada de la informática, pero parece ser el tipo de pregunta que se ha estudiado en CS, así que pensé en probar suerte preguntándola aquí. Imagine que le dan un conjunto de puntos y una lista de algunas de las …

13 ds.algorithms  cg.comp-geom 

Sea un cuadrado n × nnorte×norten\times n matriz real UNUN{\bf A} y dos vectores XX{\bf x} y sisi{\bf b} de longitud nortenorten , de modo que A x = b .UNX=si.{\bf A}{\bf x}={\bf b}. Resolver XX{\bf x} través de la eliminación gaussiana estándar produce una complejidad agregada de casi O …

13 cc.complexity-theory  linear-algebra  matrices 

En este artículo de Kempe-Kleinberg-Tardos, los Autores proponen algoritmos codiciosos basados ​​en funciones submodulares para determinar los nodos más influyentes en un gráfico, con aplicaciones a las redes sociales.kkk Básicamente, el algoritmo es el siguiente: S= e m p t y s e t S=mimetropagty smitS = {\rm empty~set} elija …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Chong, Han y Lam mostraron que la conectividad st no dirigida se puede resolver en la EREW PRAM en tiempo con procesadores O ( m + n ) .O ( log n )O(Iniciar sesiónnorte)O({\log}n)O ( m + n )O(metro+norte)O(m+n) ¿Cuál es el algoritmo paralelo más conocido para la conectividad st …

13 ds.algorithms  graph-theory  dc.parallel-comp 

¿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 

El Capítulo 1 del libro El Método Probabilístico, de Alon y Spencer, menciona el siguiente problema: Dado un gráfico GGG , decida si su conectividad de borde es al menos n/2n/2n/2 o no. El autor menciona la existencia de un O(n3)O(n3)O(n^3) algoritmo por Matula y mejora a O(n8/3logn)O(n8/3log⁡n)O(n^{8/3}\log n) . …

13 ds.algorithms  open-problem  graph-algorithms 

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 

Parity-L, también conocido como L, es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación". Niel de Beaudrap hizo una pregunta relacionada reciente .⊕⊕\oplus Mi pregunta es la siguiente: ¿Sabemos si …

13 cc.complexity-theory  counting-complexity 

Esta pregunta está motivada por una pregunta de MathOverflow de Peng Zhang . Valiant mostró que contar las camarillas máximas en un gráfico general es # P-completo, pero ¿qué pasa si restringimos a los gráficos de incomparabilidad (es decir, queremos contar las antichains máximas en un grupo finito)? Esta pregunta …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

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 

El popular algoritmo DEFLATE utiliza la codificación Huffman sobre Lempel-Ziv. En general, si tenemos una fuente de datos aleatoria (= entropía de 1 bit / bit) , es probable que ninguna codificación, incluida Huffman, la comprima en promedio. Si Lempel-Ziv fuera "perfecto" (que se acerca a la mayoría de las …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

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 

Descargo de responsabilidad : aunque me importa la teoría de tipos, no me considero un experto en teoría de tipos. En el cálculo lambda de tipo simple, el tipo cero no tiene constructores y un eliminador único: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Desde un punto …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Antecedentes Esta pregunta está motivada por un juego de mesa llamado 'Drácula'. En este juego hay un vampiro y cuatro cazadores, el objetivo de los cazadores es atrapar al vampiro. El juego tiene lugar en Europa. El juego tiene el siguiente aspecto: 1. El jugador cazador coloca a todos los …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory