Ciencias de la Computación

Dado que solo hay una constante entre las bases de los logaritmos, ¿no está bien escribir f(n)=Ω(logn)f(n)=Ω(log⁡n)f(n) = \Omega(\log{n}) , en lugar de , o cualquiera que sea la base?Ω(log2n)Ω(log2⁡n)\Omega(\log_2{n})

19 algorithms  time-complexity 

En la multiplicación matricial de Strassen, afirmamos un hecho extraño (al menos para mí) de que la multiplicación matricial de dos 2 x 2 requiere 7 multiplicaciones. Pregunta: ¿Cómo demostrar que es imposible multiplicar dos matrices de 2 x 2 en 6 multiplicaciones? Tenga en cuenta que las matrices están …

19 algorithms  complexity-theory  lower-bounds 

Según tengo entendido, la prueba de que detener el problema no es computable, este problema no es computable porque si tenemos un programa P (x) que calcula si el programa x se detiene o no, tenemos una paradoja al dar P como entrada al mismo P, que tiene: P (P), …

19 halting-problem 

Consideremos dos gramáticas libres de contexto y y la siguiente pregunta: ¿Es , es decir, son las dos gramáticas equivalentes?sol1G1G_1sol2G2G_2L ( G1) = L ( G2)L(G1)=L(G2)L(G_1) = L(G_2) En general, este problema es indecidible. Sin embargo, si y son gramáticas lineales a la izquierda (o lineales a la derecha), entonces …

19 formal-languages  context-free  formal-grammars 

Los árboles dinámicos desempeñan un papel importante en la resolución de problemas tales como flujos de red, gráficos dinámicos, problemas combinatorios ("Árboles dinámicos en la práctica" de Tarjan y Werneck) y diccionarios recientemente fusionados ("Un diccionario fusionable simple" de Adam Karczmarz), Por árboles dinámicos me refiero a la definición establecida …

19 data-structures  trees  functional-programming 

Recientemente estuve pensando en la validez de la prueba por contradicción. He leído en los últimos días cosas sobre lógica intuicionista y teoremas de Godel para ver si me darían respuestas a mis preguntas. En este momento todavía tengo preguntas pendientes (tal vez relacionadas con el nuevo material que leí) …

19 logic  first-order-logic  propositional-logic  incompleteness 

Es bien sabido que los combinadores S y K forman una base para el cálculo del combinador, en el sentido de que todos los demás combinadores pueden expresarse en términos de ellos. También está la base B, C, K, W de Curry, que tiene la misma propiedad. Debe haber un …

19 lambda-calculus  combinatory-logic 

¿Se requiere que un problema NP-hard sea computable? No lo creo, pero no estoy seguro.

19 complexity-theory  computability  np-hard 

Tengo un registro de base de datos donde algunas transacciones ganan (se confirman antes del bloqueo) y otras pierden (aún no se han comprometido). Aprendimos en clase que las acciones de los perdedores deben deshacerse al revés. ¿Hay alguna razón para hacer esto al revés? ¿Alguien puede dar un ejemplo …

19 concurrency  databases 

Estoy buscando un algoritmo de ordenación para matrices int que no asigne ningún byte que no sea el tamaño de la matriz, y se limita a dos instrucciones: SWAP: intercambia el siguiente índice con el actual; MOVER: mueve el cursor al índice +1 o -1; Es decir, no puede intercambiar …

19 algorithms  sorting  in-place 

Estoy estudiando la complejidad computacional y me preguntaba por qué los problemas NP-Complete (NPC) son una clase importante en absoluto. Me parece obvio por qué estamos interesados ​​en mostrar que un problema NP dado es NP-hard. También entiendo la definición de NPC, y que mostrar un problema de decisión dado …

19 complexity-theory  np-complete 

Tengo el siguiente código de Python. def collatz(n): if n <= 1: return True elif (n%2==0): return collatz(n/2) else: return collatz(3*n+1) ¿Cuál es el tiempo de ejecución de este algoritmo? Tratar: Si denota el tiempo de ejecución de la función . Entonces creo que tengo T( n )T(n)T(n)collatz(n)⎧⎩⎨T( n ) …

19 algorithm-analysis  runtime-analysis  recurrence-relation 

Suponga que está obteniendo un número mmm (usando bits O(logm)O(log⁡m)O(\log m) en codificación binaria). ¿Qué tan rápido puede encontrar (o determinar que tal no existe) ?n,k∈N,1&lt;k≤n2:(nk)=mn,k∈N,1&lt;k≤n2:(nk)=mn,k\in \mathbb N, 1<k\leq\frac{n}{2}:{n \choose k}=m Por ejemplo, dada la entrada , uno puede generar .m=8436285m=8436285m=8436285n=27,k=10n=27,k=10n=27, k=10 Un algoritmo ingenuo para el problema revisaría todos …

19 algorithms  combinatorics 

Estoy tratando de descubrir quién acuñó el término "aprendizaje automático". Una pregunta complementaria es de dónde se cita a Arthur Samuel como definidor del campo del "aprendizaje automático" en 1959 como: El campo de estudio que brinda a las computadoras la capacidad de aprender sin ser programado explícitamente ? Puede …

19 terminology  reference-request  machine-learning  history 

Considere el siguiente problema: Entrada: dos matrices y de longitud , donde está en orden.B n BAAABBBnnnBBB Consulta: ¿ y contienen los mismos elementos (con su multiplicidad)?BAAABBB ¿Cuál es el algoritmo determinista más rápido para este problema? ¿Se puede resolver más rápido que ordenarlos? ¿Se puede resolver este problema en …

19 algorithms  reference-request  sorting