Pytania otagowane jako reference-request

Prośba o referencję jest wykorzystywana, gdy autor musi wiedzieć o pracy związanej z pytaniem.

1
Liczba wyraźnych różnic liczb całkowitych wybranych z
Podczas moich badań spotkałem następujący wynik. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 gdzie m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) i a1,⋯,ama1,⋯,ama_1,\cdots,a_m są wybierane losowo z [n][n][n] . Szukam referencji / bezpośredniego dowodu. Skrzyżowane na MO
1
Schemat blokowy granic stężenia
Kiedy uczę ograniczeń ogona, używam zwykłego postępu: Jeśli twoje Rv jest dodatnie, możesz zastosować nierówność Markowa Jeśli masz niezależność, a także ograniczoną wariancję, możesz zastosować nierówność Czebyszewa Jeśli każdy niezależny rv ma również ograniczone wszystkie chwile, możesz użyć ograniczenia Chernoffa. Po tym wszystko staje się trochę mniej czyste. Na przykład …
2
Obwody dolne granice i złożoność Kołmogorowa
Rozważ następujące uzasadnienie: Niech oznacza złożoność Kołmogorowa ciągu . Twierdzenie Chaitina o niekompletności tak mówiK(x)K(x)K(x)xxx dla jakiejkolwiek spójnej i wystarczająco silny system formalny , istnieje stała (zależnie tylko od formalnego systemu i jego języka) tak, że dla każdej struny , nie może udowodnić, że .SSSTTTxxxSSSK(x)≥TK(x)≥TK(x) \geq T Niech będzie funkcją …
3
Przybliżona suma posortowanej listy
Ostatnio pracowałem nad problemem obliczania przybliżonej sumy listy posortowanych liczb nieujemnych. Dla każdego ustalonego opracowano schemat aproksymacji czasu , który daje przybliżenie dla sumy. Artykuł opublikowano na stronie http://arxiv.org/abs/1112.0520 , który nie został jeszcze sfinalizowany.O ( log n ) ( 1 + ϵ )ϵ>0ϵ>0\epsilon>0O(logn)O(log⁡n)O(\log n)(1+ϵ)(1+ϵ)(1+\epsilon) Szukałem istniejących prac dotyczących tego …
1
Gdzie jest dowód, że Coq + Wykluczone Środek jest spójny
Widziałem (i słyszałem), że twierdził, że można bezpiecznie dodać klasyczny aksjomat wykluczonego środka do Coq, ale nie mogę znaleźć dokumentu potwierdzającego to twierdzenie. Artykuły, które widzę na liście na wiki Coq o wykluczonym środku, wykazują niespójność z impredykatywnym Setem. Rzeczywiście wydaje się, że Coquand stwierdza, że ​​dodanie Wykluczonego Środka (mieszkańca …
3
Jak szybko możemy rozwiązać całkowicie nieimodularny program liniowy liczb całkowitych?
(Jest to kontynuacja tego pytania i odpowiedzi ). Mam następujący całkowicie nieimodularny (TU) całkowity program liniowy (ILP). Tutaj są dodatnimi liczbami całkowitymi podanymi jako część danych wejściowych. Określony podzbiór zmiennych x i j jest ustawiony na zero, a reszta może przyjmować dodatnie wartości całkowite:ℓ , m , n1, n2), …
5
Łatwe problemy z trudnymi do zliczenia wersjami
Wikipedia podaje przykłady problemów, w których liczenie wersji jest trudne, natomiast wersja decyzyjna jest łatwa. Niektóre z nich liczą doskonałe dopasowania, licząc liczbę rozwiązań SAT i liczbę sortowań topologicznych.222 Czy są jeszcze jakieś inne ważne klasy (powiedzmy przykłady z sieci, drzew, teorii liczb i tak dalej)? Czy istnieje kompendium takich …
3
Kto wprowadził niedeterministyczne obliczenia?
Mam dwa historyczne pytania: Kto pierwszy opisał obliczenia niedeterministyczne? Wiem, że Cook opisał problemy z NP-zupełnością i że Edmonds zaproponował, że algorytmy P są algorytmami „wydajnymi” lub „dobrymi”. Przeszukałem ten artykuł w Wikipedii i odszukałem „O złożoności obliczeniowej algorytmów”, ale nie mogłem znaleźć żadnego odniesienia do pierwszego omówienia obliczeń niedeterministycznych. …
1
Konsekwencje ?
Chociaż twierdzenie Adlemana pokazuje, że , nie znam żadnej literatury badającej możliwe włączenie . Jakie konsekwencje teoretyczne pod względem złożoności miałoby takie włączenie?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Twierdzenie Adlemana jest czasem nazywane „protoplastą argumentów derandomizacji”. Uważa się, że podlega derandomizacji, podczas gdy nie ma dowodów na to, że „kwantowość” mogłaby …
1
Minimalne ukończenie wykresu nieparzystych cykli nieparzystych: czy jest trudne NP?
W moich badaniach pojawił się ostatnio następujący interesujący problem: INSTANCJA: Wykres .G ( V, E)G(V,E)G(V, E) ROZWIĄZANIE: Zakończenie akordu nieparzystego cyklu nieparzystego, zdefiniowane jako nadzbiór zestawu krawędzi tak że skompletowany wykres ma właściwość polegającą na tym, że każda krawędź w jest zawarta w bezciężkim cyklu nieparzystym.mi′E′E'miEEsol′( V, E′)G′(V,E′)G'(V, E')sol′G′G' POMIAR: …
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.