Khoa học máy tính lý thuyết open-problem

30

Những vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết?

Wikipedia chỉ liệt kê hai vấn đề trong "những vấn đề chưa được giải quyết trong khoa học máy tính" : P = NP? Sự tồn tại của các hàm một chiều Các vấn đề lớn khác cần được thêm vào danh sách này là gì? Quy tắc: Chỉ có …

218 big-list open-problem

11

Làm thế nào khó khăn là xáo trộn một chuỗi?

Việc xáo trộn hai chuỗi được hình thành bằng cách xen kẽ các ký tự thành một chuỗi mới, giữ các ký tự của mỗi chuỗi theo thứ tự. Ví dụ, MISSISSIPPIlà một sự xáo trộn của MISIPPvà SSISI. Hãy để tôi gọi một chuỗi vuông nếu nó là một …

117 ds.algorithms open-problem

10

Có bất kỳ vấn đề mở nào còn lại về DFA không?

Sau khi nghiên cứu automata trạng thái hữu hạn xác định (DFA) trong chương trình đại học, tôi cảm thấy chúng được hiểu rất rõ. Câu hỏi của tôi là liệu có điều gì chúng ta vẫn không hiểu về chúng. Tôi không có nghĩa là khái quát hóa các …

59 soft-question open-problem dfa

10

Một ngăn xếp, hai hàng đợi

lý lịch Cách đây vài năm, khi tôi còn là sinh viên, chúng tôi được giao bài tập về phân tích khấu hao. Tôi đã không thể giải quyết một trong những vấn đề. Tôi đã hỏi nó trong comp.theory , nhưng không có kết quả khả quan nào được …

59 ds.algorithms ds.data-structures open-problem time-complexity

13

Các vấn đề mở trên biên giới của TCS

Trong chủ đề Các vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết? , Iddo Tzameret đã đưa ra nhận xét xuất sắc sau: Tôi nghĩ rằng chúng ta nên phân biệt giữa các vấn đề mở lớn được xem là vấn đề cơ bản, …

58 big-list open-problem

1

Một phiên bản kết hợp cho phỏng đoán Hirsch đa thức

Xem xét gia đình rời nhau của các tập con của {1,2, ..., n}, F 1 , F 2 , ... F t .tttĐỤ1, F2, ... FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Giả sử rằng (*) Đối với mỗi và mỗi R ∈ F i và T ∈ F k , …

52 co.combinatorics cg.comp-geom open-problem linear-programming

3

Là giải quyết tối ưu NP-Rubik's Cube NP-hard?

Hãy xem xét khái quát hóa rõ ràng của khối Rubik . Có phải NP-khó tính toán chuỗi di chuyển ngắn nhất để giải một khối được xáo trộn nhất định, hay có một thuật toán đa thức thời gian?n×n×nn×n×nn\times n\times n [Một số kết quả liên quan được mô …

38 cc.complexity-theory co.combinatorics np-hardness open-problem puzzles

6

Lưới

Cập nhật : Tập hợp vật cản (tức là "rào cản" NxM giữa các kích thước lưới có thể tô màu và không thể tô màu) cho tất cả các màu 4 màu đơn sắc-hình chữ nhật hiện đã được biết . Bất cứ ai cũng cảm thấy muốn thử …

37 co.combinatorics puzzles open-problem ramsey-theory graph-colouring

7

Vấn đề mở lâu đời nhất trong TCS là gì?

Vấn đề này được lấy cảm hứng từ câu hỏi MO này , mà tôi nghĩ là rất thú vị. Vấn đề mở lâu đời nhất trong TCS là gì? Rõ ràng câu hỏi này cần một số làm rõ. Đầu tiên, TCS là gì? Tôi nghĩ rằng sự tồn …

36 soft-question open-problem ho.history-overview

1

Chức năng tính toán hiệu quả như một ví dụ ngược với phỏng đoán Mobius của Sarnak

Gần đây Gil Kalai và Dick Lipton đều viết một bài báo hay về một phỏng đoán thú vị được đề xuất bởi Peter Sarnak, một chuyên gia về lý thuyết số và Giả thuyết Riemann. Phỏng đoán. Đặt là hàm Möbius . Giả sử là một hàm với đầu …

35 cc.complexity-theory randomness open-problem nt.number-theory

1

Nhân n đa thức bậc 1

Vấn đề là để tính toán đa thức . Giả sử rằng tất cả các hệ số phù hợp với một từ máy, nghĩa là có thể được thao tác trong đơn vị thời gian.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Bạn có thể thực hiện …

35 ds.algorithms reference-request open-problem polynomials

4

Nghiên cứu và thách thức mở trong Lý thuyết ngôn ngữ lập trình

Theo tinh thần của một số cuộc thảo luận chung như thế này , tôi mở chủ đề này với ý định thu thập ý kiến về những thách thức mở và chủ đề nóng trong nghiên cứu về ngôn ngữ lập trình . Tôi hy vọng rằng cuộc thảo …

32 pl.programming-languages open-problem research-practice

2

Quyết định xem một mạch NC tính toán hoán vị hay không

Tôi muốn hỏi về một trường hợp đặc biệt của câu hỏi Quyết định nếu một mạch NC 0 đã cho tính toán một hoán vị bởi QiCheng đã không được trả lời. Mạch Boolean được gọi là mạch NC 0 k nếu mỗi cổng đầu ra về mặt cú …

27 cc.complexity-theory open-problem permutations circuit-families

3

NP-hard có thể chơi bản nháp quốc tế một cách chính xác không?

Là vấn đề sau NP-cứng? Với một cấu hình ban cho thảo quốc tế , tìm một động thái pháp lý duy nhất.n×nn×nn\times n Vấn đề tương ứng đối với người kiểm tra người Mỹ (còn gọi là bản nháp tiếng Anh) có thể giải quyết được trong thời gian …

26 cc.complexity-theory np-hardness open-problem board-games

2

Tìm một số nguyên tố lớn hơn một giới hạn nhất định

Là một thuật toán đa thức thời gian xác định được biết cho vấn đề sau: Đầu vào: một số tự nhiên (trong mã hóa nhị phân)nnn Đầu ra: một số nguyên tố .p>np>np > n (Theo danh sách các vấn đề mở của Leonard Adeld, vấn đề đã được …

25 cc.complexity-theory open-problem nt.number-theory polynomial-time primes

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