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

Giả sử rằng NP = co-NP và đa thức giới hạn độ dài của bằng chứng về sự không thỏa mãn đối với trường hợp 3-CNF x . Sau đó, có bất kỳ kết quả nào về hình thức bất kỳ bằng chứng nào về sự không thỏa mãn đối …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Động lực cho câu hỏi này là thực tế là hầu hết các chuỗi n-bit là không thể nhấn được. Theo trực giác, chúng ta có thể đề xuất bằng cách tương tự rằng hầu hết các bằng chứng cho Tautology là không thể áp dụng cho kích thước đa …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

Độ phức tạp chứng minh là một lĩnh vực cơ bản nhất của lý thuyết phức tạp tính toán. Một mục đích cuối cùng của lĩnh vực này là chứng minh , nghĩa là, bất kỳ người hoạt ngôn nào cũng không thể đưa ra bằng chứng về sự không …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Có một loại tự nhiên của các công thức CNF - tốt nhất là một công thức đã được nghiên cứu trước đây trong tài liệu - với các thuộc tính sau:CCC là một trường hợp dễ dàng của SAT, ví dụ như Horn hoặc 2-CNF, nghĩa là tư cách …

10 sat  proof-complexity 

Trong một cuộc nói chuyện của Razborov, một tuyên bố nhỏ gây tò mò được đăng tải. Nếu FACTORING khó, thì định lý nhỏ của Fermat không thể chứng minh được trong .S12S21S_{2}^{1} Là gì và tại sao là bằng chứng hiện tại không ở ? S 1 2S12S21S_{2}^{1}S12S21S_{2}^{1}

10 cc.complexity-theory  lo.logic  proof-complexity 

Nghị quyết là một kế hoạch để chứng minh sự không thỏa mãn của CNFs. Một bằng chứng về độ phân giải là một suy luận logic của mệnh đề trống cho các mệnh đề ban đầu trong CNF. Cụ thể, bất kỳ mệnh đề ban đầu nào cũng có …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

Wikipedia [1] nói rằng giới hạn dưới được biết đến nhiều nhất về kích thước của bằng chứng Frege là bậc hai, và không có giới hạn siêu tuyến nào được biết đến cho số lượng bằng chứng Frege. Câu hỏi: 1) Giới hạn dưới được biết đến nhiều nhất …

9 proof-complexity 

Tôi đang cố gắng đứng dưới bài báo về Hệ thống chứng minh và logic tối ưu cho PTIME . Có một khái niệm gọi là hệ thống bằng chứng trong bài báo và tôi không có ý định: ... Chúng tôi xác định vấn đề với các tập con …

9 lo.logic  descriptive-complexity  proof-complexity 

Một cách để chứng minh NP coNP là chỉ ra rằng với mọi hệ thống chứng minh mệnh đề f có thể tính toán được trong thời gian đa thức, tồn tại một họ các tautology trong đó f yêu cầu độ dài chứng minh siêu đa thức (ghi lại …

8 cc.complexity-theory  proof-complexity 

Trong bài báo "Mã hóa CNF hiệu quả để chọn 1 từ N Đối tượng", các tác giả giới thiệu kỹ thuật "biến chỉ huy" của họ để mã hóa ràng buộc, và sau đó nói về vấn đề chuồng bồ câu. Vì lỗi của tôi có thể tồn tại …

8 cc.complexity-theory  sat  proof-complexity 

Một vấn đề quyết định có đặc tính tốt nếu nó nằm trong . Nhiều vấn đề đồ thị tự nhiên có đặc tính tốt. Ví dụ, Định lý Kuratuwski cho đặc tính tốt của đồ thị phẳng. Định lý của Konig đưa ra đặc tính tốt của đồ thị …

8 cc.complexity-theory  graph-theory  proof-complexity 

Bối cảnh: Theo tôi hiểu, trong lý thuyết phức tạp hình học, sự tồn tại của vật cản đóng vai trò là chứng chỉ chứng minh, có thể nói, đối với sự không tồn tại của một mạch tính toán hiệu quả cho hàm cứng rõ ràng trong bài toán …

8 application-of-theory  proof-complexity  gct 

Được biết, nếu thì . Ngoài ra, người ta biết rằng . Dường như PCP không thể cho chúng tôi biết những vấn đề tự nhiên nào không có trong . Tôi tự hỏi nếu có thể sử dụng đặc tính của PCP để tách khỏi .C o N P …

8 cc.complexity-theory  pcp  proof-complexity