😊one-more-thing

Euclidean Algorithm의 느낌으로 생각하면, ax+by=s를 만족하는 음이 아니고 서로소인 두 정수 x,y를 찾으면 된다.(UPD: 사실 이 점을 증명하는 것도 trivial 한 것은 아니다. 머리를 좀 쓰긴 해야함) 일반적으로 ax+by=s를 푸는 것은

스프링의 핵심 동작을 담당하는 DispatcherServlet에서 요청 처리에 사용될 핸들러를 찾아주고, 실행할 때 사용된다.HandlerMapping은 요청에 따른 핸들러를 찾아준다.HandlerAdapter는 찾아낸 핸들러를 실행시켜줄 Adapter이다.코드와 동작

일단 @Transactional(readonly=true)는 메서드나 클래스에 적용해서 해당 트랜잭션을 읽기 전용으로 설정하는 기능을 한다. 해당 트랜잭션 내에서는 데이터를 읽기만 하고 변경 작업을 수행하지 않을 것임을 명시적으로 나타내준다.도움이 되냐는 질문이라 아무

성능을 최적화하기 위해 사용할 수도 있고, 특정 트랜잭션 작업 안에서 쓰기 작업이 일어나는 것을 의도적으로 방지하기 위해 사용할 수도 있다. https://velog.io/@subinmun1997/Transactionreadonlytrue%EB%8A%94-%E

문제의 그림처럼 m x n 행렬에서 m x l 행렬을 슬라이딩 시키면서 그 위치에서 두 행렬의 pointwise multiplication sum을 구한다. 그 값이 w를 넘는 횟수를 구하는 문제이다. naive 하게 구하면 O(nml)로 시간초과가 난다.즉, 이 문제

2-SAT은 N개의 불리언 변수 (x_1, x_2, ..., x_n)가 있을 때, 2-CNF 식을 true로 만들기위해 (x_i)를 어떤 값으로 정해야하는지를 구하는 문제이다. 이번 문제는 변수의 개수 N과 절의 개수 M, 그리고 식 (f)가 주어졌을 때, 식 (f)를

정점 분할이란 정점에도 간선처럼 가중치를 주기 위해 정점을 하나의 간선으로 만드는 기법이다.이때 간선을 정점처럼 취급하기 위해 정점을 두개의 정점(in과 out)으로 분할한다.in 정점은 해당 정점으로 들어오는 간선들과 연결해주고out 정점은 해당 정점에서 다른 정점으