리덕션,reduction

환원,reduction (화학에선 이거, 산화,oxidation와 대비되는)
약분,reduction (분수,fraction에선 이거)
축소,reduction (? via KmsE:reduction )
....

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)
{
partial order reduction

https://en.wikipedia.org/wiki/Partial_order_reduction
wt x

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

Sub:
string_rewriting
query_rewriting




Sub:
term_rewriting =,term_rewriting =,term_rewriting . term_rewriting
WtEn:term_rewriting
WpEn: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 {
WtEn:reduction_system WpEn:reduction_system
https://mathworld.wolfram.com/ReductionSystem.html
Up: 리덕션,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
mapping_reduction { WpEn:Mapping_reduction redir to https://en.wikipedia.org/wiki/Many-one_reduction } or
polynomial_reduction { WpEn:Polynomial_reduction redir to https://en.wikipedia.org/wiki/Polynomial-time_reduction }


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
{
Turing reduction
WtEn:Turing_reduction
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Turing_reductions
https://en.wikipedia.org/wiki/Turing_reduction
} // Turing reduction Ggl:Turing reduction Bing:Turing reduction
Karp_reduction
polynomial-time many-one reduction - see https://en.wikipedia.org/wiki/Polynomial-time_reduction#Many-one_reductions
https://en.wikipedia.org/wiki/Karp_reduction (redir)
truth-table reduction
진리표,truth_table
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Truth-table_reductions
https://en.wikipedia.org/wiki/Truth-table_reduction
log-space reduction
logspace reduction
https://en.wikipedia.org/wiki/Log-space_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에 하는 그거.


....



리덕션,reduction Modified on 2:27 am, February 13, 2024.
🎲 Random