Kết quả tìm kiếm

…[[bài toán quyết định]] có thể được giải quyết bằng một [[máy Turing]] tất định trong thời gian đa thức. Luận đề Cobham khẳng định rằng P là lớp các bài toán "có thể giải quyết hiệu quả"<ref>{{chú thích sách | last=Cobham | first=Alan | authorlink=Alan …

…diễn ra theo một ngưỡng xác suất cho trước (ví dụ 5% hay 10%). Cụm từ kiểm định độ tin cậy ("test of significance") được đưa ra bởi [[Ronald Fisher]]. Kiểm định giả thuyết đôi khi được gọi là phân tích dữ liệu để khẳng định, để so sánh với phân tích dữ liệu để khám phá. …

[[Tập tin:Snake-den-ridge-culdesac1.jpg|300px|nhỏ|phải|Quyết định bản chất nó là sự lựa chọn]] …Các cây quyết định được dùng để hỗ trợ quá trình ra quyết định. Cây quyết định là một dạng đặc biệt của [[cấu trúc cây]]. …

…đỉnh của đồ thị đó theo số màu. Đa thức màu là đối tượng nghiên cứu của lý thuyết [[đại số đồ thị]], một nhánh của [[toán học]]. …David Birkhoff]] trong một nỗ lực của ông nhằm giải quyết bài toán [[định lý bốn màu]]. …

…bài toán nhanh hơn rất nhiều (một số mũ lần) so với bất kì thuật toán (xác định hay xác suất) cổ điển nào. …Simon cũng được coi là tốt nhất, do bất kì thuật toán lượng tử nào để giải quyết bài toán này cũng cần tối thiểu <math>\Omega(n)</math> truy vấn. Bài toán… …

…công cụ '''ước lượng Bayes''' là một phép [[ước lượng]] hoặc [[luật quyết định]] sao cho nó cực tiểu [[giá trị kì vọng]] [[xác suất hậu nghiệm|hậu nghiệm ==Định nghĩa== …

…[[vật lý học]] mà đã tồn tại một lý thuyết định lượng. Trong lịch sử, vật lý tính toán là ứng dụng đầu tiên của máy tính hiện đại trong khoa học, và bây …t lý lý thuyết]] và [[vật lý thực nghiệm]], một cách thứ ba bổ sung cho lý thuyết và thực nghiệm. …

…kiếm một đối tượng như là một [[số nguyên]], [[hoán vị]] hay [[Đồ thị (lý thuyết đồ thị)|đồ thị]] từ một tập hợp [[Finite set|hữu hạn]] (hoặc có thể là [[Tậ …'Bài toán cực đại hóa '''có thể được giải bằng cách [[Additive inverse|phủ định]] hàm mục tiêu. …

…yêu cầu này, bởi thuật toán kiểm chứng đọc toàn bộ chứng minh một cách tất định và chấp nhận chứng minh đúng, từ chối chứng minh sai. Tuy nhiên, điều thú… …ợc chấp nhận và chứng minh sai bị từ chối với xác suất ít nhất 1/2. [[Định lý PCP]] chứng minh rằng '''PCP'''<math>(O(\log n), O(1)) = </math>'''NP'''. …

Trong [[lý thuyết độ phức tạp tính toán]], '''co-NP''' là một [[lớp độ phức tạp]]. Một ngôn… …a một tập nhưng không phải tập con thực sự của tập kia). Người ta cũng giả thuyết rằng NP và co-NP là khác nhau<ref> …

…cũng được mở rộng cho nhiều trò chơi phức tạp hơn và giúp đưa ra các quyết định chung khi có sự hiện diện của sự không chắc chắn. …t, bằng cách đi ngược từ cuối trò chơi trở về đầu. Tại mỗi bước, nó sẽ ước định rằng người A đang cố gắng '''tối đa hóa''' cơ hội thắng của A khi đến phiên …

…ải trong thời gian <math>O(\log^c n)</math> bằng <math>O(n^k)</math> bộ xử lý. [[Stephen Cook]] đưa ra tên gọi "Nick's Class" theo tên của [[Nick Pippeng …của '''NC''' không phụ thuộc vào lựa chọn cách PRAM xử lý việc nhiều bộ xử lý truy cập cùng một lúc một địa chỉ bộ nhớ (có thể là CRCW, CREW, hay EREW). …

…Navier-Stokes]], [[bài toán P so với NP]], [[giả thuyết Poincaré]], [[giả thuyết Riemann]] và [[bài toán Yang-Mills]]. Viện treo thưởng một triệu [[Đô la Mỹ …ỉ có duy nhất một bài toán trong danh sách đã được giải quyết, đó là [[giả thuyết Poincaré]], được chứng minh bởi nhà toán học người Nga [[Grigori Yakovlevic …

…là một chuỗi hữu hạn các chỉ thị, hoặc là một quá trình có thứ tự để giải quyết một vấn đề, trong đó mỗi bước hay một chỉ thị có thể được thực hiện trên má …Điều làm cho những thuật toán lượng tử trở lên thú vị là chúng có thể giải quyết một vài vấn đề nhanh hơn các thuật toán cổ điển. …

…trường, có thể giải quyết các câu hỏi có tầm quan trọng hàng đầu trong lý thuyết số, như sự tồn tại của các lời giải cho các [[phương trình Diophantos]]. …sách Disquisitiones Arithmeticae, Một trong những tác phẩm nền tảng của lý thuyết số đại số hiện đại.]] …

…21 | nơi xuất bản = | ngôn ngữ = }}</ref> Chúng phân biệt ranh giới quyết định thông qua dữ liệu quan sát được, chẳng hạn như đạt/không đạt, thắng/thua,… …ngẫu nhiên]] (CRF) (được chỉ định trên một biểu đồ vô hướng), [[cây quyết định]], và nhiều thứ khác. …

EAC thường được sử dụng như một công cụ ra quyết định trong [[lập ngân sách vốn]] khi so sánh các dự án đầu tư có vòng đời không …iện tại thuần|NPV]] của một dự án cho "giá trị hiện tại của [[Niên kim (lý thuyết tài chính)|niên kim]]". Tương tự, NPV của dự án có thể được nhân với số nhâ …

:''Xác suất biên duyên và Xác suất hợp được định hướng tới bài này.'' Bài này định nghĩa một số thuật ngữ về [[phân phối xác suất|phân bố xác suất]] của hai… …

…ng tử điều hòa]], cùng với các biên độ bên phải. Đây là một ví dụ của toán lý.]] …c toán học thích hợp cho các ứng dụng đó và cho các phương trình vật lý lý thuyết".<ref>{{chú thích web|url = http://jmp.aip.org/jmp/staff.jsp|title = Defini …

…nh sao cho tổng các trọng số của các cạnh tạo nên đường đi đó là nhỏ nhất. Định nghĩa một cách hình thức, cho trước một đồ thị có trọng số (nghĩa là một tậ Các thuật toán quan trọng nhất giải quyết bài toán này là: …