Difference between r1.24 and the current
@@ -1,6 +1,8 @@
[[환원,reduction]] (화학에선 이거, [[산화,oxidation]]와 대비되는)
[[약분,reduction]] ([[분수,fraction]]에선 이거)
[[축소,reduction]] (? via KmsE:reduction )
[[문제,problem]]의 그것은 환산으로 할까? via wk [[WpKo:환산_(복잡도)]]
[[약분,reduction]] ([[분수,fraction]]에선 이거)
[[축소,reduction]] (? via KmsE:reduction )
[[상태축소,state_reduction]]
[[감소,reduction]] ?
....[[문제,problem]]의 그것은 환산으로 할까? via wk [[WpKo:환산_(복잡도)]]
@@ -284,3 +286,5 @@
MKL
[[dimensionality_reduction]]
... NN:reduction
환원,reduction (화학에선 이거, 산화,oxidation와 대비되는)
약분,reduction (분수,fraction에선 이거)
축소,reduction (? via
reduction )
감소,reduction ?
....
약분,reduction (분수,fraction에선 이거)
축소,reduction (? via
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
감소,reduction ?
....
Sub:
reduction_machine =,reduction_machine =,reduction_machine . reduction_machine
reduction_machine =,reduction_machine =,reduction_machine . reduction_machine
{
reduction machine
Sub?
graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
} // reduction machine
reduction machine
reduction machine
partial_order_reduction =,partial_order_reduction . partial_order_reduction (w)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
graph reduction machine
graph reduction machine
Up: reduction 기계,machine=컴퓨터,computergraph 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: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
} // reduction machine
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
{
partial order reduction
https://en.wikipedia.org/wiki/Partial_order_reduction
wt x
Up: 부분순서,partial_order 리덕션,reduction(중에?)
} // partial order reduction
partial order reduction
partial order reduction
https://en.wikipedia.org/wiki/Partial_order_reduction
wt x
Up: 부분순서,partial_order 리덕션,reduction(중에?)
} // partial order reduction
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
2023-08-12
3. (화학) 전자,electron수 증가(전자를 얻음), 원자가,valence {
![KcsE: KcsE:](/wiki/imgs/interwiki/kcse-16.png)
5. (수학) 식,expression을 rewriting =,rewriting . { 리라이팅,rewriting만들까?
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
다시쓰기 재작성 ...
n rewriting 보니 '재기록'..
Sub:string_rewriting
query_rewriting
Topics:
리덕션,reduction (similar)
소거,elimination
confluence =,confluence . { https://mathworld.wolfram.com/Confluent.html
Confluence_(abstract_rewriting) = https://en.wikipedia.org/wiki/Confluence_(abstract_rewriting) }
substitution =치환,substitution =,substitution . substitution {
리덕션,reduction (similar)
소거,elimination
confluence =,confluence . { https://mathworld.wolfram.com/Confluent.html
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
substitution =치환,substitution =,substitution . substitution {
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
= https://en.wikipedia.org/wiki/Substitution_(logic)
= https://en.wikipedia.org/wiki/Substitution_(logic)#Algebra
}
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
string_rewriting_system SRS =,SRS . { https://mathworld.wolfram.com/StringRewritingSystem.html }
reduction_system
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
abstract_rewriting_systems
https://en.wikipedia.org/wiki/Rewriting#Abstract_rewriting_systems https://en.wikipedia.org/wiki/Abstract_rewriting_system "abstract rewriting system"}
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
string_rewriting_system SRS =,SRS . { https://mathworld.wolfram.com/StringRewritingSystem.html }
fractal 관련
reduction_system =,reduction_system =,reduction_system . reduction_system {![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://mathworld.wolfram.com/ReductionSystem.html
Up: 리덕션,reduction 시스템,system
}
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://en.wikipedia.org/wiki/Rewriting#Abstract_rewriting_systems https://en.wikipedia.org/wiki/Abstract_rewriting_system "abstract rewriting system"}
rel?
https://mathworld.wolfram.com/SubstitutionSystem.html
https://mathworld.wolfram.com/SequentialSubstitutionSystem.html
https://mathworld.wolfram.com/TagSystem.html
https://mathworld.wolfram.com/LagSystem.html
https://mathworld.wolfram.com/FinitelyTerminating.html
https://mathworld.wolfram.com/SubstitutionSystem.html
https://mathworld.wolfram.com/SequentialSubstitutionSystem.html
https://mathworld.wolfram.com/TagSystem.html
https://mathworld.wolfram.com/LagSystem.html
https://mathworld.wolfram.com/FinitelyTerminating.html
https://en.wikipedia.org/wiki/Rewriting
rewriting
rewriting } 해서 더 간단한 형식,form으로 만들기.
6. (계산가능성이론) 한 문제,problem를 다른 문제로 변환,transformation하는 것 - such as
v. reduce
adj. reductive ?
reductive
adj. reducting - 적어도 뭔가 결합해 명사구를 이룰 때 이게 훨씬 많이 보인다.
reducing
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
6. (계산가능성이론) 한 문제,problem를 다른 문제로 변환,transformation하는 것 - such as
mapping_reduction {
Mapping_reduction redir to https://en.wikipedia.org/wiki/Many-one_reduction } or
polynomial_reduction {
Polynomial_reduction redir to https://en.wikipedia.org/wiki/Polynomial-time_reduction }
n. reduction![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
polynomial_reduction {
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
v. reduce
adj. reductive ?
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
adj. reducting - 적어도 뭔가 결합해 명사구를 이룰 때 이게 훨씬 많이 보인다.
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
번역어 후보
축소 - shrink와 겹친다 (opp. enlargement)
감소 삭감 .. - diminishing, decreasing, 쪽과 겹치는
줄이기
환산 - (wk CS문서)
환산_(복잡도)
축소 - shrink와 겹친다 (opp. enlargement)
감소 삭감 .. - diminishing, decreasing, 쪽과 겹치는
줄이기
환산 - (wk CS문서)
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
비슷한 뜻의 단어들
decrease
decrease
화학에서는 환원,reduction. (opp. 산화,oxidation)
reduction
reducing
ML에서는 dimensionality_reduction
dimensionality_reduction (x 2023-08-12)
dimensionality
dimensionality저건 특이하게 dimension 이라고는 잘 안하는듯. 뜻이 큰 차이는 없어보이는데 ...
dimension dimensionality 차이
dimension dimensionality 차이
dimension dimensionality difference
![KcsE: KcsE:](/wiki/imgs/interwiki/kcse-16.png)
![KcsE: KcsE:](/wiki/imgs/interwiki/kcse-16.png)
ML에서는 dimensionality_reduction
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
수학 관련표현.
reduc하면
reducible
irreducible
irreducible { polynomial, franction, integer, (algebra) 환,ring의 원소,element , (위상) 다양체,manifold / (군론) 표현,representation }
irrep
irrep - "irreducible representation"
irreducibility
reducibility
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
reducible
irreducible
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
irreducibility
reducibility
CS 관련표현
Cook_reduction =,Cook_reduction =,Cook_reduction . Cook_reduction
logspace reduction
polynomial-time_reduction
polynomial_reduction
polynomial-time_reduction =,polynomial-time_reduction . polynomial-time_reduction
{
polynomial-time reduction
{
Cook reduction
Cook_reduction
Cook reduction
Turing_reduction =,Turing_reduction =,Turing_reduction . Turing_reductionCook reduction
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
"A Turing_reduction that runs in polynomial_time."
} // Cook reduction ![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
{
Turing reduction
Turing_reduction
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Turing_reductions
https://en.wikipedia.org/wiki/Turing_reduction
} // Turing reduction
Turing reduction
Turing reduction
Karp_reductionTuring reduction
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Turing_reductions
https://en.wikipedia.org/wiki/Turing_reduction
} // Turing reduction
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
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 reductionhttps://en.wikipedia.org/wiki/Karp_reduction (redir)
진리표,truth_table
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Truth-table_reductions
https://en.wikipedia.org/wiki/Truth-table_reduction
log-space reductionhttps://en.wikipedia.org/wiki/Polynomial-time_reduction#Truth-table_reductions
https://en.wikipedia.org/wiki/Truth-table_reduction
logspace reduction
polynomial-time_reduction
polynomial_reduction
polynomial-time_reduction =,polynomial-time_reduction . polynomial-time_reduction
{
polynomial-time reduction
} // polynomial-time reduction
polynomial-time reduction
polynomial-time reduction
many-one_reduction
mapping_reduction
// lambda_calculus
lambda_calculus
Lambda_calculus
beta_reduction
eta_reduction
참고로 reduction 아닌것들까지:
alpha_conversion
beta_reduction
eta_conversion
...
https://en.wikipedia.org/wiki/Lambda_calculus#Reduction
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
many-one_reduction
mapping_reduction
// lambda_calculus
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
beta_reduction
eta_reduction
참고로 reduction 아닌것들까지:
alpha_conversion
beta_reduction
eta_conversion
...
https://en.wikipedia.org/wiki/Lambda_calculus#Reduction
reduction_order
Reduction_order (none, 2023-08-13)
https://mathworld.wolfram.com/ReductionOrder.html
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://mathworld.wolfram.com/ReductionOrder.html
reduction machine
graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
{
graph reduction machine
{
graph reduction machine
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
평가전략,evaluation_strategy중 하나인 non-strict_evaluation =,non-strict_evaluation . non-strict_evaluation { opp. strict_evaluation? = lazy_evaluation? aka eager_evaluation? chk.
non-strict evaluation
non-strict evaluation "non-strict evaluation" }
의 효과적인 버전을 구현한다. 1971년 개발됨.
}![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
의 효과적인 버전을 구현한다. 1971년 개발됨.
reduction의 '가능 여부'에 대한 표현들 여기로 모을 것. TODO
reducibility =,reducibility . (CS)
{
see:
https://en.wikipedia.org/wiki/Reduction_(computability_theory)
{
see:
https://en.wikipedia.org/wiki/Reduction_(computability_theory)
MKL enumerability ...
enumerability redir to https://en.wikipedia.org/wiki/Computably_enumerable_set
https://en.wikipedia.org/wiki/Enumeration_reducibility
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://en.wikipedia.org/wiki/Enumeration_reducibility
Twins:
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
= https://en.wikipedia.org/wiki/Reduction_(complexity)
= https://en.wikipedia.org/wiki/Reduction_(complexity)
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
{
"transformation 트랜스포메이션 이라고도 한다"
https://en.wikipedia.org/wiki/Category:Reduction_(complexity)"transformation 트랜스포메이션 이라고도 한다"
다만 (reduction의 뜻을 생각하면) 더 간단하게 or 동등하게 하는? 더 복잡하게 transformation하는 건 reduction엔 안 들어가나?
}(wikiadmin)
....
http://www.aistudy.com/physics/reduction.htm
환원,reduction
환원주의,reductionism =환원주의, =,reductionism . reductionism { aka 환원론 .... ...
reductionism
reductionism
환원주의
환원주의
reductionism } 언급.
환원,reduction
환원주의,reductionism =환원주의, =,reductionism . reductionism { aka 환원론 .... ...
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)