Network profile

maksadbek

Reputation

137

137
131
125

Jul
Oct
Jan
Apr

Top tag

correctness-proof

Next privilege

250 Rep.

View close votes

Badges

7

Newest

Benefactor

Next badge

0/1

Impact

0 posts edited

0 helpful flags

11 votes cast

6 Questions

Votes Activity Newest Views

4

votes

1

answer

149

views

Mistake in a proof of termination phase of Simplex algorithm in CLRS?

algorithms linear-programming correctness-proof

Jun 25 '19 at 11:55 Community♦ 1

2

2

votes

0

answers

166

views

Why is it true that given a monotonic heuristic function, A* can be seen as Dijkstra's algorithm where no node needs to be processed more than once?

graphs search-algorithms shortest-path correctness-proof

Jan 21 '19 at 7:35 maksadbek 137

1

vote

1

answer

20

views

Explain the proof of allocation problem

correctness-proof

Feb 11 at 21:03 Yuval Filmus 249k

1

vote

2

answers

459

views

Why CLRS example on residual networks does not follows its formula?

algorithms network-flow

Apr 28 '19 at 17:45 maksadbek 137

1

0

votes

1

answer

305

views

Confused with the proof that Edmonds-Karp always monotically increases the shortest-paths

correctness-proof network-flow

Dec 5 '19 at 10:23 Community♦ 1

0

votes

0

answers

76

views

Contraction Hierarchies minimal distance proof

algorithms graphs shortest-path

Feb 10 '19 at 13:48 Community♦ 1

Computer Science Stack Exchange works best with JavaScript enabled