Pytania otagowane jako reference-request

Pytania wymagające literatury na temat konkretnych, wąskich zagadnień.

2
Metoda pomiaru „podobieństwa” między gramatykami FSA?
Pracuję z algorytmem dopasowywania wzorców, który generuje acykliczny automat stanów skończonych, który akceptuje dany ciąg tekstowy i wszystkie jego podciągi. Algorytm FSA jest uruchamiany na symbolicznej reprezentacji strumienia muzycznego (np. Dane MIDI). Strumień muzyczny został wstępnie przetworzony, aby podzielić każdą piosenkę na nieoznaczone „segmenty”. FSA jest generowany dla każdego z …
2
Czy możemy skonstruować redukcję Karp z redukcji Cooka między problemami NP?
Mieliśmy kilka pytań na temat relacji redukcji Cooka i Karp . Oczywiste jest, że redukcje Cooka (redukcje Turinga w czasie wielomianowym) nie definiują tego samego pojęcia kompletności NP jak redukcje Karp (redukcje w postaci wielomianu w jednym czasie), które są zwykle stosowane. W szczególności redukcje Cooka nie mogą oddzielić NP …
1
Krótki i sprytny dowód silnego twierdzenia o dualności dla programowania liniowego
Rozważ programy liniowe Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} Twierdzenie o słabym dualności mówi, że jeśli i spełniają ograniczenia, to …
1
Biorąc pod uwagę wykres akordowy
Wykres jest akordowy, jeśli nie indukował cykli o długości 4 lub większej. Drzewo klika T z G jest drzewem, w którym wierzchołki drzewa są maksymalne klik z G . Krawędź w T odpowiada minimalnemu separatorowi. Liczba odrębnych drzew kliki może być wykładnicza pod względem liczby wierzchołków na wykresie akordowym.solsolG444T.T.TsolsolGsolsolGT.T.T Zmniejszona …
3
Sprawiedliwy podział dwuwymiarowego ciasta
Interesują mnie procedury sprawiedliwego podziału gruntów (tj. Podział wolny od zazdrości lub podział przynajmniej proporcjonalny). W przeciwieństwie do dobrze zbadanego problemu podziału ciasta, podział gruntu jest dwuwymiarowy, tzn. Preferencje użytkowników mogą się różnić zarówno w poziomie, jak i w pionie. Dlatego nie jest praktyczne ograniczenie algorytmu do równoległych cięć. Jedyne …
3
Pierwsze kroki z analizą programu
Szukam zasobów na początek analizy programu . Jedyną książką, jaką znalazłem na ten temat, jest książka Nielson i Nielson . Poza tym wydaje się, że istnieją tylko książki „kompilatorowe”, w których „analiza programu” byłaby rozdziałem lub czymś podobnym. Czy ludzie znają inne zasoby?
7
Gdzie znaleźć opublikowane prace badawcze?
Pochodzi z POV kogoś, kto myśli o zdobyciu tytułu doktora informatyki. Mam problem z podjęciem decyzji, na czym skoncentruję swoje badania, kiedy doktoryzuję się. Zobacz także to pytanie na stronie academia.SE . Myślę więc, że czytanie / bieżące śledzenie prowadzonych badań i publikowanych prac badawczych jest dobrym źródłem… inspiracji? Plus …
2
Jak sklasyfikować problem optymalizacji wejścia emulatora i z jakim algorytmem powinienem do niego podejść?
Ze względu na charakter pytania muszę podać wiele podstawowych informacji (ponieważ moje pytanie brzmi: jak to zawęzić?) To powiedziawszy, można je streścić (o ile wiem): Jakie metody istnieją, aby znaleźć lokalne optimum na bardzo dużych kombinatorycznych przestrzeniach poszukiwań? tło W społeczności superplay wspieranych narzędziami staramy się zapewnić specjalnie spreparowane (nie …
3
Poszukuję słownika notacji matematycznej / CS
Czasem jest oszałamiająca tablica symboli używanych w papierach matematycznych i CS. Jednak wielu zakłada podstawową znajomość, która wydaje się rzadko nauczana w jednym miejscu. Szukam słownika podobnego do następującego, szczególnie z perspektywy CS. Wymienia wszystkie podstawowe symbole matematyczne oraz podaje ich znaczenia i przykłady. Mówiłby o symbolach, które są czasami …
1
Czy istnieje skuteczny algorytm do określania, czy wykres ma nietrywialny automorfizm?
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 skuteczny algorytm do określania, czy wykres ma …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.