2016 POX_FINAL meow
St1tch
이 문제는 동아리 여자애들이 작년 POX_FINAL에서 받아온 문제다. 첨에 그냥 알고리즘문제 인가보다 하고 넘어갔다가 최근에 생각나서 풀어보았다. 나는 비트연산과 z3을 이용해서 간단히 풀었다. 문제는 스위치가 64개 있고, 각각의 스위치에는 3,4개 정도의 LED번호가 있다. 스위치는 한번 누르면 다시 누를수가없다. 즉, 64개의 스위치를 누르지않거나 누르거나 해서 64개의 LED를 True상태로 만들어야한다. 나는 각각의 스위치에 해당하는 LED를 64bit에 해당하는 2진수로 바꿔서 생각을 했다. 이렇게 하면 64개의 스위치중 특정 스위치들을 xor했을 때, 1*64 개가 되는 값을 찾으면 바로 정답이 나온다. 또한 seed범위가 1000까지 밖에 안되기 때문에, seed마다의 스위치상태를 다 저..