뭔가가 문제라고 분류된다면/이름지어졌다면(이름붙었다면), 그것에 대한 관심은

HOW TO SOLVE

구체적으로는,

해,solution는? ... (esp. 문제가 방정식,equation이라면 그 근,root은?)
- 존재하는가? 존재,existence 존재성,existence existence existence
- 아님 존재하지 않는가?
- 혹시 존재하는지 존재하지 않는지 결정,determination할 수도 없는 것인가?
그리고 존재한다면, 그걸 찾아내는 방법 / 해법 (해법 해법 해법 ... 이것도 영어로 solution? chk solution solution ) / 해결방법 / 해결 방법,method ... (rel. 전략,strategy)은 무엇인가?
- 가장 효율적인 방법은? - rel 알고리듬,algorithm 복잡도,complexity 계산복잡도,computational_complexity 시간복잡도,time_complexity 공간복잡도,space_complexity 계산복잡도이론,computational_complexity_theory
  - brute-force / brute_force 는 비효율적이기 때문에
...
tbw

(이상 대충 의식의 흐름으로 대충적음, rechk later)

컴퓨터,computer는 계산,computation으로 문제를 해결하는 기계?

Sub:
problem_solving =,problem_solving =,problem_solving . problem_solving
{
problem solving
문제해결? - (wk)
문제풀기?

문제,problem를
1. 먼저 인식하고(문제인식)
2. 공식화/ .... /
3. 해결

http://www.aistudy.com/problem/problem_solving.htm

문제_해결 = 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/問題解決

rel
해,solution
solving
solver

Up: 문제,problem
}
Entscheidungsproblem =,Entscheidungsproblem . Entscheidungsproblem
{
Entscheidungsproblem

MKL
결정문제,decision_problem
Alan_Turing
튜링_기계,Turing_machine

} // Entscheidungsproblem

1.3. forward problem vs. inverse problem

1.3.1. forward problem
1.3.2. inverse problem

1.4. // 이하 wikify TODO // 시간있으면 분류도?

2. tmp

3. (tmp) 유명한 수학의 난제들

3.1. 힐베르트의 문제들 23개

3.1.1. 1 연속체가설
3.1.2. 2 산술 공리 무모순성
3.1.3. 3 ...

3.2. 밀레니엄 문제 7개

3.2.1. 1
3.2.2. 2...

3.3. FLT

[edit]

1. Sub ¶

[edit]

1.1. subproblem ¶

부분문제 부문제 subproblem ...

subproblem

overlapping_subproblem

overlapping subproblem

겹치는지 여부에 따라서 분할정복,divide_and_conquer인지, ..., rel. dynamic_programming 메모이제이션,memoization ...

[edit]

1.2. TSP ¶

Travelling_salesman_problem
= https://simple.wikipedia.org/wiki/Travelling_salesman_problem

[edit]

1.3. forward problem vs. inverse problem ¶

forward_problem =,forward_problem . forward_problem
inverse_problem =,inverse_problem . inverse_problem

forward problem inverse problem

[edit]

1.3.1. forward problem ¶

[edit]

1.3.2. inverse problem ¶

[edit]

1.4. // 이하 wikify TODO // 시간있으면 분류도? ¶

생일문제,birthday_problem =생일문제,birthday_problem =,birthday_problem 생일문제 birthday_problem
{
birthday problem

birthday_problem = https://en.wiktionary.org/wiki/birthday_problem

MKL
birthday_paradox

https://en.wikipedia.org/wiki/Birthday_problem

} // birthday problem 생일문제

생일문제

birthday problem

배낭문제,knapsack_problem =배낭문제,knapsack_problem =,knapsack_problem 배낭문제 knapsack_problem
{
knapsack problem

여러종류가 있던데 0-1 등등... 찾아서정리.

MKL
resource_allocation문제의일종?
원래 주어진 것들의 부분집합,subset을 찾는문제임.... constraint를 만족하는. 즉 최적화,optimization문제의일종..

Twin
https://foldoc.org/knapsack problem
https://en.wikipedia.org/wiki/Knapsack_problem

문제,problem

...

knapsack problem

knapsack problem
}

constraint_satisfaction_problem =,constraint_satisfaction_problem =,constraint_satisfaction_problem . constraint_satisfaction_problem =,CSP .
{
constraint satisfaction problem
CSP

Inter:
https://foldoc.org/constraint satisfaction

constraint satisfaction problem

constraint satisfaction problem
Up: satisfaction

=,satisfaction
}

Boolean_satisfiability_problem =,Boolean_satisfiability_problem =,Boolean_satisfiability_problem . Boolean_satisfiability_problem
{

충족가능성,satisfiability 문제,problem

Boolean_satisfiability_problem ???

Boolean_satisfiability_problem ? jjjjjjjjjjjjjjj

Boolean_satisfiability_problem ? 66666666666666

Inter:
https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
}

MKLINK
solving/solution ... 해,solution
알고리듬,algorithm
프로그램,program
복잡도,complexity
계산복잡도,computational_complexity
dynamic_programming

[edit]

2. tmp ¶

인기있는 프로그래밍 문제 - esolang 위키에서 - 즉 구현하기 쉬운 프로그래밍 문제
https://esolangs.org/wiki/Popular_problem

[edit]

3. (tmp) 유명한 수학의 난제들 ¶

rel: 추측,conjecture 가설,hypothesis ... (명제,proposition단계에서. ─── 증명,proof되면 ──→ 정리,theorem 이론,theory ...등이 됨.)

[edit]

3.1. 힐베르트의 문제들 23개 ¶

1900년 제시.
https://namu.wiki/w/힐베르트의 23가지 문제

[edit]

3.1.1. 1 연속체가설 ¶

연속체가설,continuum_hypothesis
결론: 참으로도 거짓으로도 모두 증명 불가함이 증명됨.

[edit]

3.1.2. 2 산술 공리 무모순성 ¶

산술,arithmetic
공리,axiom
무모순성,?

무모순성

무모순성 =무모순성, ??

모순,contradiction 없는?
논리학에선 무모순성 = 일관성 ? chk.

[edit]

3.1.3. 3 ... ¶

[edit]

3.2. 밀레니엄 문제 7개 ¶

[edit]

3.2.1. 1 ¶

[edit]

3.2.2. 2... ¶

[edit]

3.3. FLT ¶

pagename? Fermat_last_proof ??
증명됨 by Andrew_Wiles { Oxford BA, Cambridge PhD, Princeton/Oxford 교수 }
https://namu.wiki/w/페르마의 마지막 정리

Red Ruby Wiki

minus(U+2212): −
asymp equal(U+2243): ≃

문제,problem

Contents

1. Sub ¶

1.1. subproblem ¶

1.2. TSP ¶

1.3. forward problem vs. inverse problem ¶

1.3.1. forward problem ¶

1.3.2. inverse problem ¶

1.4. // 이하 wikify TODO // 시간있으면 분류도? ¶

2. tmp ¶

3. (tmp) 유명한 수학의 난제들 ¶

3.1. 힐베르트의 문제들 23개 ¶

3.1.1. 1 연속체가설 ¶

3.1.2. 2 산술 공리 무모순성 ¶

3.1.3. 3 ... ¶

3.2. 밀레니엄 문제 7개 ¶

3.2.1. 1 ¶

3.2.2. 2... ¶

3.3. FLT ¶