• Tidak ada hasil yang ditemukan

Kelas-kelas Kompleksitas Komputasional

Dalam dokumen Logika Predikat (Kalkulus Predikat) (Halaman 89-97)

Dalam teori komputasi, kita mengenal beberapa kelas kompleksitas komputasi sebagai berikut:

P (kelas polinomial):

kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu

komputasinya adalah O nk untuk suatu k > 0.

N P (kelas non-deterministik polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O nk untuk suatu k > 0. Hingga saat ini belum diketahui apakah P 6= NP .

EXP T IM E (kelas eksponensial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0.

N EXP T IM E (kelas non-deterministik eksponensial): kelas-kelas

permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0. Hingga saat ini belum diketahui apakah

EXP T IM E 6= NEXP T IME.

DECIDABLE (terputuskan): kelas-kelas permasalahan yang dapat dipecahkan dengan suatu algoritma yang sifatnya seragam (uniform) untuk setiap masukan (input) yang mungkin.

Kelas-kelas Kompleksitas Komputasional

Dalam teori komputasi, kita mengenal beberapa kelas kompleksitas komputasi sebagai berikut:

P (kelas polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu

komputasinya adalah O nk untuk suatu k > 0. N P (kelas non-deterministik polinomial):

kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O nk untuk suatu k > 0. Hingga saat ini belum diketahui apakah P 6= NP .

EXP T IM E (kelas eksponensial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0.

N EXP T IM E (kelas non-deterministik eksponensial): kelas-kelas

permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0. Hingga saat ini belum diketahui apakah

EXP T IM E 6= NEXP T IME.

DECIDABLE (terputuskan): kelas-kelas permasalahan yang dapat dipecahkan dengan suatu algoritma yang sifatnya seragam (uniform) untuk setiap masukan (input) yang mungkin.

Kelas-kelas Kompleksitas Komputasional

Dalam teori komputasi, kita mengenal beberapa kelas kompleksitas komputasi sebagai berikut:

P (kelas polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu

komputasinya adalah O nk untuk suatu k > 0.

N P (kelas non-deterministik polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O nk untuk suatu k > 0. Hingga saat ini belum diketahui apakah P 6= NP .

EXP T IM E(kelas eksponensial):

kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0.

N EXP T IM E (kelas non-deterministik eksponensial): kelas-kelas

permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0. Hingga saat ini belum diketahui apakah

EXP T IM E 6= NEXP T IME.

DECIDABLE (terputuskan): kelas-kelas permasalahan yang dapat dipecahkan dengan suatu algoritma yang sifatnya seragam (uniform) untuk setiap masukan (input) yang mungkin.

Kelas-kelas Kompleksitas Komputasional

Dalam teori komputasi, kita mengenal beberapa kelas kompleksitas komputasi sebagai berikut:

P (kelas polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu

komputasinya adalah O nk untuk suatu k > 0.

N P (kelas non-deterministik polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O nk untuk suatu k > 0. Hingga saat ini belum diketahui apakah P 6= NP .

EXP T IM E(kelas eksponensial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0.

N EXP T IM E (kelas non-deterministik eksponensial):

kelas-kelas

permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0. Hingga saat ini belum diketahui apakah

EXP T IM E 6= NEXP T IME.

DECIDABLE (terputuskan): kelas-kelas permasalahan yang dapat dipecahkan dengan suatu algoritma yang sifatnya seragam (uniform) untuk setiap masukan (input) yang mungkin.

Kelas-kelas Kompleksitas Komputasional

Dalam teori komputasi, kita mengenal beberapa kelas kompleksitas komputasi sebagai berikut:

P (kelas polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu

komputasinya adalah O nk untuk suatu k > 0.

N P (kelas non-deterministik polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O nk untuk suatu k > 0. Hingga saat ini belum diketahui apakah P 6= NP .

EXP T IM E(kelas eksponensial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0.

N EXP T IM E (kelas non-deterministik eksponensial): kelas-kelas

permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0. Hingga saat ini belum diketahui apakah

EXP T IM E 6= NEXP T IME. DECIDABLE (terputuskan):

kelas-kelas permasalahan yang dapat dipecahkan dengan suatu algoritma yang sifatnya seragam (uniform) untuk setiap masukan (input) yang mungkin.

Kelas-kelas Kompleksitas Komputasional

Dalam teori komputasi, kita mengenal beberapa kelas kompleksitas komputasi sebagai berikut:

P (kelas polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu

komputasinya adalah O nk untuk suatu k > 0.

N P (kelas non-deterministik polinomial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O nk untuk suatu k > 0. Hingga saat ini belum diketahui apakah P 6= NP .

EXP T IM E(kelas eksponensial): kelas-kelas permasalahan yang dapat dipecahkan oleh algoritma deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0.

N EXP T IM E (kelas non-deterministik eksponensial): kelas-kelas

permasalahan yang dapat dipecahkan oleh algoritma non-deterministik yang kompleksitas asimtotik untuk waktu komputasinya adalah O ( n) untuk suatu > 0. Hingga saat ini belum diketahui apakah

EXP T IM E 6= NEXP T IME.

DECIDABLE (terputuskan): kelas-kelas permasalahan yang dapat dipecahkan dengan suatu algoritma yang sifatnya seragam (uniform) untuk

Dari teori komputasi, kita memiliki hubungan

P N P EXP T IM E N EXP T IM E DECIDABLE

Dari teori komputasi, kita memiliki hubungan

P N P EXP T IM E N EXP T IM E DECIDABLE

Masalah Keterpenuhan pada Logika Proposisi dan Logika

Dalam dokumen Logika Predikat (Kalkulus Predikat) (Halaman 89-97)

Dokumen terkait