Ciencias de la Computación

Me he encontrado con esa pregunta: "Dé ejemplos de dos idiomas regulares en los que su unión no genere un idioma regular". Esto es bastante impactante para mí porque creo que los idiomas regulares están cerrados bajo unión. Lo que significa para mí que si tomo dos idiomas regulares y …

12 formal-languages  regular-languages  closure-properties 

Perdona la ingenuidad que será obvia en la forma en que hago esta pregunta, así como el hecho de que la estoy haciendo. Los matemáticos suelen usar ya que es la base más simple / mejor en teoría (debido al cálculo). Pero las computadoras parecen hacer todo en binario, entonces, …

12 binary-arithmetic  numerical-analysis  numeral-representations 

En términos de tiempo de ejecución asintótico en el peor de los casos, ¿qué problema de NP completo tiene el algoritmo (exacto) más rápido conocido y cuál es el algoritmo? ¿Hay algo conocido que sea más rápido que ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

El problema del árbol de expansión limitado por es donde tienes un gráfico G ( V , E ) no dirigido y tienes que decidir si tiene un árbol de expansión tal que cada vértice tenga un grado de k como máximo .kkkG ( V, E)G(V,E)G(V,E)kkk Me doy cuenta de …

12 spanning-trees 

Solíamos tener computadoras analógicas hace varias décadas. Las computadoras modernas son digitales. ¿Qué pasa con las computadoras Quantum? ¿Es analógico o digital? Estoy preguntando esto ya que qubit puede ser muchas cosas al mismo tiempo.

12 quantum-computing 

Sé que esto puede sonar un poco fuera de la caja, de hecho, solía pensar siempre dentro de la caja, pero recientemente he estado pensando, posiblemente porque la informática proporciona un alto grado de libertad, sobre formas de diseñar programas que no sean los que se enseñan en la universidad. …

12 algorithms 

Tengo un conjunto de puntos , y tengo la distancia entre cada punto . Estas distancias son euclidianas, pero los puntos están realmente en un espacio de características.CCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) De los puntos quiero elegir un subconjunto de puntos. Llame a este subconjunto . Quiero elegir este subconjunto para maximizar la distancia …

12 optimization 

En primer lugar, me gustaría decir que mi texto a continuación puede contener errores, así que siéntase libre de señalar cualquier error en mi formulación de la pregunta. Considere un cálculo lambda sin tipo con booleanos y sentencias if cuyos términos están dados por esta sintaxis: t ::= v | …

12 programming-languages  lambda-calculus 

Un comentario sobre tex.SE me hizo preguntarme. La declaración es esencialmente: Si puedo escribir un compilador para el lenguaje X en el lenguaje X, entonces X está completo de Turing. En términos de computabilidad y lenguajes formales, esto es: Si decide L ⊆ L T M y ⟨ M ⟩ …

12 computability  turing-completeness 

Las recolecciones de basura deben visitar todos los objetos que están vivos, para encontrar la memoria que se pueda recuperar. (Tener muchas generaciones solo retrasa esto un poco) En igualdad de condiciones, es claramente mejor visitar primero el objeto que ya está paginado en la RAM, antes de paginar otro …

12 memory-management  paging  garbage-collection 

Aquí está el problema: Demuestre que las máquinas de Turing de una sola cinta que no pueden escribir en la parte de la cinta que contiene la cadena de entrada reconocen solo los idiomas normales. Mi idea es demostrar que esta TM en particular es equivalente a una DFA. Usar …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Estoy tratando de resolver un problema SAT de 25k cláusulas 5k variables. Como ha estado funcionando durante una hora (precosat) y me gustaría resolver los más grandes después, estoy buscando un SAT-Solver multinúcleo. Como parece haber muchos solucionadores SAT, estoy bastante perdido. ¿Alguien podría señalarme el mejor para mi caso? …

12 algorithms  reference-request  parallel-computing  sat-solvers 

¿La completitud de coNP implica dureza NP? En particular, tengo un problema que he demostrado que es completo para coNP. ¿Puedo afirmar que es NP-hard? Me doy cuenta de que puedo reclamar dureza de coNP, pero no estoy seguro de si esa terminología es estándar. Me siento cómodo con la …

12 complexity-theory  np-hard 

Estoy usando redes neuronales para predecir una serie temporal. La pregunta que estoy enfrentando ahora es cómo codifico la fecha / hora / número de serie. de cada conjunto de entrada como entrada a la red neuronal? ¿Debo usar 1 de la codificación C (utilizada para codificar categorías) como se …

12 machine-learning  artificial-intelligence  neural-networks 

Se nos da una matriz con todo a [ i ] > 0 .a[1…n]a[1…n]a[1 \ldots n]a[i]>0a[i]>0a[i]>0 Ahora necesitamos encontrar cuántas sumas distintas se pueden formar a partir de sus submatrices (donde una submatriz es un rango contiguo de la matriz, es decir, para alguna j , k , la suma …

12 arrays  substrings  suffix-array