W przypadku wykresu z ważonymi krawędziami, jak możemy znaleźć cykl ujemny, który zawiera co najmniej jeden wierzchołek w danym zestawie wierzchołków ? Dzięki.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots,
Rozważ zestawów wartości (reprezentowanych jako uporządkowane tablice bez duplikatów i ze znanym rozmiarem (tzn. Rozmiar można uzyskać w O (1)). Wartości można sprawdzić pod kątem równości w czasie O (1). Chcę aby otrzymać zestaw wartości, które są obecne w co najmniej różnych zestawach spośród...
Tłumaczę książkę na temat LISP i oczywiście dotyka ona niektórych elementów rachunku. Zatem wzmiankowane jest pojęcie ekstensywności wraz z niektórymi modelami λ- rachunku, a mianowicie: P ω i D ∞ (tak, z nieskończonością u góry). I mówi się, że P ω jest ekstensjonalny podczas D ∞ nie...
Jest to podobne do SAT, z tym wyjątkiem, że znamy przypisanie każdej zmiennej, ale nie znamy przypisania żadnego operatora logicznego. Czy w takim przypadku znalezienie przypisania każdego operatora, aby wyrażenie oceniało na wartość logiczną, stanowi problem NPC? Właściwie zastanawiałem się, czy...
Szukam sposobu generowania wykresów, aby znana była optymalna osłona wierzchołków. Nie ma ograniczeń co do liczby węzłów lub krawędzi, tylko to, że wykres jest całkowicie połączony. chodzi o wygenerowanie wykresu, który nie jest łatwy do znalezienia optymalnej osłony wierzchołków, aby móc...
Czy są jakieś zastosowania Algebry Abstrakcyjnej w teorii języków programowania? Czy jest coś, co byłoby przydatne w projektowaniu języka i implementacji
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 ′...
Problem N-królowej jest następujący: Wejście: N Wynik: umieszczenie N „królowych” na szachownicy NXN w taki sposób, że żadne dwie królowe nie leżą w tym samym rzędzie, kolumnie lub po przekątnej. Przeszukując to w Google, zauważyłem, że wiele slajdów wielu profesorów twierdzi, że jest to trudny...
Powszechnie uważa się, że niektóre problemy obliczeniowe, takie jak izomorfizm grafów, nie mogą być NP-kompletne, ponieważ nie mają wystarczającej struktury lub redundancji, aby były trudne obliczeniowo (NP-twarde). Interesują mnie różne pojęcia formalne dotyczące struktury problemów obliczeniowych...
Twierdzenie Courcelle'a stwierdza, że każdą właściwość grafu definiowaną w monadycznej logice drugiego rzędu można rozstrzygać w czasie liniowym na wykresach ograniczonej szerokości . Jest to jedno z najbardziej znanych algorytmicznych meta-twierdzeń. Zmotywowany twierdzeniem Courcelle,...
Jakie są twierdzenia dotyczące hierarchii głębokości obwodu? Oświadczenia takie jak jeśli i f ( n ) ∈ n O ( 1 ), to S i z e D e p t h ( n O ( 1 ) , g ( n ) ) ⊊ S i z e D e p t h ( n O (g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in
Co obecnie wiadomo na temat zbliżenia problemu rodzaju? Wstępne wyszukiwanie mówi mi, że stałe przybliżenie współczynnika jest trywialne dla wystarczająco gęstych wykresów, a algorytm aproksymacji został wykluczony. Czy te informacje są aktualne, czy są znane lepsze
Rozluźnijmy trochę kolorystykę, tzn. Pozwalamy niewielkiej liczbie sąsiadujących wierzchołków na przypisanie tego samego koloru. Składnik monochromatyczny jest zdefiniowany jako składnik połączony w podsgrafie wywołany przez zestaw wierzchołków, które otrzymują ten sam kolor, a pytanie polega na...
Interesuje mnie pytanie, czy NP jest równy coNP, czy nie. Byłbym wdzięczny za porady dotyczące dobrych publikacji do przeczytania na ten temat. Dla przypomnienia, wiem, że to pytanie jest ściśle związane z pytaniem, czy P jest równe NP, czy nie (takie, że jeśli NP! = CoNP, to P! = NP). Na...
Wiem, jak niektóre negatywne zdarzenia mogą być zdecydowanie złe: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) false :: False false = yc id Nie jestem jednak pewien,...
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=...
Niektóre tło: Chciałbym znaleźć „mniej znane” dolne granice (lub wyniki twardości) dla problemu Uczenie się z błędami (LWE) i ich uogólnienia, takie jak Uczenie się z błędami przez pierścienie. W celu uzyskania szczegółowych definicji itp. Oto miła ankieta przeprowadzona przez Regev:...
Bardzo interesującym otwartym problemem w badaniu miar złożoności funkcji boolowskiej jest tak zwana hipoteza wrażliwości vs. blokowa. Informacje na temat wrażliwości kontra czułości bloków można znaleźć na następującym blogu S. Aaronsona na stronie http://www.scottaaronson.com/blog/?p=453...
Czy istnieje o następujących właściwościach:L ∈ N PL∈NPL\in {\bf NP} Wiadomo, że oznacza P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Nie (znany) wielomian czas redukcji Turinga z (lub inne N P -Complete problemu) do l .S.A T.SATSATN P.NP{\bf NP}L.LL Innymi słowy, jeśli wielomianem...