Ciencias de la Computación

Como establece la red de hoja perenne The Physics of Santa , es físicamente imposible para Santa obtener un regalo para todos los niños del planeta. La planificación de rutas no ayudará mucho allí, pero ¿puede un buen algoritmo de planificación al menos asegurarse de que cada niño reciba un …

8 complexity-theory  graphs  scheduling 

Estoy leyendo un artículo que se refiere al límite cuando n va al infinito de la entropía de Rényi. Lo define comoHn(X)=11−nlog2(∑i=1Npni)Hn(X)=11−nlog2⁡(∑i=1Npin){{H}_{n}}\left( X \right)=\dfrac{1}{1-n} \log_2 \left( \sum\limits_{i=1}^{N}{p_{i}^{n}} \right). Luego dice que el límite comon→∞n→∞n\to \infty es . Vi otro artículo que usa el máximo de lugar de . Creo que …

8 information-theory  entropy 

A partir de, las pruebas por el método probabilístico a menudo se dice que no son constructivas. Sin embargo, una prueba por método probabilístico de hecho diseña un algoritmo aleatorio y lo usa para probar la existencia. Citado de p103 de Algoritmos aleatorizados por Rajeev Motwani, Prabhakar Raghavan : Podríamos …

8 algorithms  terminology  randomized-algorithms 

He estado tratando de implementar el algoritmo de Brzozowski, pero acabo de descubrir que crea autómatas subóptimos para una determinada clase de entradas, con un estado más de lo que realmente se necesita en el resultado. Puedo mostrarlo en un autómata trivial: a b a b a b a b …

8 algorithms  automata  finite-automata 

Digamos que encontré un algoritmo de aproximación de 2 para un problema determinado y quiero mostrar que el análisis es estricto. ¿Necesito ahora encontrar un ejemplo de tamaño genérico o es suficiente para mostrar que tengo un ejemplo de tamaño para el cual el algoritmo produce ?nnn1010102OPT2OPT2OPT

8 algorithms  proof-techniques  approximation 

Tengo un bosque, es decir, nodos con bordes dirigidos y sin ciclos (dirigidos o no dirigidos). Defino la altura de un vértice como 0 si no tiene bordes entrantes, o el número máximo de bordes para atravesar en reversa para alcanzar un vértice de altura 0. vvv También sé que …

8 algorithms  trees  graph-traversal 

Dado un gráfico dirigido y dos vértices distintos, S y T, ¿existe un algoritmo de tiempo polinómico que encuentre cada vértice que esté en al menos un camino simple de S a T? No es difícil encontrar todos los vértices que sean sucesores de S y predecesores de T, pero …

8 algorithms  graph-theory  graphs 

La fuente de esta pregunta proviene de un curso de pregrado que estoy tomando, que cubre una introducción al análisis de algoritmos. Esto no es para la tarea, sino más bien una pregunta formulada en CLRS. Tiene una máquina lenta que funciona con MIPS y una máquina rápida que funciona …

8 algorithms  algorithm-analysis  runtime-analysis  mathematical-analysis 

¿Qué significa cuando un argumento de una función se llama argumento ficticio ? No he encontrado este término fuera de Fortran, ¿es un término general en informática? ¿Cuáles serían ejemplos de argumentos pasados ​​como ficticios y no pasados ​​como ficticios? Encontré esta definición , que no estoy seguro de entender, …

8 terminology  programming-languages  functional-programming 

Digamos que tengo un gráficocon aristas. Quiero ejecutar BFS en que tiene un tiempo de ejecución de .El | G |El |solEl ||G|El | miEl | =O(V2)El |miEl |=O(V2)|E|=O(V^2)solsolGO ( V+ E)O(V+mi)O(V+E) Se siente natural escribir que el tiempo de ejecución en este gráfico sería y luego simplificar a .O …

8 terminology  asymptotics  landau-notation 

Para el método de ramificación y corte, es esencial conocer muchas facetas de los politopos generados por el problema. Sin embargo, actualmente es uno de los problemas más difíciles calcular todas las facetas de dichos politopos a medida que crecen rápidamente. Para un problema de optimización arbitrario, el politopo utilizado …

8 algorithms  optimization  linear-programming  mathematical-programming  traveling-salesman 

Digamos FFF es un oráculo para un problema en N PNP\mathbb{NP}, pero no puedo llamar a este oráculo con ninguna instancia de entrada. En cambio, cada vez que llamoFFFMe devuelven una instancia y solución al azar. Por lo tanto, sé queFFF de hecho es capaz de resolver arbitrarias N PNP\mathbb{NP}-problemas …

8 complexity-theory  np-complete 

Si suponemos que comenzamos con una instancia de -SAT e intentamos convertir el problema en una instancia de -SAT, donde hay literales por cláusula, ¿podemos garantizar una reducción en el cantidad total de cláusulas?kkk(k+m)(k+m)(k+m)(k+m)(k+m)(k+m) Después de publicar me di cuenta de que no podemos garantizar que se pueda reducir el …

8 complexity-theory  logic  satisfiability 

Quisiera su ayuda para probar que el lenguaje es decidible iff .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Si , entiendo que es el lenguaje de las máquinas de Turing vacías. Entonces es un problema de , pero eso no es lo que se pregunta, así que me …

8 computability  undecidability  p-vs-np 

Digamos que tiene entradas booleanas y se le da un umbral . Necesita construir un circuito booleano que se evalúe como verdadero si al menos de las entradas son verdaderas. Puede usar las compuertas AND, OR, NOT o XOR (restringido a fan-in two, con arbitrario fan-out). Asintóticamente, ¿qué tan pequeño …

8 complexity-theory  circuits