Ciencias de la Computación

¿Qué son los dispositivos y sus interconexiones utilizados junto con los procesadores cuánticos? ¿Son compatibles con dispositivos de hardware como caché, RAM, discos de computadoras actuales?

14 computer-architecture  quantum-computing 

Supongamos que tenemos un conjunto de codificadores.S= { a1, una2, una3, ... , unnorte}S={un1,un2,un3,...,unnorte}S = \{ a_1,a_2,a_3,\ldots , a_N \}nortenorteN Cada codificador tiene una calificación de y el número de medallas de oro , que habían ganado hasta ahora.RyoRyoR_imiyomiyoE_i Una empresa de software quiere contratar exactamente tres codificadores para desarrollar …

14 algorithms  algorithm-design 

El algoritmo de selección aleatoria es el siguiente: Entrada: una matriz de (distintos, por simplicidad) números y un númeroAAAnnnk∈[n]k∈[n]k\in [n] Salida: El " elemento de rango " de (es decir, el que está en la posición si fue ordenado)kkkAAAkkkAAA Método: Si hay un elemento en , devuélvaloAAA Seleccione un elemento …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Quiero crear una cápsula de tiempo digital que permanecerá ilegible durante un período de tiempo y luego se volverá legible. No quiero confiar en ningún servicio externo para, por ejemplo, mantener la clave secreta y luego revelarla en el momento requerido. es posible? Si no, ¿es posible algún tipo de …

14 cryptography  encryption  digital-preservation 

Sabemos que st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivity está en NLNL\mathsf{NL} según el teorema del teorema de Immerman – Szelepcsényi y dado que st-connectivityst-connectivityst\text{-}connectivity es NL-hardNL-hard\mathsf{NL\text{-}hard} por lo tanto es un espacio logarítmico de muchos reductibles a s t - c o n n e c t i v i t y . ¿Pero hay …

14 complexity-theory  reductions  space-complexity 

Quiero establecer que esto es parte de mi tarea para un curso que estoy tomando actualmente. Estoy buscando ayuda para proceder, NO UNA RESPUESTA. Esta es la pregunta en cuestión: Una estrella de 5 puntas en un gráfico no dirigido es una camarilla de 5. Muestre esa ESTRELLA DE 5 …

14 complexity-theory  time-complexity 

Estoy interesado en el cálculo de la nnn -ésima potencia de un n×nn×nn\times n matriz AAA . Supongamos que tenemos un algoritmo para la multiplicación de matrices que se ejecuta en tiempo O(M(n))O(M(n))\mathcal{O}(M(n)) . Entonces, uno puede calcular fácilmente AnAnA^n en el tiempo O(M(n)log(n))O(M(n)log⁡(n))\mathcal{O}(M(n)\log(n)) . ¿Es posible resolver este problema …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Actualmente estoy leyendo sobre aprendizaje automático y me preguntaba cómo aplicarlo para jugar Connect Four . Mi intento actual es un clasificador multiclase simple que utiliza un modelo de función sigmoide y el método uno contra todos. En mi opinión, las características de entrada deben ser el estado (disco del …

14 machine-learning  board-games 

Supongamos que tenemos un lenguaje simple que consiste en los términos: truetrue\mathtt{true} falsefalse\mathtt{false} si son términos, entonces también lo es i ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Ahora asuma las siguientes reglas de evaluación lógica: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: …

14 logic  semantics  proof-techniques  term-rewriting 

Estoy tratando de demostrar que un árbol binario con nodos tiene como máximo hojas. ¿Cómo haría para hacer esto con inducción?nnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Para las personas que seguían la pregunta original sobre montones, se ha movido aquí .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Los algoritmos y las estructuras de datos ajenos a la memoria caché son algo bastante nuevo, presentado por Frigo et al. en algoritmos ajenos a la memoria caché, 1999 . La tesis de Prokop del mismo año también presenta las primeras ideas. El artículo de Frigo et al. presentar algunos …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Estaba buscando problemas abiertos interesantes y fáciles de expresar en computabilidad (comprensible para estudiantes de pregrado que toman su primer curso en computabilidad) para dar ejemplos de problemas abiertos (y obviamente quiero que los estudiantes puedan entender el problema sin necesitar demasiados nuevos definiciones y también ser interesante para ellos). …

14 computability 

Estaba explicando el famoso algoritmo determinista de selección de tiempo lineal ( algoritmo de mediana de medianas) a un amigo. La recurrencia en este algoritmo (aunque es muy simple) es bastante sofisticada. Hay dos llamadas recursivas, cada una con diferentes parámetros. Estaba tratando de encontrar otros ejemplos de algoritmos recursivos …

14 algorithms  recursion 

El problema del ancho de banda mínimo es encontrar un orden de los nodos del gráfico en la línea entera que minimiza la distancia más grande entre dos nodos adyacentes. El problema de decisión es NP-completo incluso para árboles binarios. Resultados de complejidad para la minimización del ancho de banda. …

14 complexity-theory  np-complete  reference-request  approximation 

Deje que GGG sea ​​una gramática libre de contexto. Una serie de terminales y no terminales de GGG se dice que es una forma de frase de GGG si se puede obtener mediante la aplicación de las producciones de GGG cero o más veces al símbolo inicial de SSS . …

14 formal-languages  context-free  formal-grammars  closure-properties