Otrzymujesz tablicę o długości . Każdy element tablicy należy do jednej z klas. Powinieneś zmienić układ tablicy za pomocą minimalnej liczby operacji wymiany, aby wszystkie elementy z tej samej klasy były zawsze pogrupowane razem, tj. Tworzą ciągłą pod-tablicę. Na przykład: Pozostały trzy inne...
Moja sytuacja Piszę artykuł prezentujący moduł oprogramowania, który opracowałem i chcę porównać jego środowisko wykonawcze z innymi modułami dla tego samego zadania. Zdaję sobie sprawę z wad eksperymentów w środowisku uruchomieniowym , ale proszę założyć, biorąc pod uwagę, że w moim przypadku nie...
W programowaniu zależnym są dwa główne sposoby dekompozycji danych i wykonania rekurencji: Zależne dopasowanie wzorca : definicje funkcji podano w postaci wielu klauzul. Ujednolicenie zapewnia, że wszystkie pominięte przypadki są niemożliwe, a zewnętrzny solver zapewnia, że rekurencja jest...
Które algorytmy uczenia maszynowego (oprócz SVM) stosują zasadę strukturalnego minimalizowania ryzyka
Jest to trywialne ćwiczenie w automatach skończonych, aby pokazać, że nie ma algorytmu, który mógłby wykryć wszystkie wirusy, ale wiele firm sprzedaje oprogramowanie antywirusowe. Czy jest jakaś część CS, która zajmuje się wirusami i antywirusami? PS: Nie pytam o niezwiązane z CS uzasadnienie...
Czy są jakieś dobre zasoby internetowe do nauki matematyki dyskretnej z zestawami
Próbuję nauczyć się różnych podejść do weryfikacji oprogramowania. Przeczytałem kilka artykułów. O ile się dowiedziałem, logika zdaniowa z temporalnym na ogół wykorzystuje sprawdzanie modelu za pomocą solverów SAT (w systemach trwających - reaktywnych), ale co z logiką pierwszego rzędu z...
Czy ten wariant problemu sumy częściowej jest łatwy / znany? Biorąc pod uwagę liczbę całkowitą oraz zestaw dodatnich liczb całkowitych tak, że każdy ma co najwyżej bity ustawione na ( ); czy jest podzestaw taki, że suma jego elementów jest równa ?mmmA = {x1,x2), . . . ,xn}A={x1,x2,...,xn}A =...
Ostatnio zadałem pytanie na temat Math SE. Na razie brak odpowiedzi. To pytanie jest związane z tym pytaniem, ale bardziej technicznymi szczegółami w kierunku informatyki. Biorąc pod uwagę dwa DFA i gdzie zbiór stanów, alfabet wejściowy i funkcja przejścia i są takie same, stany początkowe i stany...
Język formalny nad alfabetem jest podzbiorem , czyli zbiór słów nad tym alfabecie. Dwa formalne języki i są sobie równe, jeśli odpowiadające im zbiory są ponadto równe jako podzbiory . W teorii złożoności można używać języków, aby sformalizować pojęcie „problemu”. Można narzekać, że „ogólnie”...
Patrzę na następujący problem: Biorąc pod uwagę wymiarowe wektory liczb naturalnych i niektóre wektory wejściowe , czy jest liniową kombinacją z współczynnikami liczb naturalnych?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i tzn. czy są jakieś gdzie ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in...
To pytanie dotyczy przecięcia teorii prawdopodobieństwa i złożoności obliczeniowej. Jednym kluczowym spostrzeżeniem jest to, że niektóre rozkłady są łatwiejsze do wygenerowania niż inne. Na przykład problem Biorąc pod uwagę liczbę nnn, zwróć równomiernie rozłożoną liczbę jaii z 0 ≤ i <...
Odpowiedź Babou na ostatnie pytanie przypomina mi, że kiedyś myślę, że przeczytałem artykuł na temat równoważności (zarówno pod względem faktów, które można wywnioskować lub udowodnić, jak i złożoności czasowej działania algorytmu wnioskowania) analizy przepływu danych , abstrakcyjna interpretacja...
Słyszałem kilka możliwych wyjaśnień, dlatego chciałbym uzyskać pewne wiarygodne odniesienia. Aktualizacja 05.19: Interesuje mnie to pytanie, ponieważ jeden z moich studentów napisał w swojej pracy, że nazwa pochodzi od poniższego wyjaśnienia (1). Do tej pory myślałem / słyszałem, że pochodzi z...
Biorąc pod uwagę triangulację (bez punktów Steinera) prostego wielokąta , można rozważyć podwójność tej triangulacji, która jest zdefiniowana następująco. Tworzymy wierzchołek dla każdego trójkąta w naszej triangulacji i łączymy dwa wierzchołki, jeśli odpowiednie trójkąty mają wspólną krawędź....
Wysłałem to na MathUnderflow, ale nie otrzymałem odpowiedzi, więc pomyślałem, że spróbuję tutaj, Czytam stary artykuł Rabina i Fischera [opublikuje link, jeśli to możliwe], gdzie między innymi udowodniono podwójnie wykładniczą złożoność arytmetyki Presburger'a. Dowód opiera się na istnieniu...
W Dowodach i typach Girarda możemy przeczytać: Z algorytmicznego punktu widzenia rachunek sekwencyjny nie ma izomorfizmu Curry'ego-Howarda ze względu na wiele sposobów pisania tego samego dowodu. To uniemożliwia nam użycie go jako maszynopisu -calculus, chociaż dostrzegamy jakąś głęboką...
Pracuję nad problemem związanym z kwadratami łacińskimi i chcę metody, która zasadniczo sprowadza się do problemu decyzyjnego: Dane wejściowe : skończony, prosty wykres G. Dane wyjściowe : YESjeśli G ma nietrywialny automorfizm, w NOprzeciwnym razie. W związku z tym... Pytanie : Czy istnieje...