Pytania dotyczące oprogramowania / programów / aplikacji używanych przez badaczy TCS
Załóżmy, że współautorzy z dwóch lub więcej różnych instytucji piszą papier w lateksie i chcieliby zrobić coś lepszego niż wielokrotne przesyłanie szkiców w tę iz powrotem. Zdają sobie sprawę, że mogą bezpłatnie otworzyć konto Dropbox, udostępnić hasło i zsynchronizować wersję papierową na swoim...
Załóżmy, że chciałem sformalizować dowód Turinga dotyczący problemu zatrzymania, aby maszyna mogła to sprawdzić. Niektóre ze znanych automatycznych systemów dowodzenia twierdzeń obejmują Mizar, Coq i HOL4. Pobrałem i eksperymentowałem z Coq, ale nie ma biblioteki dla maszyn Turinga. Sam pomyślałem...
Czy ktoś wie o otwartym oprogramowaniu do obliczania rozkładu drzewa grafów dla ustalonej „k” (szerokość)? Wiem, że problem ze znalezieniem rozkładu drzewa jest trudny NP dla zmiennej „k”, ale moje instancje wejściowe będą naprawdę małe (~ 10 węzłów), a „k” jest...
Czy ktoś mógłby wskazać jedną lub więcej stron internetowych, z których można pobrać działającą implementację solvera #SAT? Interesują mnie osoby zwracające dokładną liczbę rozwiązań, a nie
Podczas zestawiania wyników często pożądane jest, aby mieć diagramy wyglądające profesjonalnie, a nie diagramy zestawione w MS Paint. Jaki jest standard rysowania struktur
Używałem Junga ( http://jung.sourceforge.net/ ) do wizualizacji rangi strony i stwierdziłem, że jest trochę powolna i trudna do skalowania poza 100 węzłów. Zastanawiałem się, jakich innych narzędzi używają ludzie do analizy i wizualizacji sieci / sieci
Większość prac jest teraz pisanych wspólnie, a współpracownicy często znajdują się w różnych miejscach. Zawsze używałem systemów kontroli wersji dla moich dokumentów i kodu, a także uważałem kontrolę wersji za kluczową dla wspólnych projektów oprogramowania, ale wydaje się, że wielu badaczy...
Czy istnieje jakiś pakiet oprogramowania umożliwiający rozkład jednostek unitarnych z na obwody kwantowe w ramach predefiniowanego uniwersalnego zestawu bramek?U(
Interesuje mnie implementacja SM dla zadania LP, jednak słyszałem o możliwych pułapkach: książka Cormena mówi, że możliwe jest posiadanie danych wejściowych, które sprawią, że naiwna implementacja zachowa się w wykładniczym czasie. Słyszałem również, że naiwna implementacja może zapętlać dane. Czy...
Chciałbym pisać matematyczne dowody przy pomocy asystenta dowodu. Wszystko zostanie napisane przy użyciu logiki pierwszego rzędu (z równością) i naturalnej dedukcji. Tłem jest teoria mnogości (ZF). Na przykład, jak mogę napisać następujący dowód? Aksjomat:∀ x ∀ y( x = y↔ ∀ z( z∈ x ↔ z. Y)...
Wszystkie znane mi solwery #SAT, np. RelSat, C2D, zwracają tylko liczbę zadowalających wystąpień. Ale chcę poznać każdy z tych przypadków? Czy istnieje taki solver #SAT lub jak powinienem zmodyfikować dostępny solver #SAT, aby to zrobić? Dziękuję
Szukam oprogramowania do obliczania / szacowania objętości wielowymiarowych wypukłych wielościanów. Mówiąc dokładniej, jestem zainteresowany programem, który może obsługiwać ciałannn wierzchołki w rered-wymiarowa przestrzeń z parametrami z grubsza określonymi następująco: re≤ 50re≤50d \le 50 i n ≤...