Zastanawiam się, co jest najbardziej znany algorytm, jeśli chodzi o Big- notacji, aby rozwiązać Programowanie Integer Linear?
Wiem, że problem jest , więc nie oczekuję niczego wielomianowego. Wiem, że istnieje wiele heurystyk, które są wykorzystywane w praktycznych zastosowaniach, takich jak CPLEX, ale bardziej interesuje mnie formalna, w najgorszym przypadku złożoność dokładnego algorytmu.
Niektóre pełnoporcjowych problemy algorytmy w czasie , gdzie , a jest wielomianem. Pokrywa wierzchołków, niezależny zestaw i 3SAT należą do tej kategorii, ale ogólnie SAT i TSP nie (o ile wiemy).
Czy można składać takie oświadczenia dotyczące programowania liczb całkowitych lub poszczególnych pod-instancji?
Jeśli ktoś ma odniesienia do powiązanego problemu związanego z arytmetyką bezpłatnej kalkulatora Presibera, bardzo bym się tym zainteresował.