Ciência da Computação

69
Como os computadores controlam o tempo?

Como os computadores conseguem dizer a hora e a data corretas todas as vezes? Sempre que fecho o computador (desligá-lo), todas as conexões e processos internos são interrompidos. Como é que, quando abro o computador novamente, indica a hora exata exata? O computador não desliga completamente...

68
O que é coindução?

Já ouvi falar em indução (estrutural). Ele permite que você construa estruturas finitas a partir de estruturas menores e fornece princípios de prova para raciocinar sobre essas estruturas. A ideia é clara o suficiente. Mas e a coindução? Como funciona? Como alguém pode dizer algo conclusivo...

64
A legislação está completa?

Gostaria de saber se houve algum trabalho relacionado ao código legal da complexidade. Em particular, suponha que tenhamos o problema de decisão "Dado este livro de leis e esse conjunto específico de circunstâncias, o réu é culpado?" A que classe de complexidade pertence? Há resultados que...

62
Algoritmo in-loco para intercalar uma matriz

Você recebe uma matriz de 2n2n2n elementos a1,a2,…,an,b1,b2,…bna1,a2,…,an,b1,b2,…bna_1, a_2, \dots, a_n, b_1, b_2, \dots b_n A tarefa é intercalar a matriz, usando um algoritmo no local para que a matriz resultante pareça b1,a1,b2,a2,…,bn,anb1,a1,b2,a2,…,bn,anb_1, a_1, b_2, a_2, \dots , b_n,...