Introduction
   InetCAS
     InetMaple
     InetReduce
   InetApplication
     InetMatlab
   Mathematics
     Combinatorics
       - numbpart
       - multipart
       - arithinva
       - rbf

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Ç×°ú °°ÀÌ ÀüÀÚ¸ÞÀÏÀ» º¸³» ÁÖ½Ã¸é µÇ°Ú½À´Ï´Ù.    

 
  Mail to Professor Sun Tae Soh Copyrights trinitas.mju.ac.kr All Rights Reserved.