Ciencias de la Computación

Imagine que tengo un pedido en un grupo de elementos como este: Donde una flecha X← YX←YX \leftarrow Y medio X&lt; YX&lt;YX < Y. También es transitivo:( X&lt; Y) ∧ ( Y&lt; Z)⟹( X&lt; Z)(X&lt;Y)∧(Y&lt;Z)⟹(X&lt;Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right). Para responder eficientemente consultas como …

8 data-structures  graphs  linked-lists  partial-order  order-theory 

Considera este problema: Dado un gráfico no dirigido , encuentre tal que:G=(V,E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V', E') G′G′G' es un subgrafo inducido deGGG G′G′G' no tiene 3 camarillas |V′||V′||V'|es máximo Por lo tanto, se debe eliminar el menor número de vértices de para que se eliminen las 3 camarillas.GGG …

8 algorithms  graph-theory  graphs  optimization 

Deje que sea ​​un lenguaje regular. Pruebalo:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} son regulares y: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} No es regular. Me parece muy difícil. Supongo que 1-3 son similares (pero puedo estar …

8 regular-languages 

Tengo un pequeño problema para entender la prueba del Teorema de la Jerarquía del Tiempo (Hennie y Stearns, 1966) que asegura la existencia de un lenguaje aceptable en pero no aceptable en para cualquier función , de modo que sea ​​construible en el tiempo yU( n )U(norte)U(n)T( n )T(norte)T(n)T( n …

8 complexity-theory  turing-machines  simulation 

¿Nuestra PC funciona como máquina de Turing? El modelo de una máquina de Turing consiste en una cinta de memoria infinita, que significa estados infinitos. Pero supongamos que si nuestra PC tiene 128 MB de memoria y 30 GB de disco, tendría 256 ^ 30128000000 estados y, por lo tanto, …

8 complexity-theory  computability  turing-machines  automata 

Por isomorfismo gráfico, sabemos que dos gráficos A y B son isomorfos si hay una matriz de permutación P tal que A = P× B ×PAGS- 1UNA=PAGS×si×PAGS-1A = P \times B \times P^{-1} Entonces, para resolver el problema, si dos gráficos son isomorfos, necesitamos encontrar una matriz de permutación de …

8 algorithms  graphs  cryptography  graph-isomorphism 

Dado un conjunto de n trabajos con [hora de inicio, hora de finalización, costo], encuentre un subconjunto para que no se superpongan 2 trabajos y el costo sea máximo. Ahora no estoy seguro si un algoritmo codicioso hará el truco. Es decir, ordenar por costo y siempre tomar el siguiente …

8 algorithms  scheduling  greedy-algorithms  knapsack-problems 

Si tiene un lenguaje L, sin hacer ninguna prueba, ¿hay alguna manera de saber si es reconocible, co-reconocible o decidible? Básicamente, cualquier pista o truco que se pueda usar para contar. ¿O tal vez los patrones comunes a buscar para saber de qué tipo es?

8 computability  undecidability  intuition 

Tradicionalmente, la programación lineal se utiliza para encontrar la solución óptima para un conjunto de restricciones, variables y un objetivo (todos descritos como relaciones lineales). A veces, cuando el objetivo es paralelo a una restricción, hay infinitas o muchas soluciones óptimas igualmente buenas. No estoy preguntando sobre este último caso. …

8 optimization  linear-programming 

Por lo que he entendido: Un Flip Flop es un pestillo con reloj, es decir, flip flop = pestillo + reloj Latch comprueba continuamente las entradas y cambia la salida cada vez que hay un cambio en la entrada Flip Flop también verifica continuamente la entrada, pero cambia el tiempo …

8 computer-architecture  sequential-circuit  digital-circuits 

Es el idioma L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sin contexto? Supongo que no está libre de contexto porque parece demasiado complicado para que un PDA decida si 2 números son primos o no. …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Cuando se afirma el famoso teorema de Savitch, a menudo se ve el requisito de que sea ​​espacialmente construible (curiosamente, se omite en Wikipedia). Mi simple pregunta es: ¿Por qué necesitamos esto? Entiendo el requisito de que esté en , lo que queda claro en la prueba. Pero ninguna prueba …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Cerrada . Esta pregunta necesita estar más centrada . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un problema solo editando esta publicación . Cerrado hace 6 años . Wiki tiene una buena hoja de trucos, pero no implica que no. …

8 algorithm-analysis  asymptotics  runtime-analysis  sorting  searching 

He estado leyendo sobre algoritmos para encontrar los componentes fuertemente conectados en un gráfico dirigido . Se considera buscar dos DFS y la segunda etapa se transpone el gráfico original .G = ( V, E)sol=(V,mi)G=(V,E)solTsolTG^T El algoritmo es el siguiente: Ejecute DFS en (comenzando en un vértice de inicio arbitrario), …

8 algorithms  graphs  graph-traversal 

En algunas ocasiones he entrenado redes neuronales (redes de propagación hacia atrás) con algunos conjuntos de datos bastante complicados (posiciones de backgammon y OCR). Al hacer esto, parece que gran parte del trabajo implica probar diferentes configuraciones de las redes, para encontrar la configuración óptima para el aprendizaje. A menudo …

8 machine-learning  neural-networks  learning-theory