문제
철민이는 ALOHA 최대의 행사 HCPC의 출제와 검수를 위해 11ドル$시 정각에 하이와 바이를 만나기로 하였다. 그런데 철민이와 하이, 바이는 약속 시간을 정확히 지키지 않아서 상대방을 기다리게 하고는 한다. 그래서 이들은 너무 오래 기다리지 않도록 다음과 같은 규칙을 정했다.
- 세 명은 11ドル$시와 12ドル$시 사이의 균일하게 무작위로 고른 시간에 약속 장소에 도착한다.
- 12ドル$시가 되었는데도 세 명이 모두 만나지 못했다면, 약속 장소에 도착한 사람들은 집으로 돌아간다.
- 세 명은 약속 장소에 도착 후 $M$분이 지나는 순간 집으로 돌아간다.
$M$이 주어질 때, 세 사람이 만날 확률을 구하는 프로그램을 작성하자.
출력
세 명이 약속 장소에서 만날 확률 $\frac{a}{b}$를 a/b 형태의 기약분수로 출력한다.
W3sicHJvYmxlbV9pZCI6IjMwODc4IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHVjNTdkXHVjMThkIFx1YzJkY1x1YWMwNCIsImRlc2NyaXB0aW9uIjoiPHA+XHVjY2EwXHViYmZjXHVjNzc0XHViMjk0IEFMT0hBIFx1Y2Q1Y1x1YjMwMFx1Yzc1OCBcdWQ1ODlcdWMwYWMgSENQQ1x1Yzc1OCBcdWNkOWNcdWM4MWNcdWM2NDAgXHVhYzgwXHVjMjE4XHViOTdjIFx1YzcwNFx1ZDU3NCAkMTEkXHVjMmRjIFx1YzgxNVx1YWMwMVx1YzVkMCBcdWQ1NThcdWM3NzRcdWM2NDAgXHViYzE0XHVjNzc0XHViOTdjIFx1YjljY1x1YjA5OFx1YWUzMFx1Yjg1YyBcdWQ1NThcdWM2MDBcdWIyZTQuIFx1YWRmOFx1YjdmMFx1YjM3MCBcdWNjYTBcdWJiZmNcdWM3NzRcdWM2NDAgXHVkNTU4XHVjNzc0LCBcdWJjMTRcdWM3NzRcdWIyOTQgXHVjNTdkXHVjMThkIFx1YzJkY1x1YWMwNFx1Yzc0NCBcdWM4MTVcdWQ2NTVcdWQ3ODggXHVjOWMwXHVkMGE0XHVjOWMwIFx1YzU0YVx1YzU0NFx1YzExYyBcdWMwYzFcdWIzMDBcdWJjMjlcdWM3NDQgXHVhZTMwXHViMmU0XHViOWFjXHVhYzhjIFx1ZDU1OFx1YWNlMFx1YjI5NCBcdWQ1NWNcdWIyZTQuIFx1YWRmOFx1Yjc5OFx1YzExYyBcdWM3NzRcdWI0ZTRcdWM3NDAgXHViMTA4XHViYjM0IFx1YzYyNFx1Yjc5OCBcdWFlMzBcdWIyZTRcdWI5YWNcdWM5YzAgXHVjNTRhXHViM2M0XHViODVkIFx1YjJlNFx1Yzc0Y1x1YWNmYyBcdWFjMTlcdWM3NDAgXHVhZGRjXHVjZTU5XHVjNzQ0IFx1YzgxNVx1ZDU4OFx1YjJlNC48XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5cdWMxMzggXHViYTg1XHVjNzQwICQxMSRcdWMyZGNcdWM2NDAgJDEyJFx1YzJkYyBcdWMwYWNcdWM3NzRcdWM3NTggXHVhZGUwXHVjNzdjXHVkNTU4XHVhYzhjIFx1YmIzNFx1Yzc5MVx1YzcwNFx1Yjg1YyBcdWFjZTBcdWI5NzggXHVjMmRjXHVhYzA0XHVjNWQwIFx1YzU3ZFx1YzE4ZCBcdWM3YTVcdWMxOGNcdWM1ZDAgXHViM2M0XHVjYzI5XHVkNTVjXHViMmU0LjxcL2xpPlxyXG5cdDxsaT4kMTIkXHVjMmRjXHVhYzAwIFx1YjQxOFx1YzVjOFx1YjI5NFx1YjM3MFx1YjNjNCBcdWMxMzggXHViYTg1XHVjNzc0IFx1YmFhOFx1YjQ1MCBcdWI5Y2NcdWIwOThcdWM5YzAgXHViYWJiXHVkNTg4XHViMmU0XHViYTc0LCBcdWM1N2RcdWMxOGQgXHVjN2E1XHVjMThjXHVjNWQwIFx1YjNjNFx1Y2MyOVx1ZDU1YyBcdWMwYWNcdWI3OGNcdWI0ZTRcdWM3NDAgXHVjOWQxXHVjNzNjXHViODVjIFx1YjNjY1x1YzU0NFx1YWMwNFx1YjJlNC48XC9saT5cclxuXHQ8bGk+XHVjMTM4IFx1YmE4NVx1Yzc0MCBcdWM1N2RcdWMxOGQgXHVjN2E1XHVjMThjXHVjNWQwIFx1YjNjNFx1Y2MyOSBcdWQ2YzQgJE0kXHViZDg0XHVjNzc0IFx1YzljMFx1YjA5OFx1YjI5NCBcdWMyMWNcdWFjMDQgXHVjOWQxXHVjNzNjXHViODVjIFx1YjNjY1x1YzU0NFx1YWMwNFx1YjJlNC48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD4kTSRcdWM3NzQgXHVjOGZjXHVjNWI0XHVjOWM4IFx1YjU0YywgXHVjMTM4IFx1YzBhY1x1Yjc4Y1x1Yzc3NCBcdWI5Y2NcdWIwYTAgXHVkNjU1XHViOTYwXHVjNzQ0IFx1YWQ2Y1x1ZDU1OFx1YjI5NCBcdWQ1MDRcdWI4NWNcdWFkZjhcdWI3YThcdWM3NDQgXHVjNzkxXHVjMTMxXHVkNTU4XHVjNzkwLjxcL3A+XHJcbiIsImlucHV0IjoiPHA+XHVjY2FiIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDAgXHVjMTM4IFx1YmE4NVx1Yzc3NCBcdWM1N2RcdWMxOGQgXHVjN2E1XHVjMThjXHVjNWQwXHVjMTFjIFx1YWUzMFx1YjJlNFx1YjlhY1x1YjI5NCBcdWMyZGNcdWFjMDRcdWM3NDQgXHVjNzU4XHViYmY4XHVkNTU4XHViMjk0IFx1YzgxNVx1YzIxOCAkTSRcdWM3NzQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiAkKDFcXGxlIE1cXGxlIDYwKSQ8XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWMxMzggXHViYTg1XHVjNzc0IFx1YzU3ZFx1YzE4ZCBcdWM3YTVcdWMxOGNcdWM1ZDBcdWMxMWMgXHViOWNjXHViMGEwIFx1ZDY1NVx1Yjk2MCAkXFxmcmFje2F9e2J9JFx1Yjk3YyA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+YVwvYjxcL2NvZGU+PFwvc3Bhbj4gXHVkNjE1XHVkMGRjXHVjNzU4IFx1YWUzMFx1YzU3ZFx1YmQ4NFx1YzIxOFx1Yjg1YyBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMSIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiS29yZWFuIn0seyJwcm9ibGVtX2lkIjoiMzA4NzgiLCJwcm9ibGVtX2xhbmciOiIxIiwidGl0bGUiOiJBcHBvaW50bWVudCBUaW1lIiwiZGVzY3JpcHRpb24iOiI8cD5DaGVvbG1pbiBoYXMgcHJvbWlzZWQgdG8gbWVldCBIaSBhbmQgQnllIGF0ICQxMSQgbyZyc3F1bztjbG9jayB0byBzZXQgcHJvYmxlbXMgZm9yIEFMT0hBJnJzcXVvO3MgYmlnZ2VzdCBmZXN0aXZhbCwgdGhlIEhDUEMuIEhvd2V2ZXIsIGFsbCB0aHJlZSBvZiB0aGVtIHRlbmQgdG8gYXJyaXZlIGxhdGUgYW5kIGtlZXAgcGVvcGxlIHdhaXRpbmcuIEluIG9yZGVyIHRvIG1ha2Ugc3VyZSBubyBvbmUgd2FpdHMgZm9yIHRvbyBsb25nLCB0aGV5IGRlY2lkZWQgb24gdGhlIGZvbGxvd2luZyBydWxlcy48XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5FYWNoIG9mIHRoZSB0aHJlZSBhcnJpdmVzIGF0IHRoZSB2ZW51ZSBhdCBzb21lIHVuaWZvcm1seSByYW5kb20gcG9pbnQgaW4gdGltZSBiZXR3ZWVuICQxMSQgbyZyc3F1bztjbG9jayBhbmQgJDEyJCBvJnJzcXVvO2Nsb2NrLjxcL2xpPlxyXG5cdDxsaT5UaGUgbW9tZW50IHRoZSBjbG9jayBoaXRzICQxMiQsIGlmIHNvbWVvbmUgaGFzIG5vdCB5ZXQgYXJyaXZlZCBhdCB0aGUgdmVudWUsIHRob3NlIGFscmVhZHkgYXQgdGhlIHZlbnVlIHNpbXBseSBnbyBiYWNrIGhvbWUuPFwvbGk+XHJcblx0PGxpPlRoZSBtb21lbnQgJE0kIG1pbnV0ZXMgaGF2ZSBwYXNzZWQgd2hpbGUgd2FpdGluZywgdGhvc2UgYWxyZWFkeSBhdCB0aGUgdmVudWUgc2ltcGx5IGdvIGJhY2sgaG9tZS48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5HaXZlbiAkTSQsIHdyaXRlIGEgcHJvZ3JhbSB0aGF0IGZpbmRzIHRoZSBwcm9iYWJpbGl0eSB0aGF0IHRoZSB0aHJlZSBwZW9wbGUmbmJzcDttYW5hZ2UgdG8gbWVldCB1cCBzdWNjZXNzZnVsbHkuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5UaGUgZmlyc3QgbGluZSBvZiBpbnB1dCBjb250YWlucyBhIHNpbmdsZSBpbnRlZ2VyICRNJCwgZGVub3RpbmcgdGhlIG51bWJlciBvZiBtaW51dGVzIHRoYXQgZWFjaCBvZiB0aGUgdGhyZWUgcGVvcGxlIHdhaXRzIGZvciBhdCB0aGUgdmVudWUuICQoMVxcbGUgTVxcbGUgNjApJDxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlRoZSBmaXJzdCBsaW5lIG9mIG91dHB1dCBzaG91bGQgY29udGFpbiB0aGUgcHJvYmFiaWxpdHkgJFxcZnJhY3thfXtifSQgdGhhdCB0aGUgdGhyZWUgb2YgdGhlbSBtZWV0IGF0IHRoZSB2ZW51ZSBhcyBhbiBpcnJlZHVjaWJsZSBmcmFjdGlvbiBvZiB0aGUgZm9ybSA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+YVwvYjxcL2NvZGU+PFwvc3Bhbj4uPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMCIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiRW5nbGlzaCJ9XQ==