Ciencias de la Computación

Queremos resolver un problema de flujo de costo mínimo con un algoritmo genérico de cancelación de ciclo negativo. Es decir, comenzamos con un flujo válido al azar, y luego no elegimos ningún ciclo negativo "bueno", como los ciclos de costo promedio mínimo, sino que utilizamos Bellman-Ford para descubrir un ciclo …

9 algorithms  graph-theory  algorithm-analysis  runtime-analysis  network-flow 

Supongamos que queremos unir dos relaciones en un predicado. ¿Está esto en Carolina del Norte? Me doy cuenta de que una prueba de que no está en Carolina del Norte equivaldría a una prueba de que PAGS≠ NCPAGS≠norteCP\not=NC , por lo que aceptaría evidencia de que es un problema abierto …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Dado un lenguaje , ¿cómo puedo decir directamente, sin mirar las reglas de producción, que este lenguaje no es regular?L = { anortesinorteCnorte}L={anbncn} L= \{a^n b^n c^n\} Podría usar el lema de bombeo, pero algunos chicos dicen simplemente mirando la gramática que este no es uno normal. ¿Como es posible?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Es bien sabido que cada función booleana puede realizarse utilizando un circuito booleano de profundidad 2 (sobre las variables, su negación y sus valores constantes) que contiene compuertas AND en el primer nivel y una compuerta OR simple en el nivel superior; esto es simplemente la representación DNF de .ff:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to …

9 complexity-theory  logic  circuits 

Es un ejercicio trivial en autómatas finitos para demostrar que no existe un algoritmo que pueda detectar todos los virus, sin embargo, hay muchas compañías de software que venden software antivirus. ¿Hay alguna parte de CS que se ocupe de Virus y Anti Virus? PD: No estoy preguntando sobre la …

9 reference-request  security 

Me gustaría usar su ayuda con el siguiente problema: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Muestre que .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Sé que para probar , es suficiente encontrar un lenguaje tal que y mostrar que hay una reducción de a .L∉REL∉REL\notin REL′L′L'L′∉REL′∉REL'\notin …

9 formal-languages  computability  context-free  turing-machines 

¿Qué algoritmos de aprendizaje automático (además de SVM) utilizan el principio de minimización de riesgos estructurales ?

9 reference-request  machine-learning 

Dados dos conjuntos y cada uno con puntos disjuntos en el plano, calcule la distancia más corta entre un punto en y un punto en , es decir, .UNAAAsiBBnortennUNAAAsiBBmin { dist ( p , q ) | p ∈ A ∧ q ∈ B } min { dist(p,q) | p∈A∧q∈B …

9 algorithms  computational-geometry 

Al configurar un punto de acceso y seleccionar WPA2, uno debe ingresar manualmente una clave precompartida (una contraseña), PSK, tanto en el AP como en la STA. Ambas partes, AP y STA, deben autenticarse mutuamente. Pero tienen que hacerlo sin revelar el PSK. Ambos tienen que demostrar a la otra …

9 cryptography  security  authentication 

Estoy trabajando en un sistema de clasificación que clasificará las entradas en función de los votos emitidos durante un período de tiempo. Estoy buscando un algoritmo que calcule un puntaje que sea como un promedio, sin embargo, me gustaría favorecer puntajes más nuevos sobre los más antiguos. Estaba pensando en …

9 algorithms  data-mining 

He decidido leer los conceptos de sistemas operativos de Silberschatz, Galvin Gagne (octava edición) durante el verano. Llegué a un tema que me confunde: las interrupciones y su papel en relación con los sistemas operativos. El texto dice que un sistema operativo comenzará un primer proceso como "init" y luego …

9 operating-systems  computer-architecture  process-scheduling 

Estoy atrapado resolviendo el siguiente ejercicio: Argumenta que si tiene contexto y es regular, entonces (es decir, el cociente correcto ) no tiene contexto.R L / R = { w ∣ ∃ x ∈ RLLLRRRL / R = { w ∣ ∃ x ∈ RS tw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Me dan un ejercicio que desafortunadamente no tuve éxito por mí mismo. Hay un conjunto de rectángulos y un rectángulo . Usando el algoritmo de barrido plano, determine si está completamente cubierto por el conjunto de .R1..RnR1..RnR_{1}..R_{n}R0R0R_{0}R0R0R_{0}R1..RnR1..RnR_{1}..R_{n} Para obtener más detalles sobre el principio de los algoritmos de línea de …

9 algorithms  computational-geometry 

Estoy estudiando Bootstrapping de Red Dragon Book Compilers y encontré que el diagrama T para el compilador cruzado es bastante confuso. No puedo entender lo que significa "Ejecutar compilador1 a través de compilador2". ¿Alguien puede proporcionar una mejor explicación, analogía o un ejemplo para relacionarse con algún compilador del mundo …

9 compilers  terminology 

Estoy escribiendo un programa, resolviendo el problema del cartero chino (también conocido como problema de inspección de ruta) en un diagrama no dirigido y actualmente enfrento el problema para encontrar los mejores bordes adicionales para conectar los nodos con un grado impar, para poder calcular un circuito euleriano. Puede haber …

9 algorithms  graph-theory  graphs