Łatwo zauważyć, że dla dowolnego istnieje odwzorowanie 1-1 z {0,1} na {0,1} takie, że dla dowolnego wektor jest „zbalansowany”, tzn. ma równą liczbę 1 i 0. Czy jest możliwe zdefiniowanie takiego , aby przy danym można było skutecznie obliczyć ?F n n + O ( log n ) x F …
Cześć wszystkim, obecnie staram się znaleźć solidny temat pracy magisterskiej dotyczący jakiejś gałęzi teorii automatów lub związany z językami formalnymi. Próbuję wygenerować kilka dobrych pomysłów na temat akceptowalnego tematu, czegoś ambitnego, ale jednocześnie wykonalnego. Wszelkie sugestie będą mile widziane!
Niech będzie nieregularnym połączonym wykresem, którego stopień jest ograniczony. Załóżmy, że każdy węzeł zawiera unikalny token.G = ( V, E)G=(V,E)G= (V, E) Chcę równomiernie tasować tokeny między wykresami, używając tylko lokalnych zamian (tj. Wymiany tokenów między dwoma sąsiadującymi węzłami)? Czy znana jest dolna granica tego problemu? Jedyny pomysł, jaki miałem, …
Czy dzielenie i podbijanie FFT może być automatycznie uogólnione na inne transformacje (z Transform, ćwierkanie itp.) Automatycznie? Czy istnieje algorytm, który przyjmuje opis transformacji (nie wiem, jakie informacje byłyby potrzebne) i może wygenerować szybką funkcję podobną do FFT?
Załóżmy, że mam obwód boolowski CCC która oblicza jakąś funkcję f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}. Załóżmy, że obwód składa się z AND, OR i NOT bramek z wachlarzem i wachlowaniem co najwyżej 2. Pozwolić x∈{0,1}nx∈{0,1}nx \in \{0,1\}^nbyć danym wkładem. DanyCCC i xxx, Chcę ocenić CCC na nnn dane wejściowe, które różnią się …
Komplementarny luz (CS) jest powszechnie nauczany, gdy mówi się o dualności. Ustanawia ładny związek między pierwotnym a podwójnym ograniczeniem / zmiennymi z matematycznego punktu widzenia. Dwa główne powody stosowania CS (zgodnie z nauczaniem na kursach dla absolwentów i podręcznikach): Aby sprawdzić optymalność LP Aby pomóc rozwiązać problem podwójny Biorąc pod …
Chciwość jest terminem nieformalnym, ale może być (nie jestem pewien, dlatego pytam), że w przypadku niektórych problemów chciwość może być sformułowana matematycznie, a zatem można udowodnić, że nie istnieje optymalny algorytm chciwości. czy to możliwe?
W przypadku wielu problemów algorytm o największej złożoności asymptotycznej ma bardzo duży stały współczynnik, który jest ukryty przez dużą notację O. Dzieje się tak w przypadku mnożenia macierzy, mnożenia liczb całkowitych (w szczególności najnowszego algorytmu mnożenia liczb całkowitych O (n log n) Harveya i van der Hoevena), sieci sortowania o …
Wiadomo, że Ford-Fulkerson lub Edmonds-Karp z heurystyczną grubą rurą (dwa algorytmy dla maksymalnego przepływu) nie muszą się zatrzymywać, jeśli niektóre ciężary są nieracjonalne. W rzeczywistości mogą nawet zbierać się na niewłaściwej wartości! Jednak wszystkie przykłady, które mogłem znaleźć w literaturze [odnośniki poniżej oraz odnośniki w nich] wykorzystują tylko jedną wartość …
Biorąc pod uwagę coprime a , ba,ba, b, czy możesz szybko obliczyć minx , y> 0|zax-by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Tutaj są liczbami całkowitymi. Oczywiście przyjęcie daje nieciekawą odpowiedź; ogólnie, jak blisko te moce mogą się zbliżyć? Jak szybko obliczyć minimalizujące ?x, yx,yx, yx = y= 0x=y=0x …
Solwery SMT, takie jak Z3 lub Boolector, wykorzystują złożony zestaw heurystyk do rozwiązywania problemów. Jednak bardzo utrudnia to przewidywanie wydajności takiego rozwiązania. Moje pytanie brzmi zatem: Pytanie Czy istnieje sposób na zrozumienie lub uzyskanie wglądu w wydajność solvera SMT dla konkretnego w teorii bitwektorów bez kwantyfikatora (QFBV)? Obejmuje to także …
Po coraz większych sukcesach sieci neuronowych w grach planszowych wydaje się, że następnym celem, który wyznaczyliśmy, może być coś bardziej przydatnego niż pokonanie ludzi w Starcraft. Dokładniej, zastanawiałem się, czy Czy sieci neuronowe można przeszkolić do rozwiązywania klasycznych problemów algorytmicznych? Mam na myśli, że na przykład sieć otrzyma wykres wejściowy …
2-stronicowy papier SODA Kalai zapewnia prosty i skuteczny algorytm dopasowywania wzorców bez obojętności (symbole wieloznaczne pasujące do jednej postaci). Zasadniczo jest to tak łatwe jak splot. Ale co się stanie, jeśli szukamy wielu wzorów z „nie obchodzi”? Czy nadal możemy jakoś rozwiązać to za pomocą np. Technik opartych na FFT?
Próbowałem zaimplementować algorytm mnożenia liczb całkowitych Schönhage-Strassen, ale natknąłem się na przeszkodę w kroku rekurencyjnym. I mają wartość o bitów i Aby obliczyć . Początkowo myślałem, że pomysł takiego, że , podziel na kawałki każdy za pomocą bitów, zastosuj splot SSA podczas pracy modulo , pierścień z bitami pojemności na …
Jeśli weźmiemy pod uwagę tylko problemy w P, czy są jakieś duże luki między najszybszym znanym algorytmem RAM-słowo i najszybszym znanym algorytmem maszyny Turinga dla określonych problemów? Jestem szczególnie zainteresowany, jeśli istnieją duże luki w naturalnych problemach leżących w interesie ogólnym.
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.