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

Các câu hỏi liên quan đến sự phức tạp (tính toán) của việc giải quyết vấn đề




1
Giả định về trọng số trong mạch ngưỡng
Cổng ngưỡng thực hiện chức năng ngưỡng tuyến tính trên đầu vào boolean được đưa ra theo phương trình: trong đó . Các được gọi là các trọng số của hàm ngưỡng và được gọi là ngưỡng và tự nhiên, cổng sẽ bắn trên đầu vào nếu tổng trọng số …

2
Hoàn thành vấn đề cho
Chúng ta biết rằng chế độ trị không có vấn đề hoàn toàn, vì nó sẽ mâu thuẫn với định lý phân cấp không gian. Nhưng: Có vấn đề hoàn chỉnh cho từng cấp của hệ thống phân cấp này không?p o l yLpolyLpolyL Nói chính xác: Lớp có vấn …



2
Có một thuật toán thời gian đa thức để tìm ra rằng tổng căn bậc hai nhỏ hơn một số nguyên không?
Đưa ra: Một danh sáchnnn số nguyên x1,x2, ... ,xnx1,x2,Giáo dục,xnx_1,x_2,\dots,x_n và một số nguyên kkk. Xác định: Làx--√1+x--√2⋯x--√n≤ kx1+x2⋯xn≤k\sqrt x_1 + \sqrt x_2 \cdots \sqrt x_n \le k? Câu hỏi: Có bất kỳ thuật toán thời gian đa thức cho vấn đề trên không? Nếu có, đưa ra một …


1
so với
Có một định nghĩa tương đương cho lớp NLNL\mathsf{NL}với người xác minh. Những người xác minh là những máy Turing xác định chỉ có thể đọc băng chứng kiến ​​một lần theo một cách từ trái sang phải. Cho một chức năng f: N → Nf:N→Nf:\mathbb{N}\to\mathbb{N} chúng tôi nói rằng …



1
Bằng chứng là TAUT đã hoàn thành coNP (hoặc một vấn đề là coNP-Complete nếu phần bổ sung của nó là NP-Complete)
Tôi cần chứng minh rằng TAUT hoàn thành coNP. Tôi đã chỉ ra rằng bằng cách giảm thành . Tuy nhiên, tôi không thể tìm ra cách chứng minh rằng mọi vấn đề trong coNP có thể được giảm xuống thành trong thời gian đa thức. Để làm điều đó, …


3
Vấn đề về chức năng và
Tôi thấy khó tìm các định nghĩa chính thức của các lớp phức tạp chức năng. Đây là hai từ Wikipedia. Một mối quan hệ nhị phân P(x,y)P(x,y)P(x,y)là trong FP khi và chỉ khi có một thuật toán thời gian đa thức xác định mà, được đưa raxxx, có thể …

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.