리덕션,reduction

Difference between r1.24 and the current

@@ -1,6 +1,11 @@
[[환원,reduction]] (화학에선 이거, [[산화,oxidation]]와 대비되는)
[[약분,reduction]] ([[분수,fraction]]에선 이거)
[[축소,reduction]] (? via KmsE:reduction )
[[상태축소,state_reduction]]
[[감소,reduction]] ?
소거
via "추상 소거 시스템(abstract reduction system, ARS)"[* https://ko.wikipedia.org/wiki/%EC%9E%AC%EC%9E%91%EC%84%B1#:~:text=%EC%B6%94%EC%83%81%20%EC%86%8C%EA%B1%B0%20%EC%8B%9C%EC%8A%A4%ED%85%9C(abstract%20reduction%20system%2C%20ARS)]
rel [[rewriting]] - [[다시쓰기,rewriting]] or [[재작성,rewriting]]
....

[[문제,problem]]의 그것은 환산으로 할까? via wk [[WpKo:환산_(복잡도)]]
@@ -284,3 +289,5 @@

MKL
[[dimensionality_reduction]]
 
... NN:reduction



환원,reduction (화학에선 이거, 산화,oxidation와 대비되는)
약분,reduction (분수,fraction에선 이거)
축소,reduction (? via KmsE:reduction )
감소,reduction ?
소거
via "추상 소거 시스템(abstract reduction system, ARS)"[1]
rel rewriting - 다시쓰기,rewriting or 재작성,rewriting
....


Sub:
reduction_machine =,reduction_machine =,reduction_machine . reduction_machine
{
reduction machine

Sub?
graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
{
graph reduction machine

Up: graph_reduction reduction_machine

Reduction machines are specifically designed for the execution of these functional_languages. (Barendregt 2000) (저기서 말한 것은 Miranda, ML, Lisp 등 functional prgramming languages)

https://www.oxfordreference.com/display/10.1093/oi/authority.20110810105719113
https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/reduction-machine

https://en.wikipedia.org/wiki/Graph_reduction_machine
"A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction. ...."

} // graph reduction machine Ggl:graph reduction machine Naver:graph reduction machine

Up: reduction 기계,machine=컴퓨터,computer
} // reduction machine Ggl:reduction machine Ndict:reduction machine

partial_order_reduction =,partial_order_reduction . partial_order_reduction (w)

NdEn:reduction
WtEn:reduction
2023-08-12
3. (화학) 전자,electron수 증가(전자를 얻음), 원자가,valence { KcsE:valence : 원자가 } 가 감소; often by 산소,oxygen 제거 또는 수소,hydrogen 랑 더하기.
5. (수학) 식,expressionrewriting =,rewriting . { 리라이팅,rewriting만들까?
NdEn:rewriting
WtEn:rewriting
다시쓰기 재작성 ...
n rewriting 보니 '재기록'..

Sub:
string_rewriting
query_rewriting




Sub:
term_rewriting =,term_rewriting =,term_rewriting . term_rewriting
term_rewriting_system TRS =,TRS . { https://mathworld.wolfram.com/TermRewritingSystem.html https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems }
string_rewriting =,string_rewriting =,string_rewriting . string_rewriting
WtEn:string_rewriting
WpEn;string_rewriting
string_rewriting_system SRS =,SRS . { https://mathworld.wolfram.com/StringRewritingSystem.html }
fractal 관련
reduction_system =,reduction_system =,reduction_system . reduction_system {
abstract_rewriting_systems =,abstract_rewriting_systems =,abstract_rewriting_systems . abstract_rewriting_systems ARS =,ARS . { abstract rewriting system WtEn:abstract_rewriting_systems
https://en.wikipedia.org/wiki/Rewriting#Abstract_rewriting_systems https://en.wikipedia.org/wiki/Abstract_rewriting_system "abstract rewriting system"}




https://en.wikipedia.org/wiki/Rewriting
Ndict:rewriting Ggl:rewriting } 해서 더 간단한 형식,form으로 만들기.
6. (계산가능성이론) 한 문제,problem를 다른 문제로 변환,transformation하는 것 - such as
n. reduction
v. reduce
adj. reductive ? WtEn:reductive
adj. reducting - 적어도 뭔가 결합해 명사구를 이룰 때 이게 훨씬 많이 보인다. WtEn:reducing

번역어 후보
축소 - shrink와 겹친다 (opp. enlargement)
감소 삭감 .. - diminishing, decreasing, 쪽과 겹치는
줄이기
환산 - (wk CS문서) WpKo:환산_(복잡도)

비슷한 뜻의 단어들
decrease

화학에서는 환원,reduction. (opp. 산화,oxidation) KcsE:reduction KcsE:reducing
WtEn:photoreduction KcsE:photoreduction : 광환원 // photo-reduction

ML에서는 dimensionality_reduction WtEn:dimensionality_reduction (x 2023-08-12) KmsE:dimensionality WtEn:dimensionality저건 특이하게 dimension 이라고는 잘 안하는듯. 뜻이 큰 차이는 없어보이는데 ... Naver:dimension dimensionality 차이 Ggl:dimension dimensionality 차이 Ggl:dimension dimensionality difference


수학 관련표현. KmsE:reduc하면
reducible
WtEn:reducible { polynomial, integer, manifold 뜻 설명. }
irreducible
WtEn:irreducible { polynomial, franction, integer, (algebra) 환,ring원소,element , (위상) 다양체,manifold / (군론) 표현,representation }
irrep WtEn:irrep - "irreducible representation"
irreducibility
WtEn:irreducibility (볼 필요 없음, irreducible하다는 얘기)
reducibility
WtEn:reducibility (볼 필요 없음, reducible한 성질이라는 얘기)


CS 관련표현

Cook_reduction =,Cook_reduction =,Cook_reduction . Cook_reduction
{
Cook reduction
WtEn:Cook_reduction
"A Turing_reduction that runs in polynomial_time."
} // Cook reduction Ggl:Cook reduction
Turing_reduction =,Turing_reduction =,Turing_reduction . Turing_reduction
Karp_reduction
truth-table reduction
log-space reduction
logspace reduction
polynomial-time_reduction
polynomial_reduction
polynomial-time_reduction =,polynomial-time_reduction . polynomial-time_reduction
{
polynomial-time reduction




graph_reduction =,graph_reduction =,graph_reduction . graph_reduction
{

reduction machine

graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
{
graph reduction machine





WpEn:Graph_reduction = https://en.wikipedia.org/wiki/Graph_reduction
평가전략,evaluation_strategy중 하나인 non-strict_evaluation =,non-strict_evaluation . non-strict_evaluation { opp. strict_evaluation? = lazy_evaluation? aka eager_evaluation? chk. Ggl:non-strict evaluation Bing:non-strict evaluation "non-strict evaluation" }
의 효과적인 버전을 구현한다. 1971년 개발됨.
}


reduction의 '가능 여부'에 대한 표현들 여기로 모을 것. TODO


reducibility =,reducibility . (CS)
{
see:
https://en.wikipedia.org/wiki/Reduction_(computability_theory)




Twins:


WpKo:환산_(복잡도)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
{
"transformation 트랜스포메이션 이라고도 한다"
다만 (reduction의 뜻을 생각하면) 더 간단하게 or 동등하게 하는? 더 복잡하게 transformation하는 건 reduction엔 안 들어가나?
}

https://en.wikipedia.org/wiki/Category:Reduction_(complexity)



(wikiadmin)

2023-09-09
약분의 번역도 됨. chkout KmsK:약분 KmsE:reduction ... 분수,fraction에 하는 그거.


....