Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit 82bfc49

Browse files
jekyll ready (or not)
1 parent dcdba2c commit 82bfc49

File tree

2 files changed

+13
-5
lines changed

2 files changed

+13
-5
lines changed

‎2012年12月26日-1.3-correctness.md

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
# 1.3. Reasoning about correctness
1+
---
2+
layout: post
3+
category: algorithm-design-manual
4+
title: 1.3. Reasoning about correctness
5+
---
26

37
## An algorithm
48

@@ -52,15 +56,15 @@ the loop effects the base
5256

5357
* for p ≥ 1
5458

55-
![image](https://raw.github.com/csabapalfi/algorithm-design-manual/master/arithmetic_progressions.jpg)
59+
![image](images/arithmetic_progressions.jpg)
5660

5761
* p < -1, this sum always converges to a constant
5862

5963
### Geometric progressions
6064

6165
the loop effects the exponent
6266

63-
![image](https://raw.github.com/csabapalfi/algorithm-design-manual/master/geometric_progressions.jpg)
67+
![image](images/geometric_progressions.jpg)
6468

6569
interpretation depends upon the base of the progression
6670

‎2013年01月02日-1.4-modeling.md

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
# 1.4 Modeling the Problem
1+
---
2+
layout: post
3+
category: algorithm-design-manual
4+
title: 1.4 Modeling the Problem
5+
---
26

37
* modeling translates a real-world application into an abstract model which consists of procedures on fundamental structures
48
* a precisely described model allow you to re-use well-understood solutions from algorithms literature
@@ -23,7 +27,7 @@
2327

2428
## Recursive Objects
2529

26-
Big things that are made from smaller things of exactly the same type as the big thing. A **decomposition rule** describes how to get smaller things from big things.
30+
Big things that are made from smaller things of exactly the same type as the big thing. A **decomposition rule** describes how to get smaller things from big things.
2731

2832
As all combinatorial objects above are recursive objects here are a few possible decompositon rules for them:
2933

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /