Khoa học máy tính

Có cách nào dễ dàng để biết tại sao NP lại ở EXPTIME không? Dường như với tôi một tiên nghiệm có thể hiểu rằng có thể có một vấn đề đòi hỏi thời gian siêu cấp số nhân để giải quyết, nhưng giải pháp của ai có thể được …

11 complexity-theory  complexity-classes 

Tại sao các ngôn ngữ cấp cao dường như không bao giờ đạt được các ngôn ngữ cấp thấp hơn về tốc độ? Ví dụ về các ngôn ngữ cấp cao sẽ là Python, Haskell và Java. Các ngôn ngữ cấp thấp sẽ khó xác định hơn, nhưng giả sử …

11 programming-languages  performance 

Tiêu đề nói lên tất cả, nhưng tôi tò mò vì không rõ bằng cách nào một người hoạt động theo định lý được đặt tên là 'Isabelle'. Nó được đặt tên cho một người? Tôi không thể tìm ra bởi một số tìm kiếm Google.

11 history  automated-theorem-proving  isabelle 

Là một dự án thú vị, tôi đã thực hiện triển khai C # của Richard Korf - Tìm giải pháp tối ưu cho khối Rubik bằng cách sử dụng cơ sở dữ liệu mẫu. https://www.cs.princeton.edu/cifts/archive/fall06/cos402/ con / korfrubik.pdf Tôi thực sự có nó hoạt động, tôi chỉ đang cố …

11 algorithms  permutations 

Thuật toán của Shor thường được sử dụng làm đối số. Nó có thể giải quyết vấn đề nhân tố hóa nhanh hơn bất kỳ thuật toán đã biết nào cho máy tính cổ điển. Tuy nhiên, chúng tôi không có bằng chứng máy tính cổ điển cũng không thể …

11 algorithms  efficiency  quantum-computing 

Một câu trả lời trên Lập trình viên. E mô tả một bài tiểu luận của Cook ( Đối tượng không phải là ADT ) khi nói Các đối tượng hoạt động giống như một hàm đặc trưng trên các giá trị của một loại, chứ không phải là một …

11 programming-languages  object-oriented  abstract-data-types 

Đưa ra một tập hợp con của một sản phẩm cartesian của hai bộ hữu hạn, tôi muốn tìm một vỏ bọc tối thiểu của nó bằng các bộ là chính các sản phẩm của cartesian.Tôi× JI×JI \times J Ví dụ: được cung cấp một sản phẩm giữa và , …

11 algorithms  set-cover 

Vòng kiểm tra Google Hash Code 2015 ( tuyên bố vấn đề ) đã hỏi về vấn đề sau: đầu vào: a lưới với một số ô vuông được đánh dấu, một ngưỡng T ∈ N , một khu vực tối đa Một ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} đầu …

11 complexity-theory  reductions  np-hard 

Tôi đang cố gắng để có được một bức tranh lớn về tầm quan trọng của điểm cố định (lfp) ít nhất trong phân tích chương trình. Ví dụ giải thích trừu tượng dường như sử dụng sự tồn tại của lfp. Nhiều tài liệu nghiên cứu về phân tích …

11 programming-languages  finite-model-theory  fixed-point 

Tôi hiện đang tham gia khóa học lập trình đồng thời ở trường đại học của tôi và gần đây chúng tôi đã bắt đầu nói về khái niệm màn hình. Mặc dù tôi hiểu sự cần thiết của loại trừ lẫn nhau, tôi không hiểu tại sao tôi sẽ …

11 concurrency  synchronization  mutual-exclusion 

Có cách nào để tính kích thước của một kết hợp tối đa trong biểu đồ lưỡng cực không trọng số hiệu quả hơn (ví dụ nhanh hơn) so với tính toán một kết hợp tối đa? Đó là một cú sút xa nhưng thường là một vấn đề thú …

11 algorithms  graphs  optimization  matching  bipartite-matching 

Tôi đã tự hỏi tại sao băng / băng không phải là một phần của định nghĩa chính thức của Máy Turing. Ví dụ, hãy xem xét định nghĩa chính thức của máy Turing trên trang Wikipedia . Định nghĩa, sau Hopcroft và Ullman, bao gồm: tập hữu hạn các …

11 turing-machines  computation-models 

Tôi tự hỏi liệu có một thuật toán đa thức cho "2-SAT với quan hệ XOR" không. Cả 2-SAT và XOR-SAT đều thuộc P, nhưng sự kết hợp của nó là gì? Ví dụ đầu vào: Phần 2-SAT: (a or !b) and (b or c) and (b or d) Phần …

11 np-complete  satisfiability  xor  2-sat 

Tôi là một sinh viên CS mới bắt đầu và tôi đang học các thuật toán. Tôi nghe nói rằng ngay cả với máy tính lượng tử, thuật toán sắp xếp chung đó không bao giờ có thể tốt hơn time. Tuy nhiên, tôi cũng biết rằng các thuật toán …

11 algorithms  quantum-computing 

Những gì chúng ta biết là π là vô hạn và hoàn toàn có khả năng nó chứa mọi chuỗi chữ số hữu hạn có thể có ( chuỗi phân biệt ). Gần đây tôi đã thấy một số nguyên mẫu của πfs giả định rằng mọi tệp bạn đã …

11 algorithms  data-compression  mathematical-programming