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ł.
Odpowiedzi:
Z tego, co mogę stwierdzić na podstawie wyszukiwania, definitywną ankietą wydaje się być:
Aardal, Karen, Robert Weismantel i Laurence A. Wolsey. „Niestandardowe podejścia do programowania liczb całkowitych.” Discrete Applied Mathematics 123.1 (2002): 5-74.
W szczególności sekcja 2.1 omawia programowanie liczb całkowitych w wymiarze ograniczonym i przedstawia algorytmy różnych autorów. Rzeczywiście w ankiecie wymieniono wiele referencji i omówiono niektóre praktyczne wdrożenia.
Dla stałej liczby zmiennych programowanie liniowe liczb całkowitych jest czasem wielomianowym rozwiązanym przez algorytm Lenstry.
źródło