석박사 (63) 썸네일형 리스트형 이타카 하우징 ============================================================== 개인적인 홍보글 첨부합니다. 양해 부탁드립니당 ㅎㅎ. 관심있으신분 댓글 달아주시면 연락처 알려드릴게요. [Sublet/lease transfer] 지금부터 5월 31일까지 서블렛, 혹은 그 이후기간까지 리스 트렌스퍼 받으실 분 구합니다. 랜싱에 위치한 이스트 포인트 아파트 (East Pointe Apartment)입니다. 1 Bedroom 1 Bathroom 이라 싱글이나 커플에게 적합한 유닛입니다. 가족 중심의 조용하고 안전한 단지입니다. 구글맵 평점 4.8이고 인기있는 아파트라 저도 9개월동안 waitlist 에 있다가 들어갔고 개인적으로도 계속 만족하면서 지냈습니다. 저도 박사 기간 내내.. [Gurobi] big-M constraint 가 일으킬 수 있는 문제 big-M constraint 은 gurobi 를 포함한 많은 최적화 솔버에서 해의 불안정성 (instability) 문제를 일으킨다. 우선 아래 예시를 통해 big-M constraint 가 무엇인지부터 살펴보자. y는 도로를 사용할지 말지 결정하는 binary variable 이고 10^6은 도로의 용량을 나타내며 x는 차량의 통행량이라고 해보자. 첫번째 수식을 살펴보면 y=0이면 x ILP 문제를 푸는 exact method (cutting plane, branch-and-bound, branch-and-cut) ILP in practice ILP는 np hard 이기 때문에 이론적으로 optimal solution 을 구할 수 있을 것이라 기대할 수 없다. 하지만 현실에서 많은 경우 ILP 솔버가 최적해를 준다. 이는 ILP 의 정확해를 찾아주는 Exact algorithm 이 많이 발전했기 때문이다. 아주 나이브하게 생각해보면 ILP 를 풀기 위한 첫걸음으로 LP relaxation 을 생각해볼 수 있다. 쉽게말해 변수가 integer 라는 제약만 없애고 LP 문제를 푸는것이다. 당연히 얻은 결과는 정수가 아니라 실수일 수 있다. 이를 정수해로 변환하기 위해 반올림을 하면 어떨까? 이렇게 구한 해는 최적해가 아닐 수 있을 뿐더러 심지어는 feasible 한 해가 아닐 수도 있다. 우리에게는 반올림 보다는 조금.. [영어미팅] 줌 미팅중 먼저 나갈때 채팅창에 쓸수있는 말 줌미팅중 먼저 나가야할때가 종종 있다. 첨엔 뭐라고 말할지 몰라서 사람들은 어떻게하나 관찰했는데 다들 채팅창에 아래 중 하나를 투척하고 나감. 다들 많이 쓰는말들만 복사해놨당 I have to run; thank you! GTG(got to go의 줄임말). Thanks all! Have to head off to another meeting — thanks! Hi All - I need to drop off to deal with something right now. See you all next week. 이전 1 2 3 4 5 6 7 8 ··· 16 다음
