Computer Science / Symbolic Computation

All posts under category "Computer Science / Symbolic Computation"

3 posts total
Sorted by date
A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm

A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm

๋ณธ ๋…ผ๋ฌธ์€ ์„ฑ๊ณต์ ์ธ ์ฐจ๋ถ„ ๋Œ€์ฒด ์•Œ๊ณ ๋ฆฌ์ฆ˜(KSDS)์˜ ์ข…๊ฒฐ์„ฑ์— ๋Œ€ํ•œ ์‹ฌ๋„ ์žˆ๋Š” ์—ฐ๊ตฌ๋ฅผ ์ œ๊ณตํ•˜๋ฉฐ, ํŠนํžˆ ์ฃผ์š”ํ™” ์ˆœ์„œ๋ฅผ ์ด์šฉํ•˜์—ฌ ์ด ์•Œ๊ณ ๋ฆฌ์ฆ˜์ด ์–ธ์ œ ์ข…๋ฃŒ๋˜๋Š”์ง€ ๋ถ„์„ํ•œ๋‹ค. KSDS๋Š” ๋‹คํ•ญ์‹ ํ•จ์ˆ˜์—์„œ ํŠน์ • ์กฐ๊ฑด์„ ๋งŒ์กฑํ•˜๋Š” ๊ฒฝ์šฐ ์–‘์ ์œผ๋กœ ์ข…๋ฃŒ๋˜๋ฉฐ, ์ด๋Ÿฌํ•œ ์กฐ๊ฑด์€ ์ฃผ๋กœ ๋‹จํ•ญ์‹์˜ ๊ณ„์ˆ˜์™€ ๊ทธ๋“ค์˜ ๊ด€๊ณ„์— ๊ธฐ๋ฐ˜ํ•œ๋‹ค. 1. KSDS์˜ ์ •์˜ ๋ฐ ๋ฐฐ๊ฒฝ KSDS๋Š” ์ž…๋ ฅ ํ•จ์ˆ˜ f๋ฅผ ๋‹คํ•ญ์‹ ํ˜•ํƒœ๋กœ ํ‘œํ˜„ํ•˜๊ณ , ์ด ๋‹คํ•ญ์‹์—์„œ ํŠน์ •ํ•œ ๋Œ€์ฒด ๊ทœ์น™์„ ์ ์šฉํ•˜์—ฌ ์ƒˆ๋กœ์šด ๋‹คํ•ญ์‹์„ ์ƒ์„ฑํ•˜๋Š” ์•Œ๊ณ ๋ฆฌ์ฆ˜์ด๋‹ค. ๋…ผ๋ฌธ์—์„œ๋Š” ๋‹จํ•ญ์‹์ด ์–‘์ˆ˜ ๋˜๋Š” ์Œ์ˆ˜ ๊ณ„์ˆ˜๋ฅผ ๊ฐ€์งˆ ๋•Œ์˜ ํŠน์„ฑ์„ ์ •์˜ํ•œ๋‹ค. ํŠน

Symbolic Computation Mathematics Computer Science
A Note on the Group-theoretic Approach to Fast Matrix Multiplication

A Note on the Group-theoretic Approach to Fast Matrix Multiplication

: ์ด ๋…ผ๋ฌธ์€ ํ–‰๋ ฌ ๊ณฑ์…ˆ ์•Œ๊ณ ๋ฆฌ์ฆ˜์˜ ๋ณต์žก๋„๋ฅผ ์ค„์ด๋Š” ๋ฐ ์žˆ์–ด ๊ทธ๋ฃน ์ด๋ก ์  ์ ‘๊ทผ ๋ฐฉ์‹์˜ ์ค‘์š”์„ฑ์— ๋Œ€ํ•ด ํƒ๊ตฌํ•˜๊ณ  ์žˆ๋‹ค. ์ „ํ†ต์ ์ธ ํ–‰๋ ฌ ๊ณฑ์…ˆ ์•Œ๊ณ ๋ฆฌ์ฆ˜์€ O(nยณ) ์‹œ๊ฐ„ ๋ณต์žก๋„๋ฅผ ๊ฐ€์ง„๋‹ค. ๊ทธ๋Ÿฌ๋‚˜, ๋ณด๋‹ค ํšจ์œจ์ ์ธ ์•Œ๊ณ ๋ฆฌ์ฆ˜์ด ์กด์žฌํ•˜๋ฉฐ, ๊ฐ€์žฅ ๋น ๋ฅธ ์•Œ๋ ค์ง„ ์•Œ๊ณ ๋ฆฌ์ฆ˜์€ Don Coppersmith์™€ Shmuel Winograd์— ์˜ํ•ด ์ œ์‹œ๋œ O(nยฒ.376) ์‹œ๊ฐ„ ๋ณต์žก๋„์˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜์ด๋‹ค. ๋…ผ๋ฌธ์—์„œ๋Š” ํ–‰๋ ฌ ๊ณฑ์…ˆ ์•Œ๊ณ ๋ฆฌ์ฆ˜์˜ ์„ฑ๋Šฅ์„ ํ–ฅ์ƒ์‹œํ‚ค๋Š” ๋ฐ ์žˆ์–ด ๊ทธ๋ฃน ์ด๋ก ์  ์ ‘๊ทผ ๋ฐฉ์‹์˜ ์ค‘์š”์„ฑ์„ ๊ฐ•์กฐํ•œ๋‹ค. ํŠนํžˆ, 2003๋…„์— ์ฝ”ํ—จ(Cohn)๊ณผ ์šฐ๋งŒ์Šค(Umans)์ด

Symbolic Computation Mathematics Computer Science
No Image

Structure of lexicographic Groebner bases in three variables of ideals of dimension zero

: ์„œ๋ก  ๋ฐ ์—ฐ๊ตฌ ๋ฐฐ๊ฒฝ ๋…ผ๋ฌธ์€ ๋‹ค๋ณ€์ˆ˜ ๋‹คํ•ญ์‹ ๋ฐ˜ํ™˜์˜ ์ œ๋กœ ์ฐจ์› ์ด์ƒ์ ๊ณผ ๊ทธ๋กœ๋ธŒ๋„ˆ ๊ธฐ์ €์— ์ดˆ์ ์„ ๋งž์ถ”๊ณ  ์žˆ๋‹ค. ํŠนํžˆ, 3๊ฐœ ๋ณ€์ˆ˜ x , y , z ๋ฅผ ์‚ฌ์šฉํ•˜๋Š” ๋‹คํ•ญ์‹ ๋ฐ˜ํ™˜ R

Symbolic Computation Computer Science

< Category Statistics (Total: 702) >

Astrophysics
83
Computer Science
239
Condensed Matter
8
Economics
6
Electrical Engineering and Systems Science
7
General
253
General Relativity
7
HEP-EX
5
HEP-PH
12
HEP-TH
5
MATH-PH
3
Mathematics
73
NUCL-TH
1
Nonlinear Sciences
14
Physics
84
Quantitative Biology
14
Quantitative Finance
10
Quantum Physics
9
Statistics
9

Start searching

Enter keywords to search articles

โ†‘โ†“
โ†ต
ESC
โŒ˜K Shortcut