Difference between r1.18 and the current
@@ -16,6 +16,53 @@
[[컴퓨터,computer]]는 [[계산,computation]]으로 '''문제'''를 해결하는 기계?
----
[[problem_solving]] =,problem_solving =,problem_solving . problem_solving
{
----
MKL
cmp [[진술,statement]] [[문장,sentence]] [[정리,theorem]] [[명제,proposition]] ...
difficulty 어려움 난이도 ... : hard .... easy
복잡도 - 특히 CS문제에선 [[복잡도,complexity]] > [[계산복잡도,computational_complexity]] 가 중요주제 (of [[계산,computation]])
특히 math문제에선 [[해,solution]]의 [[존재성,existence]]과 [[유일성,uniqueness]]이 중요주제 (rel [[증명,proof]] [[방정식,equation]] ...)
WtEn:heuristics WtEn:heuristic NN:heuristics
[[알고리듬,algorithm]]
[[환원,reduction]] - 문제가 안 풀리면 더 쉬우면서도 [[동치,equivalence]]인 형태로/다른문제로 [[변환,transformation]] 및 더 작은 subproblem으로 분해 환원 등등
subproblem
부문제 부분문제 하위문제 .... NN:subproblem NdEn:subproblem
[[전략,strategy]]
[[경우,case]] - brute force, exhaustive search, ... 모든 경우를 나열하거나 생각하거나 [[탐색,search]] ...
----
Sub:
__''DE(diff eq.)의''__
[[초기값문제,initial_value_problem,IVP]]
__''CS(comp. sci)의 근본적인''__
[[정지문제,halting_problem]]
[[결정문제,decision_problem]]
__''CS의''__
탐색문제 search_problem - 대체로, [[탐색,search]]을 최대한 빠르게 하는 것이 목적.
search problem
// search problem .... Ggl:"search problem" Bing:"search problem"
pathfinding_problem - 가장 좋은(대체적으로 가장 짧은) [[경로,path]]를 찾는.
'''pathfinding problem'''
탐색문제와 비슷
// pathfinding problem ... Ggl:"pathfinding problem " Bing:"pathfinding problem "
+조합론의
[[배낭문제,knapsack_problem]]
0-1_knapsack_problem
__''[[정수론,number_theory]]의''__
[[바젤_문제,Basel_problem]]
...
[[inverse_problem]]
[[forward_problem]]
....
----
Sub:[[problem_solving]] =,problem_solving =,problem_solving . problem_solving
{
뭔가가 문제라고 분류된다면/이름지어졌다면(이름붙었다면), 그것에 대한 관심은
- HOW TO SOLVE
- 해,solution는? ... (esp. 문제가 방정식,equation이라면 그 근,root은?)
- 존재하는가? 존재,existence 존재성,existence existence existence
- 아님 존재하지 않는가?
- 혹시 존재하는지 존재하지 않는지 결정,determination할 수도 없는 것인가?
- 존재하는가? 존재,existence 존재성,existence existence existence
- 그리고 존재한다면, 그걸 찾아내는 방법 / 해법 (해법 해법 해법 ... 이것도 영어로 solution? chk solution solution ) / 해결방법 / 해결 방법,method ... (rel. 전략,strategy)은 무엇인가?
- 가장 효율적인 방법은? - rel 알고리듬,algorithm 복잡도,complexity 계산복잡도,computational_complexity 시간복잡도,time_complexity 공간복잡도,space_complexity 계산복잡도이론,computational_complexity_theory
- brute-force / brute_force 는 비효율적이기 때문에
- brute-force / brute_force 는 비효율적이기 때문에
- 가장 효율적인 방법은? - rel 알고리듬,algorithm 복잡도,complexity 계산복잡도,computational_complexity 시간복잡도,time_complexity 공간복잡도,space_complexity 계산복잡도이론,computational_complexity_theory
- ...
- tbw
MKL
cmp 진술,statement 문장,sentence 정리,theorem 명제,proposition ...
difficulty 어려움 난이도 ... : hard .... easy
복잡도 - 특히 CS문제에선 복잡도,complexity > 계산복잡도,computational_complexity 가 중요주제 (of 계산,computation)
특히 math문제에선 해,solution의 존재성,existence과 유일성,uniqueness이 중요주제 (rel 증명,proof 방정식,equation ...)
heuristics heuristic heuristics
알고리듬,algorithm
환원,reduction - 문제가 안 풀리면 더 쉬우면서도 동치,equivalence인 형태로/다른문제로 변환,transformation 및 더 작은 subproblem으로 분해 환원 등등
subproblem
전략,strategy
경우,case - brute force, exhaustive search, ... 모든 경우를 나열하거나 생각하거나 탐색,search ...
cmp 진술,statement 문장,sentence 정리,theorem 명제,proposition ...
difficulty 어려움 난이도 ... : hard .... easy
복잡도 - 특히 CS문제에선 복잡도,complexity > 계산복잡도,computational_complexity 가 중요주제 (of 계산,computation)
특히 math문제에선 해,solution의 존재성,existence과 유일성,uniqueness이 중요주제 (rel 증명,proof 방정식,equation ...)
heuristics heuristic heuristics
알고리듬,algorithm
환원,reduction - 문제가 안 풀리면 더 쉬우면서도 동치,equivalence인 형태로/다른문제로 변환,transformation 및 더 작은 subproblem으로 분해 환원 등등
subproblem
전략,strategy
경우,case - brute force, exhaustive search, ... 모든 경우를 나열하거나 생각하거나 탐색,search ...
Sub:
CS의
탐색문제 search_problem - 대체로, 탐색,search을 최대한 빠르게 하는 것이 목적.
pathfinding_problem - 가장 좋은(대체적으로 가장 짧은) 경로,path를 찾는.
+조합론의
배낭문제,knapsack_problem
바젤_문제,Basel_problem
...
탐색문제 search_problem - 대체로, 탐색,search을 최대한 빠르게 하는 것이 목적.
pathfinding_problem - 가장 좋은(대체적으로 가장 짧은) 경로,path를 찾는.
+조합론의
배낭문제,knapsack_problem
0-1_knapsack_problem
정수론,number_theory의바젤_문제,Basel_problem
...
Sub:
problem_solving =,problem_solving =,problem_solving . problem_solving
{
problem solving
문제해결? - (wk)
문제풀기?
problem_solving =,problem_solving =,problem_solving . problem_solving
{
problem solving
문제해결? - (wk)
문제풀기?
문제_해결 = https://ko.wikipedia.org/wiki/문제_해결
problem_solving ?
Problem_solving = https://simple.wikipedia.org/wiki/Problem_solving
Problem_solving = https://en.wikipedia.org/wiki/Problem_solving
問題解決 = https://ja.wikipedia.org/wiki/問題解決
problem_solving ?
Problem_solving = https://simple.wikipedia.org/wiki/Problem_solving
Problem_solving = https://en.wikipedia.org/wiki/Problem_solving
問題解決 = https://ja.wikipedia.org/wiki/問題解決
Up: 문제,problem
}
Entscheidungsproblem =,Entscheidungsproblem . Entscheidungsproblem
{
Entscheidungsproblem
}
Entscheidungsproblem =,Entscheidungsproblem . Entscheidungsproblem
{
Entscheidungsproblem
1.1. subproblem ¶
부분문제 부문제 subproblem ... subproblem subproblem
overlapping_subproblem
겹치는지 여부에 따라서 분할정복,divide_and_conquer인지, ..., rel. dynamic_programming 메모이제이션,memoization ...1.3. forward problem vs. inverse problem ¶
forward_problem =,forward_problem . forward_problem
inverse_problem =,inverse_problem . inverse_problem
inverse_problem =,inverse_problem . inverse_problem
1.4. // 이하 wikify TODO // 시간있으면 분류도? ¶
생일문제,birthday_problem =생일문제,birthday_problem =,birthday_problem 생일문제 birthday_problem
{
birthday problem
{
birthday problem
배낭문제,knapsack_problem =배낭문제,knapsack_problem =,knapsack_problem 배낭문제 knapsack_problem
{
knapsack problem
{
knapsack problem
여러종류가 있던데 0-1 등등... 찾아서정리.
MKL
resource_allocation문제의일종?
원래 주어진 것들의 부분집합,subset을 찾는문제임.... constraint를 만족하는. 즉 최적화,optimization문제의일종..
resource_allocation문제의일종?
원래 주어진 것들의 부분집합,subset을 찾는문제임.... constraint를 만족하는. 즉 최적화,optimization문제의일종..
constraint_satisfaction_problem =,constraint_satisfaction_problem =,constraint_satisfaction_problem . constraint_satisfaction_problem =,CSP .
{
constraint satisfaction problem
CSP
{
constraint satisfaction problem
CSP
Inter:
https://foldoc.org/constraint satisfaction
constraint satisfaction problem
constraint satisfaction problem
constraint satisfaction problem
Up: satisfaction =,satisfaction
}
https://foldoc.org/constraint satisfaction
constraint satisfaction problem
constraint satisfaction problem
constraint satisfaction problem
Up: satisfaction =,satisfaction
}
Boolean_satisfiability_problem =,Boolean_satisfiability_problem =,Boolean_satisfiability_problem . Boolean_satisfiability_problem
{
{
Boolean_satisfiability_problem ???
Boolean_satisfiability_problem ? jjjjjjjjjjjjjjj
Boolean_satisfiability_problem ? 66666666666666
Boolean_satisfiability_problem ? jjjjjjjjjjjjjjj
Boolean_satisfiability_problem ? 66666666666666
MKLINK
solving/solution ... 해,solution
알고리듬,algorithm
프로그램,program
복잡도,complexity
계산복잡도,computational_complexity
dynamic_programming
solving/solution ... 해,solution
알고리듬,algorithm
프로그램,program
복잡도,complexity
계산복잡도,computational_complexity
dynamic_programming
3. (tmp) 유명한 수학의 난제들 ¶
rel: 추측,conjecture 가설,hypothesis ... (명제,proposition단계에서. ─── 증명,proof되면 ──→ 정리,theorem 이론,theory ...등이 됨.)
3.3. FLT ¶
pagename? Fermat_last_proof ??
증명됨 by Andrew_Wiles { Oxford BA, Cambridge PhD, Princeton/Oxford 교수 }
https://namu.wiki/w/페르마의 마지막 정리
증명됨 by Andrew_Wiles { Oxford BA, Cambridge PhD, Princeton/Oxford 교수 }
https://namu.wiki/w/페르마의 마지막 정리