Informatyka

4

W 3SUM problemów próbuje zidentyfikować 3 liczb całkowitych z zestawu wielkości takie, że .S n a + b + c = 0a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Przypuszcza się, że nie ma lepszego rozwiązania niż kwadratowe, tj. . Lub inaczej: .o ( n log ( n ) + n …

29 complexity-theory combinatorics complexity-classes

2

Dlaczego sieci neuronowe wydają się działać lepiej z ograniczeniami nałożonymi na ich topologię?

W pełni połączone (przynajmniej warstwa po warstwie z więcej niż 2 ukrytymi warstwami) sieci backprop są uniwersalnymi uczniami. Niestety, często są powolne w nauce i mają tendencję do nadmiernego dopasowania lub mają niezręczne uogólnienia. Po wygłupianiu się z tymi sieciami zauważyłem, że przycinanie niektórych krawędzi (tak, że ich waga jest …

29 machine-learning network-topology neural-networks

4

Jak ustalić prawdopodobne połączenia w sieci społecznościowej?

Interesuje mnie określenie podejścia do rozwiązania algorytmu „sugerowanych przyjaciół”. Facebook ma funkcję, w której poleci ci osoby, z którymi według ciebie możesz się zapoznać. Ci użytkownicy zwykle (z wyłączeniem skrajnych przypadków, w których użytkownik szczególnie poleca znajomemu ) mają bardzo podobną sieć do siebie. Oznacza to, że liczba wspólnych znajomych …

29 algorithms machine-learning modelling social-networks

3

Czy podzapytania dodają ekspresyjnej mocy do zapytań SQL?

Czy SQL potrzebuje podkwerend? Wyobraź sobie wystarczająco uogólnioną implementację ustrukturyzowanego języka zapytań dla baz danych relacji. Ponieważ struktura kanonicznej SELECTinstrukcji SQL jest naprawdę bardzo ważna, aby miało to sens, nie odwołuję się bezpośrednio do algebry relacyjnej, ale można to sformułować w tych kategoriach, wprowadzając odpowiednie ograniczenia dotyczące formy wyrażeń. Instrukcja …

29 database-theory relational-algebra

2

Charakterystyka terminów lambda, które mają typy związków

Wiele podręczników obejmuje typy przecięć w rachunku lambda. Reguły pisania dla przecięcia można zdefiniować w następujący sposób (na górze zwykłego rachunku lambda z podtypami): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M.:T.1Γ⊢M.:T.2)Γ⊢M.:T.1∧T.2)(∧ja)Γ⊢M.:⊤(⊤ja) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} {\Gamma \vdash M …

29 lambda-calculus type-theory logic

2

Jak udowodnić, że chciwy algorytm jest poprawny

Mam chciwy algorytm, który, jak podejrzewam, może być poprawny, ale nie jestem pewien. Jak sprawdzić, czy jest poprawny? Jakich technik należy użyć do udowodnienia, że chciwy algorytm jest poprawny? Czy istnieją wspólne wzorce lub techniki? Mam nadzieję, że stanie się to pytaniem referencyjnym, które można wykorzystać do wskazania początkującym; stąd …

29 algorithm-analysis proof-techniques correctness-proof greedy-algorithms

4

Jednolite próbkowanie z simpleks

Szukam algorytmu do generowania tablicy N liczb losowych, tak że suma N liczb wynosi 1, a wszystkie liczby mieszczą się w przedziale 0 i 1. Na przykład N = 3, losowy punkt (x, y, z) powinien leżeć w trójkącie: x + y + z = 1 0 < x < …

29 algorithms randomness random-number-generator sampling

2

Jak skutecznie ustalić, czy dana drabina jest ważna?

W moim lokalnym klubie squasha jest drabina, która działa w następujący sposób. Na początku sezonu budujemy tabelę z nazwiskiem każdego członka klubu w osobnej linii. Następnie zapisujemy liczbę wygranych gier i liczbę gier rozegranych przy każdej nazwie (w formie: wygrywa gracz / gry). Tak więc na początku sezonu stół wygląda …

28 algorithms graphs

1

Problem sumy podzbiorów z wieloma warunkami podzielności

Niech SS.S będzie zbiorem liczb naturalnych. Rozważamy SS.S w częściowej kolejności podzielności, tj. . Pozwolićs1≤s2⟺s1∣s2s1≤s2)⟺s1∣s2)s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S.)=max{|V.|∣V.⊆S.,V.\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V an antichain .}}\} Jeśli weźmiemy pod uwagę problem sumy podzbioru, w którym wieloseksem liczb jest , to co możemy …

28 complexity-theory number-theory knapsack-problems

2

Co to jest kompilator wsadowy?

Mam następujący cytat z kursu mojego kompilatora (w kontekście kolorowania grafów): Ponieważ jest wolny, kolorowanie wykresów jest zwykle stosowane w kompilatorach wsadowych, podczas gdy skanowanie liniowe jest zwykle stosowane w kompilatorach JIT. Nie mogłem znaleźć jasnej definicji online. Co sprawia, że kompilator jest kompilatorem wsadowym?

28 compilers

3

Co dzieje się, gdy połączenie internetowe jest szybsze niż prędkość zapisu w pamięci?

Gdyby ktoś próbował pobrać plik z prędkością 800 Mb / s (100 MB / s) na dysk twardy o prędkości zapisu 500 Mb / s (62,5 MB / s), co by się stało? Czy system ograniczy prędkość pobierania?

28 computer-networks

2

Dlaczego typ pustki C nie jest analogiczny do typu pusta / dolna?

Wikipedia, jak również inne źródła, które znalazłem, wskazują voidtyp C jako typ jednostki, a nie typ pusty. Uważam to za mylące, ponieważ wydaje mi się, że voidlepiej pasuje do definicji typu pustego / dolnego. voidO ile wiem, nie zamieszkują żadnych wartości . Funkcja z typem zwracanym void określa, że funkcja …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

6

Czy istnieją programy, które potrafią „tłumaczyć” kod źródłowy między dowolnymi dwoma językami?

Czy istnieją programy, które potrafią „tłumaczyć” kod źródłowy między dowolnymi dwoma językami (zakładając, że tłumacz ma dostęp do wymaganych bibliotek)? Jeśli tak, to w jaki sposób działają (zastosowane techniki, wymagana wiedza itp.)? Jak można by je wykonalnie skonstruować? Jeśli nie są, jakie są ograniczenia uniemożliwiające ich rozwój? Czy jest to …

28 computability programming-languages compilers

2

Czy są jakieś szczególne problemy, o których wiadomo, że są nierozstrzygalne z powodów innych niż przekątna, samodzielne odniesienie lub redukowalność?

Każdy nierozstrzygnięty problem, który znam, należy do jednej z następujących kategorii: Problemy nierozstrzygalne z powodu diagonalizacji (pośrednie samodzielne odniesienie). Problemy te, podobnie jak problem zatrzymania, są nierozstrzygalne, ponieważ można użyć rzekomego decydenta dla języka do zbudowania bazy TM, której zachowanie prowadzi do sprzeczności. Możesz także wrzucić do tego obozu wiele …

28 computability proof-techniques undecidability

1

Których algorytmów uczenia maszynowego można użyć do prognoz szeregów czasowych?

Obecnie bawię się prognozami szeregów czasowych (szczególnie na rynku Forex). Widziałem kilka artykułów naukowych na temat sieci stanów echa, które są stosowane do prognoz Forex. Czy istnieją inne dobre algorytmy uczenia maszynowego do tego celu? Interesujące byłoby również wydobycie „rentownych” wzorów z szeregów czasowych.

28 reference-request machine-learning artificial-intelligence