Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(library): max-flow min-cut #18998

Open
wants to merge 31 commits into
base: master
Choose a base branch
from
Open

feat(library): max-flow min-cut #18998

wants to merge 31 commits into from

Conversation

amilchew
Copy link
Collaborator

Depends on #18996. Work still in progress, contains sorry.

Open in Gitpod

amilchew and others added 29 commits March 16, 2023 14:46
@amilchew
feat(library)max_flow_min_cut_first_draft
6af6e81
@amilchew
feat(max_flow_min_cut)first_draft
85b042f
@amilchew
Merge remote-tracking branch 'origin/master' into max_flow_min_cut
70049c2
@amilchew
feat(max_flow_min_cut)_first_draft
8f0d198
@amilchew
Proof of the Max-Flow Min-Cut theorem
be0bef3 
LaTeX is used.
@amilchew
Merge remote-tracking branch 'origin/master' into max_flow_min_cut
99d55d1
@amilchew
feat(combinatorics/quiver/max_flow_min_cut)first_draft
accc92c
@amilchew
feat(combinatorics\quiver\max_flow_mion_cut)
6661c3e
@amilchew
feat(max_flow_min_cut)
949836c
@amilchew
feat(max_flow_min_cut)
2606ce5
@amilchew
feat(combinatorics/quiver/max_flow_min_cut)
1b01848
@amilchew
feat(combinatorics/quiver/max_flow_min_cut)
ebe0189
@amilchew
feat(combinatorics/quiver/max_flow_min_cut)
8ca57aa
@amilchew
feat(combinatorics/quiver/max_flow_min_cut)
a82c829
@amilchew
Formal Proof of the Theorem
80c25a0 
Implemented in LaTeX
@amilchew
Delete Max-Flow-Min-Cut-Proof.pdf
8a6277d
@amilchew
only no_augm_path proof left
f57e085
@amilchew
only no_augm_path proof left
170b6a5
@amilchew
only no_augm_path proof left
3607e4b
@amilchew
only no_augm_path left
486af8d
@amilchew
tactics fix
b1ad75e
@amilchew
curly braces fix
16ff8cc
@amilchew
small fixes
526cb5c
@amilchew
weak duality
0579d8a
@amilchew
weak duality
606f375
@amilchew
max-flow min-cut
f224175
@amilchew
max-flow min-cut
5f22450
@amilchew
weak duality
2f77520
@amilchew
max-flow min-cut
785a653
@amilchew amilchew added the help-wanted The author needs attention to resolve issues label May 12, 2023
@amilchew amilchew added the WIP Work in progress label May 12, 2023
@amilchew amilchew requested a review from a team as a code owner May 12, 2023 11:10
@semorrison semorrison added the too-late This PR was ready too late for inclusion in mathlib3 label Jul 16, 2023
@grhkm21 grhkm21 mentioned this pull request Apr 3, 2024
Merged
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
help-wanted The author needs attention to resolve issues too-late This PR was ready too late for inclusion in mathlib3 WIP Work in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@amilchew @semorrison