[[환원,reduction]] (화학에선 이거, [[산화,oxidation]]와 대비되는) [[약분,reduction]] ([[분수,fraction]]에선 이거) [[축소,reduction]] (? via KmsE:reduction ) [[상태축소,state_reduction]] [[감소,reduction]] ? .... [[문제,problem]]의 그것은 환산으로 할까? via wk [[WpKo:환산_(복잡도)]] [[환산,reduction]] { wk [[복잡도,complexity]] [[복잡도이론,complexity_theory]] [[복잡도분석,complexity_analysis]] [[계산복잡도,computational_complexity]] [[문제,problem]] ... } ---- 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_language]]s. (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 [[Date(2023-08-12T11:18:55)]] 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]] Topics: [[리덕션,reduction]] (similar) [[소거,elimination]] confluence =,confluence . { https://mathworld.wolfram.com/Confluent.html [[WpEn:Confluence_(abstract_rewriting)]] = https://en.wikipedia.org/wiki/Confluence_%28abstract_rewriting%29 } [[substitution]] =치환,substitution =,substitution . substitution { KmsE:substitution NdEn:substitution Ndict:substitution [[WpEn:Substitution_(logic)]] = https://en.wikipedia.org/wiki/Substitution_(logic) = https://en.wikipedia.org/wiki/Substitution_%28logic%29#Algebra } 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"} 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://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 [[Date(2023-08-12T11:18:55)]]) 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''' https://en.wikipedia.org/wiki/Polynomial-time_reduction } // polynomial-time reduction Ggl:"polynomial-time reduction" Naver:"polynomial-time reduction" many-one_reduction mapping_reduction https://en.wikipedia.org/wiki/Many-one_reduction // lambda_calculus WtEn:lambda_calculus WpEn:Lambda_calculus beta_reduction WtEn:beta_reduction WtEn:beta_reduce eta_reduction WtEn:eta_reduction => WtEn:eta_conversion https://en.wikipedia.org/wiki/Lambda_calculus#η-reduction 참고로 reduction 아닌것들까지: alpha_conversion WtEn:alpha_conversion beta_reduction WtEn:beta_reduction = https://en.wiktionary.org/wiki/beta_reduction eta_conversion WtEn:eta_conversion = https://en.wiktionary.org/wiki/eta_conversion ... https://en.wikipedia.org/wiki/Lambda_calculus#Reduction [[reduction_order]] WpEn:Reduction_order (none, [[Date(2023-08-12T21:01:20)]]) https://mathworld.wolfram.com/ReductionOrder.html [[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 https://en.wikipedia.org/wiki/Graph_reduction_machine [[graph_reduction]] [[reduction_machine]]? [[기계,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 [[기약,irreducible]] reducibility =,reducibility . (CS) { see: https://en.wikipedia.org/wiki/Reduction_%28computability_theory%29 MKL enumerability ... WpEn:enumerability redir to https://en.wikipedia.org/wiki/Computably_enumerable_set WtEn:enumerable https://en.wikipedia.org/wiki/Enumeration_reducibility MKL [[열거,enumeration]] } ---- Twins: [[WpEn:Reduction_(complexity)]] = https://en.wikipedia.org/wiki/Reduction_(complexity) = https://en.wikipedia.org/wiki/Reduction_%28complexity%29 [[WpKo:환산_(복잡도)]] = https://ko.wikipedia.org/wiki/환산_(복잡도) = https://ko.wikipedia.org/wiki/환산_%28복잡도%29 { "transformation 트랜스포메이션 이라고도 한다" ''다만 (reduction의 뜻을 생각하면) 더 간단하게 or 동등하게 하는? 더 복잡하게 transformation하는 건 reduction엔 안 들어가나?'' } https://en.wikipedia.org/wiki/Category:Reduction_%28complexity%29 https://en.wikipedia.org/wiki/Reduction_%28computability_theory%29 ---- (wikiadmin) [[Date(2023-09-09T14:49:08)]] [[약분]]의 번역도 됨. chkout KmsK:약분 KmsE:reduction ... [[분수,fraction]]에 하는 그거. Naver:reduction Bing:reduction Ggl:reduction .... http://www.aistudy.com/physics/reduction.htm [[환원,reduction]] [[환원주의,reductionism]] =환원주의, =,reductionism . reductionism { aka 환원론 .... ... NdEn:reductionism Ndict:reductionism Ndict:환원주의 Ggl:환원주의 Ggl:reductionism } 언급. MKL [[dimensionality_reduction]] ... NN:reduction