Mas quão mais difícil? Em 1962, o matemático Tibor Radó inventou uma nova maneira de explorar essa pergunta através do que ele chamou O jogo de castores ocupados. Para jogar, comece escolhendo um número específico de regras – chame esse número n. Seu objetivo é encontrar o nMáquina de Turing RULE que percorre mais tempo antes de eventualmente parar. Esta máquina é chamada de castor movimentado e o número de castores ocupados, BB (n), é o número de etapas necessárias.
Em princípio, se você quiser encontrar o castor ocupado para qualquer nvocê só precisa fazer algumas coisas. Primeiro, liste tudo o possível nMáquinas de Turing RULE. Em seguida, use um programa de computador para simular a execução de cada máquina. Procure sinais reveladores de que as máquinas nunca param – por exemplo, muitas máquinas cairão em loops de repetição infinitos. Descarte todas essas máquinas que não haltigam. Por fim, registre quantas etapas todas as outras máquinas tomaram antes de interromper. Aquele com o tempo de execução mais longo é o seu castor ocupado.
Na prática, isso fica complicado. Para iniciantes, o número de máquinas possíveis cresce rapidamente a cada nova regra. Analisando todos eles individualmente seria inútil, então você precisará escrever um programa de computador personalizado para classificar e descartar máquinas. Algumas máquinas são fáceis de classificar: elas param rapidamente ou caem em loops infinitos facilmente identificáveis. Mas outros correm por um longo tempo sem exibir nenhum padrão óbvio. Para essas máquinas, o problema de interrupção merece sua reputação temível.
Quanto mais regras você adicionar, mais poder de computação você precisa. Mas a força bruta não é suficiente. Algumas máquinas correm por tanto tempo antes de interromper que simular -as passo a passo é impossível. Você precisa de truques matemáticos inteligentes para medir os tempos de execução.
“As melhorias tecnológicas definitivamente ajudam”, disse Shawn Ligockium engenheiro de software e caçador de castores ocupados de longa data. “Mas eles só ajudam até agora.”
Fim de uma era
Os caçadores de castores ocupados começaram a se afastar no problema do BB (6) a sério nas décadas de 1990 e 2000, durante um impasse na caça BB (5). Entre eles estavam Shawn Ligocki e seu pai, Terry, um matemático aplicado que realizou seu programa de busca nas horas de folga em computadores poderosos no Laboratório Nacional de Lawrence Berkeley. Em 2007, eles encontraram uma máquina de Turing de seis regra que quebrou o recorde pelo tempo de execução mais longo: o número de etapas que tomou antes da interrupção tinha quase 3.000 dígitos. Esse é um número colossal por qualquer medida comum. Mas não é muito grande para escrever. Na fonte de 12 pontos, esses 3.000 dígitos cobrirão uma única folha de papel.
Três anos depois, um estudante de ciência da computação eslovaco de graduação chamado Pavel Kropitz decidiu enfrentar o BB (6) Hunt como um projeto de tese sênior. Ele escreveu seu próprio programa de busca e o criou para executar em segundo plano em uma rede de 30 computadores em um laboratório universitário. Depois de um mês, ele encontrou uma máquina que durou muito mais do que a descoberta pelos Ligockis – um novo “campeão”, na linguagem de caçadores de castores ocupados.
“Eu tive sorte, porque as pessoas no laboratório já estavam reclamando do meu uso da CPU e tive que reduzir um pouco”, escreveu Kropitz em uma troca de mensagens diretas sobre o Ocupado Beaver Challenge Discord Server. Depois de mais um mês de pesquisa, ele quebrou seu próprio recorde com uma máquina cujo tempo de execução tinha mais de 30.000 dígitos – o suficiente para preencher cerca de 10 páginas.
11 Comentários
O artigo diz que o conteúdo não está disponível, então não consigo comentar sobre o programa mais antigo.
The article mentions looking for the oldest simple computer program, right? I’m pretty sure BASIC was way back then, like 1964 or something.
Esse texto de Radó é legal, mas a parte sobre simular todas as máquinas até que elas parem soa como um problema que ninguém consegue resolver na prática. Se você está tentando encontrar o castor ocupado para valores maiores de n, talvez queira tentar usar o link lexington weather radar para ver se há alguma abordagem mais eficiente além da simulação direta.
O texto sobre o “jogo dos castores ocupados” de Radó é bem técnico demais para quem só quer entender o BB(n), mas a ideia de filtrar máquinas que não param é exatamente o que concrete calculator sugere como solução.
O artigo explica o jogo de castores ocupados de Radó, mas para n=4 você precisa de supercomputadores, então a parte sobre simular tudo sozinha é impossível. court game online
Essa ideia do “castor ocupado” é legal pra quem gosta de problemas computacionais, mas simular máquinas de Turing até o limite é quase impossível na prática. Se você já tentou calcular o BB(4) ou algo parecido, vale a pena dar uma olhada no live translate offline pra ver como a lógica se aplica.
O BB(n) ainda parece impossível de achar, o jeito que o Radó descreveu o jogo dos castores ocupados em 1962 ainda me deixa de cabelo em pé Delta Executor para Roblox
Essa explicação do problema de interrupção é meio assustadora, especialmente com aquelas máquinas que simulam por tanto tempo que o sistema congela. unblocked 76 games
Essa história sobre o castor ocupado é meio assustadora, porque simular todas as máquinas possíveis é praticamente impossível. Você acha que a final exam grade calculator ajuda a entender por que alguns desses programas nunca param?
O lance do castor ocupado mostra bem como uma pergunta simples vira um problema absurdo de computação; a parte sobre máquinas que parecem normais mas podem rodar por tempo indefinido foi a que mais chamou atenção. free heic to jpg converter
O mais louco é que algumas máquinas podem rodar por tanto tempo que fica praticamente impossível saber se vão parar ou não. O problema dos castores ocupados mostra bem como algo aparentemente simples pode esconder uma complexidade absurda IELTS Academic check.