Pytania otagowane jako big-picture

Znacznik dużego obrazu służy do „szerokiego, ogólnego widoku lub perspektywy problemu lub problemu”.

13
Kompleksowa analiza w informatyce teoretycznej
Istnieje wiele zastosowań rzeczywistych analiz w informatyce teoretycznej, obejmujących testowanie własności, złożoność komunikacji, uczenie się PAC i wiele innych dziedzin badań. Nie mogę jednak wymyślić żadnego wyniku w TCS, który opierałby się na złożonej analizie (poza obliczeniami kwantowymi, gdzie liczby zespolone są nieodłączne w modelu). Czy ktoś ma przykład klasycznego …
3
Czy możemy kwantyfikować „stopień kwantowości” w algorytmie kwantowym?
Splątanie jest często utrzymywane jako kluczowy składnik, który sprawia, że ​​algorytmy kwantowe są dobrze ... kwantowe, i można to prześledzić do stanów Bella, które niszczą ideę fizyki kwantowej jako modelu probabilistycznego w stanie ukrytym. W teorii informacji kwantowej (z mojego raczej słabego zrozumienia) splątanie może być również wykorzystane jako konkretny …
2
Jaki był pierwotny zamiar stworzenia rachunku Lambda?
Czytałem, że początkowo Kościół zaproponował -calculus jako część swoich postulatów z logiki (co jest gęstym odczytem). Ale Kleene udowodnił, że jego „system” jest niespójny, po czym Church wyodrębnił odpowiednie rzeczy do swojej pracy nad „skutecznym obliczeniem” i porzucił wcześniejsze prace nad logiką.λλ\lambda Tak jak ja rozumiem, -system i jego oznaczenia …
3
Uzasadnianie naukowcom asymptotycznej analizy najgorszego przypadku
Pracowałem nad wprowadzeniem niektórych wyników złożoności obliczeniowej do biologii teoretycznej, zwłaszcza ewolucji i ekologii , aby być interesującym / użytecznym dla biologów. Jedną z największych trudności, jakie napotkałem, jest uzasadnienie przydatności asymptotycznej analizy najgorszego przypadku dla dolnych granic. Czy istnieją odniesienia do długości artykułów, które uzasadniają dolne granice i asymptotyczną …
1
Zagadnienia energetyczne dotyczące obliczeń
Aby sprawdzić moje zrozumienie, chciałbym podzielić się przemyśleniami na temat wymagań energetycznych obliczeń. Jest to kontynuacja mojego poprzedniego pytania i może być związana z pytaniem Vinaya dotyczącym praw ochrony . Przyszło mi do głowy, że z termodynamicznego punktu widzenia prowadzenie obliczeń można w pewnym stopniu uznać za analogiczne do przemieszczania …
5
Teoretyczne zastosowania algorytmów aproksymacyjnych
Ostatnio zacząłem szukać algorytmów aproksymacyjnych dla problemów trudnych dla NP i zastanawiałem się nad teoretycznymi przyczynami ich badania. (To pytanie nie ma być zapalne - jestem po prostu ciekawy). Z badań algorytmów aproksymacyjnych wynikła pewna naprawdę piękna teoria - związek między twierdzeniem PCP a twardością aproksymacji, hipoteza UGC, algorytm aproksymacji …
3
Ograniczenia przetwarzania równoległego
Jestem ciekawy w szerokim znaczeniu tego, co wiadomo na temat algorytmów równoległych w P. Znalazłem następujący artykuł w Wikipedii na ten temat: http://en.wikipedia.org/wiki/NC_%28complexity%29 Artykuł zawiera następujące zdanie: Nie wiadomo, czy NC = P, ale większość badaczy podejrzewa, że ​​jest to fałsz, co oznacza, że ​​prawdopodobnie istnieją pewne możliwe do rozwiązania …
4
Złożoność komunikacji… Klasy?
Dyskusja : Spędziłem ostatnio trochę czasu na nauce różnych rzeczy w złożoności komunikacji. Na przykład ponownie zapoznałem się z odpowiednim rozdziałem w Arora / Barak, zacząłem czytać kilka artykułów i zamówiłem książkę Kushilevitz / Nisan. Intuicyjnie chcę porównać złożoność komunikacji ze złożonością obliczeniową. W szczególności uderza mnie fakt, że złożoność …
4
Dlaczego problem konsensusu jest tak ważny w obliczeniach rozproszonych?
W obliczeniach rozproszonych problem konsensusu wydaje się być jednym z głównych tematów, który przyciągnął intensywne badania. W szczególności artykuł „Niemożność rozproszonego konsensusu z jednym wadliwym procesem” otrzymał nagrodę PODC Influential Paper Award 2001 . Dlaczego więc problem konsensusu jest tak ważny? Co możemy osiągnąć dzięki konsensusowi zarówno w teorii, jak …
1
Czy kryptografia ma nieodłączny koszt termodynamiczny?
Obliczenia odwracalne to model obliczeniowy, który pozwala jedynie na operacje odwracalne termodynamicznie. Zgodnie z zasadą Landauera, która stwierdza, że ​​usunięcie części informacji uwalnia ciepło dżuli, wyklucza to funkcje przejścia, które nie są jeden do jednego (np. Operatory logiczne AND i OR). Powszechnie wiadomo, że obliczenia kwantowe są z natury odwracalne, …
4
Jak leczy się skutki uboczne w semantyce?
W sekcji „Wprowadzenie do języków programowania” Anthony'ego Aaby'ego na temat semantyki dokonuje następujących obserwacji: Znaczna część pracy w semantyce języków programowania jest motywowana problemami napotkanymi przy próbie konstruowania i zrozumienia programów imperatywnych - programów z poleceniami przypisania. Ponieważ polecenie przypisania ponownie przypisuje wartości do zmiennych, przypisanie może mieć nieoczekiwane skutki …
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.