Preguntas etiquetadas con ds.algorithms

Se nos da una familia de subconjuntos de {1, ..., n}. ¿Es posible encontrar un límite inferior no trivial sobre la complejidad de decidir si es una familia Sperner? El límite inferior trivial es y sospecho fuertemente que no es apretado.FF\mathcal{F}mmmFF\mathcal{F}O(nm)O(nm)O(n m) Recuerde que un conjunto es una familia Sperner …

16 ds.algorithms  co.combinatorics 

Dado un conjunto S de matrices de permutación nxn (que es solo una pequeña fracción de las n! Matrices de permutación posibles), ¿cómo podemos encontrar subconjuntos T de tamaño mínimo de S de manera que sumar las matrices de T tenga al menos 1 en cada posición? Estoy interesado en …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

Supongamos que se nos da una matriz n por n, M, con entradas enteras. ¿Podemos decidir en P si hay una permutación tal que para todas las permutaciones tenemos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( i )≠ Π Mi π( i )ΠMETROyoσ(yo)≠ΠMETROyoπ(yo)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observaciones Por supuesto, se puede reemplazar el …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Como en, el área de los artículos en el ACM Journal on Experimental Algorithmic JEA . ¿Cuáles fueron las obras fundamentales? ¿Cuáles son los principales resultados? ¿Cómo se caracterizan? ¿Alguna conexión interesante con otras áreas de la informática?

16 ds.algorithms  reference-request  experimental 

Este es un seguimiento de esta pregunta sobre math.stackexchange. Digamos que un conjunto no vacío S ⊆ ℤ es autosuficiente si para cada a ∈ S, existen elementos distintos b, c ∈ S de modo que a = b + c. Para enteros positivos n , ejemplos simples incluyen el …

16 ds.algorithms  co.combinatorics 

¿Es el caso de los gráficos muy regulares el más difícil para las pruebas de GI? donde "más duro" se usa en algún sentido de "sentido común", o "en promedio", por así decirlo. Wolfram MathWorld menciona algunos "gráficos patológicamente difíciles". ¿Qué son? Mi conjunto de muestras de 25 pares de …

16 ds.algorithms  graph-isomorphism 

En forma simple: ¿Puede un autómata finito bidireccional reconocer gráficos vértice que contienen un triángulo con estados ?vvvo(v3)o(v3)o(v^3) Detalles Aquí son de interés los gráficos vértice codificados usando una secuencia de aristas, cada arista es un par de vértices distintos de .vvv{0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} Supongamos que es una secuencia de autómatas finitos …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Esta pregunta se publicó anteriormente en Computer Science Stack Exchange aquí . Imagine que es un vendedor ambulante muy exitoso con clientes en todo el país. Para acelerar el envío, ha desarrollado una flota de drones de entrega desechables, cada uno con un alcance efectivo de 50 kilómetros. Con esta …

15 ds.algorithms  approximation-algorithms  tsp 

Una forma de demostrar que verificar la viabilidad de un sistema lineal de desigualdades es tan difícil como la programación lineal es a través de la reducción dada por el método elipsoide. Una forma aún más fácil es adivinar la solución óptima e introducirla como una restricción a través de …

15 ds.algorithms  linear-programming 

Antecedentes La memoria externa, o modelo DAM, define el costo de un algoritmo por el número de E / S que realiza (esencialmente, el número de errores de caché). Estos tiempos de ejecución generalmente se dan en términos de MMETROM , el tamaño de la memoria y BsiB , el …

15 ds.algorithms  ds.data-structures  cache-oblivious 

Considere un poset finito sobre elementos, y un predicado monotónico desconocido sobre (es decir, para cualquier , , si y luego ) . Puedo evaluar proporcionando un nodo y descubriendo si P (x) se mantiene o no. Mi objetivo es determinar exactamente el conjunto de nodos x \ en X …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

¿Hay un algoritmo de tiempo aleatorio lineal en el lugar? Este es el algoritmo que algunas manos especialmente hábiles son capaces de realizar: dividir uniformemente una matriz de entrada de tamaño par y luego intercalar los elementos de las dos mitades. Mathworld tiene una breve página sobre riffle shuffle . …

15 ds.algorithms  time-complexity 

Considere el siguiente problema: dado un gráfico de consulta y un gráfico de referencia , queremos encontrar el mapeo inyectivo que minimiza el número de bordes tal que . Esta es una generalización del problema del isomorfismo del subgrafo en el que permitimos que los subgrafos sean isomorfos hasta algunos …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Larry Wasserman tiene una publicación reciente donde habla sobre la "policía de valor p". Él hace un punto interesante (todo el énfasis es mío) (la premisa en cursiva que agregué y su respuesta debajo): La queja más común es que físicos y periodistas explican incorrectamente el significado de un valor …

15 ds.algorithms  soft-question  big-list 

max { k , n / k }max{k,norte/ /k}\max \left\{k, n/k\right\}k = n--√k=nortek=\sqrt n Algoritmo de paso gigante de paso de bebé para calcular el logaritmo discreto en O ( n--√)O(norte)O(\sqrt n) , rango ortogonal 2D estático que cuenta en tiempo O ( n--√)O(norte)O(\sqrt n) y memoria O ( n …

15 ds.algorithms  ds.data-structures  big-list  teaching