Pengantar
Selama lebih dari 40 tahun, Avi Wigderson telah mempelajari permasalahan. Namun sebagai ahli teori kompleksitas komputasi, dia tidak serta merta peduli dengan jawaban atas permasalahan tersebut. Dia sering kali hanya ingin tahu apakah masalah tersebut dapat dipecahkan atau tidak, dan bagaimana cara mengetahuinya. โSituasinya konyol,โ kata Wigderson, seorang ilmuwan komputer di Institute for Advanced Study di Princeton, New Jersey. Tidak peduli betapa sulitnya sebuah pertanyaan, cara efisien untuk menjawabnya mungkin adalah dengan bersembunyi di luar jangkauan. โSejauh yang kami tahu, untuk setiap masalah yang kami hadapi dan coba selesaikan, tidak menutup kemungkinan ada algoritma yang bisa menyelesaikannya. Ini adalah satu-satunya masalah yang paling menarik bagi saya.โ
Hari ini Wigderson dinobatkan sebagai pemenang Penghargaan AM Turing, yang secara luas dianggap sebagai salah satu penghargaan tertinggi dalam ilmu komputer, atas kontribusi mendasarnya pada teori komputasi. Karya Wigderson telah menyentuh hampir setiap bidang bidang. Rekan-rekan, kolaborator, dan peserta didiknya mengatakan bahwa dia secara konsisten menemukan jembatan tak terduga antara bidang-bidang yang berbeda. Dan karyanya mengenai keacakan dan komputasi, yang dimulai pada tahun 1990an, mengungkap hubungan mendalam antara matematika dan ilmu komputer yang mendasari penyelidikan saat ini.
Madhu Sudan, seorang ilmuwan komputer di Universitas Harvard yang memenangkan Hadiah Rolf Nevanlinna tahun 2002 (sekarang disebut Hadiah Abacus), mengatakan pengaruh Wigderson di bidang ini tidak mungkin diabaikan. โSangat sulit untuk bekerja di bidang ilmu komputer apa pun tanpa benar-benar bersinggungan dengan pekerjaan Avi,โ kata Sudan. โDan di mana pun, Anda menemukan wawasan yang sangat mendalam.โ Pada akhir tahun 1980-an, misalnya, Sudan bekerja sama dengan Wigderson dalam sebuah makalah yang menyelidiki hubungan antara fungsi matematika tertentu dan polinomial. Pekerjaan itu meluncurkan seluruh karier Sudan. โIni tipikal Avi,โ kata Sudan. โDia mendapat ruang, dia menanyakan pertanyaan yang tepat, dan kemudian melanjutkan.โ
Wigderson dibesarkan di Haifa, Israel, sebagai salah satu dari tiga putra seorang perawat dan insinyur listrik, keduanya selamat dari Holocaust. Ayahnya menyukai teka-teki dan sangat tertarik pada ide-ide dasar matematika, yang ia bagikan kepada anak-anaknya. โDialah orang yang membuat saya tertular virus ini,โ kata Wigderson. Ketika ia mulai kuliah pada tahun 1970-an, di Technion di Haifa, ia ingin mengambil jurusan matematika, namun orang tuanya malah mengarahkannya ke ilmu komputer. โMereka mengira mungkin merupakan ide bagus jika saya mempunyai pekerjaan setelah saya selesai,โ katanya.
Pengantar
Dia menemukan bidang yang kaya dengan pertanyaan-pertanyaan mendalam dan belum terjawab yang bersifat matematis. Salah satu upaya terobosannya yang paling awal berfokus pada kontradiksi yang tampak: apakah mungkin meyakinkan orang lain bahwa pernyataan matematis telah dibuktikan tanpa menunjukkan caranya.
โOrang yang melihat buktinya tidak mengetahui apa pun tentang bukti itu sendiri,โ kata Ran Raz, seorang ilmuwan komputer di Universitas Princeton. Pada tahun 1985, Shafi Goldwasser, Silvio Micali, dan Charles Rackoff memperkenalkan konsep ini bukti interaktif tanpa pengetahuan, menunjukkan penggunaannya untuk beberapa pernyataan. Wigderson, bersama Micali dan Oded Goldreich, kemudian menguraikan gagasan tersebut, dengan memberikan syarat-syarat yang menunjukkan bahwa jika suatu pernyataan dapat dibuktikan, maka pernyataan itu dapat dibuktikan. juga memiliki bukti tanpa pengetahuan.
โIni adalah hasil utama dalam kriptografi; ini sangat sentral,โ kata Raz. Dengan menggunakan bukti tanpa pengetahuan, seseorang dapat membuktikan bahwa mereka mengenkripsi atau menandatangani pesan dengan benar menggunakan kunci rahasianya, tanpa mengungkapkan informasi apa pun tentangnya. โAvi memiliki beberapa hasil yang sangat penting dalam kriptografi, dan ini mungkin yang paling penting.โ
Namun mungkin hasil paling mendasar dari Wigderson terletak pada bidang lain: menghubungkan kekerasan komputasi dengan keserampangan. Pada akhir tahun 1970-an, para ilmuwan komputer telah menyadari bahwa untuk banyak permasalahan sulit, algoritme yang menggunakan keacakan, yang juga disebut algoritme probabilistik, dapat jauh mengungguli alternatif deterministiknya. Di sebuah Bukti 1977, misalnya, Robert Solovay dan Volker Strassen memperkenalkan algoritme acak yang dapat menentukan apakah suatu bilangan prima lebih cepat daripada algoritme deterministik terbaik saat itu.
Untuk beberapa masalah, algoritma probabilistik dapat menunjuk pada algoritma deterministik. Pada awal tahun 1980-an, Wigderson bekerja sama dengan Richard Karp dari University of California, Berkeley, untuk menghubungkan gagasan keacakan dengan permasalahan yang dianggap sulit secara komputasi, yang berarti tidak ada algoritme deterministik yang diketahui dapat menyelesaikannya dalam jangka waktu yang wajar. โKami tidak tahu bagaimana membuktikannya sulit,โ kata Wigderson. Namun, dia dan Karp menemukan algoritme acak untuk permasalahan sulit tertentu yang kemudian dapat mereka derandomisasi, yang secara efektif mengungkap algoritme deterministik untuk permasalahan tersebut. Sekitar waktu yang sama, peneliti lain menunjukkan bagaimana asumsi kekerasan komputasi dalam masalah kriptografi dapat memungkinkan derandomisasi secara umum.
Efektivitas keacakan yang tidak masuk akal membuatnya berpikir tentang sifat keacakan itu sendiri. Dia, seperti peneliti lain pada saat itu, mempertanyakan seberapa penting hal tersebut untuk pemecahan masalah yang efisien dan dalam kondisi apa hal tersebut dapat dihilangkan sama sekali. โAwalnya tidak jelas apakah ini hanya kebodohan kita sendiri, keacakan tidak bisa kita hilangkan,โ ujarnya. โTetapi pertanyaan yang lebih besar adalah apakah keacakan selalu dapat dihilangkan secara efisien atau tidak.โ Dia menyadari bahwa kebutuhan akan keacakan terkait erat dengan kesulitan komputasi dari soal tersebut.
Untuk kertas 1994, dia dan ilmuwan komputer Noam Nisan menjelaskan hubungan itu. Mereka membuktikan bahwa jika ada masalah alami yang sulit, seperti dugaan sebagian besar ilmuwan komputer, maka setiap algoritma acak yang efisien dapat digantikan oleh algoritma deterministik yang efisien. โAnda selalu bisa menghilangkan keacakan,โ kata Wigderson.
Pengantar
Yang penting, mereka menemukan bahwa algoritme deterministik mungkin menggunakan urutan โacak semuโ โ rangkaian data yang tampak acak padahal sebenarnya tidak. Mereka juga menunjukkan bagaimana permasalahan sulit apa pun dapat digunakan untuk membangun generator pseudorandom. Memasukkan bit pseudorandom (bukan bit acak) ke dalam algoritma probabilistik akan menghasilkan algoritma deterministik yang efisien untuk masalah yang sama.
Sudan mengatakan bahwa kertas membantu ilmuwan komputer mengenali tingkat keacakan yang dapat membantu mengungkap seluk-beluk permasalahan sulit dan cara menyelesaikannya. โIni bukan hanya keacakan tapi persepsi keacakan,โ katanya. โItulah kuncinya.โ
Sudan menyatakan bahwa keacakan nampaknya muncul di mana-mana namun, kenyataannya, sangat sulit ditemukan. โOrang bilang angka pi terlihat acak, atau barisan bilangan prima terlihat acak,โ ujarnya. โMereka sepenuhnya ditentukan, tetapi bagi kami mereka tampak acak.โ Persepsi tentang keacakan, katanya, merupakan inti ilmu komputer saat ini. โDan itu adalah sesuatu yang Avi promosikan secara luas.โ
Keacakan telah menjadi sumber daya yang kuat dalam teori kompleksitas, namun sulit dipahami. Pelemparan koin dan pelemparan dadu, kata Wigderson, tidak sepenuhnya acak: Jika Anda memiliki cukup informasi tentang sistem fisik, maka hasilnya sepenuhnya dapat diprediksi. Keacakan yang sempurna, katanya, sulit dipahami dan sulit diverifikasi.
Namun bagi Wigerson, contoh komputasi ada di mana-mana โ tidak hanya di ponsel pintar dan laptop serta algoritma enkripsi, namun juga di sistem biologis dan fisik. Dalam beberapa dekade terakhir, temuan dari teori komputasi telah menghasilkan wawasan mengenai berbagai masalah yang tidak terduga, mulai dari kawanan burung dan hasil pemilu hingga reaksi biokimia dalam tubuh. โPada dasarnya, setiap proses alam adalah sebuah evolusi yang dapat Anda lihat sebagai komputasi, sehingga Anda dapat mempelajarinya seperti itu. Hampir semuanya dihitung.โ
- Konten Bertenaga SEO & Distribusi PR. Dapatkan Amplifikasi Hari Ini.
- PlatoData.Jaringan Vertikal Generatif Ai. Berdayakan Diri Anda. Akses Di Sini.
- PlatoAiStream. Intelijen Web3. Pengetahuan Diperkuat. Akses Di Sini.
- PlatoESG. Karbon, teknologi bersih, energi, Lingkungan Hidup, Tenaga surya, Penanganan limbah. Akses Di Sini.
- PlatoHealth. Kecerdasan Uji Coba Biotek dan Klinis. Akses Di Sini.
- Sumber: https://www.quantamagazine.org/avi-wigderson-complexity-theory-pioneer-wins-turing-award-20240410/
- :memiliki
- :adalah
- :bukan
- ][P
- $NAIK
- 10
- 1985
- 40
- a
- sempoa
- Sanggup
- Tentang Kami
- tentang itu
- ACM
- sebenarnya
- maju
- algoritma
- algoritma
- hampir
- sepanjang
- juga
- alternatif
- sama sekali
- selalu
- jumlah
- an
- dan
- Lain
- menjawab
- jawaban
- Apa pun
- apa saja
- muncul
- April
- ADALAH
- DAERAH
- daerah
- sekitar
- artikel
- AS
- asumsi
- At
- mobil
- hadiah
- BE
- menjadi
- menjadi
- Berkeley
- TERBAIK
- antara
- burung
- bit
- tubuh
- pin
- kedua
- jembatan
- membangun
- tapi
- by
- california
- bernama
- CAN
- tidak bisa
- yang
- Lowongan Kerja
- pusat
- tertentu
- Charles
- anak-anak
- jelas
- Koin
- kolaborator
- rekan
- Perguruan tinggi
- sama sekali
- kompleksitas
- komputasi
- komputasi
- secara komputasi
- komputer
- Komputer Ilmu
- komputasi
- konsep
- Kondisi
- Terhubung
- koneksi
- Koneksi
- dianggap
- secara konsisten
- kontribusi
- meyakinkan
- benar
- bisa
- kriptografi
- data
- dekade
- mendalam
- menunjukkan
- Menentukan
- ditentukan
- Kesulitan
- digit
- berbeda
- Tidak
- dilakukan
- Dont
- paling awal
- Awal
- efektif
- efektivitas
- efisien
- efisien
- upaya
- pemilihan
- menghapuskan
- dieliminasi
- lain
- dipekerjakan
- aktif
- terenkripsi
- enkripsi
- insinyur
- cukup
- Seluruh
- sepenuhnya
- Setiap
- segala sesuatu
- di mana-mana
- evolusi
- contoh
- contoh
- ada
- sangat
- Menghadapi
- jauh
- lebih cepat
- pemberian makanan
- beberapa
- bidang
- Menemukan
- Temuan
- menemukan
- Membalik
- terfokus
- Untuk
- ditemukan
- dasar
- dari
- fungsi
- mendasar
- Umum
- generator
- mendapat
- baik
- tumbuh
- groundbreaking
- Cowok
- memiliki
- Sulit
- harvard
- Universitas Harvard
- Memiliki
- he
- Hati
- membantu
- membantu
- persembunyian
- dia
- -nya
- Tanda kehormatan
- Seterpercayaapakah Olymp Trade? Kesimpulan
- How To
- Namun
- HTTPS
- i
- ide
- ide-ide
- if
- penting
- mustahil
- in
- terinfeksi
- mempengaruhi
- informasi
- wawasan
- sebagai gantinya
- Lembaga
- interaktif
- tertarik
- menarik
- secara intim
- ke
- seluk-beluk
- diperkenalkan
- menyelidiki
- Investigasi
- Israel
- IT
- NYA
- Diri
- baju kaos
- Pekerjaan
- hanya
- kunci
- Tahu
- dikenal
- laptop
- lebih besar
- Terlambat
- kemudian
- diluncurkan
- peletakan
- BELAJAR
- Dipimpin
- terletak
- 'like'
- menghubungkan
- melihat
- TERLIHAT
- dicintai
- majalah
- utama
- banyak
- matematika
- matematis
- matematika
- hal
- Mungkin..
- mungkin
- me
- cara
- pesan
- kehilangan
- lebih
- paling
- bergerak
- Bernama
- Alam
- Alam
- hampir
- perlu
- perlu
- Perlu
- New
- Jersey baru
- tidak
- sekarang
- jumlah
- nomor
- of
- sering
- on
- ONE
- yang
- hanya
- or
- asli
- Lainnya
- kami
- di luar
- hasil
- sendiri
- kertas
- orangtua
- persepsi
- sempurna
- mungkin
- orang
- fisik
- pelopor
- plato
- Kecerdasan Data Plato
- Data Plato
- Titik
- poin
- mungkin
- kuat
- Bisa ditebak
- Perdana
- Princeton
- hadiah
- Masalah
- pemecahan masalah
- masalah
- proses
- dipromosikan
- bukti
- Rasakan itu
- terbukti
- Puzzle
- Majalah kuantitas
- pertanyaan
- Mempertanyakan
- Pertanyaan
- acak
- Acak
- keserampangan
- jarak
- mencapai
- Reaksi
- menyadari
- masuk akal
- baru
- mengenali
- menghapus
- diganti
- peneliti
- sumber
- mengakibatkan
- Hasil
- mengungkapkan
- Terungkap
- mengungkapkan
- Kaya
- Richard
- benar
- ROBERT
- gulungan
- Aturan
- Tersebut
- sama
- mengatakan
- Ilmu
- ilmuwan
- ilmuwan
- Rahasia
- tampaknya
- melihat
- Urutan
- berbagi
- menunjukkan
- menunjukkan
- Siam
- tertanda
- tunggal
- situasi
- smartphone
- So
- MEMECAHKAN
- beberapa
- Seseorang
- sesuatu
- Space
- mulai
- Mulai
- Pernyataan
- Laporan
- mengarahkan
- belajar
- Belajar
- seperti itu
- Sudan
- sistem
- sistem
- mengatakan
- dari
- bahwa
- Grafik
- mereka
- Mereka
- kemudian
- teori
- Ini
- mereka
- berpikir
- ini
- pikir
- tiga
- Terjalin
- waktu
- untuk
- hari ini
- hari ini
- puncak
- tersentuh
- benar-benar
- kebenaran
- mencoba
- turing
- khas
- bawah
- Mendasari
- Tiba-tiba
- universitas
- University of California
- keterlaluan
- us
- menggunakan
- bekas
- menggunakan
- sangat
- memeriksa
- versi
- sangat
- View
- virus
- ingin
- ingin
- adalah
- Cara..
- we
- webp
- BAIK
- adalah
- Apa
- ketika
- apakah
- yang
- SIAPA
- sangat
- akan
- pemenang
- Wins
- dengan
- dalam
- tanpa
- Won
- Kerja
- bekerja
- akan
- tahun
- menghasilkan
- Kamu
- zephyrnet.dll
- zero-pengetahuan
- bukti nol pengetahuan