ít nhất là hồ quang một (i, j) với xij f = 0. Nếu x là số nguyên, sau đó xt và x − xt sẽ cũng là số nguyên. Chúng tôi sau đó lặp lại quá trình (cho tối đa một lần) với sự lưu thông xthay thế bởi xt x − lưu thông và vân vân, cho đến khi flow không thu được.Nếu x là không lưu hành, chúng tôi hình thành một đồ thị mở rộng bằng cách giới thiệu một nút mới s và giới thiệu cho mỗi nút tôi ∈N một vòng cung (s, tôi) với flow xsi bằngđể phân kỳ yi. Các véc tơ flow kết quả nhìn thấy được lưu hành trong đồ thị mở rộng (tại sao không?). Này lưu thông, kết quả chỉ hiển thị, có thể là decom-Đặt ra vào tối đa A + N đơn giản chu kỳ flows của đồ thị mở rộng, phù hợp với flow vector. Trong số này có chu kỳ flows, chúng tôi xem xét những người có nút s, và chúng tôi loại bỏ s và các vòng cung hai sự cố trong khi rời khỏi flows chu kỳ khác không thay đổi. Kết quả là, chúng tôi có được một tập hợp các tối đa A + N đường dẫn flows của biểu đồ ban đầu, mà thêm đến x. Các đường dẫn flows cũng phù hợp với x, theo yêu cầu.
đang được dịch, vui lòng đợi..
