To pytanie jest związane z ostatnim pytaniem przez Janoma . tło Programowania więzów, A regularne globalny ograniczenie docc przez domeny reDD jest parą ( s , M)(s,M)(s, M) z sss krotki zmiennych (zakres, w) oraz M.MM DFA na obszarze reDD . Przypisanie θθ\theta do sss spełnia warunek docc jeśli...
Niech będzie dowolną skończoną strukturą. Czy jego teoria pierwszego rzędu ograniczyła rangę kwantyfikatora w tym sensie, że istnieje taki, że dla wszystkich z jest z i ?AA\mathfrak{A} T:=TH(A)T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈Nq∈N q\in\mathbb{N} φ∈Tφ∈T \varphi\in\mathfrak{T}...
Dostajemy matroida. Naszym celem jest znalezienie zestawu elementów o minimalnym rozmiarze, który ma niepuste przecięcie z każdą podstawą matroidu. Czy problem był już badany? Czy to jest w P? Na przykład w matroidach drzew przestawnych minimalny zestaw uderzeń powinien być minimalnym cięciem....
Próbuję pokryć prosty wklęsły wielokąt minimalnymi prostokątami. Moje prostokąty mogą mieć dowolną długość, ale mają maksymalną szerokość, a wielokąt nigdy nie będzie miał ostrego kąta. Pomyślałem o próbie rozłożenia mojego wklęsłego wielokąta na trójkąty, które wytwarzają zestaw minimalnie...
-coloring o siatka jest funkcją . Uszkodzony prostokąt w jest krotką spełniającą - to znaczy dokładnie trzy rogi prostokąta są tego samego koloru.m × nkkkm × nm×nm \times ndo: [ m ] × [ n ] → [ k ]C:[m]×[n]→[k]C:[m] \times [n] \to [k]( i , i ′ , j , j ′ ) C ( i , j ) = C ( i ′ , j ) = C ( i , j ′...
Skrzyżowane z MO . Niech CCC będzie klasą grafu zdefiniowaną przez skończoną liczbę zabronionych indukowanych podrożników, z których wszystkie są cykliczne (zawierają co najmniej jeden cykl). Czy istnieją problemy związane z grafem trudnym dla NP, które można rozwiązać w czasie wielomianowym...
Interesuje mnie system słonecznika i jego zastosowania w informatyce. Biorąc pod uwagę Wszechświat i zbiór k zbiorów A i nazywa się układem k-słonecznika, jeśli A i ∩ A j = Y dla wszystkich i ≠ j . A Y nazywa się rdzeniem, a A i - Y nazywa się płatkami. UUUkkkZAjaZAjaA_iZAja∩ Ajot=...
Mam kilka milionów wartości 32-bitowych. Dla każdej wartości chcę znaleźć wszystkie inne wartości w odległości Hamminga wynoszącej 5. W podejściu naiwnym wymaga to porównań O(N2)O(N2)O(N^2) , których chcę uniknąć. Uświadomiłem sobie, że jeśli potraktowałem te 32-bitowe wartości jako liczby...
Niech będzie permutacją. Zauważ, że chociaż działa w nieskończonej domenie, jego opis może być skończony. Przez opis rozumiem program, który opisuje funkcjonalność . (Jak w złożoności Kołmogorowa.) Zobacz wyjaśnienia poniżej. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to...
Przeciętna norma ||A||C||ZA||do||A||_C rzeczywistej macierzy A=(ai,j)∈Rn×nZA=(zaja,jot)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} jest maksimum we wszystkich I⊆ [ n ] ,J⊆ [ n ]ja⊆[n],jot⊆[n]I \subseteq [n], J \subseteq [n] ilości ∣∣∑i ∈I, j ∈ Jzaja , j∣∣|∑ja∈ja,jot∈jotzaja,jot|\left|\sum_{i \in...
Pracujemy na rozproszonych komputerach i znaleźliśmy problem złożoności, który sprowadza się do minimalnego problemu obejmującego ścieżkę. Obecnie nie wiemy, jak to rozwiązać. Problem jest następujący: Niech będzie liczbą całkowitą, a będzie wykresem zawierającym wierzchołki . Każdy wierzchołek...
W kombinatoryce i informatyce istnieje wiele przykładów, w których możemy analizować problem teoretyczny na wykresach, ale w przypadku analogu hipergrraficznego problemu brakuje naszych narzędzi. Jak myślisz, dlaczego problemy często stają się znacznie trudniejsze w przypadku 3-jednolitych...
Niech GGG być połączony wykres G=(V,E)G=(V,E)G = (V,E) z węzłami V=1…nV=1…nV = 1 \dots n , a krawędzie EEE . Niech wiwiw_i oznacza (całkowitą) wagę wykresu GGG , przy czym ∑iwi=m∑iwi=m\sum_i w_i = m całkowita waga na wykresie. Średnia waga na węzeł wynosi wtedy w¯=m/nw¯=m/n\bar w = m/n . Niech...
Wiemy, że log stopnia macierzy 0-1 jest dolną granicą deterministycznej złożoności komunikacji, a log przybliżonej rangi jest dolną granicą losowości złożoności komunikacji. Największa różnica między deterministyczną złożonością komunikacji a losową złożonością komunikacji ma charakter wykładniczy....
Podczas mojej pracy wpadłem na następujący problem: Usiłuję znaleźć macierz n × nn×nn \times n M dla dowolnego n > 3 o następujących właściwościach:( 0 , 1 )(0,1)(0,1)M.M.Mn > 3n>3)n > 3 Wyznacznik M.M.M jest parzysty. Dla niepustych podzbiorów ja, J⊆ { 1 , 2 , 3...
Rozważ dołączony losowy wykres sześcienny G=(V,E)G=(V,E)G=(V,E) z n=|V|n=|V|n =|V|wierzchołki narysowane z G(n,3G(n,3G(n, 3 reg ))) (jak tu zdefiniowano , tzn. 3n3n3n jest parzyste, a dowolne dwa wykresy mają takie samo prawdopodobieństwo). Oczywiście istnieje nnn możliwe Szerokość najpierw szuka,...
Graf decydujący Homomorfizm jest ogólnie NP-Complete. Czy istnieją wyniki, które badają ten problem, gdy leżące u podstaw wykresy mają strukturę algebraiczną (takie jak decydowanie o homomorfizmach z wykresów Coseleya lub Cayleya do innych wykresów o określonej strukturze również)? Oprócz wyników...
Czy istnieje znana konstrukcja kodu korygującego błędy liniowe (z rozsądnymi parametrami), na przykład gdy podano logiczny wektor zwraca również wartość logiczną wektora logicznego? (chociaż to koniec \ mathbb {F} _q )ECC:Fnq→FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to...
Niech . Muszę wygenerować proste wykresy obwodu tak aby zestaw wszystkich motocykli tworzy podwójną osłonę (to znaczy, każda krawędź jest dzielona przez dokładnie dwa motocykle) i takie, że przecięcie dowolnych dwóch motocykle to albo wierzchołek, krawędź, albo pusty. Wygenerowane wykresy powinny...
Biorąc pod uwagę rodzinę najwyżej n podzbiorów { 1 , 2 , … , n } . Zamknięcie związek C jest inny zestaw rodziny C zawierający każdy zestaw, które mogą być skonstruowane poprzez związek 1 lub więcej grup w F . Przez | C | oznaczymy liczbę zestawów w C .faF\mathcal Fnnn{ 1 , 2 , … , n }{1,2,…,n}\{...