Problem programowania liniowego: znajdź algorytm silnie wielomianowy, który dla danej macierzy A ∈ Rm × n i b ∈ Rm decyduje, czy istnieje x ∈ Rn z Ax ≥ b.
Wiem, że Steve Smale wymienia niektóre nierozwiązane problemy matematyki. Ale czy taki liniowy problem programowania jest do tej pory nierozwiązywalny?
Odpowiedzi:
Ten problem jest nadal otwarty. Zobacz na przykład Wikipedię , która choć ogólnie nie jest niezawodnym źródłem, prawdopodobnie zostanie zaktualizowana, jeśli kiedykolwiek zostanie znaleziony algorytm silnie wielomianowy.
źródło