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

Một giảm là sự chuyển đổi của một vấn đề thành một vấn đề khác. Một ví dụ về việc sử dụng giảm sẽ là hiển thị nếu một vấn đề P là không thể giải quyết được. Điều này sẽ đạt được bằng cách chuyển đổi hoặc thực hiện giảm vấn đề quyết định $P$ vào một vấn đề không thể giải quyết được Nếu điều này có thể đạt được thì chúng tôi đã chỉ ra rằng vấn đề P này là không thể giải quyết được.

Có một danh sách các vấn đề kinh điển trong các hệ thống phân tán?

Tuần trước, tôi đã đọc lại bản thảo năm 1982 của Leslie Lamport về một hội nghị mà anh ấy đã đưa ra về các vấn đề đã giải quyết, các vấn đề chưa được giải quyết và các vấn đề không đồng thời . Bài báo có thể dễ …

13 reductions dc.distributed-comp concurrency

PPAD có thực sự nắm bắt được khái niệm tìm một đỉnh không cân bằng khác không?

Lớp phức tạp PPAD được phát minh bởi Christos Papadimitriou trong bài báo năm 1994 của ông . Lớp này được thiết kế để nắm bắt sự phức tạp của các vấn đề tìm kiếm trong đó sự tồn tại của một giải pháp được đảm bảo bởi "Đối số …

13 cc.complexity-theory reductions search-problem ppad

Giảm giữa các ngôn ngữ có mật độ khác nhau?

Các mật độ của một ngôn ngữ XXX là một hàm dX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N} được định nghĩa là dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = |\{x\in X \mid |x| \le n\}|. Giả sử và là các ngôn ngữ trong một số bảng chữ cái hữu hạn, không gian log nhiều giảm xuống và …

12 cc.complexity-theory reductions structural-complexity

Vấn đề lý thuyết số phức này thuộc lớp nào?

'Cho , có , ' là . x , y ∈ N a x 2 + b y = c N Pa,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} Lớp phức tạp nào 'Cho , có , ' thuộc về? x , y ∈ N a x 2 + b y 2 = ca,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb …

12 ds.algorithms complexity-classes reductions nt.number-theory np-complete

Có sự giảm bớt nào đối với các trò chơi trên cửa và tấm áp lực không làm nổ tung chiều dài giải pháp không?

Bài viết này đưa ra một bằng chứng rằng trong một trò chơi có cửa và tấm áp lực, thật khó để xác định liệu avatar (của người chơi) có thể đạt đến một vị trí nhất định hay không. Điều này được chứng minh bằng cách giảm từ TQBF …

12 reductions nondeterminism pspace

Mô hình SAT độc đáo vs Chính xác

SAT duy nhất là vấn đề nổi tiếng: được đưa ra một công thức CNF , có đúng là F có chính xác một mô hình không?FFFFFF Tôi quan tâm đến vấn đề «Chính xác -SAT»: đưa ra công thức CNF F và số nguyên m > 1 , có …

12 cc.complexity-theory reference-request np-hardness sat reductions

Tính toán công trình: nén biểu thức về dạng nhỏ nhất của nó

Tôi biết rằng Công thức xây dựng đang bình thường hóa mạnh mẽ, có nghĩa là mọi biểu thức đều có bình thường không thể là beta, giảm hơn nữa. Vì vậy, trên thực tế đây là biểu thức hiệu quả nhất tính toán cùng giá trị với biểu thức …

11 lambda-calculus reductions typed-lambda-calculus normalization calculus-of-constructions

Số lần xuất hiện hạn chế trong SAT 1 trong 3

Có một kết quả được biết đến về mức độ phức tạp của 1 trong 3-SAT với số lần xuất hiện hạn chế không? Tôi đã đưa ra cách giảm đáng kể sau đây với Peter Nightingale, nhưng tôi muốn trích dẫn điều gì đó nếu điều này được biết. …

11 reference-request sat reductions

NP-đầy đủ / độ cứng có phải là xây dựng?

Có với các tính chất sau không:L∈NPL∈NPL\in {\bf NP} Được biết, có nghĩa P = N P .L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Không có (được gọi) thời gian đa thức Turing giảm (hoặc một số khác N P vấn đề -complete) để L .SATSATSATNPNP{\bf NP}LLL Nói cách khác, nếu thuật …

11 cc.complexity-theory np-hardness reductions

Tại sao các bài toán hoàn thành NP không có tỷ lệ gần đúng tương tự?

Do 2 vấn đề hoàn thành NP theo định nghĩa có thể giảm lẫn nhau, do đó, có thể thu được giải pháp cho một trong số chúng bằng cách sử dụng hộp đen giải quyết vấn đề còn lại, tại sao chúng không có tỷ lệ gần đúng tương …

11 cc.complexity-theory approximation-algorithms reductions

Thực hiện giảm giá của FPT không phải là giảm thời gian đa thức

Trong độ phức tạp tham số, người ta sử dụng mức giảm tham số cố định (FPT) để chứng minh độ cứng W [t]. Về mặt lý thuyết, việc giảm FPT không phải là giảm thời gian đa thức, vì nó có thể chạy theo cấp số nhân trong tham …

11 cc.complexity-theory np-hardness reductions parameterized-complexity

"Tiện ích" nghĩa là gì trong việc giảm NP-hard?

Câu hỏi này có thể không phải là kỹ thuật. Là một người không phải là người bản ngữ và một TA cho lớp thuật toán, tôi luôn tự hỏi tiện ích có nghĩa là gì trong 'tiện ích mệnh đề' hoặc 'tiện ích biến'. Từ điển nói rằng một …

11 cc.complexity-theory np-hardness terminology reductions

Trường hợp xấu nhất để giảm trường hợp trung bình

Có vấn đề nào mà độ phức tạp trường hợp trung bình giống như độ phức tạp trường hợp xấu nhất của chúng không? Các thuộc tính cơ bản của những vấn đề này làm cho việc giảm trường hợp xấu nhất thành trường hợp trung bình có thể là …

11 cc.complexity-theory reductions average-case-complexity

Thực hiện nhiều lần giảm và giảm Turing xác định cùng một NPC lớp

Tôi tự hỏi nếu các lớp NPC được xác định bởi nhiều mức giảm một và mức giảm Turing có bằng nhau không. Chỉnh sửa: Một câu hỏi khác, là việc giảm Turing chỉ làm sụp đổ các lớp C và co-C đối với một số C hoặc có một …

11 cc.complexity-theory np-hardness reductions

Trên các bộ hoàn chỉnh thưa thớt và P vs L

Định lý của Mahaney cho chúng ta biết rằng nếu có một -complete thưa thớt được đặt dưới các mức giảm nhiều lần một đa thức, thì . (Xem " Bộ hoàn chỉnh thưa thớt cho NP: Giải pháp phỏng đoán Berman và Hartmanis ")NPNPNPP= NPP=NPP = NP Có hậu …

10 cc.complexity-theory complexity-classes reductions polynomial-time logspace

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 cookie và Chính sách bảo mật của chúng tôi.

Licensed under cc by-sa 3.0 with attribution required.