Pytania otagowane jako intuition

6
Jak uzyskać „intuicję fizyczną” dla wyników w TCS?
Przepraszam, jeśli to pytanie jest trochę niejasne, ale jestem ciekawy, jak odnoszący sukcesy badacze „odczuwają” wyniki w TCS. Na przykład algebra liniowa może być rozumiana geometrycznie lub w kategoriach jej fizycznych interpretacji (wektory własne można traktować jako „punkty stabilne” w systemie) itp. Intuicyjne jest również, że istnieje protokół IP dla …
5
Dlaczego P = NP nie oznacza P = AP (tj. P = PSPACE)?
Powszechnie wiadomo, że jeśli wówczas hierarchia wielomianowa upadnie, a .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Można to łatwo zrozumieć indukcyjnie za pomocą maszyn Oracle. Pytanie brzmi - dlaczego nie możemy kontynuować procesu indukcyjnego poza stałym poziomem naprzemienności i udowodnić (aka )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Szukam intuicyjnej odpowiedzi.
1
Dlaczego praca Schönfinkela nad wyeliminowaniem „zmiennych powiązanych” w logice była tak istotna?
AFAIK, Pierwsze dowody używania funkcji wyższego rzędu sięgają artykułu Schönfinkela z 1924 r .: „O elementach logiki matematycznej” - gdzie pozwalał przekazywać funkcje jako argumenty innym funkcjom. To wydaje się interesujące. Jednak wszystko, co czytałem o jego pracy (i Curry'ego z rozszerzenia) zdaje się nawiązywać do jednej rzeczy w takiej …
9
Wyniki sprzeczne z intuicją dla studentów
Szukam przykładów wyników, które są sprzeczne z intuicją ludzi podczas ogólnej dyskusji publiczności. Wyniki, które na pytanie ekspertów niebędących ekspertami „co podpowiada ci intuicja?”, Prawie wszystko byłoby błędne. Oświadczenie o wynikach powinno być łatwe do wyjaśnienia studentom w cs / matematyce. Głównie szukam wyników w informatyce. Jakie są najbardziej sprzeczne …
2
Jak dokładnie rachunek lambda uwzględnia intuicyjne pojęcie obliczalności?
Próbowałem owinąć głowę wokół tego, co, dlaczego i jak rachunek, ale nie jestem w stanie poradzić sobie z „dlaczego to działa”?λλ\lambda „Intuicyjnie” dostaję model obliczeniowy Turing Machines (TM). Ale ta abstrakcja wprawia mnie w zakłopotanie.λλ\lambda Załóżmy, że bazy danych nie istnieją - jak więc można „intuicyjnie” przekonać się o zdolności …
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.