시간 제한메모리 제한제출정답맞힌 사람정답 비율
3 초 1024 MB115262226.506%

문제

데이터 과학자 앨리스는 데이터를 분석하는 일을 받았다. 각 데이터는 2차원 좌표 $(x, y)$로 구성된다.

데이터 분석은 $x$축에 평행한 $K$개의 선분을 2차원 상에서 찾는 과정이다. 구체적으로 아래의 값들을 결정해야한다.

  • 각 선분의 끝을 나타내는 $x$좌표 $0=p_0 < p_1 < \cdots < p_K = 50\ 000$, $i$번째 선분의 양 끝은 $p_{i-1}$과 $p_i$이다. $1 \leq i \leq K$
  • 각 선분의 $y$좌표 $m_1, m_2, \cdots, m_K$

물론 $m_1, m_2, \cdots, m_k$의 값들을 아무렇게나 결정하면 안 된다. 분석의 정확도를 높이기 위해서, 분석의 오차를 정의한 다음 오차가 최소가 되도록 값을 결정해 줄 것이다. 오차는 다음과 같이 정의한다.

  • 데이터 $(x, y)$의 오차는, $p_{i-1} \leq x < p_i$를 만족하는 $i$에 대해서 $|y - m_i|$으로 정의한다.
  • 전체 데이터에 대한 오차는 각 데이터 $(x, y)$의 오차의 합이다.

앨리스는 데이터 분석의 오차가 최소가 되도록 $p_0, \cdots, p_k$와 $m_1, \cdots, m_k$를 결정하고자 한다. 각 값을 적절히 결정했을 때, 데이터 분석의 오차의 최솟값을 구하시오.

입력

첫 번째 줄에 데이터의 개수 $N$과 찾아야하는 선분의 개수 $K$가 공백으로 구분되어 주어진다.

이후 $N$개의 줄에 각 데이터 $(x, y)$가 공백으로 구분되어 주어진다. 단, 모든 데이터의 $x$ 값은 다르다.

출력

데이터 분석의 오차가 최소가 되도록 $p_0,\cdots, p_k$와 $m_1,\cdots, m_k$의 값을 적절히 결정했을 때, 데이터 분석의 오차를 출력한다. 절대/상대 오차는 $10^{-4}$까지 허용한다.

제한

  • 주어지는 모든 수는 정수이다.
  • $1\leq N \leq 3\,000$
  • $1\leq K \leq \min(N, 10)$
  • $0\leq x < 50\,000$
  • $0\leq y \leq 1\,000$

서브태스크

번호배점제한
130

$N \leq 300$

270

추가 제약 조건이 없음.

예제 입력 1

6 2
1 1
2 2
3 3
4 4
5 5
6 6

예제 출력 1

4.0000
W3sicHJvYmxlbV9pZCI6IjI5ODkzIiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHViMzcwXHVjNzc0XHVkMTMwIFx1YmQ4NFx1YzExZCIsImRlc2NyaXB0aW9uIjoiPHA+XHViMzcwXHVjNzc0XHVkMTMwIFx1YWNmY1x1ZDU1OVx1Yzc5MCBcdWM1NjhcdWI5YWNcdWMyYTRcdWIyOTQgXHViMzcwXHVjNzc0XHVkMTMwXHViOTdjIFx1YmQ4NFx1YzExZFx1ZDU1OFx1YjI5NCBcdWM3N2NcdWM3NDQgXHViYzFiXHVjNTU4XHViMmU0LiBcdWFjMDEgXHViMzcwXHVjNzc0XHVkMTMwXHViMjk0IDJcdWNjMjhcdWM2ZDAgXHVjODhjXHVkNDVjICQoeCwgeSkkXHViODVjIFx1YWQ2Y1x1YzEzMVx1YjQxY1x1YjJlNC48XC9wPlxyXG5cclxuPHA+XHViMzcwXHVjNzc0XHVkMTMwIFx1YmQ4NFx1YzExZFx1Yzc0MCAkeCRcdWNkOTVcdWM1ZDAgXHVkM2M5XHVkNTg5XHVkNTVjICRLJFx1YWMxY1x1Yzc1OCBcdWMxMjBcdWJkODRcdWM3NDQgMlx1Y2MyOFx1YzZkMCBcdWMwYzFcdWM1ZDBcdWMxMWMgXHVjYzNlXHViMjk0IFx1YWNmY1x1YzgxNVx1Yzc3NFx1YjJlNC4gXHVhZDZjXHVjY2I0XHVjODAxXHVjNzNjXHViODVjIFx1YzU0NFx1Yjc5OFx1Yzc1OCBcdWFjMTJcdWI0ZTRcdWM3NDQgXHVhY2IwXHVjODE1XHVkNTc0XHVjNTdjXHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48dWw+XHJcblx0PGxpPlx1YWMwMSBcdWMxMjBcdWJkODRcdWM3NTggXHViMDVkXHVjNzQ0IFx1YjA5OFx1ZDBjMFx1YjBiNFx1YjI5NCAkeCRcdWM4OGNcdWQ0NWMgJDA9cF8wICZsdDsgcF8xICZsdDsgXFxjZG90cyAmbHQ7IHBfSyA9IDUwXFwgMDAwJCwgJGkkXHViYzg4XHVjOWY4IFx1YzEyMFx1YmQ4NFx1Yzc1OCBcdWM1OTEgXHViMDVkXHVjNzQwICRwX3tpLTF9JFx1YWNmYyAkcF9pJFx1Yzc3NFx1YjJlNC4gJDEgXFxsZXEgaSBcXGxlcSBLJDxcL2xpPlxyXG5cdDxsaT5cdWFjMDEgXHVjMTIwXHViZDg0XHVjNzU4ICR5JFx1Yzg4Y1x1ZDQ1YyAkbV8xLCBtXzIsIFxcY2RvdHMsIG1fSyQ8XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5cdWJiM2NcdWI4NjAgJG1fMSwgbV8yLCBcXGNkb3RzLCBtX2skXHVjNzU4IFx1YWMxMlx1YjRlNFx1Yzc0NCBcdWM1NDRcdWJiMzRcdWI4MDdcdWFjOGNcdWIwOTggXHVhY2IwXHVjODE1XHVkNTU4XHViYTc0IFx1YzU0OCBcdWI0MWNcdWIyZTQuIFx1YmQ4NFx1YzExZFx1Yzc1OCBcdWM4MTVcdWQ2NTVcdWIzYzRcdWI5N2MgXHViMTkyXHVjNzc0XHVhZTMwIFx1YzcwNFx1ZDU3NFx1YzExYywgXHViZDg0XHVjMTFkXHVjNzU4IFx1YzYyNFx1Y2MyOFx1Yjk3YyBcdWM4MTVcdWM3NThcdWQ1NWMgXHViMmU0XHVjNzRjIFx1YzYyNFx1Y2MyOFx1YWMwMCBcdWNkNWNcdWMxOGNcdWFjMDAgXHViNDE4XHViM2M0XHViODVkIFx1YWMxMlx1Yzc0NCBcdWFjYjBcdWM4MTVcdWQ1NzQgXHVjOTA0IFx1YWM4M1x1Yzc3NFx1YjJlNC4gXHVjNjI0XHVjYzI4XHViMjk0IFx1YjJlNFx1Yzc0Y1x1YWNmYyBcdWFjMTlcdWM3NzQgXHVjODE1XHVjNzU4XHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48dWw+XHJcblx0PGxpPlx1YjM3MFx1Yzc3NFx1ZDEzMCAkKHgsIHkpJFx1Yzc1OCBcdWM2MjRcdWNjMjhcdWIyOTQsICRwX3tpLTF9IFxcbGVxIHggJmx0OyBwX2kkXHViOTdjIFx1YjljY1x1Yzg3MVx1ZDU1OFx1YjI5NCAkaSRcdWM1ZDAgXHViMzAwXHVkNTc0XHVjMTFjICR8eSAtIG1faXwkXHVjNzNjXHViODVjIFx1YzgxNVx1Yzc1OFx1ZDU1Y1x1YjJlNC48XC9saT5cclxuXHQ8bGk+XHVjODA0XHVjY2I0IFx1YjM3MFx1Yzc3NFx1ZDEzMFx1YzVkMCBcdWIzMDBcdWQ1NWMgXHVjNjI0XHVjYzI4XHViMjk0IFx1YWMwMSBcdWIzNzBcdWM3NzRcdWQxMzAgJCh4LCB5KSRcdWM3NTggXHVjNjI0XHVjYzI4XHVjNzU4IFx1ZDU2OVx1Yzc3NFx1YjJlNC48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5cdWM1NjhcdWI5YWNcdWMyYTRcdWIyOTQgXHViMzcwXHVjNzc0XHVkMTMwIFx1YmQ4NFx1YzExZFx1Yzc1OCBcdWM2MjRcdWNjMjhcdWFjMDAgXHVjZDVjXHVjMThjXHVhYzAwIFx1YjQxOFx1YjNjNFx1Yjg1ZCAkcF8wLCBcXGNkb3RzLCBwX2skXHVjNjQwICRtXzEsIFxcY2RvdHMsIG1fayRcdWI5N2MgXHVhY2IwXHVjODE1XHVkNTU4XHVhY2UwXHVjNzkwIFx1ZDU1Y1x1YjJlNC4gXHVhYzAxIFx1YWMxMlx1Yzc0NCBcdWM4MDFcdWM4MDhcdWQ3ODggXHVhY2IwXHVjODE1XHVkNTg4XHVjNzQ0IFx1YjU0YywgXHViMzcwXHVjNzc0XHVkMTMwIFx1YmQ4NFx1YzExZFx1Yzc1OCBcdWM2MjRcdWNjMjhcdWM3NTggXHVjZDVjXHVjMTlmXHVhYzEyXHVjNzQ0IFx1YWQ2Y1x1ZDU1OFx1YzJkY1x1YzYyNC48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlx1Y2NhYiBcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwIFx1YjM3MFx1Yzc3NFx1ZDEzMFx1Yzc1OCBcdWFjMWNcdWMyMTggJE4kXHVhY2ZjIFx1Y2MzZVx1YzU0NFx1YzU3Y1x1ZDU1OFx1YjI5NCBcdWMxMjBcdWJkODRcdWM3NTggXHVhYzFjXHVjMjE4ICRLJFx1YWMwMCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC48XC9wPlxyXG5cclxuPHA+XHVjNzc0XHVkNmM0ICROJFx1YWMxY1x1Yzc1OCBcdWM5MDRcdWM1ZDAgXHVhYzAxIFx1YjM3MFx1Yzc3NFx1ZDEzMCAkKHgsIHkpJFx1YWMwMCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC4gXHViMmU4LCBcdWJhYThcdWI0ZTAgXHViMzcwXHVjNzc0XHVkMTMwXHVjNzU4ICR4JCBcdWFjMTJcdWM3NDAgXHViMmU0XHViOTc0XHViMmU0LiA8XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWIzNzBcdWM3NzRcdWQxMzAgXHViZDg0XHVjMTFkXHVjNzU4IFx1YzYyNFx1Y2MyOFx1YWMwMCBcdWNkNWNcdWMxOGNcdWFjMDAgXHViNDE4XHViM2M0XHViODVkICRwXzAsXFxjZG90cywgcF9rJFx1YzY0MCAkbV8xLFxcY2RvdHMsIG1fayRcdWM3NTggXHVhYzEyXHVjNzQ0IFx1YzgwMVx1YzgwOFx1ZDc4OCBcdWFjYjBcdWM4MTVcdWQ1ODhcdWM3NDQgXHViNTRjLCBcdWIzNzBcdWM3NzRcdWQxMzAgXHViZDg0XHVjMTFkXHVjNzU4IFx1YzYyNFx1Y2MyOFx1Yjk3YyBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuIFx1YzgwOFx1YjMwMFwvXHVjMGMxXHViMzAwIFx1YzYyNFx1Y2MyOFx1YjI5NCAkMTBeey00fSRcdWFlNGNcdWM5YzAgXHVkNWM4XHVjNmE5XHVkNTVjXHViMmU0LjxcL3A+XHJcbiIsImhpbnQiOiIiLCJvcmlnaW5hbCI6IjEiLCJodG1sX3RpdGxlIjoiMCIsInByb2JsZW1fbGFuZ190Y29kZSI6IktvcmVhbiIsImxpbWl0IjoiPHVsPlxyXG5cdDxsaT5cdWM4ZmNcdWM1YjRcdWM5YzBcdWIyOTQgXHViYWE4XHViNGUwIFx1YzIxOFx1YjI5NCBcdWM4MTVcdWMyMThcdWM3NzRcdWIyZTQuPFwvbGk+XHJcblx0PGxpPiQxXFxsZXEgTiBcXGxlcSAzXFwsMDAwJDxcL2xpPlxyXG5cdDxsaT4kMVxcbGVxIEsgXFxsZXEgXFxtaW4oTiwgMTApJDxcL2xpPlxyXG5cdDxsaT4kMFxcbGVxIHggJmx0OyA1MFxcLDAwMCQ8XC9saT5cclxuXHQ8bGk+JDBcXGxlcSB5IFxcbGVxIDFcXCwwMDAkPFwvbGk+XHJcbjxcL3VsPlxyXG4iLCJzdWJ0YXNrMSI6IjxwPiROIFxcbGVxIDMwMCQ8XC9wPlxyXG4iLCJzdWJ0YXNrMiI6IjxwPlx1Y2Q5NFx1YWMwMCBcdWM4MWNcdWM1N2QgXHVjODcwXHVhYzc0XHVjNzc0IFx1YzVjNlx1Yzc0Yy48XC9wPlxyXG4ifSx7InByb2JsZW1faWQiOiIyOTg5MyIsInByb2JsZW1fbGFuZyI6IjEiLCJ0aXRsZSI6IkRhdGEgQW5hbHlzaXMiLCJkZXNjcmlwdGlvbiI6IjxwPkFsaWNlIHRoZSBTY2llbnRpc3QgaGFzIGEgZGF0YSBhbmFseXNpcyB0YXNrLiBFYWNoIGRhdGEgcG9pbnQgaXMgcmVwcmVzZW50ZWQgYXMmbmJzcDsyLWRpbWVuc2lvbmFsIGNvb3JkaW5hdGVzICQoeCwgeSkkLjxcL3A+XHJcblxyXG48cD5UaGUgdGFzayBpcyB0byBpZGVudGlmeSAkSyQgbGluZXMgdGhhdCBhcmUgcGFyYWxsZWwgdG8gdGhlICR4JC1heGlzIG9uIGEgMi1kaW1lbnNpb24gcGxhbmUsIG1lZXRpbmcgdGhlIGZvbGxvd2luZyBjcml0ZXJpYTo8XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5UaGUgJGkkLXRoIGxpbmUmIzM5O3MgZW5kcG9pbnRzJiMzOTsmbmJzcDtjb29yZGluYXRlcyBhcmUmbmJzcDskcF97aS0xfSQgYW5kJm5ic3A7JHBfaSQgd2hlcmUgJDEgXFxsZXEgaSBcXGxlcSBLJC48XC9saT5cclxuXHQ8bGk+U3VjaCZuYnNwO2Nvb3JkaW5hdGVzIG11c3Qgc2F0aXNmeSZuYnNwOyQwID0gcF8wIFxcbHQmbmJzcDtwXzEgXFxsdCZuYnNwO1xcY2RvdHMgXFxsdCZuYnNwO3BfayA9IDUwXFwgMDAwJC48XC9saT5cclxuXHQ8bGk+SW4gYWRkaXRpb24sIGxldCAkbV9pJCBiZSB0aGUgcmVwcmVzZW50YXRpdmUgdmFsdWUgZm9yIHRoZSAkaSQtdGggbGluZSwgdG8gYmUgY2hvc2VuIChzZWUgYmVsb3cpLjxcL2xpPlxyXG48XC91bD5cclxuXHJcbjxwPkFsaWNlIHNoYWxsIG5vdCBjaG9vc2UgdGhlIHZhbHVlcyBvZiAkbV8xLCBtXzIsIFxcY2RvdHMsIG1fayQgYXJiaXRyYXJpbHkuIFRvIGluY3JlYXNlIGFjY3VyYWN5IG9mIGFuYWx5c2lzLCB0aGUgZXJyb3Igb2YgYW5hbHlzaXMgc2hhbGwgYmUgZGVmaW5lZCBmaXJzdCwmbmJzcDthbmQgdGhlIHZhbHVlcyB0aGF0IG1pbmltaXplIHRoZSBlcnJvciBzaG91bGQgYmUgY2hvc2VuLiBUaGUgZXJyb3Igb2YgYW5hbHlzaXMgaXMgZGVmaW5lZCBiZWxvdy48XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5UaGUgZXJyb3Igb2YgYSBkYXRhIHBvaW50ICQoeCwgeSkkIGlzIGRlZmluZWQgYXMgJHx5IC0gbV9pfCQgd2hlcmUgJGkkIHNhdGlzZmllcyZuYnNwOyRwX3tpLTF9IFxcbGVxIHggJmx0OyBwX2kkLjxcL2xpPlxyXG5cdDxsaT5UaGUgZXJyb3Igb2YmbmJzcDthbmFseXNpcyBpcyB0aGUgc3VtIG9mIHRoZSBlcnJvcnMgb2YgaW5kaXZpZHVhbCBkYXRhIHBvaW50cyAkKHgsIHkpJCYjMzk7cy48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5BbGljZSB3YW50cyB0byBzZWxlY3QmbmJzcDskcF8wLCBcXGNkb3RzLCBwX2skIGFuZCAkbV8xLCBcXGNkb3RzLCBtX2skIHN1Y2ggdGhhdCB0aGUgZXJyb3Igb2YgYW5hbHlzaXMgd2lsbCBiZSBtaW5pbWl6ZWQuIENvbXB1dGUgdGhlIHNtYWxsZXN0IHBvc3NpYmxlIGVycm9yIG9mIGFuYWx5c2lzIGlmIEFsaWNlIGNob29zZXMgdGhlIHZhbHVlcyBhcHByb3ByaWF0ZWx5LjxcL3A+XHJcbiIsImlucHV0IjoiPHA+VGhlIGZpcnN0IGxpbmUgb2YgaW5wdXQgd2lsbCBjb250YWluIHRoZSBudW1iZXIgb2YgcG9pbnRzLCAkTiQsIGFuZCB0aGUgbnVtYmVyIG9mIGxpbmVzLCAkSyQsIHNlcGFyYXRlZCBieSB3aGl0ZXNwYWNlLjxcL3A+XHJcblxyXG48cD5FYWNoIG9mIHRoZSBuZXh0ICROJCBsaW5lcyB3aWxsIGRlc2NyaWJlIGEgZGF0YSBwb2ludCAkKHgsIHkpJCwgc2VwYXJhdGVkIGJ5IHdoaXRlc3BhY2UuIEFsbCAkeCQgY29vcmRpbmF0ZXMgd2lsbCBiZSB1bmlxdWUuPFwvcD5cclxuIiwib3V0cHV0IjoiPHA+T3V0cHV0IHRoZSBzbWFsbGVzdCBwb3NzaWJsZSBlcnJvciBvZiBhbmFseXNpcyB3aGVuJm5ic3A7JHBfMCxcXGNkb3RzLCBwX2skIGFuZCZuYnNwOyRtXzEsXFxjZG90cywgbV9rJCBhcmUgY2hvc2VuIGFwcHJvcHJpYXRlbHkgYnkgQWxpY2UuJm5ic3A7WW91ciBhbnN3ZXIgd2lsbCBiZSBjb25zaWRlcmVkIGFzIGNvcnJlY3QgaWYgaXQgaGFzIGFuIGFic29sdXRlIG9yIHJlbGF0aXZlIGVycm9yIGxlc3MgdGhhbiAkMTBeey00fSQuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMCIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiRW5nbGlzaCIsImxpbWl0IjoiPHVsPlxyXG5cdDxsaT5BbGwgbnVtYmVycyBnaXZlbiBpbiBpbnB1dCB3aWxsIGJlIGludGVnZXJzLjxcL2xpPlxyXG5cdDxsaT4kMVxcbGVxIE4gXFxsZXEgM1xcLDAwMCQ8XC9saT5cclxuXHQ8bGk+JDFcXGxlcSBLIFxcbGVxIFxcbWluKE4sIDEwKSQ8XC9saT5cclxuXHQ8bGk+JDBcXGxlcSB4ICZsdDsgNTBcXCwwMDAkPFwvbGk+XHJcblx0PGxpPiQwXFxsZXEgeSBcXGxlcSAxXFwsMDAwJDxcL2xpPlxyXG48XC91bD5cclxuIiwic3VidGFzazEiOiI8cD4kTiBcXGxlcSAzMDAkPFwvcD5cclxuIiwic3VidGFzazIiOiI8cD5ObyBhZGRpdGlvbmFsIHJlc3RyaWN0aW9ucyBvbiBpbnB1dC48XC9wPlxyXG4ifV0=

출처

채점 및 기타 정보

  • 예제는 채점하지 않는다.