«software» etiketlenmiş sorular

İki ya da daha fazla farklı kurumdaki ortak yazarların latekste bir kağıt yazdığını ve taslakları tekrar tekrar e-postayla göndermekten daha iyisini yapmak istediklerini varsayalım. Ücretsiz bir dropbox hesabı açabileceklerini, şifreyi paylaşabileceklerini ve bilgisayarlarındaki kağıdın sürümünü dropbox'taki bir hesapla eşitleyebileceklerini fark ederler. Ancak iki kişi aynı anda aynı bölümü düzenliyorsa, birbirlerinin …

36 soft-question  research-practice  software  writing 

Bir makinenin kontrol edebilmesi için Turing'in durma problemiyle ilgili kanıtını resmileştirmek istediğimi varsayalım. Tanınmış otomatik teorem kanıtlama sistemlerinden bazıları Mizar, Coq ve HOL4'ü içerir. Coq'u indirip denedim, ancak Turing makineleri için bir kütüphane yok. Kendimden birini kodlamayı düşündüm, ancak öğretici eksik ve dili almak zor. Sorum şu: Turing makinelerini içeren …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

Sabit bir "k" (genişlik) için grafiklerin Ağaç ayrışımını hesaplamak için açık kaynaklı bir program bilen var mı? Tree-Decomposition bulma probleminin "k" değişkeni için NP-Hard olduğunu biliyorum, ancak girdi örneklerim gerçekten küçük olacak (~ 10 düğüm) ve "k" düzeltildi.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

Sonuçları bir araya getirirken, MS Paint'te bir araya getirilen şemalardan ziyade bazı profesyonel görünümlü şemalara sahip olmak genellikle arzu edilir. Veri yapılarını çizmek için standart nedir?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Birisi lütfen #SAT çözücüsünün çalışan bir uygulamasını indirmek için mümkün olan bir veya daha fazla web sitesine işaret edebilir mi? Yaklaşıma değil, tam çözüm sayısını geri dönenlere ilgi duyuyorum.

21 ds.algorithms  sat  software 

Çoğu makale artık birlikte yazılıyor ve ortak çalışanlar genellikle farklı yerlerde bulunuyor. Belgelerim ve kodum için her zaman sürüm kontrol sistemlerini kullandım ve aynı zamanda işbirlikçi yazılım projeleri için sürüm kontrolünü kritik buldum, ancak teoride birçok araştırmacı ortak makaleler yazmak için kullanımlarından kaçınıyor gibi görünüyor. Ortak çalışanlarımı sürüm kontrolünün (revizyon …

20 soft-question  research-practice  software  writing 

Jung'u ( http://jung.sourceforge.net/ ) sayfa sırasını görselleştirmek için kullanıyordum ve 100 düğümü aşmak için biraz yavaş ve zor buldum. İnsanların ağ / sosyal ağ analizi ve görselleştirme için kullandıkları diğer araçları merak ediyordum.

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

Önceden tanımlanmış bir evrensel geçit seti üzerinde ünitelerin dan kuantum devrelerine ayrılmasını sağlayan herhangi bir yazılım paketi var mı ?U( 2n)U(2n)U(2^n)

15 quantum-computing  software 

LP için SM görevini uygulamakla ilgileniyorum, ancak olası tuzakları duydum: Cormen'ın kitabı, saf uygulamanın üstel zamanda davranmasını sağlayacak giriş verilerine sahip olmanın mümkün olduğunu söylüyor. Ayrıca, naif uygulamanın bir tür veri için döngü yapabileceğini duydum. SM'nin pratik uygulamasının nüanslarını açıklayan bir kitap / kağıt / kaynak var mı? Şimdiden teşekkürler.

14 ds.algorithms  linear-programming  software  implementation  simplex 

Bazı kanıt asistanını kullanarak matematiksel kanıtlar yazmak istiyorum. Her şey birinci dereceden mantık (eşitlikle) ve doğal kesinti kullanılarak yazılacaktır. Arka plan, teori (ZF) olarak belirlenmiştir. Örneğin, aşağıdaki kanıtı nasıl yazabilirim? Aksiyom:∀ x ∀ y( x = y↔ ∀ z( z∈ x ↔ z∈ y) )∀x∀y(x=y↔∀z(z∈x↔z∈y))\forall x\forall y(x=y\leftrightarrow\forall z(z\in x\leftrightarrow z\in …

12 lo.logic  software  proof-assistants 

Bildiğim tüm #SAT çözücüler, örneğin RelSat, C2D, yalnızca tatmin edilebilir örnek sayısını döndürür. Ama bu örneklerin her birini bilmek istiyorum? Böyle bir #SAT çözücü var mı veya bunu yapmak için kullanılabilir bir #SAT çözücü nasıl değiştirmeliyim? Teşekkür ederim.

11 lo.logic  sat  software 

Yüksek boyutlu dışbükey çokyüzlünün hacmini hesaplamak / tahmin etmek için yazılım arıyorum. Daha spesifik olarak, bedenleri idare edebilen bir programla ilgileniyorumnnn köşeler ddd- aşağıdaki gibi parametrelerle sınırlı boyutlu uzay: d≤ 50d≤50d \le 50 ve n ≤ 1000n≤1000n \le 1000. Yüzlerin sayısı konusunda garanti olmadığını unutmayın. Jeff Erickson'un sayfası , 255 …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry