1. multipart@trinitas.mju.ac.kr
ÀÇ ¸ñÀû [ English
]
ÁÖ¾îÁø ÀÚ¿¬¼ö n°ú Multiset M
¿¡ ´ëÇÏ¿©, j <= n À» ¸¸Á·ÇÏ´Â ¿©·¯
ÀÚ¿¬¼ö j ¿¡ ´ëÇÑ (graded) partition function
p_M(j) ÀÇ °ªµéÀ» °è»êÇÑ ÈÄ ±× °á°ú¸¦
ÀüÀÚ¸ÞÀÏ·Î º¸³» ÁÜ.
2. ¼Ò°³
¿ì¼± {1,2,2,3} ¿¡´Â ¼ýÀÚ 2°¡ ¿©·¯ ¹ø
³ªÅ¸³ª ÀÖÀ¸¹Ç·Î multiset ÀÓÀ»
»ó±âÇÏÀÚ. ¿©±â¼, p_M(n)Àº ÁÖ¾îÁø nÀ»
ÁÖ¾îÁø multiset MÀÇ ±¸¼º¿øÀÎ
ÀÚ¿¬¼öµéÀÇ ÇÕÀ¸·Î non-increasingÇÏ°Ô
³ªÅ¸³»´Â ¹æ¹ýÀÇ ¼ö·Î Á¤ÀÇ µÈ´Ù.
ÃÖ±Ù¿¡, ¼Ò¼øÅÂ ±³¼ö´Â p_M(n)ÀÇ
generating functionÀ» Á÷Á¢ Àü°³ÇÔÀ¸·Î½á
p_M(n)ÀÇ °ªÀ» °è»êÇÏ´Â EulerÀÇ ¹æ¹ýÀ»
ÀϹÝÈÇÑ ÇüÅÂÀÇ »õ·Î¿î Á¡È°ø½ÄÀ»
¹ß°ßÇÏ¿´´Ù:
Soh's
(quasi-) recursive formula for p_M(n)
¿©±â¼´Â ÀÌ °ø½ÄÀ»
»ç¿ëÇÏ¿© InetCompu ¼ºñ½º¸¦ Á¦°øÇÑ´Ù.
À§ÀÇ Á¡È °ø½ÄÀÇ time efficiency´Â O(n^2)
À̸ç, ÁÖ¾îÁø ¿©°Ç¿¡ µû¶ó effciency
control parameter ÀÎ f > 1 ÀÇ °ªÀ»
ÀûÀýÈ÷ ÅÃÇÔÀ¸·Î½á °è»ê È¿À²À»
±Ø´ëÈ ÇÒ ¼ö ÀÖ´Ù.
3. ±â¿©ÀÚ: p_M(n) ÀÇ
°ªÀ» °è»êÇÏ´Â µ¥ ÇöÀç »ç¿ë ÁßÀÎ
ÇÁ·Î±×·¥Àº ¸íÁö´ëÇб³ ¼öÇаú
¼Ò¼øÅÂ ±³¼ö°¡ Computer Algebra System (CAS)
ÀÎ Reduce¸¦ »ç¿ëÇÏ¿© ±¸ÃàÇÏ¿´´Ù.
4. Note
Á¢¼öµÈ ÀüÀÚ¸ÞÀÏÀ» ¿¡·¯¾øÀÌ
ó¸®Çϱâ À§ÇÏ¿©, Microsoft »çÀÇ Outlook
Express¿¡¼ New mail > Alt+O > Alt+X (with
No Encryption) À» »ç¿ëÇÏ¿© multipart@trinitas.mju.ac.kr
·Î ´ÙÀ½ÀÇ Á¦ 5Ç×ÀÇ ¼³¸í¿¡ µû¶ó
ÀÛ¼ºÇÑ ÀüÀÚ¸ÞÀÏÀ» º¸³¾ °ÍÀ» Àû±Ø ±ÇÀåÇÑ´Ù.
5. ÀüÀÚ¸ÞÀÏÀ»
º¸³»´Â ¹æ¹ý: º»¹®ÀÌ, ¿¹¸¦
µé¾î,
input:
n:=1000$
multiset:={1,2,2,3,3,3,4,5,5,5,5,6,7,8,9,9,10}$
f:=2$
end input:
À¸·Î ÀÌ·ç¾îÁø plain-text
¾ç½ÄÀÇ ÀüÀÚ¸ÞÀÏ (¿¹¸¦ µé¾î, Microsoft
Outlook Express ÀÏ °æ¿ì¿¡´Â New mail > Alt+o
> Alt+x (with No Encryption)) À» multipart@trinitas.mju.ac.kr
·Î º¸³½´Ù. ±×·¯¸é, ÀüÀÚ¸ÞÀÏÀÇ µµÂø
Áï½Ã input: °ú end input: »çÀÌÀÇ input¿¡
±Ù°ÅÇÏ¿© j <= n À» ¸¸Á·ÇÏ´Â ¿©·¯ j
¿¡ ´ëÇÑ p_M(j) ÀÇ °ªÀ» °è»êÇÏ¿© ±×
°á°ú¿Í º» ¼¹ö¿¡¼ Àüü °è»ê¿¡ ¼Ò¿äµÈ ½Ã°£(timex
report)À» ´ãÀº ÀüÀÚ¸ÞÀÏÀ» ¼Û½ÅÀÚ¿¡°Ô
Áï½Ã ¹ß¼ÛÇÔ.
´Ü, À§ÀÇ ¿¹Á¦¿¡¼
(i) ù ¹ø° ÁÙ, multiset:={1,2,2,3,3,3,4,5,5,5,5,6,7,8,9,9,10}$
, Àº ´ÙÀ½ÀÇ ÁÙ·Î ´ëÄ¡ ÇÒ ¼ö ÀÖÀ¸¸ç, multiset:={{1,1},{2,2},{3,3},{4,1},{5,4},{6,1},{7,1},{8,1},{9,2},{10,1}}$
,
(ii) 2°¡ ¾Æ´Ñ ´Ù¸¥ ÀÚ¿¬¼ö¸¦ efficiency control parameter
ÀÎ f >1 ÀÇ °ªÀ¸·Î ¼±ÅÃÇÒ ¼ö
ÀÖ°í,
(iii) ¸¸¾à¿¡ ¼¼ ¹ø°ÁÙ, multiset:={1,2,2,3,3,3,4,5,5,5,5,6,7,8,9,9,10}$
ÀÌ ¾øÀ¸¸é, multiset ÀÌ multiset:={1,2,...,n}$
À̶ó°í °¡Á¤ÇÑ´Ù. ´Ü, ÀÌ °æ¿ì¿¡
ÀÖ¾î f > 1 ÀÇ °ªÀ» Á¤ÇØ ÁÖÁö ¾ÊÀ¸¸é
È¿À²ÀûÀÎ °è»êÀ» À§ÇÏ¿© ´ÙÀ½ÀÇ
°ø½Ä¿¡ ÀÇÇÏ¿© fÀÇ °ªÀÌ ÀÚµ¿ÀûÀ¸·Î
¼±Á¤µÈ´Ù.
Note: ¸Å¿ì
º¹ÀâÇϰųª Å« multisetÀÇ °æ¿ì¿¡´Â,
´ÙÀ½ÀÇ °ø½Ä¿¡ µû¶ó 2°¡ ¾Æ´Ñ ´Ù¸¥
ÀÚ¿¬¼ö¸¦ f > 1 ÀÇ °ªÀ¸·Î ÅÃÇÒ ¼ö
ÀÖ´Ù:
f:=[exp(sqrt( ln(2)*ln(N) ))]$
¿©±â¼, [m] Àº Gaussian
integer ÇÔ¼öÀÌ°í N Àº ¼±ÅÃÇÑ multisetÀÇ
Å©±âÀÌ´Ù. [Âü°í: ´ë°³ÀÇ °æ¿ì, Áï
multisetÀÌ »ó´çÈ÷ Å©Áö ¾Ê´Â ÇÑ, f:=2$ ·Î
ÅÃÇÏ´Â °ÍÀÌ È¿À²ÀûÀÎ °æ¿ì°¡ ¸¹´Ù.]
[ÁÖÀÇ] º¹ÀâÇÏÁö
¾ÊÀº °è»êÀ» À§ ÀüÀÚ¸ÞÀÏ ÁÖ¼Ò·Î
ÀÇ·ÚÇÏ¿´À» °æ¿ì¿¡´Â ´ë°³ 3 - 4 ºÐ
À̳»¿¡ °á°ú¸¦ ¹Þ¾Æ º¼ ¼ö
ÀÖ½À´Ï´Ù. ±×·¯³ª, ÀÇ·ÚÇÑ °è»êÀ»
¼öÇàÇÑ ÈÄ ±× °è»ê°á°ú¸¦ ´ä½ÅÀ¸·Î¼
¼Û½ÅÀÚ¿¡°Ô º¸³» µå·ÈÀ¸³ª, (i)
¼Û½ÅÀÚÀÇ ÁÖ¼Ò°¡ Ʋ¸®°Å³ª (ii) ȤÀº
¼Û½ÅÀÚÀÇ ÀüÀÚ¸ÞÀÏ ÅëÀÌ ´Ù¸¥
ÀüÀÚ¸ÞÀÏ·Î °¡µæ Â÷ ÀÖ¾î, ¼Û½ÅÀÚ
Ãø¿¡ Á¦´ë·Î Á¢¼ö°¡ µÇÁö ¾Ê°í µÇµ¹¾Æ
¿À´Â °æ¿ì°¡ °£È¤ ÀÖÀ¸´Ï, À§ÀÇ Á¦ 5Ç×ÀÇ
ÀüÀÚ¸ÞÀÏ ÁÖ¼Ò·Î °è»êÀ» ÀÇ·ÚÇÑ ÈÄ
ÀÏÁ¤½Ã°£ ÀÌ»ó ±â´Ù·Áµµ ´ä½ÅÀÌ ¾øÀ»
°æ¿ì¿¡´Â, º»ÀÎÀÇ ¸ÞÀÏ°èÁ¤ÀÇ »óŸ¦
Á¡°ËÇÏ¿© À§ÀÇ (i) °ú (ii)ÀÇ ¹®Á¦¸¦
ÇØ°áÇÑ ÈÄ ´Ù½Ã ÇÑ ¹ø À§ÀÇ Á¦ 5Ç×°ú
°°ÀÌ ÀüÀÚ¸ÞÀÏÀ» º¸³» Áֽøé
µÇ°Ú½À´Ï´Ù.
|