Câu hỏi được gắn thẻ «software»

Giả sử rằng các đồng tác giả từ hai hoặc nhiều tổ chức khác nhau đang viết một bài báo bằng mủ, và muốn làm tốt hơn là liên tục gửi email các bản nháp qua lại. Họ nhận ra rằng họ có thể mở miễn phí tài khoản dropbox, …

36 soft-question  research-practice  software  writing 

Giả sử tôi muốn chính thức hóa bằng chứng của Turing liên quan đến vấn đề tạm dừng để máy có thể kiểm tra. Một số hệ thống chứng minh định lý tự động nổi tiếng bao gồm Mizar, Coq và HOL4. Tôi đã tải xuống và thử nghiệm với …

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

Có ai biết về một chương trình nguồn mở để tính toán phân rã cây đồ thị cho một "k" (chiều rộng) cố định không? Tôi biết rằng vấn đề tìm phân tách cây là NP-Hard cho biến "k", nhưng các trường hợp đầu vào của tôi sẽ rất nhỏ …

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

Khi kết hợp các kết quả, thường mong muốn có một số sơ đồ tìm kiếm chuyên nghiệp, thay vì các sơ đồ được đặt cùng nhau trong MS Paint. Tiêu chuẩn để vẽ cấu trúc dữ liệu là gì?

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

Bất cứ ai cũng có thể vui lòng trỏ đến một hoặc nhiều trang web nơi có thể tải xuống bản triển khai hoạt động của bộ giải #SAT? Tôi quan tâm đến những người trả về số lượng giải pháp chính xác, không phải là một xấp xỉ.

21 ds.algorithms  sat  software 

Tôi đã sử dụng Jung ( http://jung.sourceforge.net/ ) để trực quan hóa thứ hạng trang và thấy nó hơi chậm và khó mở rộng ra ngoài 100 nút. Tôi đã tự hỏi những công cụ khác mà mọi người sử dụng để phân tích và hình dung mạng / mạng …

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

Hầu hết các bài báo hiện được viết một cách hợp tác và các cộng tác viên thường được đặt ở những nơi khác nhau. Tôi đã luôn sử dụng các hệ thống kiểm soát phiên bản cho các tài liệu và mã của mình và cũng thấy việc kiểm …

20 soft-question  research-practice  software  writing 

Có gói phần mềm nào cho phép phân tách các phần tử từ thành các mạch lượng tử qua một bộ cổng phổ quát được xác định trước không?Bạn( 2n)Bạn(2n)U(2^n)

15 quantum-computing  software 

Tôi quan tâm đến việc triển khai SM cho nhiệm vụ LP, tuy nhiên tôi đã nghe về những cạm bẫy có thể xảy ra: Cuốn sách của Cormen nói rằng có thể có dữ liệu đầu vào sẽ khiến việc triển khai ngây thơ hành xử theo thời gian …

14 ds.algorithms  linear-programming  software  implementation  simplex 

Tôi muốn viết bằng chứng toán học bằng cách sử dụng một số trợ lý chứng minh. Tất cả mọi thứ sẽ được viết bằng logic thứ tự đầu tiên (với sự bình đẳng) và khấu trừ tự nhiên. Bối cảnh là lý thuyết tập hợp (ZF). Ví dụ, làm …

12 lo.logic  software  proof-assistants 

Tất cả các bộ giải #SAT mà tôi biết, ví dụ RelSat, C2D, chỉ trả về số lượng phiên bản thỏa đáng. Nhưng tôi muốn biết từng trường hợp đó? Có một bộ giải #SAT như vậy hay tôi nên sửa đổi một bộ giải #SAT có sẵn để làm …

11 lo.logic  sat  software 

Tôi đang tìm kiếm phần mềm để tính toán / ước tính khối lượng của khối đa diện lồi chiều cao. Cụ thể hơn, tôi đang quan tâm đến một chương trình, có thể xử lý các cơ quan có đỉnh d không gian ba chiều với các thông số …

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

Có rất nhiều công cụ / gói lý thuyết đồ thị. Mỗi cái đều có ưu và nhược điểm. Điều gì nên là ngữ nghĩa / cú pháp của một ngôn ngữ lập trình có nghĩa là để giải quyết các vấn đề lý thuyết đồ thị?

8 graph-theory  pl.programming-languages  software 

Chúng tôi biết rằng tất cả các automata đẩy xuống đều có thể biểu diễn bằng cách sử dụng ngữ pháp không ngữ cảnh. Hơn nữa, có một thuật toán để xây dựng CFG từ bất kỳ máy PDA nào (ví dụ: bằng chứng của Sipser trong phần giới thiệu …

8 automata-theory  fl.formal-languages  grammars  software