Ilmu Komputer Teoritis

19
Bukti intuitif / informal untuk LP Duality?

Apa yang akan menjadi bukti informal / intuitif yang baik untuk 'mencapai titik asal' tentang dualitas LP? Bagaimana cara terbaik untuk menunjukkan bahwa fungsi objektif yang diminimalkan memang minimum dengan cara intuitif memahami batasan? Cara saya diajari Dualitas hanya mengarah pada satu...

19
Aljabar abstrak untuk Ilmuwan Komputer Teoritis

Saya memiliki pendidikan matematika tingkat sarjana yang masuk akal, tetapi tidak pernah 100% nyaman dengan aljabar abstrak (matematika kelompok, cincin, bidang, dll.). Saya pikir ini sebagian karena saya perlu melihat aplikasi dan semua yang saya temukan adalah dalam fisika, bukan CS. Karena minat...

19
Dugaan tentang dua counter automata

Saya ingin membuktikan (atau menyangkal) dugaan berikut: Dugaan : two counter automata (2CA) tidak dapat memutuskan bahasa berikut: L = { n ∣L.={n∣L = \{ n \mid representasi terner dan biner dari memiliki panjang genap atau ganjilnnn}}\} Sebuah 2CA dapat dengan mudah memeriksa apakah...