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

Cho trước thời hạn , bạn có thể tính nhanha,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Ở đây là các số nguyên. Rõ ràng việc lấy x = y = 0 đưa ra một câu trả lời không thú vị; nói chung làm thế nào gần những sức …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

Tôi đang tìm kiếm danh sách các vấn đề tối ưu hóa NP-hard, nơi có nghiên cứu tích cực về kinh nghiệm thực tế để giải quyết chúng và có những điểm chuẩn chung, mà mọi người cố gắng đánh bại. Ví dụ bao gồm: Tái tạo cây phyloetic (ví …

9 heuristics 

Có khuôn khổ / chủ nghĩa hình thức xác định các mô hình tính toán dựa trên các protein khác với mô hình DNA của Adman hay công trình này của Cherry và Qian không?

9 reference-request  machine-models 

Có bất kỳ số siêu tính nào được biết đến sao cho chữ số thứ của nó có thể tính được trong thời gian đa thức, nhưng không tính bằng không?nnnO(n)O(n)O(n)

9 cc.complexity-theory  comp-number-theory 

Thời gian bán đa thức, hay viết tắt là QP, là một lớp phức tạp trên máy Turing xác định. Đây là định nghĩa chính xác: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Trong khi βP là một lớp phức tạp của thuyết không điều kiện hạn chế. Đây là định nghĩa chính xác: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Nó …

9 cc.complexity-theory  complexity-classes 

Với một DFA , chúng ta có thể xác định một tập hợp các hàm cho mỗi và với , . Chúng ta có thể khái quát khái niệm này thành một từ và trong đó biểu thị thành phần chức năng. Hơn nữa, chúng tôi biểu thị và là …

9 automata-theory  regular-language  monoid 

Đặt là một lớp phức tạp và là đối tác ngẫu nhiên của được định nghĩa theo cách tương tự như được định nghĩa theo . Chính thức hơn, chúng tôi cung cấp nhiều bit ngẫu nhiên và chúng tôi chấp nhận đầu vào nếu xác suất chấp nhận vượt …

9 circuit-complexity  randomized-algorithms  derandomization 

Phương pháp gần đúng của Razborov là gì? Ai đó có thể đưa ra một cái nhìn tổng quan cấp cao và trực giác đằng sau nó?

9 cc.complexity-theory  circuit-complexity 

Đối với một ngôn ngữ cố định trên một số bảng chữ cái , chúng ta hãy xem xét vấn đề sau, mà tôi gọi là LALLLMộtMộtALLL -INTERLEAVING : Đầu vào: hai từ u , v ∈ A*bạn,v∈Một*u, v \in A^* Output: cho dù có tồn tại một đan xen …

9 cc.complexity-theory  reference-request  regular-language 

Đưa ra các trình tạo mạnh cho một nhóm hoạt động trên các bit có độ dài và một phần tử , việc tính toán phần tử tối thiểu của , khó đến mức nào quỹ đạo của trong ?n s ∈ { 0 , 1 } n G . …

9 permutations  gr.group-theory  complexity 

Hãy là một bảng chữ cái hữu hạn. Một đang X trên Σ là một tập hợp con của Σ * như vậy mà mỗi từ trong X * có thể được biểu diễn độc đáo như một nối từ trong X . Mã X là hữu hạn nếu | …

9 automata-theory 

Câu hỏi của tôi là về các định lý 4.1 và 4.2 trong "Lý thuyết phức tạp hình học V" . Định lý đầu tiên nói rằng tồn tại thuật toán EXPSPACE để xây dựng hsop cho (xem định nghĩa trong bài viết) trên (trên thực tế trên trường đóng …

9 gct 

Tôi tình cờ thấy một bài báo được đăng trên Science "Memcomputing NP - hoàn thành các vấn đề trong thời gian đa thức sử dụng tài nguyên đa thức và các trạng thái tập thể" , điều này đưa ra một số tuyên bố khá đáng kinh ngạc. Memcomputing …

9 np-complete  open-problem 

Chúng tôi có một vấn đề và chúng tôi đã tìm thấy một thuật toán có vẻ là 2 lần. Tôi muốn tìm các vấn đề 2-nexptime-hoàn thành đã biết để tìm giới hạn thấp hơn. Tôi tìm thấy trong văn học chủ yếu là hai vấn đề như vậy: …

9 complexity-classes  time-complexity  complexity 

Có một thời gian tôi tò mò về Turing Machines với chính xác một băng và chính xác 3 trạng thái (cụ thể là trạng thái bắt đầu q0q0q_0 , trạng thái chấp nhận qacceptqacceptq_{accept} và trạng thái từ chối qrejectqrejectq_{reject} ). Lưu ý rằng tôi cho phép bảng chữ …

9 automata-theory  turing-machines  cellular-automata