Ciencias de la Computación

Las máquinas de Turing y las gramáticas sin restricciones son dos formalismos diferentes que definen los lenguajes RE. Algunos lenguajes RE son decidibles, pero no todos lo son. Podemos definir los idiomas decidibles con las máquinas de Turing diciendo que un idioma es decidible si hay una TM para el …

10 computability  turing-machines  formal-grammars 

Recientemente me encontré con un artículo que describe la técnica de análisis mencionada en el título. Desafortunadamente, la terminología utilizada en dicho documento está más allá de mi comprensión, por lo que he estado tratando de comprender el algoritmo de construcción de manera más intuitiva. Creo que tuve éxito ( …

10 algorithms  formal-grammars  context-free  parsing 

Considere el siguiente problema cuya instancia de entrada es un gráfico simple y un entero natural k .solsolGkkk ¿Existe un conjunto tal que G - S sea ​​bipartito y | S | ≤ k ?S⊆ V( G )S⊆V(sol)S \subseteq V(G)G - Ssol-SG - SEl | SEl | ≤kEl |SEl |≤k|S| …

10 complexity-theory  np-complete  reductions 

Necesito ayuda para calcular la función potencial de un montón máximo para que el extracto máximo se complete en tiempo amortizado. Debo agregar que no entiendo bien el método potencial.O(1)O(1)O(1) Sé que la función de inserción debería "pagar" más para reducir el costo de la extracción, y esto tiene que …

10 data-structures  runtime-analysis  heaps  amortized-analysis 

¿Qué son las funciones anónimas (lambda)? ¿Cuál es la definición formal de una función anónima en un lenguaje de programación funcional? En mis términos simples, cuando estoy programando en esquema / lisp, diría que una función anónima (lambda) es una función que no está vinculada a un identificador. ¿Es eso …

10 logic  programming-languages  lambda-calculus  functional-programming 

maximizar f( x )sujeto a A x = bmaximizar F(X)sujeto a UNX=si\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} dónde F( x ) = ∑i = 1norte1 + x4 4yo( ∑nortei = 1X2yo)2-------------⎷,F(X)=∑yo=1norte1+Xyo4 4(∑yo=1norteXyo2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, y A ∈ R M × N .x =[ x1, x2, . . …

10 optimization 

Tomé un curso sobre compiladores en mis estudios universitarios en el que escribimos un compilador que compila programas fuente en un lenguaje similar a Java de juguete a un lenguaje ensamblador de juguetes (para el cual teníamos un intérprete). En el proyecto hicimos algunas suposiciones sobre la máquina de destino …

10 compilers  computer-architecture 

Este es un problema de la sesión de práctica del Concurso de Programación Universitaria de Polonia 2012 . Aunque pude encontrar las soluciones para el concurso principal, parece que no puedo encontrar la solución para este problema en ninguna parte. El problema es: dado un conjunto de norteNN enteros positivos …

10 algorithms  number-theory 

Realmente me gustaría su ayuda para demostrar lo siguiente. Si entonces .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aquí, es la clase de todos los idiomas que puede decidir la máquina de Turing no determinista en el tiempo polinomial de y es la clase de todos los idiomas que puede decidir una máquina de …

10 time-complexity  complexity-classes  p-vs-np 

Procedente del punto de vista de alguien que está pensando en obtener un doctorado en informática. Tengo problemas para decidir en qué enfocaría mi investigación cuando vaya a hacer mi doctorado. Ver también esta pregunta en academia.SE . Así que estoy pensando que leer / mantenerse al día sobre qué …

10 reference-request 

¿Existen lenguajes de programación (o lógica) que puedan implementar (o expresar) una función si y solo si es una función biyectiva computable? ff:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Tomo curso sobre Complejidad Computacional. Mi problema es que no entiendo el método de relativización . Intenté encontrar un poco de intuición en muchos libros de texto, desafortunadamente, hasta ahora sin éxito. Apreciaré si alguien pudiera arrojar luz sobre este tema para poder continuar por mí mismo. Pocas oraciones siguientes …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Supongamos que tengo un gráfico dirigido con pesos de borde extraídos del rango [1,…,K][1,…,K][1,\dots, K] donde KKK es constante. Si estoy tratando de encontrar la ruta más corta utilizando el algoritmo de Dijkstra , ¿cómo puedo modificar la estructura del algoritmo / datos y mejorar la complejidad del tiempo a …

10 algorithms  data-structures  shortest-path  weighted-graphs 

¿Cómo demuestra que la altura esperada de un árbol de búsqueda binario construido aleatoriamente con nnn nodos es O(logn)O(log⁡n)O(\log n) ? Hay una prueba en CLRS Introducción a los algoritmos (capítulo 12.4), pero no la entiendo.

10 data-structures  algorithm-analysis  binary-trees  search-trees  average-case 

Tengo un problema que se puede reducir a un problema de asignación. (En una pregunta anterior descubrí cómo hacerlo). Lo que significa que tenemos un conjunto de agentes y un conjunto de tareas, así como una función de costo . Necesitamos encontrar una asignación para que el costo total sea …

10 algorithms  graph-theory  assignment-problem