Ciencias de la Computación

Estoy a punto de implementar un lenguaje de dominio específico para la representación de convenciones de aprendizaje social. Parte de la implementación es una descripción formal de un lenguaje: su 'cálculo', símbolos y expresiones lógicas. Mi enfoque sería describir el lenguaje describiendo su gramática, pero también hay conceptos como relaciones, …

8 formal-languages  programming-languages  semantics 

¿Hay algún libro o tutorial que nos enseñe cómo aplicar eficientemente los algoritmos comunes (clasificación, búsqueda, etc.) en datos grandes (es decir, datos que no se pueden cargar completamente en la memoria principal) y cómo aplicar esos algoritmos de manera eficiente teniendo en cuenta el costo de bloquear la transferencia …

8 algorithms  efficiency  memory-management  big-data 

Estoy estudiando para un examen de IA y estoy buscando una mejor manera de resolver el siguiente problema: El gráfico muestra un problema de clasificación en el cuadrado de la unidad. [ 0 , 1]2[0 0,1]2[0,1]^2, donde la Clase A se denota por el área gris en la figura (sin …

8 artificial-intelligence  neural-networks 

Muestra esa L = {unanorte2El | n≥0}L={unanorte2El |norte≥0 0}L=\{a^{n^2} | n \geq 0\} no es regular Hola chicos. Estoy tomando una clase de CS y estas cosas son realmente nuevas para mí, así que tengan paciencia conmigo. Traté de mirar si obtengo alguna contradicción al usar el lema de bombeo …

8 regular-languages  pumping-lemma 

No se cree que la satisfacción general (con algunas excepciones, como las cláusulas Horn) tenga una solución algorítmica. Sin embargo, el siguiente algoritmo parece ser una solución para la satisfacción general. ¿Cuál es exactamente la falla con el siguiente algoritmo? Sea un conjunto vacío que contendrá todas las variables que …

8 algorithms  logic  satisfiability  constraint-programming 

Estoy buscando un texto de referencia sobre teoría gráfica aplicada y algoritmos gráficos. ¿Existe un texto estándar utilizado en la mayoría de los programas informáticos? Si no, ¿cuáles son los textos más respetados en el campo? Tengo Cormen et al.

8 algorithms  graph-theory  reference-request  education  books 

No estoy seguro de verlo. Por lo que entiendo, los bordes y los vértices son complementos entre sí y es bastante sorprendente que exista esta diferencia. ¿Hay una manera buena / rápida / fácil de ver que, de hecho, encontrar un camino hamiltoniano debería ser mucho más difícil que encontrar …

8 complexity-theory  graph-theory  np-complete  intuition 

Es el idioma L = { a , b}∗∖ { (unanortesinorte)norte∣ n ≥ 1 }L={una,si}∗∖{(unanortesinorte)norte∣norte≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} sin contexto? Creo que la respuesta es que no es una CFL, pero no puedo probarlo con el lema de Ogden o el lema de Pumping.

8 formal-languages  context-free  pumping-lemma 

Tomamos la secuencia de enteros de 111 a nortenorten, y los empujamos a una pila uno por uno en orden. Entre cada inserción, podemos elegir hacer estallar cualquier cantidad de elementos de la pila (desde 0 hasta el tamaño actual de la pila). Cada vez que saquemos un valor de …

8 algorithms  stacks 

Mark vive en un pequeño país poblado por personas que tienden a pensar demasiado. Un día, el rey del país decide rediseñar la moneda del país para que el cambio sea más eficiente. El rey quiere minimizar la cantidad esperada de monedas necesarias para pagar exactamente cualquier cantidad hasta (pero …

8 algorithms  optimization  combinatorics  integers 

Mi configuración es algo como esto: tengo una secuencia de conjuntos de enteros Ci(1≤i≤n)Ci(1≤i≤n)C_i (1\leq i\leq n), con |Ci||Ci||C_i| relativamente pequeño - del orden de cuatro o cinco artículos para todos iii. Quiero elegir una secuenciaxi(1≤i≤n)xi(1≤i≤n)x_i (1\leq i\leq n) con cada xi∈Cixi∈Cix_i\in C_i tal que la variación total (ya sea …

8 algorithms  complexity-theory  optimization 

Dada una secuencia de números naturales, puede agregar cualquier número natural a cualquier número en la secuencia de modo que su xor se convierta en cero. Mi objetivo es minimizar la suma de los números agregados. Considere los siguientes ejemplos: por 1,31,31, 3 la respuesta es 222; agregando222 a 111obtenemos …

8 algorithms  integers  xor 

Supongamos que se nos da una lista de puntos, cuyos e Las coordenadas son todos los no-negativo. Supongamos también que no hay puntos duplicados. Solo podemos ir del punto al punto si y . La pregunta es: dados estos puntos, ¿cuál es el número máximo de puntos que podemos alcanzar …

8 computational-geometry  dynamic-programming  recurrence-relation 

En Cormen et. al., Introducción a los algoritmos (3ª ed.), no obtengo una línea en la prueba del Lema 26.1 que establece que el flujo aumentadof↑f′f↑f′f\uparrow f' es un flujo en GGG y es st |f↑f′|=|f|+|f′||f↑f′|=|f|+|f′||f\uparrow f'| =|f|+|f'| (esto es pp. 717-718). Mi confusión: cuando discuten la conservación del flujo …

8 algorithms  network-flow 

COQ es un probador de teoremas interactivo que utiliza el cálculo de construcciones inductivas, es decir, se basa en gran medida en tipos inductivos. Utilizándolos, las estructuras discretas como números naturales, números racionales, gráficos, gramáticas, semánticas, etc. se representan de manera muy concisa. Sin embargo, desde que me gustó el …

8 probability-theory  coq  real-numbers  uncountability