Deje . Necesito generar gráficos simples G de circunferencia g de modo que el conjunto de todos los g- ciclos forme una cubierta de doble borde de G (es decir, cada borde es compartido por exactamente dos g- ciclos), y tal que la intersección de dos g -cycles es un vértice, un borde o está vacío....
Parece que hay muchos algoritmos aleatorios para las pruebas de identidad polinomiales, que verifican si un polinomio dado es cero o no. ¿Hay algún resultado de algoritmos que hagan algún tipo de estimación de polinomios sobre un conjunto específico de puntos? Esto podría ser, por ejemplo,...
Fijar . Para cualquier suficientemente grande , nos gustaría etiquetar todos los subconjuntos de de tamaño exactamente por enteros positivos de . Nos gustaría que este etiquetado satisfaga la siguiente propiedad: hay un conjunto de enteros, stn { 1 .. n } n / k { 1 ... T } Sk ≥ 5k≥5k\ge5nortenn{ 1...
Sé que Gaussian Elimination toma operaciones aritméticas , pero no estoy seguro de si se conocen algoritmos mejores.O (
Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en...
¿Qué algoritmo podemos usar para encontrar todas las raíces enteras de un polinomio con coeficientes enteros?F( x )f(x)f(x) Observo que Sage puede encontrar las raíces en unos pocos segundos, incluso cuando todos los coeficientes de son muy grandes. ¿Cómo es capaz de hacer eso?F( x...
Tengo el siguiente problema: Entrada: dos conjuntos de intervalos y T (todos los puntos finales son enteros). Consulta: ¿hay una biyección monótona f : S → T ?SSSTTTF: S→ Tf:S→Tf:S \to T La biyección es monótona wrt el conjunto para su inclusión en y T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y )SSSTTT∀ X⊆...
Sabemos que la igualdad beta de los términos lambda simplemente escritos es decidible. Dado M, N: σ → τ, ¿es decidible si para todos X: σ, MX
La holgura complementaria (CS) se enseña comúnmente cuando se habla de dualidad. Establece una buena relación entre las restricciones / variables primarias y duales desde un punto de vista matemático. Las dos razones principales para aplicar CS (como se enseña en cursos de posgrado y libros de...
Dados dos poliedros y Q , P y Q son equícompuestos si hay conjuntos finitos de poliedros P 1 , ... , P n y Q 1 , ... , Q n de manera que P i y Q i son congruentes para todo i , P = ∪ n i = 1 P i y Q = ∪ n i = 1 QPPPQQQPPPQQQP1,…,PnP1,…,PnP_1, \ldots, P_nQ1,…,QnQ1,…,QnQ_1, \ldots,...
Deje ser una constante fija. Dado un número entero , queremos construir una permutación tal que:n σ ∈ S nk > 0k>0 0k>0nortenortenσ∈ Snorteσ∈Snorte\sigma \in S_n La construcción utiliza tiempo y espacio constantes (es decir, el preprocesamiento requiere tiempo y espacio constantes). Podemos...
Los transductores considerados aquí son aquellos que Wikipedia llama transductores de estado finito . El comportamiento de un transductor , es decir, la relación que calcula, se escribe : una palabra es una salida para iff .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Pregunta: ¿Se puede resolver el...
Supongamos que tengo un circuito booleano que calcula alguna función f : { 0 , 1 } n → { 0 , 1 } . Suponga que el circuito se compone de AND, OR y NO compuertas con entrada y salida de ventilador como máximo 2.CCCf: { 0 , 1 }norte→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} Sea una entrada...
Motivación : Mientras desarrollamos herramientas para el control de versiones de datos, terminamos buscando algoritmos para "diferenciar" dos conjuntos de enteros, creando una secuencia de transformaciones que llevan un conjunto de enteros al otro. Pudimos reducir ese problema al siguiente problema...
¿Existe un algoritmo de clasificación basado en la comparación que utiliza un promedio de l g ( n ! ) + O ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) comparaciones? La existencia de un algoritmo de comparación l g ( n ! ) + O ( n ) en el peor de los casos lg(n!)+o(n)\mathrm{lg}(n!)+o(n)es un problema...
Así que tengo un problema al que me enfrento con respecto a la agrupación con datos en vivo y de transmisión continua. Como tengo un conjunto de datos cada vez mayor, no estoy seguro de cuál es la mejor manera de ejecutar clustering eficiente y efectivo. He encontrado algunas posibles soluciones,...
Es bien sabido que el problema NP-Complete llamado Subset Sum tiene un FPTAS. Me preguntaba si existía un problema PSPACE Complete que también tiene un FPTAS. Gracias por
Supongamos que tenemos una gráfica y parámetros k , ϵ . ¿Hay rangos de valores para k (o es factible para todo k ) para el que es posible comprobar si G es ε -lejos de tener un conjunto independiente de tamaño al menos k en el tiempo O ( n + poli ( 1 / ε ) ) ?solGGk ,
Esta es una versión especializada de una pregunta anterior: Complejidad de encontrar la descomposición propia de una matriz . Para las matrices simétricas NxN, se sabe que el tiempo O (N ^ 3) es suficiente para calcular la descomposición propia. La pregunta es: ¿podemos lograr una complejidad...
Generalmente llamamos a un algoritmo "buen algoritmo" si su tiempo de ejecución es polinómico en el peor de los casos. Pero en algunos casos (por ejemplo, el algoritmo Simplex), aunque el peor de los casos del algoritmo es exponencial, podría funcionar muy bien en la práctica. ¿Hay algún ejemplo...