백준 저울문제 증명할수있는 게이있냐?

[익명(222.101)]

https://jaimemin.tistory.com/756

이거 푸는순서 누적합 이거 어떻게 저렇게 바로 도출함??

증명가능한 새끼나와봐라

[익명(121.137)]

무게 1짜리 추가 존재하니까 저런 방법이 가능한거임

[익명(222.101)]

그렇게 생각하는 이유는?

[익명(121.137)]

무게 1짜리 추가 최소 1개 이상 있다고 가정, 오름차순으로 정렬된 추를 a0, a1, a2, a3, ... , an라고 하고 현재 보고있는 인덱스를 k라고 하면 a0+a1+...+a_(k-1) >= a_k - 1 일때 1부터 a0+a1+...+a_k까지의 모든 자연수를 표현할 수 있음은 자명함. (이는 1 + 2 + 3 + ... + a_k 꼴로 표현될 수 있음) 따라서 측정할 수 없는 최솟값을 구해야 하니까 마지막으로 a0+a1+...+a_(k-1) >= a_k - 1를 만족한 k에서 a0+a1+...+a_(k-1)에 +1을 한 값이 답

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(222.101)]

그건 유치원생도 알음; 점화식으로 저 솔루션을 증명해보라고

[익명(222.101)]

그게 아니고 1따리 추가 없으면 1부터 틀렸으니까 1짜리 추가 존재하는거임 븅신아

[익명(222.101)]

너가 말한건 2 + 3 > 5 가 false니까 잴수없는거고

[익명(222.101)]

너가 말한건 2 + 3 > 5 가 false니까 잴수없는거고

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(222.101)]

그니까 그 명제가 참임으로 어떻게 증명하냐니까

[익명(222.101)]

그 명제는 참으로 반례가 없는데 개소리하노

[익명(222.101)]

다음에 등장하는 숫자가 (누적합 + 1) 이하라면 누적합 + 1까지의 숫자들은 기존의 숫자들의 조합으로 모두 표현 가능합니다. 라는 명제 자체가 n을 재기전에 n-1까지 성립해야 참인 명제인데 1자체가 없으면 애초부터 거짓이라 반례를 댓다고 하기엔 무리가 있음. 애초에 거짓인 명제임

[익명(222.101)]

내가 하는말이 이해가 될래나 모르겠네