Informatyka

Pytania i odpowiedzi dla studentów, naukowców i praktyków informatyki

1
Czy istnieje izomorfizm między (podzbiorem) teorii kategorii a algebrą relacyjną?
Pochodzi z perspektywy dużych zbiorów danych. Zasadniczo wiele frameworków (takich jak Apache Spark) „kompensuje” brak operacji relacyjnych, zapewniając interfejsy podobne do Functor / Monad, i podobny ruch w kierunku konwersji kotów na SQL (Slick in Scala). Na przykład, potrzebujemy naturalnego łączenia (przy założeniu braku powtórzeń w indeksach) do elementarnego mnożenia …
1
Czy pakowanie torby prezentów jest łatwiejsze dla Ruperta niż Świętego Mikołaja?
Lub: Czy potrzebujemy Ruperta, aby w ogóle otrzymać prezenty? Pomijając problemy z routingiem, Święty Mikołaj napotyka następujący problem (wiele, wiele razy): Biorąc pod uwagę torbę o pojemności¹ i zestaw prezentów , każdy o rozmiarze , chce uszczęśliwić dzieci . Ze wszystkich list życzeń wie, że potomne wartości prezentują dokładnie bardzo …
2
Udowadnianie tautologii za pomocą coq
Obecnie muszę się nauczyć Coq i nie wiem, jak sobie radzić z or: Jako przykład, choć jest to tak proste, nie widzę, jak udowodnić: Theorem T0: x \/ ~x. Byłbym bardzo wdzięczny, gdyby ktoś mógł mi pomóc. Dla porównania używam tego ściągawki . Mam też przykład dowodu, który mam na …
12 logic  coq 
2
Czym jest „sprzeczność” w logice konstruktywnej?
W praktycznych podstaw dla języków programowania , Robert Harper mówi Jeśli twierdzenie, które jest prawdziwe, oznacza posiadanie dowodu, co to znaczy, że twierdzenie jest fałszywe? Oznacza to, że mamy obalenie go, pokazując, że nie można tego udowodnić. Oznacza to, że twierdzenie jest fałszywe, jeśli możemy wykazać, że założenie, że jest …
12 logic 
4
PRNG do generowania liczb z n dokładnie ustawionymi bitami
Obecnie piszę kod do generowania danych binarnych. W szczególności muszę wygenerować liczby 64-bitowe przy określonej liczbie ustawionych bitów; dokładniej, procedura powinna zająć około i zwrócić pseudolosową 64-bitową liczbę z dokładnie bitami ustawionymi na , a resztą ustawioną na 0.0 &lt; n &lt; 640&lt;n&lt;640 < n < 64nnn111 Moje obecne podejście …
3
Optymalna strategia dla abstrakcyjnej gry
W wywiadzie otrzymałem następujący problem (którego już nie udało mi się rozwiązać, nie próbując oszukać mojej przeszłości): Gra rozpoczyna się od dodatniej liczby całkowitej . (Np. ) Liczba ta jest konwertowana na reprezentację binarną, a jest liczbą bitów ustawioną na . (Np. , )A 0 = 1234 N 1 A …
5
Dlaczego rozsądek oznacza spójność?
Czytałem pytanie Spójność i kompletność oznaczają solidność? a pierwsze oświadczenie zawiera: Rozumiem, że solidność oznacza konsekwencję. Byłem dość zdziwiony, ponieważ uważałem, że dźwięk jest słabszym stwierdzeniem niż spójność (tj. Myślałem, że spójne systemy muszą być zdrowe, ale wydaje mi się, że to nieprawda). Używałem nieformalnej definicji, której Scott Aaronson używał …
5
Numery hipotez Goldbacha i Busy Beaver?
Tło: Jestem kompletnym laikiem w dziedzinie informatyki. Czytałam o numerach Busy Beaver tutaj i znalazłem następujący fragment: Ludzkość może nigdy nie poznać wartości BB (6) na pewno, nie mówiąc już o wartości BB (7) lub jakiejkolwiek większej liczbie w sekwencji. Rzeczywiście, wymyka się nam już pierwsza piątka i szóstka rządzących: …
1
Różnica między logiką dynamiczną a logiką czasową
Aby znaleźć różnicę, właśnie natknąłem się na poniższe stwierdzenia dotyczące logiki czasowej w Wikipedii : inny wariant logiki modalnej o wielu wspólnych cechach z logiką dynamiczną różni się od wszystkich wyżej wymienionych logików tym, że Pnueli scharakteryzował je jako logikę „endogeniczną”, a pozostałe to logika „egzogeniczna”. Pod tym pojęciem Pnueli …
3
Czy każdy algorytm samodmodyfikujący może być modelowany za pomocą algorytmu niemodyfikującego?
Jeśli mamy dowolny dowolny program komputerowy, który może modyfikować jego instrukcje, czy można symulować ten program za pomocą programu, który nie może modyfikować jego instrukcji? Edytować: Jestem nowy w stosie wymiany, więc nie jestem pewien, czy mogę zadawać NOWE pytanie tutaj, ale oto: Ok, więc dowód, że jest to możliwe, …
2
Dlaczego FACTOR w Co-NP?
Mam problem z obejściem problemów PRIME, COMPOSITE, FACTOR i ich powiązania pod względem złożoności. Rozumiem, że PRIME wykazał, że jest w w teście pierwotności AKS i uważam, że działa to również w przypadku KOMPOZYTU.P.PP Jeśli chodzi o CZYNNIK, faA C.T.O R = { ( m , r ) :Such s …
1
Czy pamięć RAM może obliczyć własną liczbę Gödla?
Możesz uzyskać numer Gödela pamięci RAM, ustawiając go jako listę poleceń i czyniąc tę ​​listę liczbą całkowitą. Tak więc, pomyślałem, że jest coś w rodzaju „RAM, który zwróci swój własny numer Gödela (powiedzmy ), będzie musiał zawierać informację , więc liczba całkowita będzie większa niż , więc nie zwróci własnego …
2
Czy ten szczególny przypadek problemu z planowaniem można rozwiązać w czasie liniowym?
Alice, studentka, ma dużo pracy domowej w ciągu najbliższych tygodni. Każda praca domowa zabiera ją dokładnie jednego dnia. Każda pozycja ma również termin i negatywny wpływ na jej oceny (zakładamy liczbę rzeczywistą, punkty bonusowe za przyjęcie założenia porównywalności), jeśli nie dotrzyma terminu. Napisz funkcję, która podając listę (termin, wpływ na …
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.