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?
Na ukierunkowanym wykresie , F ⊂ E , jeśli G ∖ F jest DAG (ukierunkowany wykres acykliczny), F nazywa się zestawem łuku zwrotnego. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Jeżeli każda krawędź jest powiązana z wagą , problem z zestawem łukowym sprzężenia zwrotnego przy minimalnym...
Kiedy myślę o oprogramowaniu, które nie jest bezpieczne, myślę, że jest ono „zbyt przydatne” i może zostać wykorzystane przez napastnika. W pewnym sensie zabezpieczenie oprogramowania to proces zmniejszania jego użyteczności. W informatyce teoretycznej nie pracujesz w prawdziwym świecie. Czy są...
Biorąc pod uwagę dowolny prosty niekierowany wykres G, nie jest łatwe ustalenie, czy G ma nietrywialne (nieidentyfikacyjne) automorfizmy. Ale jakie są wyniki w górnej / dolnej granicy tego problemu
Barry Jay w swojej książce wysuwa śmiałe twierdzenia - w zasadzie mówiąc, że u podstaw programu wszystko jest albo atomowe, albo złożone. Następnie rzeczy można łatwo iterować, filtrować, aktualizować, po prostu nawigując w tej relacji kompozycji. Czy to nowa granica w informatyce dla języków...
Johnson-Lindenstrauss lemat mówi przybliżeniu że każdy zbiór z n punktów R d , istnieje mapę F : R d → R k , gdzie k = O ( log n / ε 2 ) tak, że dla wszystkich x , y ∈ S : ( 1 - ϵ ) | | f ( x ) - f ( y ) | | 2)S.S.SnnnRreRre\mathbb{R}^dfa: Rre→ Rkfa:Rre→Rkf:\mathbb{R}^d \rightarrow \mathbb{R}^kk =...
Zastanawiam się, czy klasy NPC zdefiniowane przez redukcje wielokrotne i redukcje Turinga są równe. Edycja: Kolejne pytanie, czy redukcje Turinga powodują tylko załamanie klas C i co-C dla niektórych C lub czy istnieje klasa taka jak istnieje problem, który nie występuje w przy redukcji Karp i...
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...
Jaka jest dokładna złożoność czasowa niekierowanego algorytmu przestrzeni logów st-connectivity autorstwa Omer
Właśnie zacząłem (niezależne) uczenie się ogólnie o obliczeniach kwantowych z książki Nielsen-Chuang. Chciałem zapytać, czy ktokolwiek mógłby spróbować znaleźć czas, aby pomóc mi w tym, co się dzieje z postulatem pomiaru mechaniki kwantowej. To znaczy, nie próbuję kwestionować postulatu; po prostu...
Rozważmy dwie przestrzenie metrycznych i ( Y , F ) i z obszaru wstawiania ľ : X → Y . Tradycyjne osadzanie przestrzeni metrycznej mierzy jakość μ jako najgorszy stosunek pierwotnej odległości do odległości końcowej: ρ = max p , q ∈ X { d ( x , y )( X, d)(X,d)(X, d)( Y, f)(Y,f)(Y, f)μ : X→...
Motywacją tego pytania jest fakt, że większość ciągów n-bitowych jest nieściśliwa. Intuicyjnie możemy zaproponować przez analogię, że większość dowodów dla tautologii jest nieściśliwa dla wielkości wielomianowej. Zasadniczo, moja intuicja jest taka, że niektóre dowody są z natury losowe i nie...
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,...
Uważam, że odpowiedź na to pytanie jest dobrze znana; ale niestety nie wiem. W obliczeniach kwantowych wiemy, że stany mieszane są reprezentowane przez macierze gęstości. A norma śladowa różnicy dwóch macierzy gęstości charakteryzuje rozróżnialność dwóch odpowiadających stanów mieszanych. Tutaj...
Dla danego wykresu problem separatora pyta, czy istnieje zbiór wierzchołków lub krawędzi o małej liczności (lub wadze), którego usunięcie dzieli G na dwa rozłączne wykresy o w przybliżeniu równych rozmiarach. Nazywa się to problemem separatora wierzchołków, gdy usunięty zestaw jest zestawem...
Opracowałem nową technikę derandomizacji, która ma na celu rekurencyjne algorytmy randomizowane (lub) bardziej ogólnie algorytmy randomizowane, które wykorzystują stos. Niestety nie mogłem znaleźć naturalnych, losowych algorytmów do zastosowania moich technik. Rekurencyjne łańcuchy Markowa i...
Wyobraź sobie funkcjonalny język programowania, którego jedynymi typami danych są skalary numeryczne i dowolne zagnieżdżenia tablic. W języku nie ma żadnych możliwości nieograniczonej iteracji, dlatego następujące elementy są niedozwolone: wyraźne pętle (i tak niewiele zużyć bez skutków...
To może brzmieć bardziej jak pytanie z nauk społecznych niż TCS, ale tak nie jest. Czytając „ Randomizowane algorytmy ” opisujące problem stabilnego małżeństwa, można przeczytać następujące informacje (str. 54) „Można wykazać, że dla każdego wyboru list preferencji istnieje co najmniej jedno...
W sekcji 2.2 Cache-niepomny B-drzew , stanowczo Weight Balanced wyszukiwania Drzewa są zdefiniowane jako: Dla niektórych stałych , każdy węzeł na wysokości ma potomków .dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Oni twierdzą: Drzewa wyszukiwania spełniające właściwości 1 i 2 obejmują zrównoważone pod...