Pertanyaan tentang Perangkat Lunak / Program / Aplikasi yang digunakan oleh peneliti TCS
Misalkan rekan penulis dari dua atau lebih lembaga berbeda sedang menulis makalah dalam lateks, dan ingin melakukan yang lebih baik daripada berulang kali mengirim email konsep bolak-balik. Mereka menyadari bahwa mereka dapat membuka secara gratis akun dropbox, membagikan kata sandi, dan...
Misalkan saya ingin memformalkan bukti Turing mengenai masalah penghentian sehingga mesin dapat memeriksanya. Beberapa sistem pembuktian teorema otomatis yang terkenal meliputi Mizar, Coq, dan HOL4. Saya mengunduh dan bereksperimen dengan Coq, tetapi tidak memiliki perpustakaan untuk mesin Turing....
Apakah ada yang tahu tentang program open-source untuk menghitung dekomposisi Tree dari grafik untuk "k" (lebar) yang diperbaiki? Saya tahu bahwa masalah menemukan Tree-Decomposition adalah NP-Hard untuk variabel "k", tetapi instance input saya akan sangat kecil (~ 10 node) dan "k" sudah...
Adakah yang bisa menunjuk ke satu atau lebih situs web di mana dimungkinkan untuk mengunduh implementasi kerja pemecah #SAT? Saya tertarik pada mereka yang mengembalikan hitungan solusi yang tepat, bukan
Ketika menyusun hasil, sering diinginkan untuk memiliki beberapa diagram yang terlihat profesional, daripada diagram yang disatukan dalam MS Paint. Apa standar untuk menggambar struktur
Saya menggunakan Jung ( http://jung.sourceforge.net/ ) untuk memvisualisasikan peringkat halaman dan merasa agak lambat dan sulit untuk menskalakannya melebihi 100 node. Saya ingin tahu alat apa yang digunakan orang untuk analisis dan visualisasi jaringan / jejaring
Sebagian besar makalah sekarang ditulis secara kolaboratif, dan kolaborator sering berada di tempat yang berbeda. Saya selalu menggunakan sistem kontrol versi untuk dokumen dan kode saya, dan juga menemukan kontrol versi penting untuk proyek perangkat lunak kolaboratif, tetapi tampaknya banyak...
Apakah ada paket perangkat lunak yang memungkinkan dekomposisi unitari dari ke dalam sirkuit kuantum melalui set gerbang universal yang telah ditentukan sebelumnya?U(
Saya tertarik untuk mengimplementasikan tugas SM untuk LP, namun saya telah mendengar tentang kemungkinan jebakan: Buku Cormen mengatakan bahwa adalah mungkin untuk memiliki data input yang akan membuat implementasi naif untuk berperilaku dalam waktu yang eksponensial. Saya juga mendengar bahwa...
Saya ingin menulis bukti matematika menggunakan beberapa asisten bukti. Semuanya akan ditulis menggunakan logika orde pertama (dengan kesetaraan) dan deduksi alami. Latar belakangnya adalah set theory (ZF). Misalnya, bagaimana saya bisa menulis bukti berikut? Aksioma:
Semua pemecah #SAT yang saya tahu, misalnya RelSat, C2D, hanya mengembalikan jumlah instance yang memuaskan. Tapi saya ingin tahu masing-masing contoh itu? Apakah ada solver #SAT atau bagaimana saya harus memodifikasi solver #SAT yang tersedia untuk melakukan ini? Terima
Saya mencari perangkat lunak untuk menghitung / memperkirakan volume polyhedra cembung dimensi tinggi. Lebih khusus, saya tertarik pada sebuah program, yang dapat menangani tubuh dengan simpul dalam ruang d- dimensi dengan parameter yang dibatasi kira-kira sebagai berikut: d ≤ 50 dan n ≤ 1000 ....