Edycja: wybieram odpowiedź z najwyższym wynikiem do 6 grudnia 2012 r. To delikatne pytanie. Pojęcie (deterministycznych) algorytmów sięga BC. Co z algorytmami probabilistycznymi? W tym wpisie wiki algorytm Rabina dla problemu najbliższej pary w geometrii obliczeniowej podano jako pierwszy...
W solverach SAT często można znaleźć metody płaszczyzny cięcia, zmienną propagację, odgałęzienie i wiązanie, uczenie się klauzul, inteligentne cofanie, a nawet ręcznie tkaną ludzką heurystykę. Jednak przez dziesięciolecia najlepsze solwery SAT polegały w dużej mierze na technikach sprawdzania...
Właśnie nauczyłem losowego algorytmu skrótu Karger-Stein w mojej klasie algorytmów dla absolwentów. To prawdziwy klejnot algorytmiczny , więc nie mogę tego nie uczyć, ale zawsze denerwuje mnie, ponieważ nie znam innych zastosowań głównej techniki. (Trudno więc przypisać pracę domową, która...
Czy można przetłumaczyć wzór B logiczny na równoważną kombinację klauzul Horna? Artykuł w Wikipedii na temat HornSAT wydaje się sugerować, że tak, ale nie byłem w stanie ścigać żadnego odniesienia. Zauważ, że nie mam na myśli „w czasie wielomianowym”, ale raczej „w...
Rozważ problem minimalnego pokrycia zestawu z następującymi ograniczeniami: każdy zestaw zawiera co najwyżej kkk elementów, a każdy element wszechświata występuje w co najwyżej zestawach fff Na przykład: w przypadku k=4k=4k = 4 i f=2f=2f = 2 odpowiada minimalnej wierzchołek problemu pokrywy na...
Jestem pewien, że wszyscy wiedzą o eksperymencie igły Buffona w XVIII wieku, który jest jednym z pierwszych algorytmów probabilistycznych do obliczeniaππ\pi. Implementacja algorytmu w komputerach zwykle wymaga użycia ππ\pilub funkcja trygonometryczna, która nawet jeśli są zaimplementowane jako...
Czy znasz jakieś aktualne wiki poświęcone problemom z optymalizacją NP z najlepszym wynikiem przybliżenia i twardości? Na podstawie informacji zwrotnych wydaje się, że można bezpiecznie założyć, że nie ma takiego zasobu (zobacz dwie odpowiedzi na końcu tego pytania). - dodano 8 lutego. Ponieważ w...
Badanie KRÓTKI reprezentacją wykresów został zainicjowany przez Galperin i Wigderson w artykule z 1983 r, gdzie wykazać, że przez wiele problemów, takich jak proste znalezienie trójkąta na wykresie odpowiadający zwięzły wersji w -Complete. Papadimitriou i Yanakkakis ponadto ta linia badania i...
Tom III sztuki programowania komputerowego Knutha (rozdział 5, werset 3.2) zawiera poniższą tabelę zawierającą dokładną minimalną liczbę porównań wymaganych do wybrania tego najmniejszego elementu z nieposortowanego zestawu wielkości , dla wszystkich . Ta tabela, wraz z dobrze znanymi wyrażeniami...
Według D. den Hertoga, Podejście punktu wewnętrznego do programowania liniowego, kwadratowego i wypukłego, 1994 , program liniowy z zmiennymi, ograniczeniami i precyzją jest rozwiązywalny w czasie . Czy to zostało
W świetle ostatnich wyników Arory , Baraka i Steurera , Subexponential Algorytmy dla unikalnych gier i powiązanych problemów , interesują mnie problemy z grafem, które mają algorytmy czasu podwykładniczego, ale uważam, że nie jest to rozwiązanie wielomianowe. Znanym przykładem jest izomorfizm...
Czy są jakieś referencje na ten
Co wiadomo na temat złożoności następującego problemu: Biorąc pod uwagę: liczby wymierne x1<x2<…<xnx1<x2<…<xnx_1 < x_2 < \dotso < x_n . Wyjście: liczby całkowite y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Cel: zminimalizować ∑1≤i<j≤ne(i,j),∑1≤i<j≤ne(i,j),\sum_{1...
W rezultacie przez Robertson Seymour wykazuje algorytm do testowania, czy stałej wykres jest minor . Mam dwa i pół pytania na ten temat:O ( n3))O(n3))O(n^3)solsolGH.H.H 1) Wygląda na to, że od tego czasu wprowadzono ulepszenia tego algorytmu. Jaki jest obecnie najbardziej znany algorytm? 2a) Co...
Oczywiście niektóre wyniki złożoności mogą się zawalić w przypadku języków jednoargumentowych, ale zastanawiam się, czy istnieje gdzieś ankieta podsumowująca znane wyniki w tym przypadku: rodzaj zoo złożoności dla języków jednoargumentowych. Czy znasz takie
Biorąc pod uwagę ogromną bazę dozwolonych słów (posortowane alfabetycznie) i słowo, znajdź słowo z bazy danych, która jest najbliższa podanemu słowu pod względem odległości Levenshteina. Naiwnym podejściem jest oczywiście po prostu obliczenie odległości levenshteina między danym słowem a...
Edycja: Najpierw źle sformułowałem moje ograniczenie (2), teraz jest poprawione. Dodałem także więcej informacji i przykładów. Z niektórymi kolegami, badającymi inne pytania algorytmiczne, byliśmy w stanie zredukować nasz problem do następującego interesującego problemu, ale nie byliśmy w stanie...
Chcę zrobić pierwszy solver SAT. Znam konkurs SAT i konferencję SAT i jest tak wiele artykułów na ten temat. Jestem starterem, przytłoczonym starterem. Od czego powinienem zacząć W końcu chcę wprowadzić najnowocześniejsze rozwiązania. Chcę porady ekspertów, jak zacząć, żeby nie marnować czasu na...
Przypuszczenie o rekonstrukcji mówi, że wykresy (z co najmniej trzema wierzchołkami) są określane jednoznacznie przez ich podgrupy usunięte z wierzchołków. Ta hipoteza ma pięć dekad. Przeszukując odpowiednią literaturę, odkryłem, że następujące klasy grafów są rekonstruowalne: drzewa wykresy...
EDYCJA (v2): Dodano sekcję na końcu tego, co wiem o problemie. EDYCJA (v3): Dodano dyskusję na temat stopnia progowego na końcu. Pytanie To pytanie jest głównie prośbą o referencję. Nie wiem dużo o tym problemie. Chcę wiedzieć, czy wcześniej pracowano nad tym problemem, a jeśli tak, to czy ktoś...