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

Trong phần giới thiệu của tôi về khóa học lập trình, chúng tôi đang tìm hiểu về phương pháp Khởi tạo-Bảo trì-Chấm dứt để chứng minh một thuật toán thực hiện những gì chúng tôi mong đợi. Nhưng chúng tôi chỉ phải chứng minh rằng một thuật toán đã được …

15 ds.algorithms  proofs 

Theo bài báo này , thảo luận về một phần mở rộng không xác định của Giả thuyết Thời gian theo hàm mũ mạnh mẽ (SETH), "[[]] Williams gần đây đã đưa ra các giả thuyết liên quan về độ phức tạp của Merlin-Arthur của k-TAUT là sai". Tuy nhiên, …

13 sat  proofs  nondeterminism 

Tôi đang đọc bài báo "Fast Paxos" của Leslie Lamport và bị mắc kẹt với các bằng chứng chính xác của cả Paxos cổ điển và Paxos nhanh. Để thống nhất, giá trị vvv được chọn bởi điều phối viên trong giai đoạn2a2một2a ở vòng sẽ thỏa mãniTôii CP(v,i):CP(v,Tôi):CP(v,i): Đối …

13 ds.algorithms  dc.distributed-comp  proofs 

Có một số bằng chứng cho loglinear bị ràng buộc thấp hơn cho vấn đề duy nhất / tính khác biệt của phần tử (dựa trên cây tính toán đại số hoặc đối số nghịch cảnh), nhưng tôi đang tìm kiếm một điều đủ đơn giản để sử dụng trong …

13 cc.complexity-theory  lower-bounds  proofs 

Trong chương 10 của HAC (10.4.2) , chúng ta thấy giao thức nhận dạng Feige-Fiat-Shamir nổi tiếng dựa trên bằng chứng không có kiến ​​thức bằng cách sử dụng khó khăn (giả định) của việc trích xuất căn bậc hai modulo một hỗn hợp khó có thể xác định được. …

12 cr.crypto-security  proofs  zero-knowledge 

Trước hết, sự hiểu biết của tôi về định lý không hoàn chỉnh của Gôdel (và logic chính thức nói chung) là rất ngây thơ, cũng là kiến ​​thức của tôi về khoa học máy tính lý thuyết (có nghĩa là chỉ có một khóa học sau đại học trong …

11 np-hardness  proofs  p-vs-np 

Năm 1996, một vấn đề mở từ lâu đã được giải quyết bằng máy tính; cụ thể là đại số Robbins và đại số Boolean là như nhau. Bằng chứng được tìm thấy bởi một người hoạt động định lý tự động. Hơn nữa, bằng chứng đã biết về định …

11 soft-question  big-list  proofs  automated-theorem-proving 

Gần đây tôi đã tìm hiểu về bằng chứng tương tác và tôi đã tự hỏi liệu toàn bộ điều này có gì khác hơn là sự tò mò về lý thuyết hay liệu nó có bất kỳ ứng dụng thực tế nào không. Tôi nghĩ tôi sẽ bắt đầu …

11 proofs  puzzles  interactive-proofs 

Tôi đã phát triển thuật toán SAT được một thời gian và đã đạt đến điểm mà tôi muốn chia sẻ nó. Tôi không biết nhiều người trong ngành khoa học máy tính và tôi không biết chính xác nơi nào để rẽ. Tôi đang tự hỏi những tài nguyên …

11 sat  soft-question  proofs 

Sau khi đọc Hiệu ứng như Phiên, Phiên là Hiệu ứng , tôi đã tự hỏi làm thế nào một bằng chứng về sự tương đương giữa cả hai diễn ra, hoặc thậm chí, bằng chứng về các loại Phiên là Hệ thống Loại và Hiệu ứng. Theo cách thức …

8 type-theory  proofs  type-systems 

Tôi đã luôn tự hỏi nếu bằng chứng trong khoa học máy tính sẽ được coi là bằng chứng đầy đủ của đề xuất nếu họ cần phải giả định các quy luật vật lý? Ví dụ: tôi đang tự hỏi điều gì sẽ xảy ra nếu ai đó một …

8 proofs 

Tôi nhớ đã đọc một bài đăng trên blog hiển thị hai phiên bản của cùng một bằng chứng, một phiên bản được viết bởi một người và một phiên bản khác bằng máy và yêu cầu độc giả cho biết đó là phiên bản nào. Cố gắng google bài …

8 proofs  proof-assistants