바쁜 비버? 봇이지 뭐

바쁜 비버 게임(busy beaver game)은 주어진 크기에서 가능한 최대치의 출력값을 구하는, 스스로 종결하는 프로그램을 구하는 것을 목표로 한다.
#알고리즘 #튜링 #비버
• 대본 : rayc20.tistory...
• 코드 : github.com/ray...
• 교육 목적으로 영상 및 블로그 자료를 자유롭게 사용하셔도 좋습니다.
• 강연 문의 외에 외주 및 광고 관련 문의는 받지 않습니다.
0:20 결정문제
1:10 튜링 기계(Turing machine)
4:25 계산할 수 없는 함수
6:08 BB(1)
7:29 BB(2)
10:14 BB(3)
11:19 BB(4)
13:20 바쁜 비버를 잡는게 중요한 이유

[@wlstn3697]

신튜링의 알고리즘 정상화

[@허사장]

이해가 쏙쏙되잖아

[@cgs949]

14:53 수학에서 어떤 의미로 쓰이는지는 알지만 그래도...
BB(27) 앞에 '기껏해야' 가 붙는걸 보니 묘하네요

[@fcte6464]

어라? 살아계셨네요?

[@바르고고운말]

"방학"

[@qwerty-js]

아 좋은 비유네용

[@GreekRho]

이걸 음식점에 비유하면..

[@Eulersidentityeipi]

와! 삑삑거리는 바쁜 비버함수처럼 달려왔습니다!!!

[@daniel_y_kwon]

아직 안 잊었습니다. 왜 오셨죠?

[@OjingeoChaemuchim]

와! bbchallenge 아시는구나! 콜라츠 추측 계통 튜링 기계들도 겁나 재밌습니다!

[@Tasik-r]

나무위키에 의하면 바쁜 비버 함수는 1의 최대 개수이고 영상의 바쁜 비버 함수는 미친 개구리 함수이지만 바쁜 비버 함수로 부르는 사람도 있다 합니다

[@Ray수학]

티보르 라도가 처음 바쁜 비버함수를 정의할때는 저 두 값을 모두 정의했습니다. 나무위키나 다른 사이트들은 저 둘 중 하나만 바쁜 비버로 다루는데, (나무위키를 비롯한)사이트마다 시그마랑 S(미친 개구리 함수)를 정확하게 정의하는 사례가 드물어 처음 바쁜 비버 함수를 정의한 논문을 기반으로 영상을 제작하였습니다.
그리고 영상 중간에 나오듯 컴퓨터 과학 관점에서 일반적으로 바쁜 비버함수를 말하면 S함수를 주로 바쁜 비버함수로 다룹니다.
관련 논문들은 블로그에 정리해두었습니다.^^

[@YouTube_Is_The_Brainless_Oaf]

꺼무꺼키 꺼라

[@Tasik-r]

@@Ray수학 자세한 답변 감사합니다

[@asvioqnd]

와! 왔다 내 밥반찬

[@asvioqnd]

이거 동물학대야..

[@liUil]

식당으로 비유하자면 손님들이 흑염소가 싯가라 사먹기 힘들다고 드러누우니까 주인장이 제육볶음, 꽃등심 가격을 보여주고 생김새로 보아하니 돼지보단 비싸고 소보단 싸지 않겠냐고 조언해주는 거임

[@watergyealbird]

참 좋은 비유네용

[@sunni_kim]

5:32 오타 발견!

[@YouTube_Is_The_Brainless_Oaf]

어진 조건

[@jensooonyengh1525]

아예 시도조차 할 수 없는거 아님?의 수준에서 ㅈㄴ 크긴 하지만 시도할 수는 있음 수준으로 끌어내렸다는게 의의네요

[@댕이원]

오 저 튜링머신 양자상태쪽으로 연결시키면 재밌을지도?

[@린복]

비버 귀여움

[@그래서_나는]

안죽었구나 신기하네

[@내일-g9b]

보시지뭐

[@mclarenmp4-x]

이해가쏙쏙되잖아레슝좍아