Ciencias de la Computación

Necesito una definición concisa del "estado de un objeto" en la programación orientada a objetos (para un artículo). Durante aproximadamente medio día busqué un documento que pueda citar sobre este tema, pero no pude encontrar uno. Todos los documentos que encontré eran principalmente documentos generales sobre programación orientada a objetos …

11 terminology  reference-request  programming-languages  object-oriented 

¿"Inductivamente" y "recursivamente" significan muy similares? Por ejemplo, si hay un algoritmo que determina un vector n-dim mediante la determinación de sus primeros componentes k + 1 en función de que se hayan determinado sus primeros componentes k, y se inicializa con el primer componente, ¿llamaría que funciona recursivamente o …

11 algorithms  terminology  recursion  induction 

Me he encontrado con el siguiente problema interesante: dejemos que sean polinomios sobre el campo de los números reales, y supongamos que sus coeficientes son todos enteros (es decir, hay una representación exacta finita de estos polinomios). Si es necesario, podemos suponer que el grado de ambos polinomios es igual. …

11 computability  undecidability  computer-algebra 

Me dijeron que las computadoras cuánticas no son computacionalmente más poderosas que las máquinas de Turing. ¿Podría alguien ayudarme amablemente a dar algunas referencias de literatura que expliquen este hecho?

11 computability  reference-request  turing-machines  quantum-computing 

Para algunos gráficos, los algoritmos de búsqueda DFS y BFS procesan los nodos en el mismo orden exacto, siempre que ambos comiencen en el mismo nodo. Dos ejemplos son gráficos que son caminos y gráficos con forma de estrella (árboles de profundidad con un número arbitrario de hijos). ¿Hay alguna …

11 algorithms  graphs  graph-traversal 

Considere un cuadrado, ABCD. Intuitivamente me pareció que su polinomio cromático es donde hay colores disponibles.λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda Es decir, hay formas en que se puede elegir un color para A, hay formas para elegir los colores para B y D (B y D son adyacentes …

11 graph-theory  colorings 

Programación dinámica con gran cantidad de subproblemas. Así que estoy tratando de resolver este problema desde Interview Street: Caminata de cuadrícula (Puntuación 50 puntos) Está situado en una cuadrícula dimensional en la posición . Las dimensiones de la cuadrícula son ). En un paso, puede caminar un paso adelante o …

11 algorithms  efficiency  dynamic-programming 

Entonces tengo esta pregunta para probar una declaración: O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) ... No necesito saber cómo demostrarlo, solo que en mi opinión esto no tiene sentido y creo que debería ser ese .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Tengo entendido que es el conjunto de todas las funciones que no funcionan peor que mientras que es …

11 asymptotics  mathematical-analysis  landau-notation 

Existe un algoritmo bien conocido de selección de peor de los casos para encontrar el elemento más grande 'ésimo en una matriz de enteros. Se utiliza un medio-de-medianas enfoque para encontrar un buen pivote suficiente, particiones la matriz de entrada en su lugar y luego continúa de forma recursiva en …

11 algorithms  algorithm-analysis  space-complexity  lower-bounds 

Los solucionadores de SAT modernos son muy buenos para resolver muchos ejemplos del mundo real de instancias de SAT. Sin embargo, sabemos cómo generar los difíciles: por ejemplo, use una reducción de factoring a SAT y proporcione los números RSA como entrada. Esto plantea la pregunta: ¿qué pasa si tomo …

11 complexity-theory  satisfiability  sat-solvers  factoring 

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

El algoritmo de Borůvka es uno de los algoritmos estándar para calcular el árbol de expansión mínimo para un gráfico , con .G=(V,E)G=(V,E)G = (V,E)|V|=n,|E|=m|V|=n,|E|=m|V| = n, |E| = m El pseudocódigo es: MST T = empty tree Begin with each vertex as a component While number of components > …

11 algorithms  algorithm-analysis  spanning-trees 

Quiero especificar qué significa dar un álgebra como entrada a un algoritmo y no encontré mucha literatura al respecto. Primero, quiero preguntar si puede recomendar un libro o documento que aborde el tema del análisis de complejidad de álgebras sobre campos y defina claramente el problema de decisión . Después …

11 computability  terminology  decision-problem 

Me gustaría aprender algo sobre este problema de optimización: para números enteros no negativos dados , encuentre una función minimice la expresiónai,j,kai,j,ka_{i,j,k}fff maxk∑iai,f(i),kmaxk∑iai,f(i),k\max_k \sum_i a_{i,f(i),k} Un ejemplo que utilice una formulación diferente podría aclararlo: se le da un conjunto de conjuntos de vectores como { {(3, 0, 0, 0, 0), …

11 algorithms  optimization  linear-programming 

Hay una familia de gráficos aleatorios G(n,p)G(n,p)G(n, p) con nnn nodos ( debido a Gilbert ). Cada borde posible se inserta independientemente en G(n,p)G(n,p)G(n, p) con probabilidad ppp . Sea XkXkX_k el número de camarillas de tamaño kkk en G(n,p)G(n,p)G(n, p) . Sé que , pero ¿cómo lo demuestro?E(Xk)=(nk)⋅p(k2)E(Xk)=(nk)⋅p(k2)\mathbb{E}(X_k)=\tbinom{n}{k}\cdot p^{\tbinom{k}{2}} …

11 graph-theory  combinatorics  probability-theory  random-graphs