Szczególnie interesuje mnie ich zastosowanie w aplikacjach do sprawdzania modeli. Mam otwarte, zamknięte i mieszane sieci kolejek z różnymi klasami klientów, autor: Baskett i in. Wszelkie inne sugestie dotyczące czytania materiałów?
Szczególnie interesuje mnie ich zastosowanie w aplikacjach do sprawdzania modeli. Mam otwarte, zamknięte i mieszane sieci kolejek z różnymi klasami klientów, autor: Baskett i in. Wszelkie inne sugestie dotyczące czytania materiałów?
W wielu podręcznikach łatwo jest przejrzeć dowody redukcji podmiotu i silnej normalizacji dla Systemu F, czasem też istnieją definicje Systemu F z parami, gdzie (t, r) jest terminem, a nie tylko kodowaniem. Pytanie brzmi: jakie byłoby odniesienie dla tego
Na wykresie niezależny zestaw jest podzbiorem wierzchołków, który nie zawiera krawędzi jako indukowanego podsgrafu. Problem znajdowania największych niezależnych zestawów na wykresie jest fundamentalnym zagadnieniem algorytmicznym i trudnym. Rozważmy bardziej ogólne pytanie dotyczące znalezienia...
Podczas studiów licencjackich EE uczestniczyłem w kilku wykładach, które przedstawiały ładną charakterystykę obwodów boolowskich pod względem liczby zagnieżdżonych pętli. Ze złożonością obwody boolowskie są często uważane za sztylety, ale w rzeczywistości cykle sprzętowe są powszechne. Teraz,...
Niech będzie rozkładem na pary łańcuchów bitów / etykiet { 0 , 1 } d × { 0 , 1 } i niech C będzie zbiorem funkcji o wartościach logicznych f : { 0 , 1 } d → { 0 , 1 } . Dla każdej funkcji f ∈ C , niech: e r r ( f , D ) = Pr ( x , y )DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times...
Jest to kontynuacja mojego poprzedniego pytania dotyczącego dolnych granic komunikacji dla częściowych funkcji boolowskich . Czy ktoś może zasugerować jakieś odniesienie do dolnych granic niedeterministycznej komunikacji wielopartyjnej? Przeglądam dokumenty w terenie, ale wydaje się, że wszyscy...
To pytanie było motywowane pytaniem dotyczącym przepływu stosu . Załóżmy, że otrzymujesz zrootowane drzewo (tzn. Jest to root, a węzły mają dzieci itp.) W węzłach (oznaczonych ).n 1 , 2 , … , nT.T.Tnnn1 , 2 , … , n1,2),…,n1, 2, \dots, n Każdy wierzchołek ma powiązaną nieujemną masę całkowitą: .w...
Próbuję znaleźć problemy, których złożoność przestrzeni dla średnich przypadków została przeanalizowana. Mówiąc dokładniej, jestem zainteresowany, aby dowiedzieć się, czy są jakieś problemy ze sprawdzoną dolną granicą złożoności przestrzeni, która jest superliniowa, a zwłaszcza, jeśli istnieją...
Czy były prace nad odzyskaniem nachylenia segmentu linii po digitalizacji? Oczywiście nie można tego zrobić z idealną dokładnością; to, czego się chce, to metoda wyprowadzenia z linii cyfrowej przedziału możliwych nachyleń. (Pojęcie cyfrowej linii, której używam, to Rosenfelda: zbiór par gdzie...
Mam problem, który jest w NEXP NP i który może być rozwiązany przez przemienną TM przy użyciu czasu wykładniczego i tylko jednej alternacji (zaczynając od stanu egzystencjalnego).NPNP^{\text{NP}} Czy jest coś znanego na temat NEXP NP ? Czy jest równy NEXP lub innej klasie? Czy istnieją inne...
Logiki warunkowe to logiki, które rozszerzają tradycyjną implikację logiczną za pomocą operatorów modalnych odpowiadających innym pojęciom warunku (na przykład przyczynowy warunkowy brzmi „ powoduje„ B ”lub warunkowanie probabilistyczne „ ”, które brzmi „ dany B ”).A A | B AA□→BA◻→BA\;...
Wiem, że pytanie „czy formuła pierwszego rzędu ma model” jest ogólnie nierozstrzygalne.ϕϕ\phi Czy ktoś mógłby mi dać link lub książkę, która da odpowiedź na skończone modele. Jeśli mam wzór pierwszego rzędu , czy można rozstrzygnąć, czy ϕ ma model skończony? Jestem pewien, że pytanie jest dobrze...
Czy można zbudować algorytm, który przyjmuje jako dane wejściowe automat do przesuwania wraz z obietnicą, że język zaakceptowany przez ten automat L ( M ) jest deterministycznym językiem bezkontekstowym i wysyła deterministyczny automat do przesuwania N, który akceptuje dokładnie zaakceptowany...
Obecnie szukam dobrych materiałów referencyjnych dotyczących nielokalnych gier o korzystnych aspektach w komunikacji kwantowej. Na przykład jestem świadomy, że gry nielokalne są dobre w ograniczaniu złożoności komunikacji, a także w zapewnieniu bezpieczeństwa protokołów QKD. Chciałbym wiedzieć,...
Byłbym bardzo zainteresowany odniesieniami do teorii funkcji podmodularnych (od podstaw po zaawansowane). W szczególności studiuję aproksymacje do problemów z twardą optymalizacją i chcę rozwinąć swoje podstawy w funkcjach podmodularnych, ponieważ są one istotne dla problemów optymalizacji, które...
Chciałbym wiedzieć, czy w (niedeterministyczny obszar logów) można rozstrzygnąć następujący problem :N L.NL\mathsf{NL} Biorąc pod uwagę ukierunkowany wykres z dwoma wyróżnionymi wierzchołkami s i t , czy istnieje unikalna ścieżka od s do t w G ?solGGssstttssstttsolGG Czuję, że to może być w...
Problem z tradycyjną galerią sztuki tworzy region i strażników z pewnym pojęciem widoczności i prosi o minimalną liczbę strażników, którzy muszą być umieszczeni, aby zobaczyć cały region. Czy ktoś kiedykolwiek oglądał warianty galerii sztuki, w których obszar widoczności jest definiowany przez...
Niech 1 , 2 , ... , m jest ciągiem liczb całkowitych, gdzie każdy J ∈ { 1 , 2 , ... , N } . Dla i ∈ { 1 , 2 , … , n } , niech m i = | { j : a j = i } | . K th chwili częstotliwości określa sięza1, a2), … , Ama1,a2,…,ama_1, a_2,\dotsc, a_mzajot∈ { 1 , 2 , … , n }aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i...
EDYCJA (autor: Tara B): Nadal byłbym zainteresowany odniesieniem do dowodu na to, ponieważ musiałem to udowodnić na własne potrzeby. Szukam dowodu Twierdzenia 4, który pojawia się w tym artykule: Nieskończona hierarchia skrzyżowań języków bezkontekstowych autorstwa Liu i Weinera. Twierdzenie...
Według książki Topological Graph Theory autorstwa Grossa i Tuckera, biorąc pod uwagę komórkowe osadzenie wykresu na powierzchni (przez „powierzchnię” rozumiem tutaj kulę z pewnymi uchwytami , a poniżej odnosi się do kuli o dokładnie uchwyty), można zdefiniować podwójny multigraf, traktując twarze...