Ilmu Komputer

13
Bisakah masalah yang terbatas ada pada NP-Complete?

Dosen saya membuat pernyataan Masalah yang terbatas tidak dapat NP-Lengkap Dia berbicara tentang Sudoku pada saat itu mengatakan sesuatu di sepanjang garis bahwa untuk 8x8 Sudoku ada satu set solusi yang terbatas tetapi saya tidak ingat persis apa yang dia katakan. Saya menulis catatan yang...

13
Menguji apakah bukti arbitrer adalah bundar?

Saya sedang memikirkan bukti dan berlari ke pengamatan yang menarik. Jadi bukti setara dengan program melalui Curry-Howard Isomorphism, dan bukti melingkar sesuai dengan rekursi tak terbatas. Tapi kita tahu dari masalah penghentian bahwa dalam pengujian umum apakah program sewenang-wenang berulang...

13
Apa artinya tilde, dalam notasi O besar?

Saya membaca makalah, dan dikatakan dalam deskripsi kompleksitas waktunya bahwa kompleksitas waktu adalah .O~(22n)O~(22n)\tilde{O}(2^{2n}) Saya telah mencari di internet dan wikipedia, tetapi saya tidak dapat menemukan apa yang dilambangkan tilde ini dalam notasi O-Landau besar. Di koran itu...